Projective special linear group is simple

This article gives the statement, and possibly proof, of a particular group or type of group (namely, Projective special linear group (?)) satisfying a particular group property (namely, Simple group (?)).

Statement

Let $k$ be a field and $n$ be a natural number greater than $1$. Then, the projective special linear group $PS{L}_n(k)$ is a simple group provided one of these conditions holds:

• $n\ge 3$.
• $k$ has at least four elements.

Facts used

1. Special linear group is perfect: Under the same conditions ($n\ge 3$ or $k$ has at least four elements), the special linear group $S{L}_n(k)$ is a perfect group: it equals its own derived subgroup.
2. Perfectness is quotient-closed: The quotient of a perfect group by a normal subgroup is perfect.
3. Abelian normal subgroup of core-free maximal subgroup is contranormal implies derived subgroup of whole group is monolith

Related facts

Related facts about special linear group and projective special linear group

• Special linear group is perfect
• Special linear group is quasisimple
• Projective special linear group equals alternating group in only finitely many cases

Related facts about simplicity of linear groups

• Projective symplectic group is simple
• Projective special orthogonal group for bilinear form of positive Witt index is simple
• projective special orthogonal group over reals is simple

Proof

The proof proceeds in the following steps:

1. $PS{L}_n(k)$ satisfies the hypotheses for fact (3): Consider the natural action of $PS{L}_n(k)$ on the projective space ${\mathbb{P}}^{n-1}(k)$. This is a primitive group action, and the stabilizer of any point is thus a core-free maximal subgroup. PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]
   One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.
2. The commutator subgroup of $PS{L}_n(k)$ is contained in every nontrivial normal subgroup of $PS{L}_n(k)$: This follows from the previous step and fact (3).
3. $PS{L}_n(k)$ equals its own commutator subgroup when $n\ge 3$ or $k$ has at least four elements: This follows from facts (1) and (2).
4. $PS{L}_n(k)$ is simple when $n\ge 3$ or $k$ has at least four elements: : This follows from the last two steps.