Every elementary matrix of the first kind is a commutator of unimodular matrices

From Groupprops

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

  1. 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.