Dihedral group

Dihedral group
Original: Jakob.scholbach Vector: Pbroks13 · CC BY-SA 3.0 · source
Name	Dihedral group
Notation	D_n, Dih_n, D_{2n}
Order	2n
Type	Finite group
Generators	Rotation r, Reflection s
Relations	r^n = e, s^2 = e, s r s = r^{-1}

Dihedral group The dihedral group is the group of symmetries of a regular n‑gon, combining Euclid's classical geometry, Galois theory motifs, and Évariste Galois's algebraic ideas; it appears in contexts ranging from Leonhard Euler's polyhedron considerations to modern Élie Cartan-inspired symmetry analysis. As a prototypical nonabelian finite group for n>2, it links to work by Augustin-Louis Cauchy on permutation groups, to Arthur Cayley's representation theory, and to applications in fields such as crystallography studied by Arthur von Schlegel and William H. Bragg.

Definition and basic properties

The dihedral group of order 2n is generated by a rotation and a reflection with relations r^n = e, s^2 = e, and s r s = r^{-1}, connecting to presentation conventions used by Camille Jordan and developments in Walther von Dyck's group theory. It is nonabelian for n>2, solvable in the sense treated by Évariste Galois and later by Niels Henrik Abel, and has order 2n linking to enumerative results by Carl Friedrich Gauss on cyclotomy and roots of unity. For n prime the subgroup lattice mirrors themes in Sophie Germain and Évariste Galois research on prime cycles.

Group presentations and algebraic structure

Standard presentations use generators r and s, echoing notation from William Rowan Hamilton and Arthur Cayley. The group fits into a split short exact sequence analogous to constructions by Emmy Noether: 1 → ⟨r⟩ ≅ C_n → D_{2n} → C_2 → 1, paralleling semidirect product descriptions found in Otto Hölder's classification of groups of small order. When n is odd every reflection lies in a single conjugacy class, a phenomenon analyzed in work by Ferdinand Georg Frobenius. For n even conjugacy class counts and center computations relate to results by Issai Schur on projective representations.

Geometric interpretations and symmetries

Geometrically D_{2n} is the full symmetry group of a regular n‑gon studied since Euclid and later formalized in Johannes Kepler's polygonal and polyhedral investigations; it preserves the set of vertices and edges, tying to Niccolò Paganini-era symmetry motifs in art and to M. C. Escher's tessellation art. In three dimensions dihedral symmetry types appear in molecular point group classifications used by Linus Pauling and in crystallography catalogs compiled by William H. Bragg and William Lawrence Bragg.

Subgroups and conjugacy classes

Subgroups include the cyclic rotation subgroup ⟨r⟩ and n distinct reflection cosets studied by Émile Picard and group-action analysts influenced by Sophus Lie. For each divisor d of n there is a unique cyclic subgroup of order d, reflecting lattice-structure themes examined by Richard Dedekind and Leopold Kronecker. Conjugacy class partitions connect to counting arguments used by George Pólya in enumeration theorems and to orbit-stabilizer computations familiar from Arthur Cayley's permutation group work.

Representations and characters

Irreducible representations over C split into one‑dimensional and two‑dimensional types; classification parallels early character-theory frameworks of Ferdinand Georg Frobenius and Issai Schur. For n odd there are two one‑dimensional representations and (n−1)/2 two‑dimensional ones; for n even four one‑dimensional and (n/2−1) two‑dimensional ones, matching decomposition methods used by Richard Brauer and employed in harmonic analysis contexts related to Norbert Wiener. Character tables for D_{2n} feed into induced-representation constructions appearing in George Mackey's work on unitary representations.

Applications and examples

Dihedral groups model wallpaper and frieze symmetries cataloged by Bruno Ernst, appear in the symmetry analysis of regular polyhedra studied by Augustin-Jean Fresnel and Johannes Kepler, and underpin permutation groups considered by Arthur Cayley in algebraic coding problems studied by Claude Shannon. They arise in Galois correspondences for certain cyclotomic extensions in algebraic number theory influenced by Kummer and Leopold Kronecker, and in molecular symmetry classifications central to Linus Pauling's chemistry. Concrete examples include D_6 as the symmetry group of a regular hexagon relevant to Johannes Kepler's model of planetary motion analogies, and D_8 appearing in square symmetry analyses in architecture by Andrea Palladio and ornamentation studies by M. C. Escher.

Category:Finite groups