Find the exact object.

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

Finite groups · Group

2O2OBinary octahedral group

The binary rotation group of the cube or octahedron, a central double cover of S₄.

Compare this group
Reference coverageFinite referenceNonabelian
Definition

The inverse image of the octahedral rotation group in SU(2).

Definition sources
Center
C2\mathrm{C}_{2}
Source and assumptions

Reference properties

PropertyValueEvidence
Order4848Sources
CenterC2\mathrm{C}_{2}Sources
AbelianNoSources
SimpleNoSources
Ordinary complex irreducibles1, 1, 2, 2, 2, 3, 3, 4Sources
GAP SmallGroups IDSmallGroup(48,28)Sources

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]

Complete ordinary complex irrep dimension and reality summary
Irrep labelComplex dimensionReality type
ρ11Real
ρ21Real
ρ32Real
ρ42Quaternionic
ρ52Quaternionic
ρ63Real
ρ73Real
ρ84Quaternionic

Complete dimension and reality summary for ordinary complex irreps. This does not supply explicit matrices, every character value, or modular representations. Labels follow the conventions stated in this record.

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

Aliases identify the stated object under this record’s conventions. Type names and broader search terms are kept separate.

Related objects and maps

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).

group:binary-octahedral#definition
Order

48

group:binary-octahedral#order
Center

C₂

group:binary-octahedral#center
Abelian

No

group:binary-octahedral#abelian
Simple

No

group:binary-octahedral#simple
Ordinary complex irreducibles

1, 1, 2, 2, 2, 3, 3, 4

Assumptions: Characteristic zero · Finite-dimensional irreducibles over C · Dimensions listed with multiplicity

group:binary-octahedral#irreps
GAP SmallGroups ID

SmallGroup(48,28)

group:binary-octahedral#smallgroups-id
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.

group:binary-octahedral#representations-1
Representation 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.

group:binary-octahedral#representations-2
Structure and conventions

The faithful doublets and the four-dimensional irrep are quaternionic. The other irreps descend to the rotational quotient S₄.

group:binary-octahedral#structure-1
Family

family:binary-polyhedral

group:binary-octahedral#relation-1
2O / C₂ ≅ S₄

group:s-4

group:binary-octahedral#relation-2
Binary octahedral embedding

group:su-2

group:binary-octahedral#relation-3