Subgroups Generated by Shears
I assert that the upper shears — those elementary matrices with one nonzero entry above the diagonal — generate the group of “upper unipotent” matrices. A matrix is unipotent if it is the identity plus a nilpotent transformation, so all of its eigenvalues are . Specifically, we want those that are also upper-triangular. Thus the matrices we’re talking about have everywhere below the diagonal and all on the diagonal, as
What I’m going to do, now, is turn this matrix into the identity by using elementary row operations. Specifically, I’ll only ever add a multiple of one row to another row, which can be effected by multiplying the matrix on the left by shear matrices. And I’ll only add multiples of one row to rows above it, which can be effected by using upper shears.
So first, let’s add times the th row to the th.
We’ve cleared out the last entry in the next-to-last row in the matrix. Keep going, clearing out all the rest of the last column
Now we can use the next-to-last row — which has only a single nonzero entry left — to clear out the rest of the next-to-last column
Keep going, clearing out the columns from right to left
and we’ve got the identity matrix! So that means that this big product of all these upper shears on the left is actually the inverse to the matrix that we started with. Now we just multiply the inverse of each of these shears together in reverse order to find
So any upper-unipotent matrix can be written as a product of upper shears. Similarly, any lower-unipotent matrix (all above the diagonal and all on the diagonal) can be written as a product of lower shears. If we add in scalings, we can adjust the diagonal entries too. Given an invertible upper-triangular matrix, first factor it into the product of a diagonal matrix and an upper-unipotent matrix by dividing each row by its diagonal entry. Then the diagonal part can be built from scalings, while the upper-unipotent part can be built from shears. And, of course, scalings and lower shears together generate the subgroup of invertible lower-triangular matrices.