Teorema di isomorfismo: differenze tra le versioni
m Bot: Aggiungo: nl:Isomorfismestelling |
Nessun oggetto della modifica |
||
Riga 7: | Riga 7: | ||
Se <math> f:G\to H </math> è un [[omomorfismo]] fra due gruppi <math> G </math> e <math> H </math>, il [[nucleo (matematica)|nucleo]] di <math> f </math> è un [[sottogruppo normale]] di <math> G </math>, ed il [[gruppo quoziente]] <math> G/ker(f) </math> è [[isomorfismo|isomorfo]] all'[[immagine (matematica)|immagine]] di <math> f </math>. In simboli: |
Se <math> f:G\to H </math> è un [[omomorfismo]] fra due gruppi <math> G </math> e <math> H </math>, il [[nucleo (matematica)|nucleo]] di <math> f </math> è un [[sottogruppo normale]] di <math> G </math>, ed il [[gruppo quoziente]] <math> G/ker(f) </math> è [[isomorfismo|isomorfo]] all'[[immagine (matematica)|immagine]] di <math> f </math>. In simboli: |
||
:<math>\operatorname{Ker}(f) \triangleleft G, \quad G/\operatorname{Ker}(f) \cong \operatorname{Im}(f)</math> |
:<math>\operatorname{Ker}(f) \triangleleft G, \quad G/\operatorname{Ker}(f) \cong \operatorname{Im}(f)</math> |
||
L'isomorfismo è ''canonico'', indotto dalla mappa <math> f </math>. |
L'isomorfismo è ''canonico'', indotto dalla mappa <math> f </math>: la classe <math>g \cdot \operatorname{Ker}(f)</math> è mandata in <math>f(g)</math>. |
||
⚫ | |||
[[Immagine:FundHomDiag.png|right]] |
[[Immagine:FundHomDiag.png|right]] |
||
Riga 14: | Riga 16: | ||
:<math>f=h \circ \varphi</math> |
:<math>f=h \circ \varphi</math> |
||
dove <math>\phi</math> è la proiezione canonica <math>G \to G/K</math>. |
dove <math>\phi</math> è la proiezione canonica <math>G \to G/K</math>. |
||
⚫ | |||
=== Secondo teorema d'isomorfismo === |
=== Secondo teorema d'isomorfismo === |
Versione delle 15:01, 18 gen 2010
In matematica ci sono vari teoremi di isomorfismo, che asseriscono generalmente che alcuni insiemi dotati di opportune strutture algebriche sono isomorfe.
Teoria dei gruppi
In teoria dei gruppi ci sono tre teoremi d'isomorfismo, che valgono anche, con opportune modifiche, per anelli e moduli. I teoremi furono formulati originariamente da Emmy Noether nell'articolo Abstrakter Aufbau der Idealtheorie in algebraischen Zahl und Funktionenkörpern pubblicato nel 1927 in Mathematische Annalen.
Primo teorema d'isomorfismo
Se è un omomorfismo fra due gruppi e , il nucleo di è un sottogruppo normale di , ed il gruppo quoziente è isomorfo all'immagine di . In simboli:
L'isomorfismo è canonico, indotto dalla mappa : la classe è mandata in .
Questo teorema è detto teorema fondamentale di omomorfismo.
Generalizzazione
Se è un omomorfismo e è un sottogruppo normale di contenuto in , esiste un unico omomorfismo tale che
dove è la proiezione canonica .
Secondo teorema d'isomorfismo
Siano e due sottogruppi di un gruppo , con sottogruppo normale. Allora il sottoinsieme prodotto
è anch'esso un sottogruppo di , e inoltre:
- è normale anche in ,
- è normale in ,
L'isomorfismo è canonico, indotto dalla mappa
Terzo teorema d'isomorfismo
Siano due sottogruppi normali di con contenuto in . Vale il seguente isomorfismo:
Anche questo isomorfismo è canonico.
Teoria dei numeri
In teoria dei numeri, esiste il seguente teorema d'isomorfismo di Ax-Kochen:
Se e sono terne di Peano, allora esiste una mappa φ:A→A tale che
- φ è biiettiva;
- φ(z)=z';
- φ(S(a))=S'(φ(a)).