Maths WorkshopMaths problems with full solutions
Exercise 1930Linear algebra › Vector spaces and subspacesL1Added 3 Nov 2026

The subspace of traceless matrices

#trace#subspace#dimension#matrices

Statement

Let F={M∈M3(R):tr⁡(M)=0}F=\{M\in\mathcal{M}_3(\mathbb{R}) : \operatorname{tr}(M)=0\}. Show that FF is a subspace of M3(R)\mathcal{M}_3(\mathbb{R}) and compute its dimension.

Hint

The trace is a linear form on M3(R)\mathcal{M}_3(\mathbb{R}). Use rank-nullity.

Show solutionHide solution

Solution

Linearity. The trace is linear: tr⁡(A+B)=tr⁡(A)+tr⁡(B)\operatorname{tr}(A+B)=\operatorname{tr}(A)+\operatorname{tr}(B) and tr⁡(λA)=λtr⁡(A)\operatorname{tr}(\lambda A)=\lambda\operatorname{tr}(A). So FF is the kernel of a linear form, hence a subspace.

Dimension. The linear form tr⁡:M3(R)→R\operatorname{tr}:\mathcal{M}_3(\mathbb{R})\to\mathbb{R} is nonzero (e.g. tr⁡(E11)=1\operatorname{tr}(E_{11})=1), so it is surjective. By rank-nullity, dim⁡F=9−1=8\dim F=9-1=8.

Conclusion. FF is a hyperplane of M3(R)\mathcal{M}_3(\mathbb{R}), of dimension 88.