Element structure of special linear group of degree two over a finite discrete valuation ring

From Groupprops
Revision as of 18:37, 4 November 2011 by Vipul (talk | contribs) (Created page with "{{group family-specific information| information type = element structure| group family = special linear group of degree two| connective = of}} This article discusses the elemen...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article gives specific information, namely, element structure, about a family of groups, namely: special linear group of degree two.
View element structure of group families | View other specific information about special linear group of degree two

This article discusses the element structure of the special linear group of degree two over a finite discrete valuation ring (i.e., local principal ideal ring) with residue field having size q, underlying prime characteristic of residue field p, and length l. The size of the whole ring is q^l, and each successive power of the unique maximal ideal has index q in its predecessor.

Examples are \mathbb{Z}/(p^l\mathbb{Z}) (here p = q), \mathbb{F}_q[t]/(t^l), and Galois rings.

The Galois ring with residue field of size q and length l is the unique (up to isomorphism) discrete valuation ring obtained as a degree \log_pq extension of \mathbb{Z}/p^l\mathbb{Z}, and hence generalizes both \mathbb{Z}/(p^l\mathbb{Z}) and \mathbb{F}_q. The Galois ring has characteristic p^l.

Particular cases

The size of the group is q^{4l - 3}(q^2 - 1).