The full p-gonal group [p], abstract dihedral group D 2 p, (nonabelian for p>2), of order 2 p, is generated by two mirrors at angle π / p, represented by Coxeter diagram . The p-gonal subgroup [p], cyclic group Z p, of order p, generated by a rotation angle of π / p.