Maths WorkshopMaths problems with full solutions
Exercise 2241Topology › Topology of Mn(ℝ) › Applications and the case n = 2M1Added 6 Nov 2026

Continuous homomorphisms from GL(n,R) to R

#homomorphism#commutator subgroup#determinant#continuous characters

Statement

Let n≥2n\ge2 and let f:GLn(R)→R×f:GL_n(\mathbb{R})\to\mathbb{R}^\times be a continuous group homomorphism. Show that there is a real number cc such that either f(A)=∣det⁡A∣cf(A)=|\det A|^c for all AA, or f(A)=sgn⁡(det⁡A) ∣det⁡A∣cf(A)=\operatorname{sgn}(\det A)\,|\det A|^c for all AA.

Hint

Show ff is trivial on SLn(R)SL_n(\mathbb{R}) (which equals its own commutator subgroup, while R×\mathbb{R}^\times is abelian). Then ff depends only on det⁡A\det A.

Show solutionHide solution

Solution

Idea. A homomorphism to an abelian group kills commutators. Since SLn(R)SL_n(\mathbb{R}) is generated by commutators, ff factors through the determinant. The problem then reduces to continuous homomorphisms R×→R×\mathbb{R}^\times\to\mathbb{R}^\times.

Step 1: ff is trivial on commutators. For A,BA,B in GLnGL_n, f(ABA−1B−1)=f(A)f(B)f(A)−1f(B)−1=1f(ABA^{-1}B^{-1})=f(A)f(B)f(A)^{-1}f(B)^{-1}=1, because R×\mathbb{R}^\times is abelian.

Step 2: SLn(R)SL_n(\mathbb{R}) is generated by commutators. SLn(R)SL_n(\mathbb{R}) is generated by elementary matrices Eij(t)=I+tEijE_{ij}(t)=I+tE_{ij} (i≠ji\ne j) (row reduction). For n≥3n\ge3 and distinct i,j,ki,j,k, [Eik(a),Ekj(b)]=Eij(ab)[E_{ik}(a),E_{kj}(b)]=E_{ij}(ab), so every Eij(t)E_{ij}(t) is a commutator (take a=ta=t, b=1b=1). For n=2n=2, let D=diag⁡(2,12)∈GL2D=\operatorname{diag}(2,\tfrac12)\in GL_2; then DE12(s)D−1=E12(4s)DE_{12}(s)D^{-1}=E_{12}(4s), so E12(3s)=DE12(s)D−1E12(−s)=[D,E12(s)]E_{12}(3s)=DE_{12}(s)D^{-1}E_{12}(-s)=[D,E_{12}(s)] is a commutator in GL2GL_2, and so is every E12(t)E_{12}(t) (take s=t/3s=t/3); similarly E21(t)E_{21}(t). In all cases the generators of SLnSL_n lie in the commutator subgroup of GLnGL_n. By Step 1, f≡1f\equiv1 on SLn(R)SL_n(\mathbb{R}).

Step 3: factorisation through det⁡\det. Let Δ(d)=diag⁡(d,1,…,1)\Delta(d)=\operatorname{diag}(d,1,\dots,1). For A∈GLnA\in GL_n with det⁡A=d\det A=d, AΔ(d)−1∈SLnA\Delta(d)^{-1}\in SL_n, so
f(A)=f(AΔ(d)−1)f(Δ(d))=g(d),g(d):=f(Δ(d)).f(A)=f\bigl(A\Delta(d)^{-1}\bigr)f(\Delta(d))=g(d),\qquad g(d):=f(\Delta(d)).
Since Δ(d)Δ(d′)=Δ(dd′)\Delta(d)\Delta(d')=\Delta(dd'), g:R×→R×g:\mathbb{R}^\times\to\mathbb{R}^\times is a continuous homomorphism.

Step 4: continuous homomorphisms R×→R×\mathbb{R}^\times\to\mathbb{R}^\times. For x>0x>0, g(x)=g(x)2>0g(x)=g(\sqrt x)^2>0. So h(s)=ln⁡g(es)h(s)=\ln g(e^s) is a continuous additive function R→R\mathbb{R}\to\mathbb{R}, hence h(s)=csh(s)=cs for some cc (Cauchy's equation with continuity). Thus g(x)=xcg(x)=x^c for x>0x>0. Finally g(−1)2=g(1)=1g(-1)^2=g(1)=1 gives g(−1)=±1g(-1)=\pm1, and g(−x)=g(−1)g(x)g(-x)=g(-1)g(x). So g(d)=∣d∣cg(d)=|d|^c (if g(−1)=1g(-1)=1) or g(d)=sgn⁡(d)∣d∣cg(d)=\operatorname{sgn}(d)|d|^c (if g(−1)=−1g(-1)=-1).

Conclusion. f(A)=g(det⁡A)f(A)=g(\det A) is of the stated form.

Remark. Continuity is needed only to exclude pathological homomorphisms (as for Cauchy's equation). For n=1n=1 the same classification holds for continuous homomorphisms of R×\mathbb{R}^\times to itself, but the factorisation argument is not needed.

Lesson. Homomorphisms into abelian groups factor through the abelianisation; GLn(R)ab≅R×GL_n(\mathbb{R})^{ab}\cong\mathbb{R}^\times via det⁡\det.