Combinatorial Algebra: Syntax and Semantics

Combinatorial Algebra: Syntax and Semantics
Author: Mark V. Sapir
Publisher: Springer
Total Pages: 369
Release: 2014-10-06
Genre: Mathematics
ISBN: 3319080318

Combinatorial Algebra: Syntax and Semantics provides comprehensive account of many areas of combinatorial algebra. It contains self-contained proofs of more than 20 fundamental results, both classical and modern. This includes Golod–Shafarevich and Olshanskii's solutions of Burnside problems, Shirshov's solution of Kurosh's problem for PI rings, Belov's solution of Specht's problem for varieties of rings, Grigorchuk's solution of Milnor's problem, Bass–Guivarc'h theorem about growth of nilpotent groups, Kleiman's solution of Hanna Neumann's problem for varieties of groups, Adian's solution of von Neumann-Day's problem, Trahtman's solution of the road coloring problem of Adler, Goodwyn and Weiss. The book emphasize several ``universal" tools, such as trees, subshifts, uniformly recurrent words, diagrams and automata. With over 350 exercises at various levels of difficulty and with hints for the more difficult problems, this book can be used as a textbook, and aims to reach a wide and diversified audience. No prerequisites beyond standard courses in linear and abstract algebra are required. The broad appeal of this textbook extends to a variety of student levels: from advanced high-schoolers to undergraduates and graduate students, including those in search of a Ph.D. thesis who will benefit from the “Further reading and open problems” sections at the end of Chapters 2 –5. The book can also be used for self-study, engaging those beyond t he classroom setting: researchers, instructors, students, virtually anyone who wishes to learn and better understand this important area of mathematics.

Grobner-shirshov Bases: Normal Forms, Combinatorial And Decision Problems In Algebra

Grobner-shirshov Bases: Normal Forms, Combinatorial And Decision Problems In Algebra
Author: Leonid Bokut
Publisher: World Scientific
Total Pages: 308
Release: 2020-06-16
Genre: Mathematics
ISBN: 9814619507

The book is about (associative, Lie and other) algebras, groups, semigroups presented by generators and defining relations. They play a great role in modern mathematics. It is enough to mention the quantum groups and Hopf algebra theory, the Kac-Moody and Borcherds algebra theory, the braid groups and Hecke algebra theory, the Coxeter groups and semisimple Lie algebra theory, the plactic monoid theory. One of the main problems for such presentations is the problem of normal forms of their elements. Classical examples of such normal forms give the Poincaré-Birkhoff-Witt theorem for universal enveloping algebras and Artin-Markov normal form theorem for braid groups in Burau generators.What is now called Gröbner-Shirshov bases theory is a general approach to the problem. It was created by a Russian mathematician A I Shirshov (1921-1981) for Lie algebras (explicitly) and associative algebras (implicitly) in 1962. A few years later, H Hironaka created a theory of standard bases for topological commutative algebra and B Buchberger initiated this kind of theory for commutative algebras, the Gröbner basis theory. The Shirshov paper was largely unknown outside Russia. The book covers this gap in the modern mathematical literature. Now Gröbner-Shirshov bases method has many applications both for classical algebraic structures (associative, Lie algebra, groups, semigroups) and new structures (dialgebra, pre-Lie algebra, Rota-Baxter algebra, operads). This is a general and powerful method in algebra.

Algorithmic and Combinatorial Algebra

Algorithmic and Combinatorial Algebra
Author: L.A. Bokut'
Publisher: Springer Science & Business Media
Total Pages: 399
Release: 2012-12-06
Genre: Mathematics
ISBN: 9401120021

Even three decades ago, the words 'combinatorial algebra' contrasting, for in stance, the words 'combinatorial topology,' were not a common designation for some branch of mathematics. The collocation 'combinatorial group theory' seems to ap pear first as the title of the book by A. Karras, W. Magnus, and D. Solitar [182] and, later on, it served as the title of the book by R. C. Lyndon and P. Schupp [247]. Nowadays, specialists do not question the existence of 'combinatorial algebra' as a special algebraic activity. The activity is distinguished not only by its objects of research (that are effectively given to some extent) but also by its methods (ef fective to some extent). To be more exact, we could approximately define the term 'combinatorial algebra' for the purposes of this book, as follows: So we call a part of algebra dealing with groups, semi groups , associative algebras, Lie algebras, and other algebraic systems which are given by generators and defining relations {in the first and particular place, free groups, semigroups, algebras, etc. )j a part in which we study universal constructions, viz. free products, lINN-extensions, etc. j and, finally, a part where specific methods such as the Composition Method (in other words, the Diamond Lemma, see [49]) are applied. Surely, the above explanation is far from covering the full scope of the term (compare the prefaces to the books mentioned above).

