The Unapologetic Mathematician

Mathematics for the interested outsider

How Many Generators?

Okay, one last post to fill out the week.

The shears alone generate the special linear group. Can we strip them down any further? And, with this in mind, how many generators does it take to build up the whole general linear group?

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 \mathrm{SL}(n,\mathbb{F}) using only the 2n-2 neighboring shears. If we have an matrix M in \mathrm{GL}(n\mathbb{F}) we can take its determinant \det(M). Then we can write M=C_{1,\det(M)}\tilde{M}. Here we’ve factored out a scaling by the determinant in the first row and we’re left with a matrix \tilde{M} in \mathrm{SL}(n,\mathbb{F}), which can then be written in terms of neighboring shears. So we need 2n-1 (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.

September 11, 2009 Posted by | Algebra, Linear Algebra | 2 Comments