On the Abelianizations of congruence subgroups of (F₂).

DOI10.1007/S00013-012-0415-XMaRDI QIDQ453168zbMATH OpenOpenAlexFDO

Authors Daniel Appel

Publication date 18 September 2012

Published in Archiv der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

automorphism groupscongruence subgroupsfree groups

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Subgroup theorems; subgroup growth (20E07) Automorphisms of infinite groups (20E36) Automorphism groups of groups (20F28)

Abstract: Let F_n be the free group of rank n and let Aut^+(F_n) be its special automorphism group. For an epimorphism pi : F_n -> G of the free group F_n onto a finite group G we call Gamma^+(G,pi) = {f in Aut^+(F_n) | pi*f = pi} the standard congruence subgroup of Aut^+(F_n) associated to G and pi. In the case n = 2 we fully describe the abelianization of Gamma^+(G,pi) for finite abelian groups G. Moreover, we show that if G is a finite non-perfect group, then Gamma^+(G,pi) < Aut^+(F_2) has infinite abelianization.

Review text

Let \(\pi\colon F_n\to G\) be an epimorphism of the free group of rank~\(n\) onto a finite group. The `standard congruence subgroup of \(\Aut(F_n)\) associated to \(G\) and \(\varphi\)' is the group \(\Gamma(G,\pi)=\{\varphi\in\Aut(F_n)\mid\pi\varphi=\pi\}\). A subgroup of \(\Aut(F_n)\) containing some \(\Gamma(G,\pi)\) is called a `congruence subgroup' of \(\Aut(F_n)\). There is a representation \(\rho\colon\Aut(F_n)\to\Aut(F_n/F_n')\cong\mathrm{GL}_n(\mathbb Z)\). In the same way as \(\mathrm{SL}_n(\mathbb Z)\) can be considered instead of \(\mathrm{GL}_n(\mathbb Z)\) the `special automorphism group' \(\Aut^+(F_n)=\rho^{-1}(\mathrm{SL}_n(\mathbb Z))\) may be considered, and so the group \(\Gamma^+(G,\pi)=\Gamma(G,\pi)\cap\Aut^+(F_n)\) is the object of study in this paper. In the companion article [\textit{D. Appel} and \textit{E. Ribnere}, J. Algebra 321, No. 10, 2875-2889 (2009; Zbl 1178.20036)], the indices of \(\Gamma^+(G,\pi)\) in \(\Aut^+(F_n)\) are studied for \(n=2\); here the Abelianizations of \(\Gamma^+(G,\pi)\) are considered for \(n=2\). The first main result calculates \(\Gamma^+(G,\pi)^{\mathrm{ab}}\) for all Abelian groups \(G\) and the second shows that it is infinite when \(G\) is a non-perfect finite group.

Recommendations

• On the index of congruence subgroups of (F_n).
• On the index of certain standard congruence subgroups
• Some results on symmetrically-presented groups
• The Non-Finite Presentability of the Automorphism Group of the Free Z -Group of Rank Two
• Generators and relations of ``lower-triangular automorphism groups of free groups
• Linear representations of the automorphism group of a free group.
• Automorphisms of graphs, p-subgroups of \(Out(F_ n)\) and the Euler characteristic of \(Out(F_ n)\)
• \(n\)-dimensional linear representations of \(\Aut F_ n\), and more
• The abelianization of the congruence IA-automorphism group of a free group
• HOMOMORPHISMS FROM AUTOMORPHISM GROUPS OF FREE GROUPS

Cites work

• scientific article; zbMATH DE number 3506978 (Why is no real title available?)
• scientific article; zbMATH DE number 3224578 (Why is no real title available?)
• Linear representations of the automorphism group of a free group.
• On the index of congruence subgroups of (F_n).
• The abelianization of the congruence IA-automorphism group of a free group
• The abelianization of the congruence IA-automorphism group of a free group
• The congruence subgroup property for \(\Aut F_2\): a group-theoretic proof of Asada's theorem.
• What do we know about the product replacement algorithm?

Cited in

(9)

• On the index of certain standard congruence subgroups
• The subgroup measuring the defect of the Abelianization of \(\mathrm{SL}_2(\mathbb Z[i])\).
• On the index of congruence subgroups of (F_n).
• Loop subgroups of \(F_r\) and the image of their stabilizer subgroups in \(\mathrm{GL}_r(\mathbb Z)\).
• scientific article; zbMATH DE number 1564071 (Why is no real title available?)
• On the smallest non-abelian quotient of (F_n)
• Principal congruence subgroups in the infinite rank case
• The abelianization of the congruence IA-automorphism group of a free group
• The congruence subgroup property for \(\Aut F_2\): a group-theoretic proof of Asada's theorem.

This page was built for publication: On the Abelianizations of congruence subgroups of \(\Aut(F_2)\).

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