Maths WorkshopMaths problems with full solutions
Exercise 680Topology › Topology of Mn(ℝ) › Continuity of matrix mapsL2Added 7 Nov 2026

Matrices of negative determinant are not squares

#squares#determinant sign#surjectivity

Statement

Show that a real matrix with det⁡<0\det<0 is not the square of a real matrix (for every n≥1n\ge1); hence the continuous map A↦A2A\mapsto A^2 is not onto GLn(R)GL_n(\mathbb{R}).

Hint

Look at the sign of det⁡\det of a square.

Show solutionHide solution

Solution

Idea. The determinant is multiplicative, and a real number squared is nonnegative.

Step 1. If A=B2A=B^2 with B∈Mn(R)B\in M_n(\mathbb{R}), then
det⁡A=det⁡(B2)=(det⁡B)2≥0,\det A=\det(B^2)=(\det B)^2\ge0,
because det⁡B\det B is a *real* number.

Step 2: not onto. Take A=diag⁡(−1,1,…,1)∈GLn(R)A=\operatorname{diag}(-1,1,\dots,1)\in GL_n(\mathbb{R}), with det⁡A=−1<0\det A=-1<0. By Step 1 it is not a square. So A↦A2A\mapsto A^2 does not map GLnGL_n onto GLnGL_n. More precisely, the image lies in GLn+={det⁡>0}GL_n^+=\{\det>0\}.

Complex squares exist. Over C\mathbb{C} every invertible matrix has a square root, so the obstruction is genuinely about real matrices.

Warning: det⁡>0\det>0 is not sufficient. For n=2n=2 the matrix
A=(−110−1),det⁡A=1>0,A=\begin{pmatrix}-1&1\\0&-1\end{pmatrix},\qquad\det A=1>0,
is not the square of any real matrix. Indeed suppose A=B2A=B^2; the eigenvalues μ\mu of BB satisfy μ2=−1\mu^2=-1, so they are ±i\pm i (for a real 2×22\times2 matrix they are conjugate), distinct. Then BB is diagonalisable over C\mathbb{C}, so B2B^2 is too, with both eigenvalues −1-1, which forces B2=−I≠AB^2=-I\ne A. Contradiction. (Whereas −I2=Rπ/22-I_2=R_{\pi/2}^2 is a square.)

Remark. So the image of squaring is a proper subset of GLn+GL_n^+, and *determining* it is a classical problem: a real invertible matrix is a square iff its Jordan blocks for negative eigenvalues come in pairs of equal size.