The mathematical reference

Real form records.

Find the exact group, algebra, real form, family, or map. Follow its sources and supported calculations.

49finite group records41Lie group records38Lie algebras22specified maps

19 released records. Individual groups and parameterized families are counted separately.

Mathematical records
Object	Kind	Essential data	Coverage
$\mathfrak{su}(2)$ su(2) real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{su}(3)$ su(3) real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{su}(4) \cong \mathfrak{so}(6)$ su(4) ≅ so(6) real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{su}(5)$ su(5) real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{sp}(2) \cong \mathfrak{so}(5)$ sp(2) ≅ so(5) real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{sp}(3)$ sp(3) real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{so}(8)$ so(8) real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{so}(10)$ so(10) real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{e}_{6}\;\text{compact}$ e₆ compact real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{e}_{7}\;\text{compact}$ e₇ compact real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{e}_{8}\;\text{compact}$ e₈ compact real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{f}_{4}\;\text{compact}$ f₄ compact real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{g}_{2}\;\text{compact}$ g₂ compact real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{su}(2) \oplus \mathfrak{su}(2)$ su(2) ⊕ su(2) real form	Real form Lie theory	Compact	reference Sourced record
$\mathfrak{sl}(2, \mathbb R)$ sl(2, R) real form	Real form Lie theory	Noncompact	reference Sourced record
$\mathfrak{sl}(3, \mathbb R)$ sl(3, R) real form	Real form Lie theory	Noncompact	reference Sourced record
$\mathfrak{su}(2,2) \cong \mathfrak{so}(2,4)$ su(2,2) ≅ so(2,4) real form	Real form Lie theory	Noncompact	reference Sourced record
$\mathfrak{sp}(4, \mathbb R) \cong \mathfrak{so}(2,3)$ sp(4, R) ≅ so(2,3) real form	Real form Lie theory	Noncompact	reference Sourced record
$\mathfrak{sl}(2,\mathbb C)_{\mathbb R}$ sl(2, C) viewed over R real form	Real form Lie theory	Noncompact	reference Sourced record

Coverage is specific. Classification identifies a mathematical object or family. Reference supplies stated properties. Executable links to a bounded calculation. Read the coverage policy.

Finite-simple classification Lie classification