Automorfismi

cifa1
Inanzitutto mi scuso se è la seconda discussione che apro in poco tempo, non apro topic per ogni stronzata, ma sono diversi giorni che faccio decine e decine di esercizi.

I miei problemi nascono su questi tre esercizi:

8. Mostrare che un sottogruppo normale di un gruppo è unione di classi
di coniugio.

9. Stabilire se la seguente affermazione ` vera o falsa: Siano G, G' gruppi
finiti. Se G e G hanno lo stesso ordine, allora Aut(G) e Aut(G' ) hanno
lo stesso ordine.

10. Determinare esplicitamente tutti gli automorfismi di Z18 in Z12 . De-
terminare tutti gli automorfismi di Z8 .


Andando con ordine:

Per quanto riguarda l'esercizio 8 ho spulciato in giro ed ho letto che ha a che fare con Azioni e Sylow, cose che non ho fatto (non frequento Matematica, ma Informatica ed abbiamo un programma d'Algebra strano). Io sinceramente riesco a fermarmi al fatto che un sottogruppo H di G è normale se $xHx^-1 = H $ per ogni x in G.

Per l'esercizio 9 ed anche il 10 non so dove metter mano, sul gruppo Aut trovo veramente poco sui miei appunti e sul testo di riferimento.

Ulteriore mio dubbio sul 10. Come fanno ad esistere automorfismi da Z18 in Z12 ? Un automorfismo non manda un gruppo in se stesso ? Inoltre, come si trovano gli automorfismi ? A pensarci in modo "random" mi viene in mente solo $barx -> bar(x+1)$, ma immagino ci sia sicuramente un modo rigoroso per trovare tale insieme.


Vi ringrazio di cuore!

Risposte
Studente Anonimo
Studente Anonimo
8. Mostrare che un sottogruppo normale di un gruppo è unione di classi di coniugio.
[...]
Per quanto riguarda l'esercizio 8 ho spulciato in giro ed ho letto che ha a che fare con Azioni e Sylow, cose che non ho fatto (non frequento Matematica, ma Informatica ed abbiamo un programma d'Algebra strano). Io sinceramente riesco a fermarmi al fatto che un sottogruppo H di G è normale se $xHx^-1 = H $ per ogni x in G.
Non ha a che fare con azioni e Sylow. Si tratta semplicemente di dimostrare che [tex]H = \bigcup_{h \in H} \{g^{-1}hg\ |\ g \in G\}[/tex]. E' una cosa praticamente ovvia, ma ti consiglio di scrivere la dimostrazione rigorosamente.
9. Stabilire se la seguente affermazione ` vera o falsa: Siano G, G' gruppi
finiti. Se G e G hanno lo stesso ordine, allora Aut(G) e Aut(G' ) hanno
lo stesso ordine.
Prova a considerare i gruppi [tex]\mathbb{Z}_4[/tex] e [tex]\mathbb{Z}_2 \times \mathbb{Z}_2[/tex], o i gruppi [tex]\mathbb{Z}_6[/tex] e [tex]S_3[/tex].
10. Determinare esplicitamente tutti gli automorfismi di Z18 in Z12.
Intende gli omomorfismi [tex]\mathbb{Z}_{18} \to \mathbb{Z}_{12}[/tex]. Per questo ti rimando qui.

Per il futuro consulta anche questo ;)

PS. Cerca di usare le formule in futuro (vedi la barra rosa qui in alto), grazie :)

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