The congruence subgroup problem for the free metabelian group on two generators

DOI10.4171/GGD/357MaRDI QIDQ2630764zbMATH OpenFDO

Authors David El-Chai Ben-Ezra

Publication date 22 July 2016

Published in Groups, Geometry, and Dynamics (Search for Journal in Brave)

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

zbMATH Keywords

congruence subgroup problemfree metabelian groupRomanovskii embedding

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Subgroup theorems; subgroup growth (20E07) Limits, profinite groups (20E18) Solvable groups, supersolvable groups (20F16) Automorphism groups of groups (20F28) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05)

Abstract: In this paper we describe the profinite completion of the free solvable group on m generators of solvability length r>1. Then, we show that for m=r=2, the free metabelian group on two generators does not have the Congruence Subgroup Property.

Review text

This is a nice little paper. After the surprising positive answer to the (analogue of the) congruence subgroup problem for \(\mathrm{Aut}(F_2)\) by \textit{M. Asada} [J. Pure Appl. Algebra 159, No. 2--3, 123--147 (2001; Zbl 1045.14013)] and \textit{K.-U. Bux} et al. [Groups Geom. Dyn. 5, No. 2, 327--353 (2011; Zbl 1251.20035)], this paper proves again a surprising result that the congruence subgroup property does not hold for the automorphism group of the free metabelian group of rank \(2\). The author uses the Romanovskii embedding to identify the profinite completion of the free solvable group of rank \(2\) and derived length \(r>1\) explicitly. This enables him to show that for the automorphism group of the free metabelian group of rank \(2\), the congruence subgroup problem essentially reduces to that for \(\mathrm{GL}_2(\mathbb{Z})\). In particular, the property does not hold. In fact, although it is not explicitly mentioned in this paper, the author's proof shows that the congruence kernel is the free profinite group of countably infinite rank (as for \(\mathrm{GL}_2(\mathbb{Z})\)). In a follow-up work, the author has shown that the congruence subgroup problem has a negative answer for the automorphism group of a free metabelian group of rank \(3\); in this case also, the congruence kernel contains a free profinite group of countably infinite rank. Note that the problem is still open for \(\mathrm{Aut}(F_3)\) itself. However, in some recent developments, the author has shown that for the automorphism group of free metabelian group of rank at least \(4\), the congruence kernel is abelian. Therefore, there is a dichotomy between ranks \(2,3\) and the other higher ranks.

Recommendations

• The congruence subgroup problem for low rank free and free metabelian groups
• The congruence subgroup problem for the free metabelian group on \(n\geq 4\) generators
• scientific article; zbMATH DE number 3886135
• scientific article; zbMATH DE number 4025689
• Publication:4731362
• The congruence subgroup property for \(\Aut F_2\): a group-theoretic proof of Asada's theorem.
• On automorphisms of free centre-by-metabelian groups
• scientific article; zbMATH DE number 871867
• Aut(F) →Aut(F/F � � ) is Surjective for Free Group F of Rank 4
• On the linearity of automorphism groups for free metabelian groups.

Cites work

• Applications of a New K-Theoretic Theorem to Soluble Group Rings
• Braids, Links, and Mapping Class Groups. (AM-82)
• scientific article; zbMATH DE number 3205927 (Why is no real title available?)
• IA-automorphism of certain two-generator torsion-free groups
• On a theorem of Marshall Hall
• Residual Properties of Infinite Soluble Groups
• The congruence subgroup problem.
• The congruence subgroup problem.
• The congruence subgroup property for \(\Aut F_2\): a group-theoretic proof of Asada's theorem.
• The faithfulness of the monodromy representations associated with certain families of algebraic curves

Cited in

(10)

• The congruence subgroup problem for low rank free and free metabelian groups
• The congruence subgroup problem for the free metabelian group on \(n\geq 4\) generators
• The congruence subgroup problem for finitely generated nilpotent groups
• The IA-congruence kernel of high rank free metabelian groups
• scientific article; zbMATH DE number 4217525 (Why is no real title available?)
• GEOMETRICAL APPROACH TO THE FREE SOLVABLE GROUPS
• The group SL(2,Z_s) is either perfect or prosolvable
• scientific article; zbMATH DE number 1406267 (Why is no real title available?)
• ON THE CONJUGACY PROBLEM IN CERTAIN METABELIAN GROUPS
• The congruence subgroup property for \(\Aut F_2\): a group-theoretic proof of Asada's theorem.

This page was built for publication: The congruence subgroup problem for the free metabelian group on two generators

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