Whitehead's lemma states that a matrix of the form is equivalent to identity by elementary transformations:
Here, eij(s) indicates a matrix whose diagonal block is 1 and ijth entry is s.
Categories: Algebra stubs | Linear algebra