Automorfismo fixed point free su gruppo

Messaggioda Overflow94 » 24/01/2020, 21:24

$ G $ è un gruppo di ordine finito che ha un automorfismo "fixed point free" di ordine due, in simboli:

$ |G|=n<oo $
$ EE sigma in Aut(G) $ tale che $ sigma(g)=g $ se e solo se $ g=1 $ e $ sigma @ sigma(g)=g\ \ \ \ AA g $

Si dimostri che $ G $ è abeliano.
Overflow94
Junior Member
Junior Member
 
Messaggio: 86 di 115
Iscritto il: 03/06/2015, 17:48

Re: Automorfismo fixed point free su gruppo

Messaggioda solaàl » 24/01/2020, 23:00

Ahem, aspetta, mi schiarisco la voce. Fatto.

"beh, cosa hai provato a fare?"
Avatar utente
solaàl
Junior Member
Junior Member
 
Messaggio: 176 di 238
Iscritto il: 31/10/2019, 01:45

Re: Automorfismo fixed point free su gruppo

Messaggioda axpgn » 24/01/2020, 23:24

@solaàl
Penso che Overflow94 abbia proposto un esercizio al forum (visti i suoi messaggi precedenti), non credo sia uno studente in cerca di aiuto

@Overflow94
Se così è, quando posti in questa sezione allora è meglio premettere al titolo l'etichetta [EX]

Cordialmente, Alex
axpgn
Cannot live without
Cannot live without
 
Messaggio: 14825 di 15013
Iscritto il: 20/11/2013, 22:03

Re: Automorfismo fixed point free su gruppo

Messaggioda Overflow94 » 25/01/2020, 00:43

In realtà cercavo aiuto :D
Questo è un esercizio che non sono riuscito a risolvere delle prime sezioni del libro "Abstract Algebra" di Dummit e Foote. Il libro da un hint:

Immagine

La prima parte dell'hint si dimostra così:

$ f:G->G $
$ f(x)=x^(-1)sigma(x) $

Poiché $ G $ è finito per dimostrare che $ f $ è biettiva basta dimostrare che è iniettiva:

$ f(g)=f(h) $
$ g^(-1)sigma(g)=h^(-1)sigma(h) $
$ sigma(g)sigma(h)^-1=gh^(-1) $
$ sigma(gh^-1)=gh^(-1) $

L'ultimo passaggio implica che $ gh^-1=1 $ quindi $ g=h $ dimostrando l'iniettività.
Quindi essendo $ f $ biettiva $ AA yin G \ \ \EE! \ \ x in G: \ \y=x^-1sigma(x) $
Overflow94
Junior Member
Junior Member
 
Messaggio: 87 di 115
Iscritto il: 03/06/2015, 17:48

Re: Automorfismo fixed point free su gruppo

Messaggioda axpgn » 25/01/2020, 10:27

Sorry, :(
axpgn
Cannot live without
Cannot live without
 
Messaggio: 14826 di 15013
Iscritto il: 20/11/2013, 22:03

Re: Automorfismo fixed point free su gruppo

Messaggioda Overflow94 » 25/01/2020, 13:10

Mi rispondo da solo.

$ y = x^-1sigma(x) $ quindi:
$ sigma(y) = sigma(x^-1sigma(x))=sigma(x)^-1x=y^-1 $

Quindi in generale l'automorfismo $ sigma $ manda ogni elemento nel suo inverso $ sigma(g)=g^-1 $ .

Ponendo $ g=x^-1sigma(x) $ e $ h=y^-1sigma(y) $ abbiamo:

$ gh=x^-1sigma(x)y^-1sigma(y)=sigma(x)sigma(x) sigma(y)sigma(y)=sigma(x^2y^2)= $
$ =y^-2x^-2=y^-1sigma(y)x^-1sigma(x)=hg $

Quindi $ G $ è abeliano.
Overflow94
Junior Member
Junior Member
 
Messaggio: 88 di 115
Iscritto il: 03/06/2015, 17:48


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: P_1_6 e 7 ospiti