Gruppi abeliani finiti

jinsang
Salve!

Avrei una curiosità sui gruppi abeliani finiti, è la seguente:

Sia $G$ gruppo abeliano finito, allora per ogni $d$ tale che $d||G|$ esiste $H
È vero?

Io, a senso, direi di si. Una traccia di una possibile dimostrazione secondo me potrebbe essere questa:

Consideriamo $|G|=p_1^(a_1)*p_2^(a_2)*...*p_n^(a_n)$, allora per Cauchy per ogni $p_i$ esiste $x_i in G$ tale che $o(x_i)=p_i$ e quindi posso considerare $H=$ e questo ha cardinalità $p_i$.

Similmente per ogni sottogruppo del tipo $|H|=p_1*p_2*...*p_r$ posso trovare un elemento che lo genera: dato che $(o(x),o(y))=1 \Rightarrow o(x*y)=o(x)*o(y)$ prendo $$ ed è il sottogruppo che cercavo.

Ora il problema è per i sottogruppi del tipo $|H|=p_1^(b_1)*...*p_n^(b_n)$ con $b_i<=a_i$.

La mia idea sarebbe mostrare che, dato $K
Ci tengo a sottolineare che la mia preparazione sui gruppi non comprende: teorema di Sylow, teorema di Cayley e cose più avanzate :roll: . Magari la soluzione al problema non è accessibile con le mie attuali conoscenze, ma mi piacerebbe comunque vederla :-)

Chiedo scusa se questo post può risultare un po' confusionario, grazie a chi risponderà!

Risposte
killing_buddha

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.