Binary tetrahedral group
The central double cover of A₄, with three doublets of different Frobenius–Schur types.
The inverse image of the tetrahedral rotation group in SU(2); abstractly SL(2,3).
Definition sourcesReference properties
Representation scope
The complete list of ordinary complex irrep dimensions is given above. Labels ρ1, ρ2, … follow the cited GroupNames character-table row order; they are local labels, not dimension-based identities. [sources]
Real, Complex and Quaternionic refer to Frobenius–Schur type (+1, 0, −1). The linked character table provides additional data; this entry does not supply matrices or a modular representation catalogue. [sources]
| Irrep label | Complex dimension | Reality type |
|---|---|---|
| ρ1 | 1 | Real |
| ρ2 | 1 | Complex |
| ρ3 | 1 | Complex |
| ρ4 | 2 | Quaternionic |
| ρ5 | 2 | Complex |
| ρ6 | 2 | Complex |
| ρ7 | 3 | Real |
Structure and conventions
The center acts trivially on the three singlets and the triplet; those representations descend to A₄. [sources]
Names and aliases
SL(2,3) · 2.A4 · Q8 ⋊ C3
Related objects and maps
- Family
- 2T / C₂ ≅ A₄
- Binary tetrahedral embedding
Claims and sources
Each assertion has a stable identifier within this record and a source locator or derivation. Cite the dataset edition when referring to a corrected or historical claim.
Definition
The inverse image of the tetrahedral rotation group in SU(2); abstractly SL(2,3).
- Character Theory of Finite Groups: Day 4 — The McKay CorrespondenceBinary polyhedral groups; binary tetrahedral exampleOpen source
- GroupNames: SL(2,3), binary tetrahedralAliasesOpen source
group:binary-tetrahedral#definitionOrder
24
- GroupNames: SL(2,3), binary tetrahedralHeading: orderOpen source
group:binary-tetrahedral#orderCenter
C₂
group:binary-tetrahedral#centerAbelian
No
- GroupNames: SL(2,3), binary tetrahedralCommutator; character tableOpen source
group:binary-tetrahedral#abelianSimple
No
- GroupNames: SL(2,3), binary tetrahedralChief series; CentreOpen source
group:binary-tetrahedral#simpleOrdinary complex irreducibles
1, 1, 1, 2, 2, 2, 3
Assumptions: Characteristic zero · Finite-dimensional irreducibles over C · Dimensions listed with multiplicity
- GroupNames: SL(2,3), binary tetrahedralCharacter table: identity column and real/complex/symplectic annotationsOpen source
- GAP · Characters and symmetrizationsIrr and section 71.12-5 IndicatorOpen source
group:binary-tetrahedral#irrepsGAP SmallGroups ID
SmallGroup(24,3)
- GroupNames: SL(2,3), binary tetrahedralAliases; GAP/Magma code by IDOpen source
group:binary-tetrahedral#smallgroups-idRepresentation scope
The complete list of ordinary complex irrep dimensions is given above. Labels ρ1, ρ2, … follow the cited GroupNames character-table row order; they are local labels, not dimension-based identities.
- GroupNames: SL(2,3), binary tetrahedralCharacter tableOpen source
group:binary-tetrahedral#representations-1Representation scope
Real, Complex and Quaternionic refer to Frobenius–Schur type (+1, 0, −1). The linked character table provides additional data; this entry does not supply matrices or a modular representation catalogue.
- GroupNames: SL(2,3), binary tetrahedralCharacter table: identity column and real/complex/symplectic annotationsOpen source
- GAP · Characters and symmetrizationsIrr and section 71.12-5 IndicatorOpen source
group:binary-tetrahedral#representations-2Structure and conventions
The center acts trivially on the three singlets and the triplet; those representations descend to A₄.
- GroupNames: SL(2,3), binary tetrahedralHeading; Centre; group-property labels; AliasesOpen source
group:binary-tetrahedral#structure-1Family
family:binary-polyhedral
- GroupNames: SL(2,3), binary tetrahedralHeading; AliasesOpen source
group:binary-tetrahedral#relation-12T / C₂ ≅ A₄
group:a-4
group:binary-tetrahedral#relation-2Binary tetrahedral embedding
group:su-2
- Character Theory of Finite Groups: Day 4 — The McKay CorrespondenceBinary polyhedral groupsOpen source
group:binary-tetrahedral#relation-3