We exhibit a new presentation of the (equilateral) Von Dyck groups $D(2,3,n), \ n\ge 3$, in terms of two generators of order $n$ satisfying three relations, one of which is Artin's braid relation. By dropping the relation which fixes the order of the generators we obtain the universal covering groups of the corresponding Von Dyck groups. In the cases $n=3,\, 4,\,5$, these are respectively the double covers of the finite rotational tetrahedral, octahedral and icosahedral groups. When $n\ge 6$ we obtain infinite covers of the corresponding infinite Von Dyck groups. The interesting cases arise for $n\ge 7$ when these groups act as discrete groups of isometries of the hyperbolic plane. Imposing a suitable third relation we obtain a host of (efficient) presentations of finite simple Chevalley groups of type $A_1$ as well as the sporadic Janko group $J_2$.
We show that one can naturally describe elements of R. Thompson's finitely presented infinite simple group $V$, known by Thompson to have a presentation with four generators and fourteen relations, as products of permutations analogous to transpositions. This perspective provides an intuitive explanation towards the simplicity of $V$ and also perhaps indicates a reason as to why it was one of the first discovered infinite finitely presented simple groups: it is (in some basic sense) a relative of the finite alternating groups. We find a natural infinite presentation for $V$ as a group generate…
Let K be a number field and let A be its ring of integers. Let G be a connected, noncommutative, absolutely almost simple algebraic K-group. If the K-rank of G equals 2, then G(A[t]) is not finitely presented.
The statement ``no nonabelian simple group can be obtained from a nonsimple group by adding one generator and one relator" 1) is equivalent to the Kervaire--Laudenbach conjecture; 2) becomes true under the additional assumption that the initial nonsimple group is either finite or torsion-free. Key words: Kervaire--Laudenbach conjecture, relative presentations, simple groups, car motion, cocar comotion. AMS MSC: 20E32, 20F05, 20F06.
Every nonabelian finite simple group of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, has a presentation with a bounded number of generators and relations and total length $O(\log n +\log q)$. As a corollary, we deduce a conjecture of Holt: there is a constant $C$ such that $\dim H^2(G,M)\leq C\dim M$ for every finite simple group $G$, every prime $p$ and every irreducible $F_p [G]$-module $M$.
Guralnick, Kantor, Kassabov and Lubotzky (J. Eur. Math. Soc. 13.2, 2011, 391-458) [GKKL] give 3-generator 7-relator presentations of $A_n$ and $S_n$ with bit-length $O(\log n)$ for $n\geq5$. This is the best possible bit-length, since $Ω(\log n)$ bits are required to specify the integer $n$ in the input. However, the generators do not satisfy the relations. This paper considers the relevant arguments given in [GKKL], identifies where the errors occur, and shows how they can be fixed in order to recover this result. The presentations are available in Magma.
The braid group $B_n$ maps homomorphically into the Temperley-Lieb algebra $\TL_n$. It was shown by Zinno that the homomorphic images of simple elements arising from the dual presentation of the braid group $B_n$ form a basis for the vector space underlying the Temperley-Lieb algebra $\TL_n$. In this paper, we establish that there is a dual presentation of Temperley-Lieb algebras that corresponds to the dual presentation of braid groups, and then give a simple geometric proof for Zinno's theorem, using the interpretation of simple elements as non-crossing partitions.
In a previous paper, we defined a higher dimensional analog of Thompson's group V, and proved that it is simple, infinite, finitely generated, and not isomorphic to any of the known Thompson groups. There are other Thompson groups that are infinite, simple and finitely presented. Here we show that the new group is also finitely presented by calculating an explicit finite presentation.
All nonabelian finite simple groups of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, have presentations with at most $80 $ relations and bit-length $O(\log n +\log q)$. Moreover, $A_n$ and $S_n$ have presentations with 3 generators$,$ 7 relations and bit-length $O(\log n)$, while $\SL(n,q)$ has a presentation with 7 generators, $2 5$ relations and bit-length $O(\log n +\log q)$.
For each family of finite classical groups, and their associated simple quotients, we provide an explicit presentation on a specific generating set of size at most 8. Since there exist efficient algorithms to construct this generating set in any copy of the group, our presentations can be used to verify claimed isomorphisms between representations of the classical group. The presentations are available in Magma.
We give conditions on a presentation of a group, which imply that its Cayley complex is simplicial and the flag complex of the Cayley complex is systolic. We then apply this to Garside groups and Artin groups. We give a classification of the Garside groups whose presentation using the simple elements as generators satisfy our conditions. We then also give a dual presentation for Artin groups and identify in which cases the flag complex of the Cayley complex is systolic.
The problem of classifying equivalence classes of presentations up to isomorphism of Cayley graphs is considered in this article in the case of dicyclic groups. The number of equivalence classes of presentations is uniformly bounded - it is a "finite presentation type" case. We find all equivalence classes of presentations of dicyclic groups having two generators. For the dicyclic group of order $4n$ apart from the classical presentation with order multiset $\{\{2n,4\}\}$ for all $n$ there are presentations with order multiset $\{\{4,4\}\}$. If $n$ is odd there is an additional presentation ha…
The higher-dimensional Thompson groups $nV$, for $n \geq 2$, were introduced by Brin in 2005. We provide new presentations for each of these infinite simple groups. The first is an infinite presentation, analogous to the Coxeter presentation for the finite symmetric group, with generating set equal to the set of transpositions in $nV$ and reflecting the self-similar structure of $n$-dimensional Cantor space. We then exploit this infinite presentation to produce further finite presentations that are considerably smaller than those previously known.
We prove the following three closely related results. The first is that every finite simple group has a profinite presentation with 2 generators and at most 18 relations. The second is that if G is a finite simple group, F a field and M an FG-module, then the dimension of the second cohomology group of G with coefficients in M is at most 17.5 times the dimension of M. The third result is that we may replace 17.5 by 18.5 as long as M is faithful irreducible G-module. These last two results answer conjectures of Holt.
A cyclic presentation of a group is a presentation with an equal number of generators and relators that admits a particular cyclic symmetry. We characterise the orientable, non-orientable, and redundant cyclic presentations and obtain concise refinements of these presentations. We show that the Tits alternative holds for the class of groups defined by redundant cyclic presentations and that if the number of generators of the cyclic presentation is greater than two then the corresponding group is large. Generalizing and extending earlier results of the authors we describe the star graphs of ori…
In his papers [2], [3] Brin introduced the higher dimensional Thompson groups nV which are generalizations to the Thompson's group V of self-homeomorphisms of the Cantor set and found a finite set of generators and relations in the case n = 2. We show how to generalize his construction to obtain a finite presentation for every positive integer n. As a corollary, we obtain another proof that the groups nV are simple (first proved by Brin in [4]).
We give an algorithm which computes a presentation for a subgroup, denoted $\AM_{g,1,p}$, of the automorphism group of a free group. It is known that $\AM_{g,1,p}$ is isomorphic to the mapping-class group of an orientable genus-$g$ surface with one boundary component and $p$ punctures. We define a variation of Auter space.
We give an infinite presentation for the mapping class group of a non-orientable surface. The generating set consists of all Dehn twists and all crosscap pushing maps along simple loops.
We study the way in which the abstract structure of a small overlap monoid is reflected in, and may be algorithmically deduced from, a small overlap presentation. We show that every C(2) monoid admits an essentially canonical C(2) presentation; by counting canonical presentations we obtain asymptotic estimates for the number of non-isomorphic monoids admitting a-generator, k-relation presentations of a given length. We demonstrate an algorithm to transform an arbitrary presentation for a C(m) monoid (m at least 2) into a canonical C(m) presentation, and a solution to the isomorphism problem fo…
We investigate which Weyl groups have a Coxeter presentation and which of them at least have the presentation by conjugation with respect to their root system. For most concepts of root systems the Weyl group has both. In the context of extended affine root systems (EARS) there is a small subclass allowing a Coxeter presentation of the Weyl group and a larger subclass allowing the presentation by conjugation. We give necessary and sufficient conditions for both classes. Our results entail that every extended affine Weyl group (EAWeG) has the presentation by conjugation with respect to a suitab…
We consider groups defined by non-empty balanced presentations with the property that each relator is of the form R(x,y), where x and y are distinct generators and R(.,.) is determined by some fixed cyclically reduced word R(a,b) that involves both a and b. To every such presentation we associate a directed graph whose vertices correspond to the generators and whose arcs correspond to the relators. Under the hypothesis that the girth of the underlying undirected graph is at least 4, we show that the resulting groups are non-trivial and cannot be finite of rank 3 or higher. Without the hypothes…
We give an infinite presentation for the mapping class group of a non-orientable surface with boundary components. The presentation is a generalization of the presentation given by the second author [15].
In this paper we exhibit a type of semigroup presentations which determines a class of local groups. We show that the finite elements of this class generate the pseudovariety ${\bf LG}$ of all finite local groups and use them as test-semigroups to prove that ${\bf LG}$ and ${\bf S}$, the pseudovariety of all finite semigroups, verify the same $κ$-identities involving $κ$-terms of rank at most 1, where $κ$ denotes the implicit signature consisting of the multiplication and the $(ω-1)$-power.
A finite presentation for the subgroup of the mapping class group of a compact non-orientable surface generated by all Dehn twists was given by Stukow. In this paper, we give an infinite presentation for this group, mainly using the presentation given by Stukow and Birman exact sequences on mapping class groups of non-orientable surfaces.
We give several new positive finite presentations for the pure braid group that are easy to remember and simple in form. All of our presentations involve a metric on the punctured disc so that the punctures are arranged "convexly", which is why we describe them as geometric presentaitons. Motivated by a presentation for the full braid group that we call the "rotation presentation", we introduce presentations for the pure braid group that we call the "twist presentation" and the "swing presentation". From the point of view of mapping class groups, the swing presentation can be interpreted as st…
We introduce L-presentations: group presentations given by a generating set, a set of relations and a set of substitution rules on the generating set producing more relations. We first study in full generality the structure of finitely L-presented groups, i.e. groups for which all the above sets are finite, and then show that a broad class of groups acting on rooted trees admit explicitly constructible finite L-presentations: they are the "branch" groups defined by R. Grigorchuk.
We introduce a theory of "patterns" in order to study geodesics in a certain class of group presentations. Using patterns we show that there does not exist a geodesic automatic structure for certain group presentations, and that certain group presentations are almost convex.
Finite presentations for the mapping class group M(F) are known for arbitrary orientable compact surface F. If F is non-orientable, then such presentations are known only when F has genus at most 3 and few boundary components. In this paper we obtain finite presentation for the mapping class group of the closed non-orientable surface of genus 4 from its action on the so called ordered complex of curves.
Consider the unit ball, B = D x [0,1], containing n unknotted arcs a_1, ... a_n such that the boundary of each a_i lies in D x {0}. We give a finite presentation for the mapping class group of B fixing the arcs {a_1, ..., a_n} setwise and fixing D x {1} pointwise. This presentation is calculated using the action of this group on a simply-connected complex.
Groups defined by presentations for which the components of the corresponding star graph are the incidence graphs of generalized polygons are of interest as they are small cancellation groups that - via results of Edjvet and Vdovina - are fundamental groups of polyhedra with the generalized polygons as links and so act on Euclidean or hyperbolic buildings; in the hyperbolic case the groups are SQ-universal. A cyclic presentation of a group is a presentation with an equal number of generators and relators that admits a particular cyclic symmetry. We obtain a classification of the non-redundant …
Self-similar groups provide a rich source of groups with interesting properties; e.g., infinite torsion groups (Burnside groups) and groups with an intermediate word growth. Various self-similar groups can be described by a recursive (possibly infinite) presentation, a so-called finite $L$-presentation. Finite $L$-presentations allow numerous algorithms for finitely presented groups to be generalized to this special class of recursive presentations. We give an overview of the algorithms for finitely $L$-presented groups. As applications, we demonstrate how their implementation in a computer al…
The main achievement of this thesis is an algorithm which given a finite group presentation and natural numbers n and k, computes all the relators of length and area up to n and k respectively. The complexity of this algorithm is better by a factor which is over-exponential than that of classical methods using van Kampen diagrams.
We extend fundamental results of small cancellation theory to groups whose presentations satisfy the generalizations of the classical C(6) and C(7) conditions in graphical small cancellation theory. Using these graphical small cancellation conditions, we construct lacunary hyperbolic groups and groups that coarsely contain prescribed infinite sequences of finite graphs. We prove that groups given by (possibly infinite) graphical C(7) presentations contain non-abelian free subgroups.
The problem of describing the group of units $\mathcal{U}(\mathbb{Z} G)$ of the integral group ring $\mathbb{Z} G$ of a finite group $G$ has attracted a lot of attention and providing presentations for such groups is a fundamental problem. Within the context of orders, a central problem is to describe a presentation of the unit group of an order $\mathcal{O}$ in the simple epimorphic images $A$ of the rational group algebra $\mathbb{Q} G$. Making use of the presentation part of Poincaré's Polyhedron Theorem, Pita, del Río and Ruiz proposed such a method for a large family of finite groups $G$ …
The balanced superelliptic mapping class group is the normalizer of the transformation group of the balanced superelliptic covering space in the mapping class group of the total surface. We give finite presentations for the balanced superelliptic mapping class groups of closed surfaces, surfaces with one marked point, and surfaces with one boundary component. To give these presentations, we construct finite presentations for corresponding liftable mapping class groups in a different generating set from Ghaswala-Winarski's presentation in \cite{Ghaswala-Winarski1}.
Generalizing classical extension theory, we solve a Schreier-type extension problem for polygroups by groups. As a consequence, we obtain a method for computing a presentation for a group from its action on a set. The usefulness of this method is illustrated by deriving explicit presentations for the groups $GL_2$ over valuation rings and over valued fields, for the groups $SL_3$ over arbitrary fields, as well as for the five Mathieu groups. Moreover, we sketch some aspects of a new deformation technique for groups, their actions, and presentations, and apply it to compute presentations for th…
Tits has defined Kac-Moody and Steinberg groups over commutative rings, providing infinite dimensional analogues of the Chevalley-Demazure group schemes. Here we establish simple explicit presentations for all Steinberg and Kac-Moody groups whose Dynkin diagrams are hyperbolic and simply laced. Our presentations are analogues of the Curtis-Tits presentation of the finite groups of Lie type. When the ground ring is finitely generated, we derive the finite presentability of the Steinberg group, and similarly for the Kac-Moody group when the ground ring is a Dedekind domain of arithmetic type. Th…
We describe a finite presentation of $ \mathcal{T}_{g,r} $ for $g \geq 3$. % or $(g,r)=(2,0)$. Here $\mathcal{T}_{g,r} $ is the universal central extension of the mapping class group of the surface of genus $g$ with $r$-boundaries. We also investigate the case $g=2$,
A large class of positive finite presentations of the braid groups is found and studied. It is shown that no presentations but known exceptions in this class have the property that equivalent braid words are also equivalent under positive relations.
Consider a group $G$ acting nicely on a simply-connected simplicial complex $X$. Numerous classical methods exist for using this group action to produce a presentation for $G$. For the case that $X/G$ is 2-connected, we give a new method that has the novelty that one does not have to identify a fundamental domain for the action. Indeed, the resulting presentation is canonical in the sense that no arbitrary choices need to be made. It can be viewed as a nonabelian analogue of a simple result in the study of equivariant homology.
We describe presentations of braid groups of type ADE and show how these presentations are compatible with mutation of quivers, building on work of Barot and Marsh for Coxeter groups. In types A and D these presentations can be understood geometrically using triangulated surfaces. We then give a categorical interpretation of the presentations, with the new generators acting as spherical twists at simple modules on derived categories of Ginzburg dg-algebras of quivers with potential.
In previous work, the first author established a natural bijection between minimal subshifts and maximal regular J-classes of free profinite semigroups. In this paper, the Schützenberger groups of such J-classes are investigated, in particular in respect to a conjecture proposed by the first author concerning their profinite presentation. The conjecture is established for all non-periodic minimal subshifts associated with substitutions. It entails that it is decidable whether a finite group is a quotient of such a profinite group. As a further application, the Schützenberger group of the J-cla…
In the paper we give a survey of rather new notions and results which generalize classical ones in the theory of braids. Among such notions are various inverse monoids of partial braids. We also observe presentations different from standard Artin presentation for generalizations of braids. Namely, we consider presentations with small number of generators, Sergiescu graph-presentations and Birman-Ko-Lee presentation. The work of V.V.Chaynikov on the word and conjugacy problems for the singular braid monoid in Birman-Ko-Lee generators is described as well.
In this paper, we construct an infinite presentation of the Torelli subgroup of the mapping class group of a surface whose generators consist of the set of all "separating twists", all "bounding pair maps", and all "commutators of simply intersecting pairs" and whose relations all come from a short list of topological configurations of these generators on the surface. Aside from a few obvious ones, all of these relations come from a set of embeddings of groups derived from surface groups into the Torelli group. In the process of analyzing these embeddings, we derive a novel presentation for th…
Several different areas of group theory, topology and geometry have led to the study of the action of Aut(Fn) | the automorphism group of the free group on n generators | on Hom(Fn;G) when G is either finite,compact or simple Lie group. In this survey, we describe these topics and results, with special emphasis on some similarities and with an effort to give a somewhat uniform treatment. This perspective sometimes suggests new questions, conjectures and methods borrowed from one area to another.
A conjugation-free geometric presentation of a fundamental group is a presentation with the natural topological generators $x_1, ..., x_n$ and the cyclic relations: $x_{i_k}x_{i_{k-1}} ... x_{i_1} = x_{i_{k-1}} ... x_{i_1} x_{i_k} = ... = x_{i_1} x_{i_k} ... x_{i_2}$ with no conjugations on the generators. We have already proved that if the graph of the arrangement is a disjoint union of cycles, then its fundamental group has a conjugation-free geometric presentation. In this paper, we extend this property to arrangements whose graphs are a disjoint union of cycle-tree graphs. Moreover, we stu…
The Andrews-Curtis conjecture claims that every balanced presentation of the trivial group can be reduced to the standard one by a sequence of ``elementary transformations" which are Nielsen transformations augmented by arbitrary conjugations. It is a prevalent opinion that this conjecture is false; however, not many potential counterexamples are known. In this paper, we show that some of the previously proposed examples are actually not counterexamples. We hope that the tricks we used in constructing relevant chains of elementary transformations will be useful to those who attempt to establis…
In 2003, Fomin and Zelevinsky proved that finite type cluster algebras can be classified by Dynkin diagrams. Then in 2013, Barot and Marsh defined the presentation of a reflection group associated to a Dynkin diagram in terms of an edge-weighted, oriented graph, and proved that this group is invariant (up to isomorphism) under diagram mutations. In this paper, we extend Barot and Marsh's results to Artin group presentations, defining new generator relations and showing mutation-invariance for these presentations.
We develop a theory of equivariant group presentations and relate them to the second homology group of a group. Our main application says that the second homology group of the Torelli subgroup of the mapping class group is finitely generated as an $Sp(2g,\mathbb{Z})$-module.
