Let $G$ be an algebraic group defined over a field $k$. We call $g\in G$ {\bf real} if $g$ is conjugate to $g^{-1}$ and $g\in G(k)$ as {\bf $k$-real} if $g$ is real in $G(k)$. An element $g\in G$ is {\bf strongly real} if $\exists h\in G$, $h^{2}=1$ (i.e. $h$ is an {\bf involution}) such that $hgh^{-1}=g^{-1}$. Clearly, strongly real elements are real and are product of two involutions. Let $G$ be a connected adjoint semisimple group over a perfect field $k$, with -1 in the Weyl group. We prove that any strongly regular $k$-real element in $G(k)$ is strongly $k$-real (i.e. is a product of two involutions in $G(k)$). For classical groups, with some mild exceptions, over an arbitrary field $k$ of characteristic not 2, we prove that $k$-real semisimple elements are strongly $k$-real. We compute an obstruction to reality and prove some results on reality specific to fields $k$ with $cd(k)\leq 1$. Finally, we prove that in a group $G$ of type $G_2$ over $k$, characteristic of $k$ different from 2 and 3, any real element in $G(k)$ is strongly $k$-real. This extends our results in \cite{st}, on reality for semisimple and unipotent real elements in groups of type $G_2$.
Let $G$ be an algebraic group over a field $k$. We call $g\in G(k)$ {\bf real} if $g$ is conjugate to $g^{-1}$ in $G(k)$. In this paper we study reality for groups of type $G_2$ over fields of characteristic different from 2. Let $G$ be such a group over $k$. We discuss reality for both semisimple and unipotent elements. We show that a semisimple element in $G(k)$ is real if and only if it is a product of two involutions in $G(k)$. Every unipotent element in $G(k)$ is a product of two involutions in $G(k)$. We discuss reality for $G_2$ over special fields and construct examples to show that re…
For simple algebraic groups defined over algebraically closed fields of good characteristic, we give upper bounds on the covering numbers of unipotent conjugacy classes in terms of their (co)ranks and in terms of their dimensions.
Let $k$ be an algebraically closed field, $G$ a linear algebraic group over $k$ and $φ\in Aut(G)$, the group of all algebraic group automorphisms of $G$. Two elements $x, y$ of $G$ are said to be $φ$-twisted conjugate if $y=gxφ(g)^{-1}$ for some $g\in G$. In this paper we prove that for a connected non-solvable linear algebraic group $G$ over $k$, the number of its $φ$-twisted conjugacy classes is infinite for every $φ\in Aut(G)$.
For a simple algebraic group $G$ over an algebraically closed field, we study products of normal subsets. For this we mark the nodes of the Dynkin diagram of $G$. We use two types of labels, a binary marking and a labeling with non-negative integers. The first is used to recognize large conjugacy classes which appear in a product of two conjugacy classes while the second is used to keep track of multiplicities of regular diagrams. In particular, we formulate sufficient conditions in terms of marked diagrams, for a product of normal subsets in $G$ to contain regular semisimple elements.
Let $G$ be a linear algebraic group over an algebraically closed field $k$ and $\mathrm{Aut}_{\mathrm{alg}}(G)$ the group of all algebraic group automorphisms of $G$. For every $φ\in \mathrm{Aut}_{\mathrm{alg}}(G)$ let $\mathcal{R}(φ)$ denote the set of all orbits of the $φ$-twisted conjugacy action of $G$ on itself (given by $(g,x)\mapsto gxφ(g^{-1})$, for all $g,x\in G$). We say that $G$ has the algebraic $R_\infty$-property if $\mathcal{R}(φ)$ is infinite for every $φ\in \mathrm{Aut}_{\mathrm{alg}}(G)$. In \citep{bb} we have shown that this property is satisfied by every connected non-solva…
We prove the Arad-Herzog conjecture for various families of finite simple groups- if A and B are nontrivial conjugacy classes, then AB is not a conjugacy class. We also prove that if G is a finite simple group of Lie type and A and B are nontrivial conjugacy classes, either both semisimple or both unipotent, then AB is not a conjugacy class. We also prove a strong version of the Arad-Herzog conjecture for simple algebraic groups and in particular show that almost always the product of two conjugacy classes in a simple algebraic group consists of infinitely many conjugacy classes. As a conseque…
We investigate Levi subgroups of a connected reductive algebraic group G, over a ground field K. We parametrize their conjugacy classes in terms of sets of simple roots and we prove that two Levi K-subgroups of G are rationally conjugate if and only if they are geometrically conjugate. These results are generalized to arbitrary connected linear algebraic K-groups. In that setting the appropriate analogue of a Levi subgroup is derived from the notion of a pseudo-parabolic subgroup.
Let G be a simple algebraic group over an algebraically closed field of characteristic zero and X be a spherical conjugacy class of G. We determine the decomposition of the coordinate ring of X into simple G-modules.
We classify pairs of conjugacy classes in almost simple algebraic groups whose product consists of finitely many classes. This leads to several interesting families of examples which are related to a generalization of the Baer--Suzuki theorem for finite groups. We also answer a question of Pavel Shumyatsky on commutators of pairs of conjugacy classes in simple algebraic groups. It turns out that the resulting examples are exactly those for which the product also consists of only finitely many classes.
The conjugacy growth function counts the number of distinct conjugacy classes in a ball of radius $n$. We give a lower bound for the conjugacy growth of certain branch groups, among them the Grigorchuk group. This bound is a function of intermediate growth. We further proof that certain branch groups have the property that every element can be expressed as a product of uniformly boundedly many conjugates of the generators. We call this property bounded conjugacy width. We also show how bounded conjugacy width relates to other algebraic properties of groups and apply these results to study the …
A group is called strongly bounded, if the speed with which it is generated by finitely many conjugacy classes has a positive, lower bound only dependent on the number of the conjugacy classes in question rather than the actual conjugacy classes. Earlier papers by Kedra, Libman and Martin and myself have shown that this is a property common to split Chevalley groups defined using an irreducible root system of rank at least $2$ and the ring of all S-algebraic integers and that the situation is dependent on the number theory of $R$ for ${\rm Sp}_4$ and $G_2.$ In this paper, we will show that ${\…
Let G be a connected, reductive algebraic group over an algebraically closed field of characteristic zero or good and odd. We characterize the spherical conjugacy classes of G as those intersecting only Bruhat cells corresponding to involutions in the Weyl group of G.
Let G be a simple algebraic group of adjoint type over an algebraically closed field of bad characteristic. We show that its sheets of conjugacy classes are parametrized by G-conjugacy classes of pairs (M,O) where M is the identity component of the centralizer of a semisimple element in G and O is a rigid unipotent conjugacy class in M, in analogy with the good characteristic case.
Let $G$ be an algebraic group of type $G_2$ over a field $k$ of characteristic $\neq 2,3$. In this paper we calculate centralizers of semisimple elements in anisotropic $G_2$. Using these, we show explicitly that there are six conjugacy classes of centralizers in the compact real form of $G_2$.
Let G be a simple algebraic group over an algebraically closed field k of bad characteristic. We classify the spherical unipotent conjugacy classes of G. We also show that if the characteristic of k is 2, then the fixed point subgroup of every involutorial automorphism (involution) of G is a spherical subgroup of G.
Let $k$ be any field and let $G$ be a connected reductive algebraic $k$-group. Associated to $G$ is an invariant first studied by Satake and Tits that is called the index of $G$ (a Dynkin diagram along with some additional combinatorial information). Tits showed that the $k$-isogeny class of $G$ is uniquely determined by its index and the $k$-isogeny class of its anisotropic kernel $G_a$. For the cases where $G$ is absolutely simple, Satake and Tits classified all possibilities for the index of $G$. Let $H$ be a connected reductive $k$-subgroup of maximal rank in $G$. We introduce an invariant…
We prove that Chevalley group over the field $F$ of zero characteristic possess $R_{\infty}$ property, if $F$ has torsion group of automorphisms or $F$ is an algebraically closed field which has finite transcendence degree over $\mathbb{Q}$. As a consequence we obtain that the twisted conjugacy class $[e]_φ$ of unit element is a subgroup of Chevalley group if and only if $φ$ is central automorphism.
Let $\F$ be an algebraically closed field. Let $\V$ be a vector space equipped with a non-degenerate symmetric or symplectic bilinear form $B$ over $\F$. Suppose the characteristic of $\F$ is \emph{large}, i.e. either zero or greater than the dimension of $\V$. Let $I(\V, B)$ denote the group of isometries. Using the Jacobson-Morozov lemma we give a new and simple proof of the fact that two elements in $I(\V,B)$ are conjugate if and only if they have the same elementary divisors.
In this paper we consider finite 2-groups with odd number of real conjugacy classes. On one hand we show that if $k$ is an odd natural number less than 24, then there are only finitely many finite 2-groups with exactly $k$ real conjugacy classes. On the other hand we construct infinitely many finite 2-groups with exactly 25 real conjugacy classes. Both resuls are proven using pro-$p$ techniques and, in particular, we use the Kneser classification of semi-simple $p$-adic algebraic groups.
The trialitarian automorphisms considered in this paper are the outer automorphisms of order 3 of adjoint classical groups of type D_4 over arbitrary fields. A one-to-one correspondence is established between their conjugacy classes and similarity classes of symmetric compositions on 8-dimensional quadratic spaces. Using the known classification of symmetric compositions, we distinguish two conjugacy classes of trialitarian automorphisms over algebraically closed fields. For type I, the group of fixed points is of type G_2, whereas it is of type A_2 for trialitarian automorphisms of type II.
Let $q$ be a $p$-power where $p$ is a fixed prime. In this paper, we look at the $p$-power maps on unitriangular group $U(n,q)$ and triangular group $T(n,q)$. In the spirit of Borel dominance theorem for algebraic groups, we show that the image of this map contains large size conjugacy classes. For the triangular group we give a recursive formula to count the image size.
Let H be a reductive subgroup of a reductive group G over an algebraically closed field k. We consider the action of H on G^n, the n-fold Cartesian product of G with itself, by simultaneous conjugation. We give a purely algebraic characterization of the closed H-orbits in G^n, generalizing work of Richardson which treats the case H = G. This characterization turns out to be a natural generalization of Serre's notion of G-complete reducibility. This concept appears to be new, even in characteristic zero. We discuss how to extend some key results on G-complete reducibility in this framework. We …
This paper is a contribution to the study of the subgroup structure of exceptional algebraic groups over algebraically closed fields of arbitrary characteristic. Following Serre, a closed subgroup of a semisimple algebraic group $G$ is called irreducible if it lies in no proper parabolic subgroup of $G$. In this paper we complete the classification of irreducible connected subgroups of exceptional algebraic groups, providing an explicit set of representatives for the conjugacy classes of such subgroups. Many consequences of this classification are also given. These include results concerning t…
The Algebraic Eraser (AE) is a cryptographic primitive that can be used to obscure information in certain algebraic cryptosystems. The Colored Burau Key Agreement Protocol (CBKAP), which is built on the AE, was introduced by I. Anshel, M. Anshel, D. Goldfeld, and S. Lemieux in 2006 as a protocol suitable for use on platforms with constrained computational resources, such as RFID and wireless sensors. In 2009 A. Myasnikov and A. Ushnakov proposed an attack on CBKAP that attempts to defeat the generalized simultaneous conjugacy search problem, which is the public-key computational problem underl…
The existence of closed orbits of real algebraic groups on real algebraic varieties is established. As an application, it is shown that if G is a real reductive linear group with Iwasawa decomposition G= KAN, then every unipotent subgroup of G is conjugate to a subgroup of N.
Let $F$ be a subfield of the algebraic closure of a finite field $\mathbb{F}_p$, $p \ne 2$, and let $R$ denote any ring such that $F[t] \subset R \subsetneq F(t)$. Let $G$ be a classical Chevalley group of adjoint type defined over $R$. We prove that the group $G(R)$ has the $R_{\infty}$-property.
We show that, for a sheet or a Lusztig stratum S containing spherical conjugacy classes in a connected reductive algebraic group G over an algebraically closed field in good characteristic, the orbit space S/G is isomorphic to the quotient of an affine subvariety of G modulo the action of a finite abelian 2-group. The affine subvariety is a closed subset of a Bruhat double coset and the abelian group is a finite subgroup of a maximal torus of G. We show that sheets of spherical conjugacy classes in a simple group are always smooth and we list which strata containing spherical classes are smoot…
Let G be a simple algebraic group over an algebraically closed field of good odd characteristic, and let theta be an automorphism of G arising from an involution of its Dynkin diagram. We show that the spherical theta-twisted conjugacy classes are precisely those intersecting only Bruhat cells corresponding to twisted involutions in the Weyl group. We show how the analogue of this statement fails in the triality case. We generalize to good odd characteristic J-H. Lu's dimension formula for spherical twisted conjugacy classes.
We show thatthe double reversing algorithm proposed by dehornoy for solving the word problem in the braid group can also be used to recognize the conjugates of powers of the generators in an Artin group of spherical type. The proof uses a characterization of these powers in terms of their fractional decomposition. This algorithm could have potential applications to braid-based cryptography; it also provides a fast method for testing a necessary condition in the classification of surfaces in algebraic geometry.
In the paper we study twisted conjugacy classes and isogredience classes for automorphisms of reductive linear algebraic groups. We show that reductive linear algebraic groups over some fields of zero characteristic possess the $R_\infty$ and $S_\infty$ properties.
Let G be a simple algebraic group over an algebraically closed field of characteristic zero or positive odd, good characteristic. Let B be a Borel subgroup of G. We show that the spherical conjugacy classes of G intersect only the double cosets of B in G corresponding to involutions in the Weyl group of G. This result is used to prove that for a spherical conjugacy class O with dense B-orbit v_0 contained in BwB there holds l(w)+rk(1-w)=dim(O) extending a characterization of spherical conjugacy classes obtained by N. Cantarini, M. Costantini and the author to the case of groups over fields of …
We establish a connection between the generalized conjugacy problem for a $G$-by-$\mathbb{Z}$ group, $GCP(G \rtimes \mathbb{Z})$, and two algorithmic problems for $G$: the generalized Brinkmann's conjugacy problem, $GBrCP(G)$, and the generalized twisted conjugacy problem, $GTCP(G)$. We explore this connection for generalizations of different kinds: relative to finitely generated subgroups, to theirs cosets, or to recognizable, rational, context-free or algebraic subsets of the group. Using this result, we are able to prove that $GBrCP(G)$ is decidable (with respect to cosets) when $G$ is a vi…
Let $G$ be a linear algebraic group over an algebraically closed field of characteristic $p\geq 0$. We show that if $H_1$ and $H_2$ are connected subgroups of $G$ such that $H_1$ and $H_2$ have a common maximal unipotent subgroup and $H_1/R_u(H_1)$ and $H_2/R_u(H_2)$ are semisimple, then $H_1$ and $H_2$ are $G$-conjugate. Moreover, we show that if $H$ is a semisimple linear algebraic group with maximal unipotent subgroup $U$ then for any algebraic group homomorphism $σ\colon U\rightarrow G$, there are only finitely many $G$-conjugacy classes of algebraic group homomorphisms $ρ\colon H\rightarr…
There currently exists no algebraic algorithm for computing twisted conjugacy classes in free groups. We propose a new technique for deciding twisted conjugacy relations using nilpotent quotients. Our technique is generalization of the common abelianization method, but admits significantly greater rates of success. We present experimental results demonstrating the efficacy of the technique, and detail how it can be applied the related settings of surface groups and doubly twisted conjugacy.
We provide an alternative description of the restriction to spherical unipotent conjugacy classes, of Lusztig's map Psi from the set of unipotent conjugacy classes in a connected reductive algebraic group to the set of conjugacy classes of its Weyl group. For irreducible root systems, we analyze the image of this restricted map and we prove that a conjugacy class in a finite Weyl group has a unique maximal length element if and only if it has a maximum.
We characterize in terms of the Goldman Lie algebra which conjugacy classes in the fundamental group of a surface with non empty boundary are represented by simple closed curves. We prove the following: A non power conjugacy class X contains an embedded representative if and only if the Goldman Lie bracket of X with the third power of X is zero. The proof uses combinatorial group theory and Chas' combinatorial description of the bracket recast here in terms of an exposition of the Cohen-Lustig algorithm. Using results of Ivanov, Korkmaz and Luo there are corollaries characterizing which permut…
Let $k$ be a nonperfect separably closed field. Let $G$ be a connected reductive algebraic group defined over $k$. We study rationality problems for Serre's notion of complete reducibility of subgroups of $G$. In particular, we present a new example of subgroup $H$ of $G$ of type $D_4$ in characteristic $2$ such that $H$ is $G$-completely reducible but not $G$-completely reducible over $k$ (or vice versa). This is new: all known such examples are for $G$ of exceptional type. We also find a new counterexample for Külshammer's question on representations of finite groups for $G$ of type $D_4$. A…
It is shown that the main result of N. R. Wallach, Principal orbit type theorems for reductive algebraic group actions and the Kempf--Ness Theorem, arXiv:1811.07195v1 (17 Nov 2018) is a special case of a more general statement, which can be deduced, using a short argument, from the classical Richardson and Luna theorems.
We give an easily checkable algebraic condition which implies that two elements of a finitely generated free group are members of distinct doubly-twisted conjugacy classes with respect to a pair of homomorphisms. We further show that this criterion is satisfied with probability 1 when the homomorphisms and elements are chosen at random.
We study quasi-semisimple elements of disconnected reductive algebraic groups over an algebraically closed field. We describe their centralizers, define isolated and quasi-isolated quasi-semisimple elements and classify their conjugacy classes.
We prove several reality properties for finite simple orthogonal groups. For any prime power $q$ and $m\geq 1$, we show that all real conjugacy classes are strongly real in the simple groups $\mathrm{P}Ω^{\pm}(4m+2,q), m \geq 1$, except in the case $\mathrm{P}Ω^{-}(4m+2,q)$ with $q \equiv 3(\mathrm{mod} \; 4)$, and we construct weakly real classes in this exceptional case for any $m$. We also show that no irreducible complex character of $\mathrm{P}Ω^{\pm}(n,q)$ can have Frobenius-Schur indicator $-1$, except possibly in the case $\mathrm{P}Ω^{-}(4m+2,q)$ with $q \equiv 3(\mathrm{mod} \; 4)$.
We show that the sheets for a connected reductive algebraic group G over an algebraically closed field in good characteristic acting on itself by conjugation are in bijection with G-conjugacy classes of triples (M, Z(M)^\circ t, O) where M is the connected centralizer of a semisimple element in G, Z(M)^\circ t is a suitable coset in Z(M)/Z(M)^\circ and O is a rigid unipotent conjugacy class in M. Any semisimple element is contained in a unique sheet S and S corresponds to a triple with O={1}. The sheets in G containing a unipotent conjugacy class are precisely those corresponding to triples fo…
We define algebraic group analogues of the Slodowy transversal slices to adjoint orbits in a complex semisimple Lie algebra g. The new slices are transversal to the conjugacy classes in an algebraic group G with Lie algebra g. These slices are associated to (the conjugacy classes of) elements s of the Weyl group W of g. For such slices we prove an analogue of the Kostant cross-section theorem for the action of a unipotent group.
A closed subgroup of a semisimple algebraic group is called irreducible if it lies in no proper parabolic subgroup. In this paper we classify all irreducible subgroups of exceptional algebraic groups $G$ which are connected, closed and simple of rank at least $2$. Consequences are given concerning the representations of such subgroups on various $G$-modules: for example, with one exception, the conjugacy classes of irreducible simple connected subgroups of rank at least $2$ are determined by their composition factors on the adjoint module for $G$.
This paper considers how many conjugacy classes of reflections a map can have, under various transitivity conditions. It is shown that for vertex- and for face-transitive maps there is no restriction on their number or size, whereas edge-transitive maps can have at most four classes of reflections. Examples are constructed, using topology, covering spaces and group theory, to show that various distributions of reflections can be achieved. Connections with real forms of algebraic curves are also discussed.
In this article we try to explore the relation between real conjugacy classes and real characters of finite groups at more refined level. This refinement is in terms of properties of groups such as strong reality and total orthogonality. In this connection we raise several questions and record several examples which have motivated those questions.
We determine which simple algebraic groups of type $^3D_4$ over arbitrary fields of characteristic different from 2 admit outer automorphisms of order 3, and classify these automorphisms up to conjugation. The criterion is formulated in terms of a representation of the group by automorphisms of a trialitarian algebra: outer automorphisms of order 3 exist if and only if the algebra is the endomorphism algebra of an induced cyclic composition; their conjugacy classes are in one-to-one correspondence with isomorphism classes of symmetric compositions from which the induced cyclic composition stem…
Let $G$ be a semisimple algebraic group over an algebraically closed field of characteristic $p \geq 0$. At the 1966 International Congress of Mathematicians in Moscow, Robert Steinberg conjectured that two elements $a, a' \in G$ are conjugate in $G$ if and only if $f(a)$ and $f(a')$ are conjugate in $\operatorname{GL}(V)$ for every rational irreducible representation $f: G \rightarrow \operatorname{GL}(V)$. Steinberg showed that the conjecture holds if $a$ and $a'$ are semisimple, and also proved the conjecture when $p = 0$. In this paper, we give a counterexample to Steinberg's conjecture. S…
Let $K$ be a field and $n\geq 3$. Let $E_n(K)\leq H\leq GL_n(K)$ be an intermediate group and $C$ a noncentral $H$-class. Define $m(C)$ as the minimal positive integer $m$ such that $\exists i_1,\dots,i_m\in\{\pm 1\}$ such that the product $C^{i_1}\dots C^{i_m}$ contains all nontrivial elementary transvections. In this article we obtain a sharp upper bound for $m(C)$. Moreover, we determine $m(C)$ for any noncentral $H$-class $C$ under the assumption that $K$ is algebraically closed or $n=3$ or $n=\infty$.
Let $\bfG$ be a connected reductive algebraic group defined over $\F_q$, where $q$ is a power of a prime $p$ that is good for $\bfG$. Let $F$ be the Frobenius morphism associated with the $\FF_q$-structure on $\bfG$ and set $G = \bfG^F$, the fixed point subgroup of $F$. Let $\bfP$ be an $F$-stable parabolic subgroup of $\bfG$ and let $\bfU$ be the unipotent radical of $\bfP$; set $P = \bfP^F$ and $U = \bfU^F$. Let $G_\uni$ be the set of unipotent elements in $G$. In this note we show that the number of conjugacy classes of $U$ in $G_\uni$ is given by a polynomial in $q$ with integer coefficien…
Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that each regular field is algebraically closed. Standard arguments show that a generically stable regular field is algebraically closed. Let $K$ be a regular field which is not generically stable and let $p$ be its global generic type. We observe that if $K$ has a finite extension $L$ of degree $n$, then $p^{(n)}$ has unbounded orbit under the action of the multip…
Let $G$ be a connected reductive algebraic group defined over an algebraically closed field $k$. The aim of this paper is to present a method to find triples $(G,M,H)$ with the following three properties. Property 1: $G$ is simple and $k$ has characteristic 2. Property 2: $H$ and $M$ are closed reductive subgroups of $G$ such that $H<M<G$, and $(G,M)$ is a reductive pair. Property 3: $H$ is $G$-completely reducible, but not $M$-completely reducible. We exhibit our method by presenting a new example of such a triple in $G=E_7$. Then we consider a rationality problem and a problem concerning con…
Let k be a separably closed field. Let G be a reductive algebraic k-group. In this paper, we study Serre's notion of complete reducibility of subgroups of G over k. In particular, using the recently proved center conjecture of Tits, we show that the centralizer of a k-subgroup H of G is G-completely reducible over k if it is reductive and H is G-completely reducible over k. We also show that a regular reductive k-subgroup of G is G-completely reducible over k. Various open problems concerning complete reducibility are discussed. We present examples where the number of overgroups of irreducible…
Given a discrete group $G$, we identify the Stone-$\check C$ech compactification $βG$ with the set of all ultrafilters on $G$ and put $G^\ast =βG\setminus G$. The action $G$ on $G$ by the conjugations $(g,x)\mapsto g^{-1}xg$ induces the action of $G$ on $G^\ast$ by $(g, p)\mapsto p^g $, $p^g = \{ g^{-1} Pg: P\in p\}$. We study interplays between the algebraic properties of $G$ and the dynamical properties of $(G, G^\ast)$. In particular, we show that $p^G$ is finite for each $p\in G^\ast$ if and only if the commutant of $G$ is finite.
Let g and p be non-negative integers. Let A(g,p) denote the group consisting of all those automorphisms of the free group on {t_1,...,t_p, x_1,...,x_g, y_1,...y_g} which fix the element t_1t_2...t_p[x_1,y_1]...[x_g,y_g] and permute the set of conjugacy classes {[t_1],....,[t_p]}. Labruère and Paris, building on work of Artin, Magnus, Dehn, Nielsen, Lickorish, Zieschang, Birman, Humphries, and others, showed that A(g,p) is generated by a set that is called the ADLH set. We use methods of Zieschang and McCool to give a self-contained, algebraic proof of this result. Labruère and Paris also gave …
