Sottogruppi di ordine 6 e 3 in S4

Di nuovo ciao a tutti, un esercizio riporta: nel gruppo , trovare i sottogruppi di ordine 3 e quelli di ordine 6.

La mia teoria al riguardo dell'ordine 6, è che dovrebbe avere al massimo sottogruppi di ordine 5.

(Vorrei far presente una cosa. Spero di non monopolizzare il forum, vedo persone che postano esercizi e che giustamente ci restano dietro più tempo. Ho la certezza ci siano persone più urgenti da seguire di me, quindi se qualcuno volesse rispondere può farlo in totale tranquillità e calma).

Non so se vi ho commosso... O fatto pena!

Ciao Efreet,

chiedo scusa se rispondo così tardi, ma le mie conoscenze di algebra sono molto poche. Tuttavia, mi ricordavo che gli algebristi hanno una passione per la classificazione dei gruppi e dopo un po' ho scoperto un link su wikipedia che spero possa esserti utile.

Anzitutto ti dico che il gruppo alterno ha di ordine 12 (in generale il gruppo alterno è il sottogruppo di formato dalle permutazioni pari e ha cardinalità ), ma questo non basta per classificare i gruppi di ordine 3 e 6.

Ti scrivo il link:

https://groupprops.subwiki.org/wiki/Subgroup_structure_of_symmetric_group:S4

guarda alla voce "Table classifying isomorphism types of subgroups".

Se ho ben capito ci sono 4 sottogruppi di ordine 3 e 4 sottogruppi di ordine 6. I sottogruppi di ordine 6 sono isomorfi a quindi hanno i seguenti elementi



Mentre i sottogruppi di ordine 6 sono isomorfi al gruppo ciclico , ossia i gruppi ciclici di ordine 3.

Poiché gli elementi di ordine 3 di sono quindi i sottogruppi di di ordine 3 saranno i sottogruppi ciclici generati da .

La mia è una spiegazione non molto matematica, in quanto presume che quello che sia scritto su wikipedia sia giusto, inoltre non ho dimostrato che questi sono i soli sottogruppi di ordine 3 e 6. Comunque se la cosa ti interessa sono disponibile per ulteriori chiarimenti.