Dihedral groups are non-abelian

Written by Patrick Stevens last updated
Requires: Abelian group

Let . Then the dihedral group on vertices, , is not abelian.

Proof

The most natural dihedral group presentation is . In particular, , so if and only if is the identity. But is the rotation which has order , so cannot be equal to .

picture with the triangle