Special linear group is quasisimple

From Groupprops
Revision as of 20:39, 28 August 2009 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Let k be a field and n a natural number greater than 1. The special linear group SLn(k) is a quasisimple group: it is a perfect group and its inner automorphism group is a simple group, except in the following case: n=2 and k has two or three elements.

In other words, if n3 or k has at least four elements, the special linear group SLn(k) is quasisimple.

Facts used

  1. Special linear group is perfect
  2. Projective special linear group is simple

Proof

The proof follows from facts (1) and (2), and the fact that the inner automorphism group of the special linear group is the projective special linear group.