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

From Groupprops

Statement

Suppose k is a field and n2 is a natural number. For ij in the set {1,2,,n}, and λk, let eij(λ) be the matrix with λ in the (ij)th position and 0 elsewhere, and let Eij(λ) be the matrix with 1s on the diagonal, λ in the (ij)th position, and zeroes elsewhere. Matrices of the form Eij(λ) are termed elementary matrices.

Let SLn(k) denote the group of all matrices of determinant 1 under multiplication. Clearly, Eij(λ)SLn(k) for all ij,λk. The following are true:

  • If n3, every elementary matrix can be expressed as a commutator of two elementary matrices. In particular, it is the commutator of two elements of SLn(k).
  • If n=2, and k has more than three elements, every elementary matrix can be expressed as a commutator of two elements of SLn(k).

Facts used

  1. Every elementary matrix is a commutator of elementary matrices: This statement is valid for n3.

Proof

The case n3

This follows from fact (1), and the observation that every elementary matrix is unimodular.

The case n=2

If k has more than three elements, there exists μk such that μ is invertible and μ21.

We need to prove that for any λ, the element E12(λ) (and analogously, the element E21(λ)) is expressible as a commutator. Indeed, set:

g=(μ00μ1),h=(1λ/(μ21)01)

A computation shows that the commutator of g and h is E12(λ). A similar construction gives E21(λ) as a commutator.