For every integer n≥1n\ge1, SL⁡(n,R)\operatorname{SL}(n,\mathbb R) is the determinant-one

SL⁡(n,R)={A∈Mn(R):det⁡A=1},\operatorname{SL}(n,\mathbb R)=\{A\in M_{n}(\mathbb R):\det A=1\},

with matrix multiplication and the inherited real structure.

Dimensions and structure

This group has real dimension n2−1n^2-1. Differentiating the determinant at the identity gives the trace-zero tangent algebra. The center consists of scalar matrices λI\lambda I with λn=1\lambda^{n}=1. It is connected for every nn. For n≥2n\ge2, it is noncompact and is not , distinguishing it from the compact . For n=1n=1, it is the trivial group and is therefore compact and simply connected.

The inclusion sends a determinant-one matrix to the same invertible matrix; it is injective and smooth. See .

The scalar-center quotient has kernel {λI:λn=1}\{\lambda I:\lambda^{n}=1\}. See .

References
  1. Pavel Etingof, Lie Groups and Lie Algebras (MIT lecture notes), §6.1, pp. 38–39; Proposition 6.3 and Exercise 6.5.