Isomorfismo e dominio d'integrità

ste*111
Ciao a tutti!

a) Devo provare che $ RR [x]//(x) $ è isomorfo come anello a $ RR $ ....
so che ogni polinomio modulo x è solo il suo termine noto, ma come lo dimostro?

b) L'anello $ ZZ_6[x]//(x) $ è un dominio d'integrità?
io direi di no x il fatto che $ ZZ_6 $ non è dominio dato che in esso esistono 0-divisori...è giusto?

Risposte
Lorin1
Cosa intendi è "isomorfo come anello a $RR$" :O

ste*111
che esiste un isomorfismo tra i due anelli..

Paolo902
Ciao.

Per il primo, ti suggerisco di pensare ad un omomorfismo suriettivo da $\phi: RR[X] to RR$ il cui nucleo $"ker" phi$ sia proprio $(x)$. L'osservazione da te fatta è intelligente, i polinomi che stanno in $(x)$ sono quelli privi di termine noto, quindi... :wink:

ste*111
Considerando la proiezione al quoziente?!
Ma non riesco a dimostrare come gli elementi dell'anello quoziente $ RR [x]//(x) $ si identificano, tramite la proiezione al quoziente, con tutti i polinomi costanti di $ RR [x] $ .... :/

Paolo902
Se conosci il primo teorema di isomorfismo per anelli, prova a considerare l'applicazione che manda ogni polinomio (a coefficienti reali) nel suo termine noto...

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