The Unapologetic Mathematician

Mathematics for the interested outsider

Shears Generate the Special Linear Group

We established that if we restrict to upper shears we can generate all upper-unipotent matrices. On the other hand if we use all shears and scalings we can generate any invertible matrix we want (since swaps can be built from shears and scalings). We clearly can’t build any matrix whatsoever from shears alone, since every shear has determinant {1} and so must any product of shears. But it turns out that we can use shears to generate any matrix of determinant {1} — those in the special linear group.

First of all, let’s consider the following matrix equations, which should be easy to verify

\displaystyle\begin{aligned}\begin{pmatrix}1&0&0\\{0}&1&x\\{0}&0&1\end{pmatrix}\begin{pmatrix}y&0&0\\{0}&1&0\\{0}&0&1\end{pmatrix}&=\begin{pmatrix}y&0&0\\{0}&1&0\\{0}&0&1\end{pmatrix}\begin{pmatrix}1&0&0\\{0}&1&x\\{0}&0&1\end{pmatrix}\\\begin{pmatrix}1&x&0\\{0}&1&0\\{0}&0&1\end{pmatrix}\begin{pmatrix}1&0&0\\{0}&1&0\\{0}&0&y\end{pmatrix}&=\begin{pmatrix}1&0&0\\{0}&1&0\\{0}&0&y\end{pmatrix}\begin{pmatrix}1&x&0\\{0}&1&0\\{0}&0&1\end{pmatrix}\\\begin{pmatrix}1&x\\{0}&1\end{pmatrix}\begin{pmatrix}y&0\\{0}&1\end{pmatrix}&=\begin{pmatrix}y&0\\{0}&1\end{pmatrix}\begin{pmatrix}1&\frac{x}{y}\\{0}&1\end{pmatrix}\\\begin{pmatrix}1&x\\{0}&1\end{pmatrix}\begin{pmatrix}1&0\\{0}&y\end{pmatrix}&=\begin{pmatrix}1&0\\{0}&y\end{pmatrix}\begin{pmatrix}1&xy\\{0}&1\end{pmatrix}\end{aligned}

These show that we can always pull a scaling to the left past a shear. In the first two cases, the scaling and the shear commute if the row and column the scaling acts on are uninvolved in the shear. In the last two cases, we have to modify the shear in the process, but we end up with the scaling written to the left of a shear instead of to the right. We can use these toy examples to see that we can always pull a scaling from the right to the left of a shear, possibly changing the shear in the process.

What does this mean? When we take a matrix and write it out in terms of elementary matrices, we can always modify this expression so that all the scalings are to the left of all the shears. Then we have a diagonal matrix to the left of a long product of shears, since the product of a bunch of scalings is a diagonal matrix. But now the determinant of each shear is {1}, and the determinant of the diagonal matrix must be the product of the diagonal entries, which are the scaling factors. And so the product of the scaling factors is the determinant of our original matrix.

We’re specifically concerned with matrices of determinant {1}, meaning the product of all the diagonal entries must come out to be {1}. I’m going to use this fact to write the diagonal matrix as a product of scalings in a very particular way. Let’s say the diagonal entry in row n is \lambda_n. Then I’m going to start by writing down

\displaystyle C_{1,\lambda_1}C_{2,\lambda_1^{-1}}

I’ve scaled the first row by the right amount, and then scaled the second row by the inverse amount so the product of the two scaling factors is {1}. Then I write down

\displaystyle C_{2,\lambda_1\lambda_2}C_{3,\lambda_1^{-1}\lambda_2^{-1}}

The product of the two scalings of the second row ends up scaling it by \lambda_2, and we scale the third row to compensate. We continue this way, scaling each row to the right amount, and the next one by the inverse factor. Once we scale the next-to-last row we’re done, since the scaling factor for the last row must be exactly what we need to make the total product of all the scaling factors come out to {1}. That is, as long as the total scaling factor is {1}, we can write the diagonal matrix as the product of these pairs of scalings with inverse scaling factors.

Now let’s take four shears, alternating upper and lower, since two upper shears in a row are the same as a single upper shear, and similarly for lower shears. We want it to come out to one of these pairs of scalings.

\displaystyle\begin{aligned}\begin{pmatrix}1&a\\{0}&1\end{pmatrix}\begin{pmatrix}1&0\\b&1\end{pmatrix}\begin{pmatrix}1&c\\{0}&1\end{pmatrix}\begin{pmatrix}1&0\\d&1\end{pmatrix}=\begin{pmatrix}1+ab&a\\b&1\end{pmatrix}\begin{pmatrix}1+cd&c\\d&1\end{pmatrix}&\\=\begin{pmatrix}1+ab+ad+cd+abcd&a+c+abc\\b+d+bcd&1+bc\end{pmatrix}&\\=\begin{pmatrix}x&0\\{0}&\frac{1}{x}\end{pmatrix}&\end{aligned}

This gives us four equations to solve

\displaystyle\begin{aligned}1+ab+ad+cd+abcd&=x\\a+c+abc&=0\\b+d+bcd&=0\\1+bc&=\frac{1}{x}\end{aligned}

These quickly simplify to

\displaystyle\begin{aligned}1+ab&=x\\\frac{a}{x}+c&=0\\b+\frac{d}{x}&=0\\1+bc&=\frac{1}{x}\end{aligned}

Which can be solved to find

\displaystyle\begin{aligned}a&=\frac{x-x^2}{d}\\b&=-\frac{d}{x}\\c&=\frac{x-1}{d}\\d&=d\end{aligned}

So we could pick d=-x and for any scaling factor x write

\displaystyle\begin{pmatrix}x&0\\{0}&\frac{1}{x}\end{pmatrix}=\begin{pmatrix}1&x-1\\{0}&1\end{pmatrix}\begin{pmatrix}1&0\\1&1\end{pmatrix}\begin{pmatrix}1&\frac{1-x}{x}\\{0}&1\end{pmatrix}\begin{pmatrix}1&0\\-x&1\end{pmatrix}

And so we can write such a pair of scalings with inverse scaling factors as a product of four shears. Since in the case at hand we can write the diagonal part of our elementary matrix decomposition with such pairs of scalings, we can translate them all into shears. And at the end of the day, we can write any special linear transformation as a product of a bunch of shears.

About these ads

September 9, 2009 - Posted by | Algebra, Linear Algebra

3 Comments »

  1. This is very good. You made clear some things that I did not understand when I first encountered this, in the early 1970s. Thank you!

    Comment by Jonathan Vos Post | September 10, 2009 | Reply

  2. [...] shears alone generate the special linear group. Can we strip them down any further? And, with this in mind, how many [...]

    Pingback by How Many Generators? « The Unapologetic Mathematician | September 11, 2009 | Reply

  3. [...] to this article that states without formal proof (“easy to verify”) that you can pull any scale matrix to the left of a shear matrix. This is a relatively easy first problem but it has interesting implications, namely that with only [...]

    Pingback by Scales and Shears are (Sort of) Commutative and the Latter Generate the Special Linear Group « indefiniteintegirl | October 26, 2011 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 394 other followers

%d bloggers like this: