ON ALGORITHMIC SOLVABILITY OF THE PROBLEM OF GENERALIZED CONJUGACY OF SUBGROUPS IN COXETER GROUPS WITH A TREE STRUCTURE

The main algorithmic problems of combinatorial group theory posed by M. Den and G. Titze at the beginning of the twentieth century are the problems of word, word conjugacy and of group isomorphism. However, these problems, as follows from the results of P.S. Novikov and S.I. Adyan, turned out to be unsolvable in the class of finitely defined groups. Therefore, algorithmic problems began to be considered in specific classes of groups. The word conjugacy problem allows for two generalizations. On the one hand, we consider the problem of conjugacy of subgroups, that is, the problem of constructing an algorithm that allows for any two finitely generated subgroups to determine whether they are conjugate or not. On the other hand, the problem of generalized conjugacy of words is posed, that is, the problem of constructing an algorithm that allows for any two finite sets of words to determine whether they are conjugated or not. Combining both of these generalizations into one, we obtain the problem of generalized conjugacy of subgroups. Coxeter groups were introduced in the 30s of the last century, and the problems of equality and conjugacy of words are algorithmically solvable in them. To solve other algorithmic problems, various subclasses are distinguished. This is partly due to the unsolvability in Coxeter groups of another important problem – the problem of occurrence, that is, the problem of the existence of an algorithm that allows for any word and any finitely generated subgroup of a certain group to determine whether this word belongs to this subgroup or not. The paper proves the algorithmic solvability of the problem of generalized conjugacy of subgroups in Coxeter groups with a tree structure.

Efficient SSD Integrity Verification Program Based on Combinatorial Group Theory

In digital forensics, the issue of data integrity protection for increasingly widespread applied SSD (Solid State Disk, SSD) is to be resolved. Based on Combinatorial Group Theory, mapping data objects in SSD validation process and test object in combination group testing methods, using the non-adaptive mode to the initial calculation, stored procedures, and re-calculate, verify process, and carefully selecting the design parameters to construct the test matrix of Combinatorial Group Testing method in response to different application environments, we design testing group. The algorithm capabilities meet the requirements and that is higher efficiently by repeated tests. It is feasible for SSD integrity check based on the Combinatorial Group Theory.

Monoids of O-type, subword reversing, and ordered groups

We describe a simple scheme for constructing finitely generated monoids in which left-divisibility is a linear ordering, and for practically investigating these monoids. The approach is based on subword reversing, a general method of combinatorial group theory, and connected with Garside theory, here in a non-Noetherian context. As an application we describe several families of ordered groups whose space of left-invariant orderings has an isolated point, including torus knot groups and some of their amalgamated products.

Frontiers in Complex Dynamics

John Milnor, best known for his work in differential topology, K-theory, and dynamical systems, is one of only three mathematicians to have won the Fields medal, the Abel prize, and the Wolf prize, and is the only one to have received all three of the Leroy P. Steele prizes. In honor of his eightieth birthday, this book gathers together surveys and papers inspired by Milnor's work, from distinguished experts examining not only holomorphic dynamics in one and several variables, but also differential geometry, entropy theory, and combinatorial group theory. The book contains the last paper written by William Thurston, as well as a short paper by John Milnor himself. Introductory sections put the papers in mathematical and historical perspective, color figures are included, and an index facilitates browsing.