Abstract:The congruence subgroup problem for a finitely generated group $\Gamma$ and $G\leq Aut(\Gamma)$ asks whether the map $\hat{G}\to Aut(\hat{\Gamma})$ is injective, or more generally, what is its kernel $C\left(G,\Gamma\right)$? Here $\hat{X}$ denotes the profinite completion of $X$. In the case $G=Aut(\Gamma)$ we denote $C\left(\Gamma\right)=C\left(Aut(\Gamma),\Gamma\right)$. Let $\Gamma$ be a finitely generated group, $\bar{\Gamma}=\Gamma/[\Gamma,\Gamma]$, and $\Gamma^{*}=\bar{\Gamma}/tor(\bar{\Gamma})\cong\mathbb{Z}^{(d)}$. Denote $Aut^{*}(\Gamma)=\textrm{Im}(Aut(\Gamma)\to Aut(\Gamma^{*}))\leq GL_{d}(\mathbb{Z})$. In this paper we show that when $\Gamma$ is nilpotent, there is a canonical isomorphism $C\left(\Gamma\right)\simeq C(Aut^{*}(\Gamma),\Gamma^{*})$. In other words, $C\left(\Gamma\right)$ is completely determined by the solution to the classical congruence subgroup problem for the arithmetic group $Aut^{*}(\Gamma)$. In particular, in the case where $\Gamma=\Psi_{n,c}$ is a finitely generated free nilpotent group of class $c$ on $n$ elements, we get that $C(\Psi_{n,c})=C(\mathbb{Z}^{(n)})=\{e\}$ whenever $n\geq3$, and $C(\Psi_{2,c})=C(\mathbb{Z}^{(2)})=\hat{F}_{\omega}$ = the free profinite group on countable number of generators.

Congruence lattices forcing nilpotency

Representing some families of monotone maps by principal lattice congruences

Nilpotence, Weak Nilpotence, and the Nil Property in the Nonassociative World: Computations and Conjectures

Isomorphisms between lattices of hyperinvariant subspaces

Congruence Preservation, Lattices and Recognizability

The Congruence Subgroup Problem for finitely generated Nilpotent Groups

Isoform lattices

Probabilistically nilpotent Hopf algebras

A conjecture related to the nilpotency of groups with isomorphic non-commuting graphs

Homomorphisms and principal congruences of bounded lattices

Proper congruence-preserving extensions of lattices

Circuit equivalence in 2-nilpotent algebras

Commutative post-Lie algebra structures and linear equations for nilpotent Lie algebras

Maximal nilpotent complex structures

Non-metacyclic groups acting with nilpotent centralizers

Model-theoretic properties of nilpotent groups and Lie algebras

A remark on cohomology of nilpotent Lie algebras

Criteria for nilpotency of fusion systems

On converse of the Schur's theorem for nilpotent Lie superalgebras

Ado theorem for nilpotent Hom-Lie algebras

Lattices of Subgroup and Subsystem Functors