SL(3,H)\mathrm{SL}(3,\mathbb H) is the real of quaternionic-linear invertible maps of the right module H3\mathbb H^{3} with det⁡Cρ(A)=1\det_{\mathbb C}\rho(A)=1, with composition as multiplication. Here a choice C⊂H\mathbb C\subset\mathbb H identifies H3\mathbb H^{3} with C6\mathbb C^{6} and gives ρ(A)\rho(A).

Dimensions and structure

This group has real dimension 3535. The complex determinant of this realization is positive real for every invertible quaternionic matrix. The determinant-one equation means reduced norm one; it is not the naive Leibniz determinant of a noncommutative matrix.

The scalar field of its matrix entries does not assign a structure to this real Lie group. In particular, a is not called linear merely because the group has a matrix representation.

References
  1. Pavel Etingof, Lie Groups and Lie Algebras (MIT lecture notes), §6.2, Proposition 6.7 and Corollary 6.8; §6.3, Lemma 6.10, pp. 40–43.