Doppia implicazione

feddy
Buongiorno a tutti, sto avendo difficoltà nel risolvere una doppia implicazione di un problema.

Sia $R$ un anello con identità e $End(R)$ l'anello degli endomorfismi del gruppo abeliano $(R,+)$.

Sono date la applicazioni:
$phi_r:R rightarrow R$, definita da $phi_r(x)=rx$, $forall x in R$.
$phi:R rightarrow End(R)$, definita da $phi(r)=phi_r$.

So che $phi$ è isomorfismo di anelli se e solo se $f(x)=f(1_R)x$ per ogni $f in End(R)$ e per ogni $x in R$.


Dimostrare che: $End(R)$ è commutativo se e solo se $R$ è anello commutativo e $End(R)$ è isomorfo a $R$.


Provo a dimostrare $' lArr '$:

Se $End(r) cong R$, so che $Im(phi)=End(R)$, e pertanto presi due endomorfismi:$f,g in End(R)$ si ha:

$ f(g(x))=f(g(1_R)x)=g(1_R)f(x)=g(1_r)f(1_r)x $

$ g(f(x))=g(f(1_R)x)=f(1_R)g(x)=f(1_r)g(1_r)x $

Ma se l'anello $R$ è commutativo, allora le ultime due espressioni sono uguali e pertanto $End(r)$ è commutativo.

-----

Per l'altra implicazione non saprei proprio da dove cominciare.

Ho come l'impressioni che dovrei tirare in ballo ancora l'isomorfismo $phi$, ma non so in che modo.

Più che altro non so come ricavare informazione dalla commutatività di due endomorfismi.


Grazie mille a chiunque voglia darmi una mano :smt023

Risposte
Studente Anonimo
Studente Anonimo
Se $r$ e $s$ sono elementi di $R$ allora siccome $End(R)$ è commutativo hai $phi_r phi_s = phi_s phi_r$, prova a calcolare $phi_r phi_s (1)$. Adesso prendi un endomorfismo $f$, se $End(R)$ è commutativo allora $f phi_r = phi_r f$ per ogni $r in R$, di nuovo applicalo a $1$.

feddy
Buongiorno ! Grazie mille per la risposta innanzitutto :)

Poiché deve essere che $phi_r phi_s(1)=phi_s phi_r(1)$, allora si ha $rs=sr$, e, dato che queste due espressioni devono essere uguali visto che $End(R)$ è commutativo, allora $R$ deve necessariamente essere un anello commutativo.


Ora come da Lei suggerito, considero il seguente fatto:

Se $End(R)$ è commutativo, allora $fphi_r=phi_(r) f$.

Applicando a $1$:
$f(phi_r(1))=phi_r(f(1))$

Questo significa che deve esistere un'applicazione $phi$ biettiva (posso già dire che è un omomorfismo dato che $f$ è endomorfismo?), o meglio un isomorfismo di anelli $ R rightarrowEnd(R) $. Pertanto $End(R) cong R$.


Può essere corretto ?

Grazie mille per la pazienza :)

Studente Anonimo
Studente Anonimo
La prima parte va bene, la seconda no. Puoi darmi del tu per favore? :)

Ricorda che quello che devi mostrare è che $phi$ è biiettiva. L'iniettività è facile quindi ora ti stai concentrando sulla suriettività. La condizione $f phi_r = phi_r f$ applicata a un generico $x$ ti dice (per definizione di $phi_r$) che $f(rx) = r f(x)$ ora applicandolo a $x=1$ ottieni...

feddy
Certo volentieri ! :)

Applicandolo per $x=1$ ottengo $f(r)=r f(1)$, che significa che $ forallfinEnd(R) EE r inR | f(r)=r cdotf(x) , x in R$, e quindi l'applicazione è suriettiva. L'iniettività è vero, si prova velocemente.

Pertanto $phi$ è isomorfismo di anelli e quindi $End(R) cong R$.

Spero di esserci arrivato

Studente Anonimo
Studente Anonimo
Ancora non capisco come mai scrivi $x$ dopo che hai posto $x=1$ ma a parte questo è giusto ciao!

feddy
pensa che l'avevo pure modificato, che scemo ! :)

Grazie mille per l'aiuto Martino ! :)

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.