Binary octahedral group
The binary rotation group of the cube or octahedron, a central double cover of S₄.
Reference 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 | Real |
| ρ3 | 2 | Real |
| ρ4 | 2 | Quaternionic |
| ρ5 | 2 | Quaternionic |
| ρ6 | 3 | Real |
| ρ7 | 3 | Real |
| ρ8 | 4 | Quaternionic |
Structure and conventions
The faithful doublets and the four-dimensional irrep are quaternionic. The other irreps descend to the rotational quotient S₄. [sources]
Names and aliases
CSU(2,3) · Binary octahedral · 2O
Related objects and maps
- Family
- 2O / C₂ ≅ S₄
- Binary octahedral 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 octahedral rotation group in SU(2).
- Character Theory of Finite Groups: Day 4 — The McKay CorrespondenceBinary polyhedral groupsOpen source
- GroupNames: CSU(2,3), binary octahedralAliasesOpen source
group:binary-octahedral#definitionOrder
48
- GroupNames: CSU(2,3), binary octahedralHeading: orderOpen source
group:binary-octahedral#orderCenter
C₂
group:binary-octahedral#centerAbelian
No
- GroupNames: CSU(2,3), binary octahedralCommutator; character tableOpen source
group:binary-octahedral#abelianSimple
No
- GroupNames: CSU(2,3), binary octahedralChief series; CentreOpen source
group:binary-octahedral#simpleOrdinary complex irreducibles
1, 1, 2, 2, 2, 3, 3, 4
Assumptions: Characteristic zero · Finite-dimensional irreducibles over C · Dimensions listed with multiplicity
- GroupNames: CSU(2,3), binary octahedralCharacter table: identity column and real/complex/symplectic annotationsOpen source
- GAP · Characters and symmetrizationsIrr and section 71.12-5 IndicatorOpen source
group:binary-octahedral#irrepsGAP SmallGroups ID
SmallGroup(48,28)
- GroupNames: CSU(2,3), binary octahedralAliases; GAP/Magma code by IDOpen source
group:binary-octahedral#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: CSU(2,3), binary octahedralCharacter tableOpen source
group:binary-octahedral#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: CSU(2,3), binary octahedralCharacter table: identity column and real/complex/symplectic annotationsOpen source
- GAP · Characters and symmetrizationsIrr and section 71.12-5 IndicatorOpen source
group:binary-octahedral#representations-2Structure and conventions
The faithful doublets and the four-dimensional irrep are quaternionic. The other irreps descend to the rotational quotient S₄.
- GroupNames: CSU(2,3), binary octahedralHeading; Centre; group-property labels; AliasesOpen source
group:binary-octahedral#structure-1Family
family:binary-polyhedral
- GroupNames: CSU(2,3), binary octahedralHeading; AliasesOpen source
group:binary-octahedral#relation-12O / C₂ ≅ S₄
group:s-4
group:binary-octahedral#relation-2Binary octahedral embedding
group:su-2
- Character Theory of Finite Groups: Day 4 — The McKay CorrespondenceBinary polyhedral groupsOpen source
group:binary-octahedral#relation-3