¿Cuáles son todos los subgrupos discretos del grupo de isometrías del plano?
Para subgrupos finitos, sólo tenemos $\mathbb{Z}_n$ y $D_n$ . (Por ejemplo, Fraleigh, A First Course in Abstract Algebra, Teorema 12.5)
¿Qué ocurre con los subgrupos discretos infinitos?