¿Cuáles son las formas de numerar un dado dodecaédrico "canónicamente" hasta la simetría rotacional?

Primero, una numeración de dados "canónica", para este propósito, es aquella en la que los lados opuestos suman 13.

Podemos interpretar todas las numeraciones posibles como permutaciones de pares de caras opuestas, así como las permutaciones dentro de esos pares. Esto da 2 6 × 6 ! = 46080 combinaciones posibles (independientemente de la simetría rotacional), descritas por el grupo C 2 S 6 .

Hay 60 simetrías rotacionales de un dodecaedro, descritas por el grupo I (o A 5 ). Solo hay un elemento de I (la identidad) que preservará cualquiera de las permutaciones; todos los demás elementos modificarán las permutaciones de alguna manera. Por el Lema de Burnside, eso significa que hay 46080 60 = 768 Numeración canónica de dados hasta simetría rotacional.

Sin embargo, esta respuesta me deja algo insatisfecho. Es bueno tener un número, pero no es muy intuitivo para mí. Realmente me gustaría alguna forma de describir cuáles son realmente estas combinaciones distintas, y eso me lleva a mi pregunta:

¿Existe un grupo, o un objeto similar a un grupo, que describa la numeración canónica de un dado dodecaédrico hasta la simetría rotacional? O, alternativamente, ¿existe un método combinatorio para construir estas numeraciones de dados?

Lo siento si este post es difícil de entender. No tengo una formación formal en este nivel, por lo que mi elección de palabras podría estar un poco fuera de lugar.

Respuestas (1)

Fijar la orientación de la ( 1 , 12 ) par para que el 1 mira hacia arriba, luego gira alrededor de la z -eje para que el ( 2 , 11 ) el par está apuntando hacia arriba y lejos de ti. Entonces hay 4 ! = 24 maneras de organizar los pares restantes ( 3 , 10 ) ( 4 , 9 ) ( 5 , 8 ) ( 6 , 7 ) (sus números superiores forman una línea alrededor del 1 ) y 2 5 = 32 maneras de decidir de qué manera el menor número de pares ( 2 , 11 ) a ( 6 , 7 ) punto, por un total de 768 numeraciones canónicas.

¡Gracias! Sin embargo, todavía tengo curiosidad, ¿qué pasos tomaría uno para llegar a esta conclusión?
@krytton Los dos primeros pasos ponen una numeración arbitraria en "orientación canónica". Los pasos restantes simplemente cuentan el número de orientaciones canónicas, lo cual es más fácil ahora que se eliminan algunos grados de libertad.
@krytton Puede ser útil considerar el análisis análogo para un cubo. Un par de caras deben estar numeradas. ( 1 , 6 ) ; Orienta el cubo de modo que el 1 está arriba y el 6 En el fondo. Hay que numerar otro par de caras ( 2 , 5 ) . manteniendo el 1 en la parte superior, gire el cubo para que el 2 está al frente y el 5 atras. Ahora tiene dos opciones para organizar el ( 3 , 4 ) rostros: el 3 puede estar en el lado izquierdo o en el derecho. Entonces, hay exactamente dos etiquetas canónicas de un dado de seis caras.