Skip to main content
1 of 3
Ami
  • 332
  • 1
  • 8

A group generated by all the root subgroups above ideal of $\mathbb Z[\alpha]$ is of finite index in $G(\mathbb Z[\alpha])$

Let $G$ be a simply connected complex Chevalley group and let $T$ be some maximal torus in $G$ with $dimT\geq 2$.

From A note on generators for arithmetic subgroups of algebraic groups by Raghunathan
we have that for $I\lhd\mathbb Z, Γ(I):=\langle U_\phi(I)|\phi\in\Phi \rangle$ is of finite index in $G(\mathbb Z)$, is it also true for $I\lhd\mathbb Z[\alpha]$ that $Γ(I)$ of finite index in $G(\mathbb Z[\alpha])$?

Where:
-$\Phi$ denote the root system of $G$ with respect to $T$.
-$U_\phi$ is the root subgroup corresponding to $\phi\in\Phi$.
-$\alpha$ is an integral element of $\mathbb Z$.
-If $I$ is an ideal of the ring $A$ and $H\leq G$ we mark $H(I):=\{x\in H(A)|x\equiv1(mod\,I)\}$ where $H(A):=H\cap GL_n(A)$.

Ami
  • 332
  • 1
  • 8