Hyperidentities: Boolean And De Morgan Structures

Hyperidentities: Boolean And De Morgan Structures
Author: Yuri Movsisyan
Publisher: World Scientific
Total Pages: 561
Release: 2022-09-20
Genre: Mathematics
ISBN: 9811254931

Hyperidentities are important formulae of second-order logic, and research in hyperidentities paves way for the study of second-order logic and second-order model theory.This book illustrates many important current trends and perspectives for the field of hyperidentities and their applications, of interest to researchers in modern algebra and discrete mathematics. It covers a number of directions, including the characterizations of the Boolean algebra of n-ary Boolean functions and the distributive lattice of n-ary monotone Boolean functions; the classification of hyperidentities of the variety of lattices, the variety of distributive (modular) lattices, the variety of Boolean algebras, and the variety of De Morgan algebras; the characterization of algebras with aforementioned hyperidentities; the functional representations of finitely-generated free algebras of various varieties of lattices and bilattices via generalized Boolean functions (De Morgan functions, quasi-De Morgan functions, super-Boolean functions, super-De Morgan functions, etc); the structural results for De Morgan algebras, Boole-De Morgan algebras, super-Boolean algebras, bilattices, among others.While problems of Boolean functions theory are well known, the present book offers alternative, more general problems, involving the concepts of De Morgan functions, quasi-De Morgan functions, super-Boolean functions, and super-De Morgan functions, etc. In contrast to other generalized Boolean functions discovered and investigated so far, these functions have clearly normal forms. This quality is of crucial importance for their applications in pure and applied mathematics, especially in discrete mathematics, quantum computation, quantum information theory, quantum logic, and the theory of quantum computers.

Language and Automata Theory and Applications

Language and Automata Theory and Applications
Author: Carlos Martín-Vide
Publisher: Springer
Total Pages: 474
Release: 2019-03-12
Genre: Computers
ISBN: 3030134350

This book constitutes the refereed proceedings of the 13th International Conference on Language and Automata Theory and Applications, LATA 2019, held in St. Petersburg, Russia, in March 2019. The 31 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 98 submissions. The papers cover the following topics: Automata; Complexity; Grammars; Languages; Graphs, trees and rewriting; and Words and codes.

Advances in the Theory of Varieties of Semigroups

Advances in the Theory of Varieties of Semigroups
Author: Edmond W. H. Lee
Publisher: Springer Nature
Total Pages: 286
Release: 2023-05-10
Genre: Mathematics
ISBN: 3031164970

This monograph thoroughly explores the development of the theory of varieties of semigroups and of two related algebras: involution semigroups and monoids. Through this in-depth analysis, readers will attain a deeper understanding of the differences between these three types of varieties, which may otherwise seem counterintuitive. New results with detailed proofs are also presented that answer previously unsolved fundamental problems. Featuring both a comprehensive overview as well as highlighting the author’s own significant contributions to the area, this book will help establish this subfield as a matter of timely interest. Advances in the Theory of Varieties of Semigroups will appeal to researchers in universal algebra and will be particularly valuable for specialists in semigroups.

Fields of Logic and Computation II

Fields of Logic and Computation II
Author: Lev D. Beklemishev
Publisher: Springer
Total Pages: 330
Release: 2015-09-05
Genre: Computers
ISBN: 3319235346

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).

Combinatory Linguistics

Combinatory Linguistics
Author: Cem Bozsahin
Publisher: Walter de Gruyter
Total Pages: 304
Release: 2012-12-06
Genre: Language Arts & Disciplines
ISBN: 311029687X

The book examines to what extent the mediating relation between constituents and their semantics can arise from combinatory knowledge of words. It traces the roots of Combinatory Categorial Grammar, and uses the theory to promote a Humean question in linguistics and cognitive science: Why do we see limited constituency and dependency in natural languages, despite their diversity and potential infinity? A potential answer is that constituents and dependencies might have arisen from a single resource: adjacency. The combinatory formulation of adjacency constrains possible grammars.