Search arXiv⌕ Search

arXiv subjects

Gerald Williams

Publications and source records attributed to Gerald Williams.

22 records · Page 2Linked to original sources

Coherence, subgroup separability, and metacyclic structures for a class of cyclically presented groups

We study a class $\mathfrak{M}$ of cyclically presented groups that includes both finite and infinite groups and is defined by a certain combinatorial condition on the defining relations. This class includes many finite metacyclic generalized Fibonacci groups that have been previously identified in the literature. By analysing their shift extensions we show that the groups in the class $\mathfrak{M}$ are are coherent, subgroup separable, satisfy the Tits alternative, possess finite index subgroups of geometric dimension at most two, and that their finite subgroups are all metacyclic. Many of the groups in $\mathfrak{M}$ are virtually free, some are free products of metacyclic groups and free groups, and some have geometric dimension two. We classify the finite groups that occur in $\mathfrak{M}$, giving extensive details about the metacyclic structures that occur, and we use this to prove an earlier conjecture concerning cyclically presented groups in which the relators are positive words of length three. We show that any finite group in the class $\mathfrak{M}$ that has fixed point free shift automorphism must be cyclic.

math.GR↗

Tadpole Labelled Oriented Graph Groups and Cyclically Presented Groups

We study a class of Labelled Oriented Graph (LOG) group where the underlying graph is a tadpole graph. We show that such a group is the natural HNN extension of a cyclically presented group and investigate the relationship between the LOG group and the cyclically presented group. We relate the second homotopy groups of their presentations and show that hyperbolicity of the cyclically presented group implies solvability of the conjugacy problem for the LOG group. In the case where the label on the tail of the LOG spells a positive word in the vertices in the circuit we show that the LOGs and groups coincide with those considered by Szczepanski and Vesnin. We obtain new presentations for these cyclically presented groups and show that the groups of Fibonacci type introduced by Johnson and Mawdesley are of this form. These groups generalize the Fibonacci groups and the Sieradski groups and have been studied by various authors. We continue these investigations, using small cancellation and curvature methods to obtain results on hyperbolicity, automaticity, SQ-universality, and solvability of decision problems.

math.GR↗

The Tits alternative for non-spherical Pride groups

Pride groups, or ``groups given by presentations in which each defining relator involves at most two types of generators'', include Coxeter groups, Artin groups, triangles of groups, and Vinberg's groups defined by periodic paired relations. We show that every non-spherical Pride group that is not a triangle of groups satisfies the Tits alternative.

math.GR↗

The Tits alternative for generalized triangle groups of type (3,4,2)

A generalized triangle group is a group that can be presented in the form $G = < x,y | x^p=y^q=w(x,y)^r=1>$, where $p,q,r\geq 2$ and $w(x,y)$ is a cyclically reduced word of length at least 2 in the free product $\Z_p*\Z_q=< x,y | x^p=y^q=1>$. Rosenberger has conjectured that every generalized triangle group $G$ satisfies the Tits alternative. It is known that the conjecture holds except possibly when the triple $(p,q,r)$ is one of $(2,3,2), (2,4,2),(2,5,2),(3,3,2),(3,4,2)$, or $(3,5,2)$. In this paper we show that the Tits alternative holds in the case $(p,q,r)=(3,4,2)$.

math.GR↗