7
$\begingroup$

I want to know whether the principal congruence subgroups of $SL(n, \mathbb{Z})$ are characteristic? please suggest me a reference.

Improve this question
$\endgroup$

2 Answers 2

Reset to default
8
$\begingroup$

Yes, they are caracteristic.

Let $\rho: GL(n, \mathbb{Z}) \to GL(n, \mathbb{Z}/m\mathbb{Z})$ be reduction mod $m$ and $\Gamma_n(m) := ker(\rho) \cap SL(n, \mathbb{Z})$ be a congruence sugroup.

According to the discussion in Automorphisms of $SL_n(\mathbb{Z})$ the automorphisms of $SL(n, \mathbb{Z})$ for $n > 2$ are generated by

  • $X \mapsto (X^T)^{-1}$
  • $X \mapsto AXA^{-1}, A \in GL(n, \mathbb{Z}).$

Obviously, $\Gamma_n(m)$ is invariant under these automorphisms and thus is characteristic.

In case $n = 2$ there is one more automorphisms of $SL(2, \mathbb{Z})$ that also leaves $\Gamma_n(m)$ invariant (for a description of this automorphism see the paper of Hua and Reiner mentioned in the link above).

Improve this answer
$\endgroup$
8
  • 1
    $\begingroup$ This is exactly the same answer as @Richard's $\endgroup$
    – Igor Rivin
    Commented Apr 20, 2011 at 21:57
  • 3
    $\begingroup$ Yes it is. When I was starting to type there was no answer and after I saved mine, I saw Richard's. So I guess there was some overlapping in time. Nevertheless, I decided no to delete my answer since a) it confirms what Richard says he thinks and b) it has some more details about the generators (and the case $n = 2$) that might be interesting for readers who just overflow the question without looking into the mathoverflow link or the Hua-Reiner paper. $\endgroup$
    – Ralph
    Commented Apr 20, 2011 at 22:13
  • $\begingroup$ you are right Ralph $\endgroup$
    – Poove
    Commented Apr 21, 2011 at 5:56
  • $\begingroup$ @Ralph: agreed. $\endgroup$
    – Igor Rivin
    Commented Apr 25, 2011 at 1:25
  • $\begingroup$ @Ralph: $\Gamma_n$ is characteristic. but what you said about the automorphism group of $SL(n,\mathbb Z)$ is true for n odd, because for n odd, all automorphisms of $SL(n,\mathbb Z)$ are induced by automorphisms of $GL(n,\mathbb Z)$(Hua-Reiner,theorem.3). Is it true if n even too? $\endgroup$
    – Poove
    Commented Apr 27, 2011 at 9:30
10
$\begingroup$

I think the answer is yes.

See this question for a discussion of $\mathrm{Aut}(\mathrm{SL}(n,\mathbb{Z}))$. The generators given in the Hua-Reiner paper seem to preserve the principal congruence subgroups.

Improve this answer
$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .