Interactive Group Theory

Dihedral Groups Symmetries & Colourings

Explore rotations, reflections, subgroups, and coset colourings of dihedral groups. Every colouring of a regular polygon is computed live from its subgroup lattice, illustrating how discrete symmetries lift to spacetime clockwork crystals.

Group:

Symmetry Action

Click keypad or motifs to apply symmetries
Hover a motif or symmetry to inspect
Active Operator: 1 (Identity)
Palette Permutation: (identity)

Subgroup H

Colouring Recipe (Left Cosets)
Subgroup elements: ...
Kernel core(H): ...
Palette Size ...
Normality & Action ...
Colour Group G / core(H) ...
Clockwork / Spacetime Lift ...
Coset Colour Palette

Dihedral Multiplication Table

Row element a multiplied on the right by column element b: (a · b). Symmetries satisfy the dihedral reflection-reversal law: s · r · s = r⁻¹ and s² = 1.

A Worked Example: Colourings from Subgroups

A colouring is not something you invent arbitrarily: it is something you choose a subgroup for. Copies of an asymmetric motif are labelled by group elements, the colours are the left cosets of a chosen subgroup H, and all properties — the palette size, the stabilisers, and whether the colouring can be run as a clock — follow directly from group theory.

1. Copies are labelled by group elements

Draw one asymmetric motif inside the fundamental domain. The dihedral group Dn produces 2n copies — exactly one per group element. Half read as right-handed and half as left-handed (the reflections).

2. Cosets partition the group

Fix a subgroup HG. The left coset of an element g is:

gH = { g · h : h ∈ H }

Every element lies in exactly one coset, and there are |G| / |H| cosets in total. Painting copy g with the colour of its coset gH guarantees that the group action consistently permutes the colour palette.

Stabiliser vs. Kernel vs. Colour Group

Stabiliser of colour gH: The conjugate subgroup g H g⁻¹.
Kernel core(H): The intersection ⋂g g H g⁻¹ of all stabilisers.
Colour group: The quotient G / core(H). When H is normal, stabiliser = kernel and the action is regular.

3. Connection to Spacetime Clockwork Crystals

When the colour group G / core(H) is cyclic, the colours can be arranged as phases j/N on a clock. Advancing the phase continuously in time produces a periodic animation — and lifts the 2D pattern into a 3D polar space group.