Maths WorkshopMaths problems with full solutions
Exercise 1711Algebra › GroupsL1Added 3 Nov 2026

The special linear group $SL_n(\mathbb{R})$

#special linear group#determinant#normal subgroup

Statement

Show that SLn(R)={A∈GLn(R):det⁡A=1}SL_n(\mathbb{R})=\{A\in GL_n(\mathbb{R}):\det A=1\} is a normal subgroup of GLn(R)GL_n(\mathbb{R}).

Hint

SLnSL_n is the kernel of the determinant homomorphism.

Show solutionHide solution

Solution

Homomorphism. det⁡:GLn(R)→(R∗,×)\det:GL_n(\mathbb{R})\to(\mathbb{R}^*,\times) satisfies det⁡(AB)=det⁡Adet⁡B\det(AB)=\det A\det B.

Kernel. ker⁡det⁡={A:det⁡A=1}=SLn(R)\ker\det=\{A:\det A=1\}=SL_n(\mathbb{R}).

Kernel is normal. The kernel of any homomorphism is a normal subgroup: for A∈SLnA\in SL_n and B∈GLnB\in GL_n, det⁡(BAB−1)=det⁡B⋅1⋅(det⁡B)−1=1\det(BAB^{-1})=\det B\cdot1\cdot(\det B)^{-1}=1.

Conclusion. SLn(R)SL_n(\mathbb{R}) is a normal subgroup of GLn(R)GL_n(\mathbb{R}); the quotient is GLn/SLn≅R∗GL_n/SL_n\cong\mathbb{R}^*.