Sp⁡(1,2)\operatorname{Sp}(1,2) is the real

Sp⁡(1,2)={A∈GL(3,H):A∗I1,2A=I1,2},I1,2=diag⁡(−I1,I2).\operatorname{Sp}(1,2)=\{A\in\mathrm{GL}(3,\mathbb H):A^*I_{1,2}A=I_{1,2}\},\qquad I_{1,2}=\operatorname{diag}(-I_{1},I_{2}).

The first parameter counts negative directions. The adjoint is conjugate transpose, so the form is Hermitian.

Dimensions and structure

This group has real dimension 2121. The definition specifies the full matrix group. It is connected. The parameters count quaternionic directions, and no quaternionic determinant condition is imposed.

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.