Un gruppo con ordine primo è ciclico

Messaggioda anti-spells » 03/01/2019, 16:54

Salve, qualcuno può dimostrarmi questa affermazione? Non capisco che supposizioni devo fare

Grazie
anti-spells
Junior Member
Junior Member
 
Messaggio: 36 di 210
Iscritto il: 08/08/2018, 18:20

Re: Un gruppo con ordine primo è ciclico

Messaggioda luca69 » 03/01/2019, 17:16

Dato $g \in G$, $g \ne e$, è $<<g>> \le G$ (chiusura e inversi). In particolare, se $|G|=p$, con $p$ primo, allora (Lagrange) $|<<g>>|=p$ e quindi $G=<<g>>$.
luca69
Junior Member
Junior Member
 
Messaggio: 70 di 319
Iscritto il: 14/06/2017, 12:44

Re: Un gruppo con ordine primo è ciclico

Messaggioda anti-spells » 06/01/2019, 20:38

Grazie, scusa se rispondo solo ora ma sto studiando per diversi esami e a volte mi dimentico..
Non ci avevo pensato di mostrare che $<g> <= G$ , grazie per l'aiuto.
Se riuscissi a darmi una dritta anche per questo:
$f:G \to H$ omomorfismo di gruppi, mostrare che:
se $N<=H$ (stgr normale) allora $f^(-1)(N)<=G$ (stgr normale)
se $M<=G$ (stgr normale) allora non è detto che $f(M)<=H$ (stgr normale)

Mi basta un consiglio, non voglio la soluzione, grazie

EDIT: Forse così è corretto (?):
Siano $ain f^(-1)(N) rarr f(a) in N$ e $b,b^(-1) in G rarr f(b), f(b^(-1)) in H$
allora $f(bab^(-1)) = f(b)f(a)(f(a))^(-1) in N rarr bab^(-1) in f^(-1)(N) rarr f^(-1)(N)<=G$ (strg normale)

non mi convince
anti-spells
Junior Member
Junior Member
 
Messaggio: 37 di 210
Iscritto il: 08/08/2018, 18:20

Re: Un gruppo con ordine primo è ciclico

Messaggioda luca69 » 08/01/2019, 14:35

Prendilo sub judice perchè sono solo un autodidatta, ma a me il tuo EDIT sembra corretto (a parte il refuso qui
anti-spells ha scritto:$ f(bab^(-1)) = f(b)f(a)(f(a))^(-1)$
con $a$ al posto di $b$).

Ciao
luca69
Junior Member
Junior Member
 
Messaggio: 74 di 319
Iscritto il: 14/06/2017, 12:44

Re: Un gruppo con ordine primo è ciclico

Messaggioda luca69 » 08/01/2019, 17:42

Per il secondo punto, considera che $M$ normale in $G \Rightarrow \forall g \in G, forall m \in M, \exists m' \in M$ tale che $g^(-1)mg=m'$, da cui $(f(g))^(-1)f(m)f(g)=f(m')$: questo significa che $f(M)$ è normale in $H$ solo se...
luca69
Junior Member
Junior Member
 
Messaggio: 75 di 319
Iscritto il: 14/06/2017, 12:44

Re: Un gruppo con ordine primo è ciclico

Messaggioda anti-spells » 08/01/2019, 21:37

Solo se H è abeliano?
anti-spells
Junior Member
Junior Member
 
Messaggio: 38 di 210
Iscritto il: 08/08/2018, 18:20

Re: Un gruppo con ordine primo è ciclico

Messaggioda luca69 » 09/01/2019, 10:56

Io avevo in mente solo se $f$ è suriettivo, ma il mio hint in realtà porta soltanto a dire che $f(M) ⊴ f(G)$ e quindi che $f$ suriettivo $\Rightarrow f(M) ⊴ H$, che è altra cosa rispetto a quello che ti si chiede. Per dimostrare la mia idea dovrei far vedere che, $\exists \tilde h \in H \setminus f(G) \Rightarrow \exists \hat h \in H|f(M)\hat h \ne \hat hf(M)$, ma per ora non ci sono riuscito...
luca69
Junior Member
Junior Member
 
Messaggio: 76 di 319
Iscritto il: 14/06/2017, 12:44

Re: Un gruppo con ordine primo è ciclico

Messaggioda otta96 » 12/01/2019, 16:18

anti-spells ha scritto:$f:G \to H$ omomorfismo di gruppi, mostrare che:
se $N<=H$ (stgr normale) allora $f^(-1)(N)<=G$ (stgr normale)

Come l'hai dimostrato nell'edit va bene.

se $M<=G$ (stgr normale) allora non è detto che $f(M)<=H$ (stgr normale)

Prova ad immergere un sottogruppo non banale e proprio di un gruppo semplice nel gruppo.
otta96
Cannot live without
Cannot live without
 
Messaggio: 1725 di 5748
Iscritto il: 12/09/2015, 22:15

Re: Un gruppo con ordine primo è ciclico

Messaggioda anti-spells » 12/01/2019, 23:38

otta96 ha scritto:
anti-spells ha scritto:$f:G \to H$ omomorfismo di gruppi, mostrare che:
se $N<=H$ (stgr normale) allora $f^(-1)(N)<=G$ (stgr normale)

Come l'hai dimostrato nell'edit va bene.

se $M<=G$ (stgr normale) allora non è detto che $f(M)<=H$ (stgr normale)

Prova ad immergere un sottogruppo non banale e proprio di un gruppo semplice nel gruppo.


Questa cosa serve per capire o è la soluzione? Perché "immersioni" non le abbiamo mai viste
anti-spells
Junior Member
Junior Member
 
Messaggio: 43 di 210
Iscritto il: 08/08/2018, 18:20

Re: Un gruppo con ordine primo è ciclico

Messaggioda otta96 » 13/01/2019, 00:29

anti-spells ha scritto:Questa cosa serve per capire o è la soluzione?

Un po' tutt'eddue :D

Perché "immersioni" non le abbiamo mai viste

Mi sembra strano, magari le avete chiamate in un altro modo (forse inclusioni) ma è semplicemente, dati un insieme $X$ e un suo sottoinsieme $Y$, la funzione $i:Y\toX$ tale che $i(x)=xAAx\inY$, che è iniettiva. Nel caso $X$ sia un gruppo e $Y$ sia un sottogruppo l'immersione è anche un omomorfismo di gruppi iniettivo (epimorfismo).
otta96
Cannot live without
Cannot live without
 
Messaggio: 1734 di 5748
Iscritto il: 12/09/2015, 22:15

Prossimo

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

Chi c’è in linea

Visitano il forum: carcarlo e 1 ospite