How Many Generators?
Okay, one last post to fill out the week.
It turns out that we don’t even need all the shears. We can just use neighboring shears to build all the others. Indeed:
In terms of elementary row operations, first we add the third row to the second. Then we add the second to the first, effectively adding the third row to the first as well. Then we subtract the third row from the second, undoing that first step. Finally, we subtract the second row (alone now) from the first, undoing the extra addition of the second row to the first. At the end of the whole process we’ve added the third row to the first. We could modify this by adding a multiple of the third row to the second, and subtracting the same multiple later. Check to see what result that has. And we have similar results using neighboring lower shears
So we can generate the special linear group using only the neighboring shears. If we have an matrix in we can take its determinant . Then we can write . Here we’ve factored out a scaling by the determinant in the first row and we’re left with a matrix in , which can then be written in terms of neighboring shears. So we need (families of) generators here.
These are the best I can do, and I don’t see a way of improving. Roughly, upper shears can’t build up lower shears, any collection of neighboring shears can only affect the rows they cover in sequence and so can’t build up a new neighboring shear, and no shears can handle that one scaling. So it seems there’s no way to pare down this collection of generators. But there might be a completely different approach that leads to fewer families of generators. If someone has one, I’d be glad to see it.