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.

On Intersections of Nilpotent Subgroups in Finite Groups with Simple Socle from the "Atlas of Finite Groups"

Intersection of conjugate solvable subgroups in symmetric groups

Generation by conjugate elements of finite almost simple groups with a sporadic socle

A Note on Finite Groups Having A Simple Subgroup

Congruence Subgroup Property for nilpotent groups and subsurface subgroups of Mapping Class Groups

Unicity of A1-subgroups associated to unipotent elements in simple algebraic groups

Conjugacy class numbers and nilpotent subgroups of finite groups

Finite Groups With Many Conjugate Elements

On finite groups in which the twisted conjugacy classes of the unit element are subgroups

Nonexistence of generalized quadrangles admitting a point-primitive and line-primitive automorphism group with socle ,

Trivial Intersection of Blocks and Nilpotent Subgroups

The number of conjugacy classes of noncyclic subgroups of finite nilpotent groups

The socle of the group algebra of a finite $p$-group

Fixed point subgroups of a supertight automorphism

The Congruence Subgroup Problem for finitely generated Nilpotent Groups

On grouops with formational subnormal or self-normalizing subgroups

p-Nilpotent maximal subgroups in finite groups

Finite solvable groups with a nilpotent normal complement subgroup

On finite groups isospectral to groups with abelian Sylow $2$-subgroups

Classifying group algebras in which the socle of the center is an ideal

Finite Groups with a Given Number of Conjugacy Classes of Non-nilpotent Maximal Subgroups