Estoy leyendo el libro de Álgebra Abstracta de Dummit y Foote (3ª edición).
En las páginas 26-27 definen un grupo diedro:
$D_{2n} = \langle r,s | r^n = s^2 = 1, rs = sr^{-1} \rangle$
Los autores describen un grupo (las rotaciones de un n-gon regular, donde $r$ es $\frac{2\cdot\Pi}{n}$ rotación y $s$ es un flip) que satisface esta representación.
Entonces afirman que, basándose en la existencia de tal grupo, cualquier grupo con tal representación debe tener un orden de al menos 2n . ¿Por qué es así? ¿Hay algún teorema del que se derive la afirmación?