Statement
Suppose
is a field and
is a natural number. For
in the set
, and
, let
be the matrix with
in the
position and
elsewhere, and let
be the matrix with
s on the diagonal,
in the
position, and zeroes elsewhere. Matrices of the form
are termed elementary matrices.
Let
denote the group of all matrices of determinant
under multiplication. Clearly,
for all
. The following are true:
- If
, every elementary matrix can be expressed as a commutator of two elementary matrices. In particular, it is the commutator of two elements of
.
- If
, and
has more than three elements, every elementary matrix can be expressed as a commutator of two elements of
.
Facts used
- Every elementary matrix is a commutator of elementary matrices: This statement is valid for
.
Proof
The case 
This follows from fact (1), and the observation that every elementary matrix is unimodular.
The case 
If
has more than three elements, there exists
such that
is invertible and
.
We need to prove that for any
, the element
(and analogously, the element
) is expressible as a commutator. Indeed, set:
A computation shows that the commutator of
and
is
. A similar construction gives
as a commutator.