Frattini and Derived Subgroup of $SL(n,\mathbb{Z})$

374 Views Asked by At

It is known that the derived subgroup of $SL(2,\mathbb{Z})$ is subgroup of index 12 in the group.

1. What is known about derived subgroup of $SL(n,\mathbb{Z})$, for $n\geq 3$? (is it finitely generated?, is its index is finite in group? etc.)

2. What is the Frattini subgroup of $SL(n, \mathbb{Z})$, for $n\geq 2$?

1

There are 1 best solutions below

2
On BEST ANSWER

I believe that ${\rm SL}(n,\mathbb Z)$ is perfect for $n \ge 3$. You can get a transvection as a commutator:

$\left[ \left( \begin{array}{ccc} 1 & 0 & 0\\ 1 & 1 & 0 \\ 0 & 0 & 1 \end{array} \right) , \left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & -1 & 1 \end{array} \right) \right] =\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 1 & 0 & 1 \end{array} \right). $

and similarly you can get any matrix which is the identity with a single $1$ elsewhere. It is not hard to show that ${\rm SL}(n,\mathbb Z)$ is generated by matrices of this form.

I am sure the Frattini subgroup must be trivial for all $n \ge 2$. The kernels $K_p$ of the natural maps onto ${\rm SL}(n,p)$ for primes $p$ all equal to intersections of maximal subgroups, and the intersection of all of the $K_p$ is clearly trivial.