Classes of free group extensions

DOI10.1016/J.JALGEBRA.2023.11.005MaRDI QIDQ6142859zbMATH OpenOpenAlexFDO

Authors Noam M. D. Kolodner

Publication date 4 January 2024

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

core graphfree groupstallings folding

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Free nonabelian groups (20E05) Subgroup theorems; subgroup growth (20E07) Extensions, wreath products, and other compositions of groups (20E22)

Abstract: In this paper we identify different classes of free group extension using core graphs. We show that every free group extension $HleqKleqF$ has a base $B$ such that the associated pointed graph morphism $Gamm{a}_{B}left(Hight)oGamm{a}_{B}left(Hight)$ is onto. But if we examine graphs without base points, there is an extension $leftlanglebightangleleqleftlangleb,ab{a}^{-1}ightangle<F_{lefta,bight}$ such that for every base of $F_{lefta,bight}$ the associated graph morphisms are injective.

Review text

Let \(F=F_{B}\) be a free group with basis \(B\). In [\textit{J. R Stallings}, Invent. Math. 71, 551--565 (1983; Zbl 0521.20013)] is established a correspondence between subgroups of \(F\) with labeled graphs called core graphs. To each subgroup \(H\) of \(F\) is associated a pointed labeled graph \(\Gamma_{B}(H)\) and for subgroups \(K \leq H \leq F\) a graph morphism \(\Gamma_{B}(H) \rightarrow \Gamma_{B} (K)\). Thus, the category of subgroups of free groups ordered by inclusion is a subcategory of the category of pointed labeled graphs. This article is a development of the author's paper [J. Algebra 569, 595--615 (2021; Zbl 1477.20048)]. Theorem 3.2 states that if \(H \leq K \leq F_{Y}\) are finitely generated groups, then there is a basis \(B\) of \(F_{Y}\) such that the associated graph morphism \(\Gamma_{B}(H) \rightarrow \Gamma_{B} (K)\) is onto. Moreover \(B\) can be obtained from \(Y\) by conjugation. In the category of pointed labeled core graphs there are no free group extension such that for every automorphism the graph morphism is injective. The author shows that if graphs without base points are taken into consideration, then there is an extension \[ \langle b \rangle \leq \langle b, b^{a} \rangle \leq F_{\{a,b\}} \] such that for every basis of \(F_{\{a,b\}}\) the associated graph morphisms are injective.

Recommendations

• On algebraic extensions and decomposition of homomorphisms of free groups
• scientific article; zbMATH DE number 3914557
• Onto extensions of free groups
• On finite-index extensions of subgroups of free groups.
• scientific article; zbMATH DE number 4202571

Cites work

• Combinatorial group theory.
• scientific article; zbMATH DE number 5343239 (Why is no real title available?)
• scientific article; zbMATH DE number 3575812 (Why is no real title available?)
• scientific article; zbMATH DE number 1342244 (Why is no real title available?)
• Measure preserving words are primitive
• On algebraic extensions and decomposition of homomorphisms of free groups
• On Certain Sets of Elements in a Free Group
• Stallings foldings and subgroups of free groups
• Stallings graphs, algebraic extensions and primitive elements in F₂.
• Topology of finite graphs

Cited in

(1)

• Onto extensions of free groups

This page was built for publication: Classes of free group extensions

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