Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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{...
eins6180's user avatar
  • 1,312
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. ...
Sarah's user avatar
  • 151
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-...
Khalid Bou-Rabee's user avatar
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? ...
Sue's user avatar
  • 270
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)...
Philippe's user avatar
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 ...
Ami's user avatar
  • 332
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,\...
en kuo's user avatar
  • 145
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?
user avatar
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 ...
user avatar