Isomorfismo campo delle frazioni

Messaggioda elatan » 17/11/2017, 18:45

Salve a tutti,

la problematica è la seguente: Siano $A$ e $R$ domini e sia $\varphi:A\toR$ un isomorfismo, allora
\[
a/b\mapsto\varphi(a)/\varphi(b)
\]
è un isomorfismo $Frac(A)\to Frac(R)$.

Qualcuno sarebbe così gentile da darmi un'idea di come procedere? :D

Vi ringrazio!
Ultima modifica di elatan il 17/11/2017, 19:28, modificato 1 volta in totale.
elatan
Junior Member
Junior Member
 
Messaggio: 68 di 278
Iscritto il: 18/05/2013, 18:18

Re: Isomorfismo campo delle frazioni

Messaggioda otta96 » 17/11/2017, 18:59

Sei sicuro non fosse $(\phi(a))/(\phi(b))$?
In ogni caso per verificare che qualcosa è un'isomorfismo, devi far vedere prima che è un omomorfismo, poi che è iniettivo poi che è suriettivo, per lo meno impostali i calcoli.
otta96
Cannot live without
Cannot live without
 
Messaggio: 724 di 5760
Iscritto il: 12/09/2015, 22:15

Re: Isomorfismo campo delle frazioni

Messaggioda elatan » 17/11/2017, 19:29

Si, scusami ho corretto....Che sia un omomorfismo ci siamo, non riesco a dimostrare le altre proprietà, in particolare la suriettività
elatan
Junior Member
Junior Member
 
Messaggio: 69 di 278
Iscritto il: 18/05/2013, 18:18

Re: Isomorfismo campo delle frazioni

Messaggioda otta96 » 17/11/2017, 19:36

Prendi un elemento $f/g\inFracR$, allora dato che $\phi$ in particolare è suriettivo $EEa,b\inA:\phi(a)=f,\phi(b)=g$, allora il tuo omomorfismo manda $a/b$ in $f/g$.
otta96
Cannot live without
Cannot live without
 
Messaggio: 729 di 5760
Iscritto il: 12/09/2015, 22:15

Re: Isomorfismo campo delle frazioni

Messaggioda elatan » 22/11/2017, 18:36

Grazie tante!
elatan
Junior Member
Junior Member
 
Messaggio: 70 di 278
Iscritto il: 18/05/2013, 18:18

Re: Isomorfismo campo delle frazioni

Messaggioda otta96 » 22/11/2017, 19:34

Prego :D
otta96
Cannot live without
Cannot live without
 
Messaggio: 734 di 5760
Iscritto il: 12/09/2015, 22:15


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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite