Nombre de las esquinas de un cuadrado como 1,2,3,4 en orden de las agujas del reloj.
Como ustedes saben: El grupo de todos los movimientos de la plaza de nuevo a sí mismo, llama D4D4, tiene ocho elementos, escrito en el ciclo de forma como: id,a=(1234),b=(13)(24),c=(1432),d=(12)(34),e=(14)(23),f=(13),g=(24).
Los dos subgrupos x1=⟨d,e⟩ x2=⟨f,g⟩ son cada "abstracta" isomorfo a la Klein 4-grupo, y compartir el elemento central de la b.
Pero x1 x2 no conjugada como subgrupos de D4 (o subgrupos de S4, ya que tienen diferente estructura del ciclo, y la mitad de x2 es impar, mientras que todos los de x1 es incluso).
D4s regular representación en A8 puede ser escrito como id,A=(1234)(5768);B=(13)(24)(56)(78);C=(1432)(5867);D=(15)(28)(36)(47);E=(16)(27)(35)(48);F=(17)(25)(38)(46);G=(18)(26)(37)(45). La imagen de x1 ⟨D,E⟩ e de x2⟨F,G⟩.
Pero, ⟨D,E⟩ es automorphic a ⟨F,G⟩ bajo la conjugación en S8(5768).
Mi pregunta: ¿hay una manera de llamar la D4 como movimientos de una figura geométrica que me permitiera ver la automorphism?
Gracias,