Número de elementos en una órbita y prueba de isomorfismo.

Me piden encontrar el número de elementos en la órbita de la permutación. σ = ( 123 ) ( 45 ) ( 67 ) en S 7 , y demuestre que su centralizador es isomorfo a Z 3 × D 4 .

Pude probar que su órbita contiene 420 elementos - todos los elementos en GRAMO ( σ ) (su órbita) tienen la forma de ( X 1 X 2 X 3 ) ( X 4 X 5 ) ( X 6 X 7 ) entonces usando combinatoria y el hecho de que por ejemplo ( X 1 X 2 X 3 ) = ( X 3 X 1 X 2 ) = ( X 2 X 3 X 1 ) Me sale que el número de elementos es 420 ( 7 × 6 × 5 3 opciones para ( X 1 X 2 X 3 ) , 5 × 4 2 para ( X 4 X 5 ) y 2 2 para ( X 6 X 7 ) ) .

Ahora traté de encontrar su centralizador. Pude encontrar un elemento con orden. 4 - ( 6475 ) y un elemento de orden 2 - ( 45 ) y un elemento de orden 3 - ( 123 ) . Además, he probado que ( 123 ) , ( 6475 ) , ( 45 ) son subgrupos de C s 7 ( σ ) (que es el centralizador de σ en S 7 ). Así que si pruebo que estos son todos los elementos en C s 7 ( σ ) , conseguiré eso Z 3 × D 4 es isomorfo a C s 7 ( σ ) . Pero, usando el teorema de la órbita - estabilizador, obtengo que | C s 7 ( σ ) | = | S 7 | | GRAMO ( σ ) | = 7 ! 420 = 12 | Z 3 × D 4 | = 24 .

¿Dónde está mi error?

Existen diferentes convenciones, según las cuales | D 4 | es 4 o 8
@JWTanner según nuestro profesor, su magnitud es 8. ¿Todos mis cálculos son correctos?
tenga en cuenta que ( X 1 X 2 X 3 ) ( X 4 X 5 ) ( X 6 X 7 ) es lo mismo que ( X 1 X 2 X 3 ) ( X 6 X 7 ) ( X 4 X 5 )

Respuestas (1)

Creo que tu error es que solo hay 210 conjugados de σ en S 7 ;

usted contó cada dos veces, una vez como ( X 1 X 2 X 3 ) ( X 4 X 5 ) ( X 6 X 7 ) y una vez como ( X 1 X 2 X 3 ) ( X 6 X 7 ) ( X 4 X 5 ) .

Aquí hay una referencia en línea conveniente sobre S 7 .