Transversals as generating sets in finitely generated groups

DOI10.1017/S0004972715000982MaRDI QIDQ2786578zbMATH OpenOpenAlexFDO

Authors Maurice Chiodo, Mariano Zeron-Medina Laris, Jack Button

Publication date 15 February 2016

Published in Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1402.0799

zbMATH Keywords

finite index subgroupsgenerating setsprimitive elementstransversals

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Abstract: We explore transversals of finite index subgroups of finitely generated groups. We show that when $H$ is a subgroup of a rank $n$ group $G$ and $H$ has index at least $n$ in $G$ then we can construct a left transversal for $H$ which contains a generating set of size $n$ for $G$, and that the construction is algorithmic when $G$ is finitely presented. We also show that, in the case where $G$ has rank $nleq3$, there is a simultaneous left-right transversal for $H$ which contains a generating set of size $n$ for $G$. We finish by showing that if $H$ is a subgroup of a rank $n$ group $G$ with index less than $3cdot{2}^{n-1}$, and $H$ contains no primitive elements of $G$, then $H$ is normal in $G$ and $G/Hcong{C}_2^n$.

Recommendations

• On pairs of finitely generated subgroups in free groups.
• On Connected Transversals in Finite Groups.
• Maximal subgroups of finite groups avoiding the elements of a generating set
• Generating finite soluble groups
• An algorithm for finding minimal generating sets of finite groups

Cites work

• Coset intersection graphs for groups.
• Maximal independent generating sets of the symmetric group
• On equivalent sets of elements in a free group
• ON THE COMPLEXITY OF THE WHITEHEAD MINIMIZATION PROBLEM
• Subgroups of free groups and primitive elements

Cited in

(1)

• Some groups generated by transvection subgroups

This page was built for publication: Transversals as generating sets in finitely generated groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2786578)