Sottogruppi

[Claudia87an]

Se considero il gruppo delle permutazioni di 7 elementi.
Perchè non possono esserci sottogruppi di cardinalità 9?

[perplesso1]

Perchè non possono esserci sottogruppi di cardinalità 9?

Ciao, forse mi sbaglio ma non vedo nessun motivo per cui non potrebbero esserci sottogruppi di ordine 9, anzi credo di averne anche trovato uno, questo

$ < (123),(456) > = { 1,(123), (123)^2,(456),(456)^2,(123)(456),(123)^2(456),(123)(456)^2,(123)^2(456)^2 } $

Forse volevi dire permutazioni di periodo (ordine) 9 ?

[Claudia87an]

Si, credo che l'esercizio intenda sotogruppi ciclici di ordine 9.
In questo caso come potri fare, visto che 9 divide 7! e non posso applicare il teorema di Lagrange?

[perplesso1]

In questo caso è semplice, ricorda che l'ordine di una permutazione è il minimo comune multiplo delle lunghezze dei suoi cicli disgiunti. Quindi l'unica possibilità per avere un permutazione di periodo 9 è quella di cercare un 9-ciclo in $ S_7 $ , cosa assurda.

[Claudia87an]

ok! Grazie!