The mathematical reference

Explore the atlas.

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

49finite group records41Lie group records38Lie algebras22specified maps

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

Mathematical records
Object	Kind	Essential data	Coverage
$\mathrm{SU}(2)$ Special unitary group	Group Lie theory	dimℝ 3	executable 7 linked workbenchs
$\mathrm{SO}(3)$ Rotation group in three dimensions	Group Lie theory	dimℝ 3	executable 2 linked workbenchs
$\mathrm{SU}(3)$ Special unitary group	Group Lie theory	dimℝ 8	executable 8 linked workbenchs
$\mathrm{PSU}(3)$ Projective special unitary group	Group Lie theory	dimℝ 8	executable 1 linked workbench
$\mathrm{U}(1)$ Circle group	Group Lie theory	dimℝ 1	reference Sourced record
$\mathrm{Spin}(4)$ Euclidean spin group in four dimensions	Group Lie theory	dimℝ 6	reference Sourced record
$\mathrm{SL}(2,\mathbb C)$ Lorentz spin group	Group Lie theory	dimℝ 6	reference Sourced record
$\mathrm{C}_{3}$ Cyclic group of order three	Group Finite	order 3	executable 1 linked workbench
$\mathrm{S}_{3}$ Symmetric group on three letters	Group Finite	order 6	executable 1 linked workbench
$\mathrm{A}_{4}$ Alternating group on four letters	Group Finite	order 12	executable 2 linked workbenchs
$\mathrm{S}_{4}$ Symmetric group on four letters	Group Finite	order 24	executable 1 linked workbench
$\mathrm{A}_{5}$ Alternating group on five letters	Group Finite	order 60	executable 1 linked workbench
$\mathrm{Q}_{8}$ Quaternion group	Group Finite	order 8	executable 1 linked workbench
$\mathrm{D}_{8}$ Dihedral group of order eight	Group Finite	order 8	executable 1 linked workbench
$\mathrm{C}_{p}$ Cyclic groups of prime order	Family Finite	Parameterized family	classification Sourced record
$\mathrm{A}_{n}$ Simple alternating groups	Family Finite	Parameterized family	classification Sourced record
$\mathrm{PSL}(n,q)$ Projective special linear finite simple groups	Family Finite	Parameterized family	classification Sourced record
$\mathrm{PSU}(n,q)$ Projective special unitary finite simple groups	Family Finite	Parameterized family	classification Sourced record
$\mathrm{PSp}(2n,q)$ Projective symplectic finite simple groups	Family Finite	Parameterized family	classification Sourced record
$\mathrm P\Omega(2n+1,q)$ Odd-dimensional orthogonal finite simple groups	Family Finite	Parameterized family	classification Sourced record
$\mathrm P\Omega^{+}(2n,q)$ Plus-type even orthogonal finite simple groups	Family Finite	Parameterized family	classification Sourced record
$\mathrm P\Omega^{-}(2n,q)$ Minus-type even orthogonal finite simple groups	Family Finite	Parameterized family	classification Sourced record
$G_{2}(q)$ Finite simple groups of type G₂	Family Finite	Parameterized family	classification Sourced record
$F_{4}(q)$ Finite simple groups of type F₄	Family Finite	Parameterized family	classification Sourced record
$E_{6}(q)$ Finite simple groups of type E₆	Family Finite	Parameterized family	classification Sourced record
$E_{7}(q)$ Finite simple groups of type E₇	Family Finite	Parameterized family	classification Sourced record
$E_{8}(q)$ Finite simple groups of type E₈	Family Finite	Parameterized family	classification Sourced record
${}^{2}\!E_{6}(q)$ Finite simple groups of type ²E₆	Family Finite	Parameterized family	classification Sourced record
${}^{3}\!D_{4}(q)$ Finite simple groups of type ³D₄	Family Finite	Parameterized family	classification Sourced record
${}^{2}\!B_{2}(q)$ Suzuki simple groups	Family Finite	Parameterized family	classification Sourced record
${}^{2}\!G_{2}(q)$ Small Ree simple groups	Family Finite	Parameterized family	classification Sourced record
${}^{2}\!F_{4}(q)$ Large Ree simple groups	Family Finite	Parameterized family	classification Sourced record
Sporadic The 26 sporadic finite simple groups	Family Finite	Parameterized family	classification Sourced record
$\mathrm{C}_{n}$ Finite cyclic groups	Family Finite	Parameterized family	reference Sourced record
$\mathrm{D}_{2n}$ Finite dihedral groups	Family Finite	Parameterized family	reference Sourced record
$\mathrm{Dic}_{n}$ Dicyclic groups	Family Finite	Parameterized family	reference Sourced record
$2T,\quad 2O,\quad 2I$ Exceptional binary polyhedral groups	Family Finite	Parameterized family	reference Sourced record
$\mathrm{S}_{n}$ Finite symmetric groups	Family Finite	Parameterized family	reference Sourced record
$C_{2}$ Cyclic group of order 2	Group Finite	order 2	reference Sourced record
$C_{4}$ Cyclic group of order 4	Group Finite	order 4	reference Sourced record
$C_{5}$ Cyclic group of order 5	Group Finite	order 5	reference Sourced record
$C_{6}$ Cyclic group of order 6	Group Finite	order 6	reference Sourced record
$\mathrm{V}_{4}$ Klein four-group	Group Finite	order 4	reference Sourced record
$\mathrm{D}_{10}$ Dihedral group of order ten	Group Finite	order 10	reference Sourced record
$\mathrm{D}_{12}$ Dihedral group of order twelve	Group Finite	order 12	reference Sourced record
$\mathrm{Dic}_{3}$ Dicyclic group of order twelve	Group Finite	order 12	reference Sourced record
$\mathrm{Q}_{16}$ Generalized quaternion group of order sixteen	Group Finite	order 16	reference Sourced record
$2T$ Binary tetrahedral group	Group Finite	order 24	reference Sourced record
$2O$ Binary octahedral group	Group Finite	order 48	reference Sourced record
$2I$ Binary icosahedral group	Group Finite	order 120	reference Sourced record
$\mathrm{PSL}(2,7)$ Projective special linear group PSL(2,7)	Group Finite	order 168	reference Sourced record
$\Delta(27)$ Delta(27), the finite Heisenberg group	Group Finite	order 27	reference Sourced record
$\mathrm{A}_{6}$ Alternating group on six letters	Group Finite	order 360	reference Sourced record
$\mathrm{M}_{11}$ Mathieu group M11	Group Finite	order 7920	classification Sourced record
$\mathrm{M}_{12}$ Mathieu group M12	Group Finite	order 95040	classification Sourced record
$\mathrm{M}_{22}$ Mathieu group M22	Group Finite	order 443520	classification Sourced record
$\mathrm{M}_{23}$ Mathieu group M23	Group Finite	order 10200960	classification Sourced record
$\mathrm{M}_{24}$ Mathieu group M24	Group Finite	order 244823040	classification Sourced record
$\mathrm{J}_{1}$ First Janko group	Group Finite	order 175560	classification Sourced record
$\mathrm{J}_{2}$ Hall–Janko group	Group Finite	order 604800	classification Sourced record
$\mathrm{J}_{3}$ Third Janko group	Group Finite	order 50232960	classification Sourced record
$\mathrm{J}_{4}$ Fourth Janko group	Group Finite	order 86775571046077562880	classification Sourced record
$\mathrm{Co}_{1}$ First Conway group	Group Finite	order 4157776806543360000	classification Sourced record
$\mathrm{Co}_{2}$ Second Conway group	Group Finite	order 42305421312000	classification Sourced record
$\mathrm{Co}_{3}$ Third Conway group	Group Finite	order 495766656000	classification Sourced record
$\mathrm{Fi}_{22}$ Fischer group Fi22	Group Finite	order 64561751654400	classification Sourced record
$\mathrm{Fi}_{23}$ Fischer group Fi23	Group Finite	order 4089470473293004800	classification Sourced record
$\mathrm{Fi}_{24}'$ Fischer simple group Fi24 prime	Group Finite	order 1255205709190661721292800	classification Sourced record
$\mathrm{HS}$ Higman–Sims group	Group Finite	order 44352000	classification Sourced record
$\mathrm{McL}$ McLaughlin group	Group Finite	order 898128000	classification Sourced record
$\mathrm{He}$ Held group	Group Finite	order 4030387200	classification Sourced record
$\mathrm{Ru}$ Rudvalis group	Group Finite	order 145926144000	classification Sourced record
$\mathrm{Suz}$ Sporadic Suzuki group	Group Finite	order 448345497600	classification Sourced record
$\mathrm{O'N}$ O’Nan group	Group Finite	order 460815505920	classification Sourced record
$\mathrm{HN}$ Harada–Norton group	Group Finite	order 273030912000000	classification Sourced record
$\mathrm{Ly}$ Lyons group	Group Finite	order 51765179004000000	classification Sourced record
$\mathrm{Th}$ Thompson group	Group Finite	order 90745943887872000	classification Sourced record
$\mathrm{B}$ Baby Monster group	Group Finite	order 4154781481226426191177580544000000	classification Sourced record
$\mathrm{M}$ Monster group	Group Finite	order 808017424794512875886459904961710757005754368000000000	classification Sourced record
${}^{2}\!F_{4}(2)'$ Tits group	Group Finite	order 17971200	classification Sourced record
$\mathrm{A}_{r}$ Simple Lie type Aᵣ	Family Lie theory	Parameterized family	classification Sourced record
$\mathrm{B}_{r}$ Simple Lie type Bᵣ	Family Lie theory	Parameterized family	classification Sourced record
$\mathrm{C}_{r}$ Simple Lie type Cᵣ	Family Lie theory	Parameterized family	classification Sourced record
$\mathrm{D}_{r}$ Simple Lie type Dᵣ	Family Lie theory	Parameterized family	classification Sourced record
$\mathrm{E}_{6}$ Simple Lie type E₆	Family Lie theory	Parameterized family	classification Sourced record
$\mathrm{E}_{7}$ Simple Lie type E₇	Family Lie theory	Parameterized family	classification Sourced record
$\mathrm{E}_{8}$ Simple Lie type E₈	Family Lie theory	Parameterized family	classification Sourced record
$\mathrm{F}_{4}$ Simple Lie type F₄	Family Lie theory	Parameterized family	classification Sourced record
$\mathrm{G}_{2}$ Simple Lie type G₂	Family Lie theory	Parameterized family	classification Sourced record
$\mathfrak{sl}(2, \mathbb C)$ sl(2, C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 3	reference Sourced record
$\mathfrak{sl}(3, \mathbb C)$ sl(3, C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 8	reference Sourced record
$\mathfrak{sl}(4, \mathbb C)$ sl(4, C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 15	reference Sourced record
$\mathfrak{sl}(5, \mathbb C)$ sl(5, C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 24	reference Sourced record
$\mathfrak{so}(5, \mathbb C) \cong \mathfrak{sp}(4, \mathbb C)$ so(5, C) ≅ sp(4, C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 10	reference Sourced record
$\mathfrak{sp}(6, \mathbb C)$ sp(6, C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 21	reference Sourced record
$\mathfrak{so}(8, \mathbb C)$ so(8, C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 28	reference Sourced record
$\mathfrak{so}(10, \mathbb C)$ so(10, C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 45	reference Sourced record
$\mathfrak{e}_{6}(\mathbb C)$ e₆(C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 78	reference Sourced record
$\mathfrak{e}_{7}(\mathbb C)$ e₇(C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 133	reference Sourced record
$\mathfrak{e}_{8}(\mathbb C)$ e₈(C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 248	reference Sourced record
$\mathfrak{f}_{4}(\mathbb C)$ f₄(C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 52	reference Sourced record
$\mathfrak{g}_{2}(\mathbb C)$ g₂(C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 14	reference Sourced record
$\mathfrak{sl}(2, \mathbb C) \oplus \mathfrak{sl}(2, \mathbb C)$ sl(2, C) ⊕ sl(2, C) — complex Lie algebra	Lie algebra Lie theory	dimℂ 6	reference Sourced record
$(\mathbb C,[\, ,\,]=0)$ C (zero bracket) — complex Lie algebra	Lie algebra Lie theory	dimℂ 1	reference Sourced record
$\mathfrak{sl}(2, \mathbb C) \oplus \mathbb C$ sl(2, C) ⊕ C — complex Lie algebra	Lie algebra Lie theory	dimℂ 4	reference Sourced record
$\mathfrak{su}(2)$ su(2) — real Lie algebra	Lie algebra Lie theory	dimℝ 3	reference Sourced record
$\mathfrak{su}(3)$ su(3) — real Lie algebra	Lie algebra Lie theory	dimℝ 8	reference Sourced record
$\mathfrak{su}(4) \cong \mathfrak{so}(6)$ su(4) ≅ so(6) — real Lie algebra	Lie algebra Lie theory	dimℝ 15	reference Sourced record
$\mathfrak{su}(5)$ su(5) — real Lie algebra	Lie algebra Lie theory	dimℝ 24	reference Sourced record
$\mathfrak{sp}(2) \cong \mathfrak{so}(5)$ sp(2) ≅ so(5) — real Lie algebra	Lie algebra Lie theory	dimℝ 10	reference Sourced record
$\mathfrak{sp}(3)$ sp(3) — real Lie algebra	Lie algebra Lie theory	dimℝ 21	reference Sourced record
$\mathfrak{so}(8)$ so(8) — real Lie algebra	Lie algebra Lie theory	dimℝ 28	reference Sourced record
$\mathfrak{so}(10)$ so(10) — real Lie algebra	Lie algebra Lie theory	dimℝ 45	reference Sourced record
$\mathfrak{e}_{6}\;\text{compact}$ e₆ compact — real Lie algebra	Lie algebra Lie theory	dimℝ 78	reference Sourced record
$\mathfrak{e}_{7}\;\text{compact}$ e₇ compact — real Lie algebra	Lie algebra Lie theory	dimℝ 133	reference Sourced record
$\mathfrak{e}_{8}\;\text{compact}$ e₈ compact — real Lie algebra	Lie algebra Lie theory	dimℝ 248	reference Sourced record
$\mathfrak{f}_{4}\;\text{compact}$ f₄ compact — real Lie algebra	Lie algebra Lie theory	dimℝ 52	reference Sourced record
$\mathfrak{g}_{2}\;\text{compact}$ g₂ compact — real Lie algebra	Lie algebra Lie theory	dimℝ 14	reference Sourced record
$\mathfrak{su}(2) \oplus \mathfrak{su}(2)$ su(2) ⊕ su(2) — real Lie algebra	Lie algebra Lie theory	dimℝ 6	reference Sourced record
$\mathfrak{u}(1)$ u(1) — real Lie algebra	Lie algebra Lie theory	dimℝ 1	reference Sourced record
$\mathfrak{u}(2)$ u(2) — real Lie algebra	Lie algebra Lie theory	dimℝ 4	reference Sourced record
$\mathfrak{sl}(2, \mathbb R)$ sl(2, R) — real Lie algebra	Lie algebra Lie theory	dimℝ 3	reference Sourced record
$\mathfrak{sl}(3, \mathbb R)$ sl(3, R) — real Lie algebra	Lie algebra Lie theory	dimℝ 8	reference Sourced record
$\mathfrak{su}(2,2) \cong \mathfrak{so}(2,4)$ su(2,2) ≅ so(2,4) — real Lie algebra	Lie algebra Lie theory	dimℝ 15	reference Sourced record
$\mathfrak{sp}(4, \mathbb R) \cong \mathfrak{so}(2,3)$ sp(4, R) ≅ so(2,3) — real Lie algebra	Lie algebra Lie theory	dimℝ 10	reference Sourced record
$\mathfrak{sl}(2,\mathbb C)_{\mathbb R}$ sl(2, C) viewed over R — real Lie algebra	Lie algebra Lie theory	dimℝ 6	reference Sourced record
$\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
$\mathrm{SU}(4)$ Special unitary group in four dimensions	Group Lie theory	dimℝ 15	executable 4 linked workbenchs
$\mathrm{PSU}(4)$ Adjoint compact group of type A₃	Group Lie theory	dimℝ 15	reference Sourced record
$\mathrm{SU}(5)$ Special unitary group in five dimensions	Group Lie theory	dimℝ 24	executable 4 linked workbenchs
$\mathrm{U}(2)$ Unitary group in two dimensions	Group Lie theory	dimℝ 4	reference Sourced record
$\mathrm{SO}(4)$ Rotation group in four dimensions	Group Lie theory	dimℝ 6	reference Sourced record
$\mathrm{SO}(5)$ Rotation group in five dimensions	Group Lie theory	dimℝ 10	reference Sourced record
$\mathrm{SO}(6)$ Rotation group in six dimensions	Group Lie theory	dimℝ 15	reference Sourced record
$\mathrm{Sp}(2)$ Compact symplectic group of quaternionic rank two	Group Lie theory	dimℝ 10	executable 1 linked workbench
$\mathrm{Sp}(3)$ Compact symplectic group of quaternionic rank three	Group Lie theory	dimℝ 21	reference Sourced record
$\mathrm{Spin}(8)$ Simply connected compact spin group in eight dimensions	Group Lie theory	dimℝ 28	executable 1 linked workbench
$\mathrm{SO}(8)$ Rotation group in eight dimensions	Group Lie theory	dimℝ 28	reference Sourced record
$\mathrm{PSO}(8)$ Adjoint compact group of type D₄	Group Lie theory	dimℝ 28	reference Sourced record
$\mathrm{Spin}(10)$ Simply connected compact spin group in ten dimensions	Group Lie theory	dimℝ 45	executable 1 linked workbench
$\mathrm{SO}(10)$ Rotation group in ten dimensions	Group Lie theory	dimℝ 45	reference Sourced record
$\mathrm{G}_{2}\;\text{compact}$ Compact group of octonion automorphisms	Group Lie theory	dimℝ 14	executable 1 linked workbench
$\mathrm{F}_{4}\;\text{compact}$ Compact exceptional group of type F₄	Group Lie theory	dimℝ 52	executable 1 linked workbench
$\mathrm{E}_{6}\;\text{compact, simply connected}$ Simply connected compact exceptional group of type E₆	Group Lie theory	dimℝ 78	executable 1 linked workbench
$\mathrm{E}_{7}\;\text{compact, simply connected}$ Simply connected compact exceptional group of type E₇	Group Lie theory	dimℝ 133	executable 1 linked workbench
$\mathrm{E}_{8}\;\text{compact}$ Compact exceptional group of type E₈	Group Lie theory	dimℝ 248	executable 1 linked workbench
$\mathrm{E}_{6}\;\text{compact, adjoint}$ Adjoint compact exceptional group of type E₆	Group Lie theory	dimℝ 78	reference Sourced record
$\mathrm{E}_{7}\;\text{compact, adjoint}$ Adjoint compact exceptional group of type E₇	Group Lie theory	dimℝ 133	reference Sourced record
$\mathrm{SL}(2, \mathbb R)$ Real special linear group in two dimensions	Group Lie theory	dimℝ 3	reference Sourced record
$\mathrm{PSL}(2, \mathbb R)$ Adjoint real group of type A₁	Group Lie theory	dimℝ 3	reference Sourced record
$\widetilde{\mathrm{SL}(2,\mathbb R)}$ Simply connected group integrating sl(2,R)	Group Lie theory	dimℝ 3	reference Sourced record
$\mathrm{SL}(3, \mathbb R)$ Real special linear group in three dimensions	Group Lie theory	dimℝ 8	reference Sourced record
$\mathrm{SU}(2,2)$ Indefinite special unitary group of signature (2,2)	Group Lie theory	dimℝ 15	reference Sourced record
$\mathrm{Sp}(4, \mathbb R)$ Real symplectic group on a four-dimensional space	Group Lie theory	dimℝ 10	reference Sourced record
$\mathrm{SO}_0(1,3)$ Proper orthochronous Lorentz group in four dimensions	Group Lie theory	dimℝ 6	reference Sourced record
$\mathrm{SO}_0(2,4)$ Identity component of the orthogonal group of signature (2,4)	Group Lie theory	dimℝ 15	reference Sourced record
$\mathrm{SO}_0(2,3)$ Identity component of the orthogonal group of signature (2,3)	Group Lie theory	dimℝ 10	reference Sourced record
$\mathrm{SU}(2) \longrightarrow \mathrm{SO}(3)$ Spin cover of three-dimensional rotations	Map Lie theory	SO(3)	executable 1 linked workbench
$\mathrm{SU}(3) \longrightarrow \mathrm{PSU}(3)$ Adjoint quotient of SU(3)	Map Lie theory	PSU(3)	executable 1 linked workbench
$\mathrm{SU}(2) \hookrightarrow \mathrm{SU}(3)$ Regular block inclusion in SU(3)	Map Lie theory	{diag(A,1) : A ∈ SU(2)} ≅ SU(2)	executable 2 linked workbenchs
$\mathrm{SU}(2) \longrightarrow \mathrm{SU}(3),\quad j=1$ Principal spin-one homomorphism into SU(3)	Map Lie theory	An SU(3)-conjugate of the real SO(3) subgroup	executable 2 linked workbenchs
$\mathrm{U}(1) \hookrightarrow \mathrm{SU}(2)$ Normalized maximal torus of SU(2)	Map Lie theory	{diag(z,z⁻¹) : \|z\|=1}	executable 1 linked workbench
$\mathrm{U}(1) \cong \mathrm{SO}(2) \hookrightarrow \mathrm{SO}(3)$ Normalized axial rotation subgroup of SO(3)	Map Lie theory	Rotations fixing a chosen oriented axis, isomorphic to SO(2)	executable 1 linked workbench
$\mathrm{Spin}(4) \longrightarrow \mathrm{SO}(4)$ Quaternionic spin cover in four Euclidean dimensions	Map Lie theory	SO(4)	reference Sourced record
$\mathrm{SU}(4) \longrightarrow \mathrm{SO}(6)$ Exterior-square realization of the Spin(6) cover	Map Lie theory	SO(6)	reference Sourced record
$\mathrm{SU}(4) \longrightarrow \mathrm{PSU}(4)$ Full central quotient of SU(4)	Map Lie theory	PSU(4)	reference Sourced record
$\mathrm{Sp}(2) \longrightarrow \mathrm{SO}(5)$ Quaternionic construction of the Spin(5) cover	Map Lie theory	SO(5)	reference Sourced record
$\mathrm{Spin}(8) \longrightarrow \mathrm{SO}(8)$ Vector spin cover in eight Euclidean dimensions	Map Lie theory	SO(8)	reference Sourced record
$\mathrm{Spin}(10) \longrightarrow \mathrm{SO}(10)$ Vector spin cover in ten Euclidean dimensions	Map Lie theory	SO(10)	reference Sourced record
$\mathrm{SL}(2, \mathbb C) \longrightarrow \mathrm{SO}_0(1,3)$ Hermitian-matrix Lorentz spin cover	Map Lie theory	SO₀(1,3)	reference Sourced record
$\mathrm{SL}(2, \mathbb R) \longrightarrow \mathrm{PSL}(2, \mathbb R)$ Adjoint central quotient of SL(2,R)	Map Lie theory	PSL(2,R) ≅ SO₀(2,1)	reference Sourced record
$\widetilde{\mathrm{SL}(2,\mathbb R)} \longrightarrow \mathrm{SL}(2,\mathbb R)$ Universal covering map of SL(2,R)	Map Lie theory	SL(2,R)	reference Sourced record
$\mathrm{SU}(2,2) \longrightarrow \mathrm{SO}_0(2,4)$ Exterior-square spin cover in signature (2,4)	Map Lie theory	SO₀(2,4)	reference Sourced record
$\mathrm{Sp}(4, \mathbb R) \longrightarrow \mathrm{SO}_0(2,3)$ Primitive-exterior-square spin cover in signature (2,3)	Map Lie theory	SO₀(2,3)	reference Sourced record
$\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
$C_3:\quad \mathbf{1}$ C₃ irreducible representation 1	Representation Finite	dimℂ 1	executable 1 linked workbench
$C_3:\quad \chi$ C₃ irreducible representation χ	Representation Finite	dimℂ 1	executable 1 linked workbench
$C_3:\quad \chi^2$ C₃ irreducible representation χ²	Representation Finite	dimℂ 1	executable 1 linked workbench
$S_3:\quad \mathbf{1}$ S₃ irreducible representation 1	Representation Finite	dimℂ 1	executable 1 linked workbench
$S_3:\quad \mathrm{sgn}$ S₃ irreducible representation sgn	Representation Finite	dimℂ 1	executable 1 linked workbench
$S_3:\quad \mathbf{2}$ S₃ irreducible representation 2	Representation Finite	dimℂ 2	executable 1 linked workbench
$D_8:\quad \mathbf{1}$ D₈ irreducible representation 1	Representation Finite	dimℂ 1	executable 1 linked workbench
$D_8:\quad a$ D₈ irreducible representation a	Representation Finite	dimℂ 1	executable 1 linked workbench
$D_8:\quad b$ D₈ irreducible representation b	Representation Finite	dimℂ 1	executable 1 linked workbench
$D_8:\quad c$ D₈ irreducible representation c	Representation Finite	dimℂ 1	executable 1 linked workbench
$D_8:\quad \mathbf{2}$ D₈ irreducible representation 2	Representation Finite	dimℂ 2	executable 1 linked workbench
$Q_8:\quad \mathbf{1}$ Q₈ irreducible representation 1	Representation Finite	dimℂ 1	executable 1 linked workbench
$Q_8:\quad a$ Q₈ irreducible representation a	Representation Finite	dimℂ 1	executable 1 linked workbench
$Q_8:\quad b$ Q₈ irreducible representation b	Representation Finite	dimℂ 1	executable 1 linked workbench
$Q_8:\quad c$ Q₈ irreducible representation c	Representation Finite	dimℂ 1	executable 1 linked workbench
$Q_8:\quad \mathbf{2}$ Q₈ irreducible representation 2	Representation Finite	dimℂ 2	executable 1 linked workbench
$A_4:\quad \mathbf{1}$ A₄ irreducible representation 1	Representation Finite	dimℂ 1	executable 1 linked workbench
$A_4:\quad \mathbf{1}'$ A₄ irreducible representation 1′	Representation Finite	dimℂ 1	executable 1 linked workbench
$A_4:\quad \mathbf{1}''$ A₄ irreducible representation 1″	Representation Finite	dimℂ 1	executable 1 linked workbench
$A_4:\quad \mathbf{3}$ A₄ irreducible representation 3	Representation Finite	dimℂ 3	executable 1 linked workbench
$S_4:\quad \mathbf{1}$ S₄ irreducible representation 1	Representation Finite	dimℂ 1	executable 1 linked workbench
$S_4:\quad \mathrm{sgn}$ S₄ irreducible representation sgn	Representation Finite	dimℂ 1	executable 1 linked workbench
$S_4:\quad \mathbf{2}$ S₄ irreducible representation 2	Representation Finite	dimℂ 2	executable 1 linked workbench
$S_4:\quad \mathbf{3}$ S₄ irreducible representation 3	Representation Finite	dimℂ 3	executable 1 linked workbench
$S_4:\quad \mathbf{3}'$ S₄ irreducible representation 3′	Representation Finite	dimℂ 3	executable 1 linked workbench
$A_5:\quad \mathbf{1}$ A₅ irreducible representation 1	Representation Finite	dimℂ 1	executable 1 linked workbench
$A_5:\quad \mathbf{3}$ A₅ irreducible representation 3	Representation Finite	dimℂ 3	executable 1 linked workbench
$A_5:\quad \mathbf{3}'$ A₅ irreducible representation 3′	Representation Finite	dimℂ 3	executable 1 linked workbench
$A_5:\quad \mathbf{4}$ A₅ irreducible representation 4	Representation Finite	dimℂ 4	executable 1 linked workbench
$A_5:\quad \mathbf{5}$ A₅ irreducible representation 5	Representation Finite	dimℂ 5	executable 1 linked workbench
$A_{1}:\quad V_{(1)}$ Doublet of SU(2)	Representation Lie theory	dimℂ 2	executable 2 linked workbenchs
$A_{1}:\quad V_{(2)}$ Adjoint of SU(2)	Representation Lie theory	dimℂ 3	executable 2 linked workbenchs
$A_{2}:\quad V_{(1,0)}$ Fundamental of SU(3)	Representation Lie theory	dimℂ 3	executable 5 linked workbenchs
$A_{2}:\quad V_{(0,1)}$ Conjugate fundamental of SU(3)	Representation Lie theory	dimℂ 3	executable 5 linked workbenchs
$A_{2}:\quad V_{(1,1)}$ Adjoint of SU(3)	Representation Lie theory	dimℂ 8	executable 5 linked workbenchs
$A_{2}:\quad V_{(2,0)}$ Symmetric sextet of SU(3)	Representation Lie theory	dimℂ 6	executable 5 linked workbenchs
$A_{2}:\quad V_{(3,0)}$ Decuplet of SU(3)	Representation Lie theory	dimℂ 10	executable 5 linked workbenchs
$A_{2}:\quad V_{(2,2)}$ 27-dimensional irrep of SU(3)	Representation Lie theory	dimℂ 27	executable 5 linked workbenchs
$A_{3}:\quad V_{(1,0,0)}$ Fundamental of SU(4)	Representation Lie theory	dimℂ 4	executable 3 linked workbenchs
$A_{3}:\quad V_{(0,1,0)}$ Two-index antisymmetric of SU(4)	Representation Lie theory	dimℂ 6	executable 3 linked workbenchs
$A_{3}:\quad V_{(1,0,1)}$ Adjoint of SU(4)	Representation Lie theory	dimℂ 15	executable 3 linked workbenchs
$A_{4}:\quad V_{(1,0,0,0)}$ Fundamental of SU(5)	Representation Lie theory	dimℂ 5	executable 3 linked workbenchs
$A_{4}:\quad V_{(0,1,0,0)}$ Two-index antisymmetric of SU(5)	Representation Lie theory	dimℂ 10	executable 3 linked workbenchs
$A_{4}:\quad V_{(1,0,0,1)}$ Adjoint of SU(5)	Representation Lie theory	dimℂ 24	executable 3 linked workbenchs
$C_{2}:\quad V_{(1,0)}$ Defining representation of Sp(2) = USp(4)	Representation Lie theory	dimℂ 4	executable 1 linked workbench
$C_{2}:\quad V_{(0,1)}$ Five-dimensional irrep of Sp(2) = USp(4)	Representation Lie theory	dimℂ 5	executable 1 linked workbench
$D_{4}:\quad V_{(1,0,0,0)}$ Vector of Spin(8)	Representation Lie theory	dimℂ 8	executable 1 linked workbench
$D_{4}:\quad V_{(0,0,1,0)}$ Half-spin representation of Spin(8)	Representation Lie theory	dimℂ 8	executable 1 linked workbench
$D_{4}:\quad V_{(0,0,0,1)}$ Other half-spin representation of Spin(8)	Representation Lie theory	dimℂ 8	executable 1 linked workbench
$D_{5}:\quad V_{(1,0,0,0,0)}$ Vector of Spin(10)	Representation Lie theory	dimℂ 10	executable 1 linked workbench
$D_{5}:\quad V_{(0,0,0,0,1)}$ Chiral spinor of Spin(10)	Representation Lie theory	dimℂ 16	executable 1 linked workbench
$D_{5}:\quad V_{(0,0,0,1,0)}$ Conjugate chiral spinor of Spin(10)	Representation Lie theory	dimℂ 16	executable 1 linked workbench
$D_{5}:\quad V_{(0,1,0,0,0)}$ Adjoint of Spin(10)	Representation Lie theory	dimℂ 45	executable 1 linked workbench
$G_{2}:\quad V_{(1,0)}$ Fundamental of G2 (compact)	Representation Lie theory	dimℂ 7	executable 1 linked workbench
$G_{2}:\quad V_{(0,1)}$ Adjoint of G2 (compact)	Representation Lie theory	dimℂ 14	executable 1 linked workbench
$F_{4}:\quad V_{(0,0,0,1)}$ Minimal representation of F4 (compact)	Representation Lie theory	dimℂ 26	executable 1 linked workbench
$F_{4}:\quad V_{(1,0,0,0)}$ Adjoint of F4 (compact)	Representation Lie theory	dimℂ 52	executable 1 linked workbench
$E_{6}:\quad V_{(1,0,0,0,0,0)}$ 27-dimensional representation of E6 (compact simply connected)	Representation Lie theory	dimℂ 27	executable 1 linked workbench
$E_{6}:\quad V_{(0,1,0,0,0,0)}$ Adjoint of E6 (compact simply connected)	Representation Lie theory	dimℂ 78	executable 1 linked workbench
$E_{7}:\quad V_{(0,0,0,0,0,0,1)}$ 56-dimensional representation of E7 (compact simply connected)	Representation Lie theory	dimℂ 56	executable 1 linked workbench
$E_{7}:\quad V_{(1,0,0,0,0,0,0)}$ Adjoint of E7 (compact simply connected)	Representation Lie theory	dimℂ 133	executable 1 linked workbench
$E_{8}:\quad V_{(0,0,0,0,0,0,0,1)}$ Adjoint of E8 (compact simply connected)	Representation Lie theory	dimℂ 248	executable 1 linked workbench
$\mathfrak{su}(3)\oplus\mathfrak{su}(2)\oplus\mathfrak u(1)$ Compact Standard Model gauge algebra	Lie algebra Lie theory	dimℝ 12	reference Sourced record
$SU(3)\times SU(2)\times U(1)$ Standard Model compact covering product	Group Lie theory	dimℝ 12	executable 3 linked workbenchs
$G_{\mathrm{SM}}^{(2)}$ Standard Model global group with diagonal Z2 quotient	Group Lie theory	dimℝ 12	executable 3 linked workbenchs
$G_{\mathrm{SM}}^{(3)}$ Standard Model global group with diagonal Z3 quotient	Group Lie theory	dimℝ 12	executable 3 linked workbenchs
$G_{\mathrm{SM}}^{(6)}$ Standard Model global group with diagonal Z6 quotient	Group Lie theory	dimℝ 12	executable 3 linked workbenchs
$G_{\mathrm{SM}}^{(1)}\longrightarrow G_{\mathrm{SM}}^{(2)}$ Standard Model quotient map of order 2	Map Lie theory	G_SM^(2)	executable 1 linked workbench
$G_{\mathrm{SM}}^{(1)}\longrightarrow G_{\mathrm{SM}}^{(3)}$ Standard Model quotient map of order 3	Map Lie theory	G_SM^(3)	executable 1 linked workbench
$G_{\mathrm{SM}}^{(1)}\longrightarrow G_{\mathrm{SM}}^{(6)}$ Standard Model quotient map of order 6	Map Lie theory	G_SM^(6)	executable 1 linked workbench
$SU(3)\times SU(2)\times U(1)_X\longrightarrow SU(5)$ Color-first SU(5) block homomorphism	Map Lie theory	S(U(3) × U(2))	executable 1 linked workbench
$G_{\mathrm{SM}}^{(6)}\hookrightarrow SU(5)$ The diagonal-Z6 Standard Model group inside SU(5)	Map Lie theory	S(U(3) × U(2))	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