Cuando usted mira a una cifra de $F$ con algunas simetrías no ver a un grupo, pero ciertos obvio simetrías: reflexiones con respecto a diferentes ejes, simetrías de rotación se centró en diversos puntos, o traducciones, todos ellos de mapas de $\phi:\ F\to F$ respetando las incidencias, las distancias o los colorantes presentes en $F$.
De tal figura $F$ se erige sobre un terreno "set" $E$, por ejemplo, el plano euclidiano, y cualquier simetría $\phi:\ F\to F$ conlleva un bijection de $E$. De ello se sigue que ese $\phi$ tiene una inversa que es también una simetría.
Ahora viene el segundo paso, es decir, la composición de la $\psi\circ\phi$ de las simetrías. Se desprende de los principios generales sobre los mapas que cualquier finito composición de simetrías $\phi$ es de nuevo una simetría en el sentido de que las hojas de incidencias, las distancias, y el color de todos los idiomas, y que el conjunto de todas las simetrías de $F$ obtenido de esta manera se forma un grupo de $S_F\ $.
Si $F$ es una simple figura, por ejemplo, una de rosetta con un centro de $O$ $n$ deja, entonces es fácil describir $S_F\ $: es el grupo cíclico ${\mathbb Z}_n$ $n$ elementos generados por una rotación de ${2\pi\over n}$$O$, o es el diedro grupo $D_n$ que además contiene $n$ reflexiones.
Si $F$ es una complicada figura, por ejemplo, un mosaico de ${\mathbb R}^2$ por triángulos equiláteros, a continuación, inmediatamente puede ver una gran cantidad de simetrías, pero no obtener una visión general rápida sobre $S_F$. En particular, no es evidente si finita productos de rotaciones, reflexiones, etc. de nuevo, puede ser visto como tal "elemental" simetrías (con otros pivotes o ejes), o si hay nuevos tipos de movimientos presentes en $S_F$. Resulta que $S_F$ puede contener "glide reflexiones", que a lo mejor no ver al principio.
Lo que estoy tratando de decir es que la conexión entre una figura $F$ con algunas simetrías y un grupo en particular no es en absoluto trivial. En muchos tratamientos de la asignatura (o de ejemplos, como las simetrías de la $3$-cubo) la cuestión de si cualquier producto de "obvio" simetrías es de nuevo un "obvio" que la simetría no es lo suficientemente abordado.