Normal subgroups in limit groups of prime index

DOI10.1515/JGTH-2017-0030MaRDI QIDQ1693068zbMATH OpenOpenAlexFDO

Authors Jhoel S. Gutierrez, Th. Weigel

Publication date 11 January 2018

Published in Journal of Group Theory (Search for Journal in Brave)

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

zbMATH Keywords

cohomology of groupsfinitely generated groupslimitsprofinite groups

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Limits, profinite groups (20E18) Generators, relations, and presentations of groups (20F05) Homological methods in group theory (20J05)

Abstract: Motivated by their study of pro-p limit groups, D.H. Kochloukova and P.A. Zalesskii formulated a question concerning the minimum number of generators d(N) of a normal subgroup N of prime index p in a non-abelian limit group G (cf. Question*). It is shown that the analogous question for the rational rank has an affirmative answer (cf. Thm. A). From this result one may conclude that the original question of D.H. Kochloukova and P.A. Zalesskii has an affirmative answer if the abelianization G^{ab} of G is torsion free and d(G)=d(G^{ab}) (cf. Cor.~B), or if G has the IF-property (cf. Thm. C).

Review text

Let \(F\) be a free group of rank greater than one. According to the definition of \textit{G. Baumslag} [Proc. Lond. Math. Soc., III. Ser. 17, 402--418 (1967; Zbl 0166.01502)], a finitely generated group \(G\) is said to be a limit group (or \(\omega\)-residually free) if, given any finite subset \(S\) of \(G\), there is a homomorphism \(G \to F\) whose restriction to \(S\) is injective. This class of groups includes many significant examples, such as finitely generated free (abelian) groups, and the fundamental groups of closed oriented surfaces. \textit{D. Kochloukova} and \textit{P. Zalesskii} [Math. Nachr. 288, No. 5--6, 604--618 (2015; Zbl 1326.20031)] have asked the following question. If \(G\) is a non-abelian limit group, and \(U\) is a normal subgroup of \(G\) of prime index, is it \(d(U) > d(G)\)? Here, \(d(L)\) denotes the minimum number of generators of the group \(L\). In the paper under review, the authors settle in the affermative the similar question for the rational rank \(\text{rk}_{\mathbb Q}(L) = \dim_{\mathbb Q} (G^{\text{ab}} \otimes_{\mathbb Z} \mathbb Q)\). Here, \(G^{\text{ab}} = G / G'\) is the abelianization of \(G\). As a consequence, they are able to settle the original question in the affirmative in several cases, such as when \(G^{\text{ab}}\) is torsion-free and \(d(G) = f(G^{\text{ab}})\).

Recommendations

• scientific article; zbMATH DE number 6963658
• A Sufficient Condition for Subgroups with Prime Indices to Be Normal
• scientific article; zbMATH DE number 11367
• scientific article; zbMATH DE number 980381
• On the normal index of maximal subgroups in finite groups
• scientific article; zbMATH DE number 687992
• scientific article; zbMATH DE number 4123978
• On the normal indices of proper subgroups of finite groups.
• The Normal Index of a Maximal Subgroup of a Finite Group

Cites work

• A classification of fully residually free groups of rank three or less
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Diophantine geometry over groups. II: Completions, closures and formal solutions
• Elementary theory of free non-abelian groups.
• Hall's theorem for limit groups.
• scientific article; zbMATH DE number 1673451 (Why is no real title available?)
• scientific article; zbMATH DE number 1121413 (Why is no real title available?)
• scientific article; zbMATH DE number 2144681 (Why is no real title available?)
• scientific article; zbMATH DE number 2123633 (Why is no real title available?)
• Introduction to combinatorial and geometric group theory.
• Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• Limit groups and groups acting freely on \(\mathbb{R}^n\)-trees.
• LIMIT GROUPS ARE CAT(0)
• Limit groups as limits of free groups.
• Notes on Sela's work: Limit groups and Makanin-Razborov diagrams
• On subdirect products of type \(\text{FP}_m\) of limit groups.
• Residually Free Groups
• Subgroup properties of fully residually free groups
• Subgroups and homology of extensions of centralizers of pro-\(p\) groups.

Cited in

(4)

• A Sufficient Condition for Subgroups with Prime Indices to Be Normal
• scientific article; zbMATH DE number 6963658 (Why is no real title available?)
• Homological approximations for profinite and pro-p limit groups
• Normalisers in limit groups.

This page was built for publication: Normal subgroups in limit groups of prime index

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