Find the exact object.

Names, aliases, Unicode, and common TeX notation. Open full search

The mathematical reference

Real form records.

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

Compare two groups
49finite group records41Lie group records38Lie algebras22specified maps

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

Mathematical records
ObjectKindEssential dataCoverage
su(2)
su(2) real form
Real form
Lie theory
Compactreference
Sourced record
su(3)
su(3) real form
Real form
Lie theory
Compactreference
Sourced record
su(4) ≅ so(6)
su(4) ≅ so(6) real form
Real form
Lie theory
Compactreference
Sourced record
su(5)
su(5) real form
Real form
Lie theory
Compactreference
Sourced record
sp(2) ≅ so(5)
sp(2) ≅ so(5) real form
Real form
Lie theory
Compactreference
Sourced record
sp(3)
sp(3) real form
Real form
Lie theory
Compactreference
Sourced record
so(8)
so(8) real form
Real form
Lie theory
Compactreference
Sourced record
so(10)
so(10) real form
Real form
Lie theory
Compactreference
Sourced record
e₆ compact
e₆ compact real form
Real form
Lie theory
Compactreference
Sourced record
e₇ compact
e₇ compact real form
Real form
Lie theory
Compactreference
Sourced record
e₈ compact
e₈ compact real form
Real form
Lie theory
Compactreference
Sourced record
f₄ compact
f₄ compact real form
Real form
Lie theory
Compactreference
Sourced record
g₂ compact
g₂ compact real form
Real form
Lie theory
Compactreference
Sourced record
su(2) ⊕ su(2)
su(2) ⊕ su(2) real form
Real form
Lie theory
Compactreference
Sourced record
sl(2, R)
sl(2, R) real form
Real form
Lie theory
Noncompactreference
Sourced record
sl(3, R)
sl(3, R) real form
Real form
Lie theory
Noncompactreference
Sourced record
su(2,2) ≅ so(2,4)
su(2,2) ≅ so(2,4) real form
Real form
Lie theory
Noncompactreference
Sourced record
sp(4, R) ≅ so(2,3)
sp(4, R) ≅ so(2,3) real form
Real form
Lie theory
Noncompactreference
Sourced record
sl(2, C) viewed over R
sl(2, C) viewed over R real form
Real form
Lie theory
Noncompactreference
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.