\( \newcommand{\matr}[1] {\mathbf{#1}} \newcommand{\vertbar} {\rule[-1ex]{0.5pt}{2.5ex}} \newcommand{\horzbar} {\rule[.5ex]{2.5ex}{0.5pt}} \newcommand{\E} {\mathrm{E}} \)
deepdream of
          a sidewalk
Show Question
\( \newcommand{\cat}[1] {\mathrm{#1}} \newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})} \newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}} \newcommand{\multiBetaReduction}[0] {\twoheadrightarrow_{\beta}} \newcommand{\betaReduction}[0] {\rightarrow_{\beta}} \newcommand{\betaEq}[0] {=_{\beta}} \newcommand{\string}[1] {\texttt{"}\mathtt{#1}\texttt{"}} \newcommand{\symbolq}[1] {\texttt{`}\mathtt{#1}\texttt{'}} \newcommand{\groupMul}[1] { \cdot_{\small{#1}}} \newcommand{\groupAdd}[1] { +_{\small{#1}}} \newcommand{\inv}[1] {#1^{-1} } \newcommand{\bm}[1] { \boldsymbol{#1} } \require{physics} \require{ams} \require{mathtools} \)
Math and science::Algebra::Aluffi

Subgroups of the general linear group

Below are three subgroups of \( \mathrm{GL}_n(\mathbb{R})\), the group of invertible \( n\times n\) matrices with real entries.

\( \mathrm{SL}_n(\mathbb{R})\)
The subset of \( \mathrm{GL}_n(\mathbb{R})\) consisting of matrices with determinant 1. "S" is short for "special".
\( \mathrm{O}_n(\mathbb{R})\)
The subset of \( \mathrm{GL}_n(\mathbb{R})\) consisting of matrices \( M\) such that \( M^TM=MM^T=I_n\). "O" here is short for "orthogonal".
\( \mathrm{SO}_n(\mathbb{R})\)
The subset of \( \mathrm{O}_n(\mathbb{R})\) consisting of matrices with determinant 1.

Can you proof that these 3 subsets form subgroups?


To prove that a subset of a group is a subgroup, we need to show that:

  1. It contains the identity element.
  2. It is closed under the group operation.
  3. It is closed under inverses.

Orthogonal group vs. special orthogonal group

The orthogonal group has the requirement that \( M^TM = MM^T = I_n \). This means that the columns of \( M \) are orthogonal to each other and that they all have length 1. This is quite a strong requirement and you may wonder what is left to distinguish this group from the special orthogonal group. The answer is that the special orthogonal group has the additional requirement that the determinant of \( M \) is positive 1. What is not in the special orthogonal group are all the matrices with determinant -1.

\( \mathrm{SL}_n(\mathbb{R}) \)

\( \mathrm{SL}_n(\mathbb{R}) \) is a subgroup of \( \mathrm{GL}_n(\mathbb{R})\).

Proof. The identity matrix for \( \mathrm{GL}_n(\mathbb{R}) \) has determinant 1, so it is in \( \mathrm{SL}_n(\mathbb{R}) \). For any matrices \( A \) and \( B \) in \( \mathrm{G}_n(\mathbb{R}\), \( \det(AB) = \det(A)\det(B) \). An so if \( \det(A) = \det(B) = 1 \), then \( \det(AB) = 1 \). So \( AB \) is in \( \mathrm{SL}_n(\mathbb{R}) \). As \(AA^{-1} = I_n \), if \( A \) has determinant 1, then so too must \( A^{-1} \). So we have closure under matrix multiplication and inverses, and the identity is present.

\( \mathrm{O}_n(\mathbb{R}) \)

\( \mathrm{SO}_n(\mathbb{R}) \)

\( \mathrm{SO}_n(\mathbb{R}) \) is a subgroup of \( \mathrm{O}_n(\mathbb{R})\).

Proof idea. An orthogonal matrix is one whose columns are orthogonal to each other. The main task is to show that the matrix multiplication of two orthogonal matrices is also orthogonal. Let \( A \) and \( B \) be orthogonal matrices and consider \( AB = C \). Let's be concrete and fix the matrix dimensions to be \( 3\times 3 \). Each column of \( C \) is a linear combination of the columns of \( A \) with coefficients given by the columns of \( B \). Consider testing the dot product of two columns \( c_1 \) and \( c_2 \) of \( C \). \( c_1 \) will be \( B_{11}a_1 + B_{12}a_2 + B_{13}a_3 \) where \( a_x \) is the \( x \)th column of \( A \). Similarly, \( c_2 \) will be \( B_{21}a_1 + B_{22}a_2 + B_{23}a_3 \). When we take the dot product of \( c_1 \) and \( c_2 \), out of the 9 sub-products that make up the dot product, the only terms that will survive are those like \( B_{11}a_1 \cdot B_{21}a_1 \), as the other terms will be orthogonal. But \( B_{11}a_1 \cdot B_{21}a_1 \) is just \( B_{11}B_{21} \lVert a_1 \lVert \), and so the dot product of \( c_1 \) and \( c_2 \) is just \[\begin{bmatrix} B_{11}B_{21} \lVert a_1 \lVert \\ B_{12}B_{22} \lVert a_2 \lVert \\ B_{13}B_{23} \lVert a_3 \lVert \\ \end{bmatrix}\].

Now remember that \( AA^T = I_3 \) which is another way of saying that the dot product of any column with itself is 1, and the dot product of any two different columns is 0. So \( \lVert a_1 \lVert = \lVert a_2 \lVert = \lVert a_3 \lVert = 1 \) and so the dot product of \( c_1 \) and \( c_2 \) is \[\begin{bmatrix} B_{11}B_{21} \\ B_{12}B_{22} \\ B_{13}B_{23} \\ \end{bmatrix}\].

But this is just the dot product of the first column of \( B \) with the second column of \( B \), which is 0. For the same two columns of \( C \), the dot product will be 1. This is what we wanted in order for \( C \) to be orthogonal.

Proof.

If \( G_1 \) and \( G_2 \) are subgroups of a group \( G \), then their intersection \( G_1 \cap G_2 \) is also a subgroup of \( G \). Applying this rule to \( \mathrm{SL}_n(\mathbb{R}) \) and \( \mathrm{O}_n(\mathbb{R}) \) as subgroups of \( \mathrm{GL}_n(\mathbb{R}) \), we see that \( \mathrm{SO}_n(\mathbb{R}) \) is a subgroup of \( \mathrm{O}_n(\mathbb{R}) \) also.