Pagina 1 di 2
Un gruppo con ordine primo è ciclico
Inviato:
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
Inviato:
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
Inviato:
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
Inviato:
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
Inviato:
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
Inviato:
08/01/2019, 21:37
da anti-spells
Solo se H è abeliano?
Re: Un gruppo con ordine primo è ciclico
Inviato:
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
Inviato:
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
Inviato:
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
Inviato:
13/01/2019, 00:29
da otta96
anti-spells ha scritto:Questa cosa serve per capire o è la soluzione?
Un po' tutt'eddue
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).