Dihedral Group
Dihedral Group
Dihedral Group
Generalization: Groups
An often very important group studied for it's geometric symmetries is the dihedral group.
The group D , called the dihedral group, is the group constituted of the set of all local and global symmetry preserving
2n
These Permutations are rotations σ and reflections τ . Describing them formally requires us to label each vertex with a number
between 1 and n (obviously making sure 2 comes after one or before). We can then describe these permutations as follows:
Definition: Rotation
σ : {1 ≤ i ≤ n} → {1 ≤ i ≤ n} : v ↦ σ(v)
And:
Definition: Reflection
τ : {1 ≤ i ≤ n} → {1 ≤ i ≤ n} : v ↦ τ (v)
And:
One would obviously need to verify this does indeed form a group (Dihedral group is a group).
We can extract the following properties from the definitions, which we will not prove with an exception for 5:
2. |τ | = 2
3. ∀τ , σ, i : τ ≠ σ
i
4. τ σ i
≠ τσ
j
⟺ j ≠ i
5. ∀i i
: σ τ = τσ
−i
We can thus easily conclude that every element in D 2n has a unique representation of the form σ j
τ
k
with 1 ≤ j ≤ n − 1 and k .
= 0, 1
Remark : We haven't really develop a proper notation for all these properties, most of these remain very obvious so it is not really
1
needed.