Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.
03/01/2019, 16:54
Salve, qualcuno può dimostrarmi questa affermazione? Non capisco che supposizioni devo fare
Grazie
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>>$.
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
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
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...
08/01/2019, 21:37
Solo se H è abeliano?
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...
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.
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
13/01/2019, 00:29
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).
Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000—
Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.