Llamamos grupo diedral de orden formula_58 al grupo denotado por formula_59 y definido como