Sea G un grupo de orden nnn, donde nnn es un entero positivo relativo primo a φ(n)φ(n)\varphi(n). Demuestre que G es cíclico.

Sea G un grupo de orden norte , dónde norte es un entero positivo relativo primo a φ ( norte ) . Demuestre que G es cíclico.
Aquí solo puede asumir el teorema de Feit-Thompson y demostrarlo de la siguiente manera:
(1) norte es un producto de números primos impares y sin cuadrados.
(2) Entonces GRAMO es solucionable Demuestre que tiene un cociente cíclico de primer orden, es decir, hay un epimorfismo GRAMO H con H cíclico de primer orden. Dejar norte ser el núcleo. (Pista: usando series de composición)
(3) Demuestre que GRAMO norte × H y luego probar GRAMO es abeliano.
(4) Demuestra que GRAMO es cíclico.

Probé (1) pero me quedé atascado en el paso 2. ¿Hay alguna ayuda? Gracias.

feit-thompson ha terminado, por ejemplo jstor.org/stable/2324062

Respuestas (1)

Si GRAMO es soluble, entonces tiene una serie soluble, como

GRAMO = GRAMO 0 GRAMO 1 GRAMO norte = { mi }
que se puede refinar a una serie de composición solucionable. Así que podemos suponer GRAMO 0 , GRAMO 1 , . . . , GRAMO norte es una serie de composición soluble, es decir GRAMO i GRAMO i + 1 y GRAMO i + 1 / GRAMO i es simple y abeliano, es decir, cíclico de primer orden. De este modo GRAMO / GRAMO 1 es cíclico de primer orden, y el mapa canónico
GRAMO GRAMO / GRAMO 1
tiene núcleo GRAMO 1 . Eso es (2), y no estoy seguro de cómo hacer la parte (3).