For an integer n≥1n\geq1, the real special linear sl(n,R)\mathfrak{sl}(n,\mathbb R) is the trace-zero subspace of , with bracket

sl(n,R)={X∈Mn(R):tr⁡X=0},[X,Y]=XY−YX.\mathfrak{sl}(n,\mathbb R)=\{X\in M_{n}(\mathbb R):\operatorname{tr}X=0\},\qquad [X,Y]=XY-YX.
Dimension and structure

Trace is one nonzero linear equation, so the real dimension is n2−1n^2-1. Closure follows from tr⁡(XY)=tr⁡(YX)\operatorname{tr}(XY)=\operatorname{tr}(YX). The off-diagonal matrix units together with Ejj−Enn (1≤j<n)E_{jj}-E_{nn}\ (1\leq j<n) give a basis.

explains its general construction.

Scalar convention

This record retains R\mathbb R as its defining field. Its complexification is a different catalogue object; a matrix presentation over complex numbers does not change this field automatically.