On Normal Subgroups of Twisted Chevalley Groups over Commutative Rings

Abstract

In this paper, we prove two structure theorems for twisted Chevalley groups $G_σ(R)$ over a commutative ring $R$ with unity. The first theorem concerns the normality of $E'_σ(R,J)$, the elementary congruence subgroups at level $J$, in the group $G_σ(R)$. The second theorem classifies all subgroups of $G_σ(R)$ normalized by its elementary subgroup $E'_σ(R)$. Along the way, we obtain several interesting results. For instance, when $R$ is a semilocal ring, we show that $G_σ(R)$ can be expressed as the (internal) product of $E'_σ(R)$ and the maximal torus $T_σ(R)$ of $G_σ(R)$.