All Questions
Tagged with arithmetic-groups gr.group-theory
9 questions
19
votes
2
answers
5k
views
Minimal number of generators for $GL(n,\mathbb{Z})$
$\DeclareMathOperator{\gl}{GL}\DeclareMathOperator{\sl}{SL}$From de la Harpe's book "Topics in Geometric Group Theory" I learnt that $\gl(n,\mathbb{Z})$ is generated by the matrices $$s_1 = \begin{...
15
votes
1
answer
462
views
H_3 of SL(n,Z) and SL(n,F_p)
Can anyone tell me what $H_3(SL_n(\mathbb{Z});\mathbb{Z})$ and $H_3(SL_n(\mathbb{F}_p);\mathbb{Z})$ are? It is easy to find references for $H_1$ and $H_2$, but it turns out that I need $H_3$ as well. ...
14
votes
2
answers
2k
views
Subgroups of $SL_3(\mathbb{Z})$ that are finitely generated, Zariski-dense, infinite index, and torsion-free
My question stems from Misha's answer of a MathOverflow question. Misha supplied the following question in his answer:
Open question: Does there exist a finitely generated Zariski-dense torsion-...
12
votes
3
answers
2k
views
Generators for SL_2(R) for rings of integers R
Let $\mathcal{O}$ be the ring of integers in an algebraic number field. Is $\text{SL}_2(\mathcal{O})$ generated by elementary matrices? If it isn't, is there any other natural generating set for it?
...
9
votes
1
answer
384
views
Reference for the fact that $SL_n(O_K)$ surjects onto $SL_n(O_K/I)$ for any ideal I
Let $\mathcal{O}_K$ be the ring of integers in an algebraic number field $K$ and let $I \subset \mathcal{O}_K$ be a nonzero proper ideal. It is not hard to see that the map $\text{SL}_n(\mathcal{O}_K)...
7
votes
1
answer
467
views
Finite index subgroup of $\mathrm{GL}_n(\Bbb C)$ and Chevalley groups
I'm trying to show that if $G$ is a Chevalley group, then every finite index subgroup of $G(\Bbb Z)$ is Zariski dense in $G(\Bbb C)$. ($G(\Bbb Z)$ is the Chevalley group over $\Bbb Z$ and similarly ...
5
votes
3
answers
448
views
Variation of centraliser in $\operatorname{GL}(n,\mathbb{Z})$
$\DeclareMathOperator\GL{GL}$Let $n$ be a positive integer $\geq 2$. The setting is that $K \in \GL(n,\mathbb{Z})$, and people are interested in understanding the centralizer:
$$
C(K)=\{ B \in \GL(n,\...
2
votes
1
answer
425
views
Is $SL_n(\mathbb{Z}_p)$ virtually torsion free?
If so, is there a way to conclude this from Malcev's theorem?
In general, what is known about virtually torsion freeness of non-finitely generated linear groups?
1
vote
1
answer
373
views
The principal congruence subgroup of the symplectic group over the integers
Consider the symplectic group $\text{Sp}_{2g}(\mathbb{Z})$ over the integers. It has a classical root system $C_g$ and associated root subgroups $U_\varphi$ for $\varphi\in C_g$. These subgroups are ...