Pagina 1 di 2

Un gruppo con ordine primo è ciclico

MessaggioInviato: 03/01/2019, 16:54
da anti-spells
Salve, qualcuno può dimostrarmi questa affermazione? Non capisco che supposizioni devo fare

Grazie

Re: Un gruppo con ordine primo è ciclico

MessaggioInviato: 03/01/2019, 17:16
da luca69
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>>$.

Re: Un gruppo con ordine primo è ciclico

MessaggioInviato: 06/01/2019, 20:38
da anti-spells
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

Re: Un gruppo con ordine primo è ciclico

MessaggioInviato: 08/01/2019, 14:35
da luca69
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

Re: Un gruppo con ordine primo è ciclico

MessaggioInviato: 08/01/2019, 17:42
da luca69
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...

Re: Un gruppo con ordine primo è ciclico

MessaggioInviato: 08/01/2019, 21:37
da anti-spells
Solo se H è abeliano?

Re: Un gruppo con ordine primo è ciclico

MessaggioInviato: 09/01/2019, 10:56
da luca69
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...

Re: Un gruppo con ordine primo è ciclico

MessaggioInviato: 12/01/2019, 16:18
da otta96
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.

Re: Un gruppo con ordine primo è ciclico

MessaggioInviato: 12/01/2019, 23:38
da anti-spells
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

Re: Un gruppo con ordine primo è ciclico

MessaggioInviato: 13/01/2019, 00:29
da otta96
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).