Find the exact object.

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

Finite groups · Group

D12\mathrm{D}_{12}Dihedral group of order twelve

Hexagon symmetries; abstractly C₂ × S₃, with entirely real ordinary irreducibles.

Compare this group
Reference coverageFinite referenceNonabelian
Definition

Symmetries of the regular hexagon: r⁶ = s² = 1 and srs⁻¹ = r⁻¹.

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

Reference properties

PropertyValueEvidence
Order1212Sources
CenterC2\mathrm{C}_{2}Sources
AbelianNoSources
SimpleNoSources
Ordinary complex irreducibles1, 1, 1, 1, 2, 2Sources
GAP SmallGroups IDSmallGroup(12,4)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
ρ31Real
ρ41Real
ρ52Real
ρ62Real

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 central half-turn generates C₂. Quotienting by the center gives S₃. The cited page calls this group D₆. [sources]

Names and aliases

Dihedral(12) · Dih(6) · D6 (polygon convention) · C2 × S3

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

Symmetries of the regular hexagon: r⁶ = s² = 1 and srs⁻¹ = r⁻¹.

group:d-12#definition
Order

12

group:d-12#order
Center

C₂

group:d-12#center
Abelian

No

group:d-12#abelian
Simple

No

group:d-12#simple
Ordinary complex irreducibles

1, 1, 1, 1, 2, 2

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

group:d-12#irreps
GAP SmallGroups ID

SmallGroup(12,4)

group:d-12#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:d-12#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:d-12#representations-2
Structure and conventions

The central half-turn generates C₂. Quotienting by the center gives S₃. The cited page calls this group D₆.

group:d-12#structure-1
Family

family:finite-dihedral

group:d-12#relation-1
D₁₂ / C₂ ≅ S₃

group:s-3

group:d-12#relation-2