Llamamos grupo diedral de orden 2n, n \ge 3 al grupo denotado por D_{2n} y definido como