The mathematical reference

Space records.

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

49finite group records41Lie group records38Lie algebras22specified maps

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

Mathematical records
Object	Kind	Essential data	Coverage
$\mathrm{SU}(2)/\mathrm{U}(1) \cong S^2$ Hopf sphere as SU(2)/U(1)	Space Lie theory	Reference	executable 1 linked workbench
$\mathrm{SO}(3)/\mathrm{SO}(2) \cong S^2$ Rotation sphere as SO(3)/SO(2)	Space Lie theory	Reference	executable 1 linked workbench

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