Consideriamo l’anello $A=ZZ[i]_(/(2 + i))$. Determinare, se esiste, un omomorfismo di anelli $ZZ_(/25)->A$ e determinare se esiste, un omomorfismo di anelli, $\mathbb{F}_{25}->A$.
Allora intanto ho notato che $ZZ[i]_(/(2 + i))={[0]_(2+i),[1]_(2+i),[i]_(2+i),[-i]_(2+i),[-1]_(2+i)}$ per cui l'omomorfismo da $ZZ_(/25)$ ad $A$ l'ho fissato come:
$[0]_(25),[5]_(25),[10]_(25),[15]_(25),[20]_(25)->[0]_(2+i)$;
$[1]_(25),[6]_(25),[11]_(25),[16]_(25),[21]_(25)->[1]_(2+i)$;
$[2]_(25),[7]_(25),[12]_(25),[17]_(25),[22]_(25)->[i]_(2+i)$;
$[3]_(25),[8]_(25),[13]_(25),[18]_(25),[23]_(25)->[-i]_(2+i)$;
$[4]_(25),[9]_(25),[14]_(25),[19]_(25),[24]_(25)->[-1]_(2+i)$;
Mentre per l'omomorfismo da $\mathbb{F}_{25}$ (pensato come ad esempio $ZZ_(/5)[sqrt(2)]$) ad $A$ non esiste infatti se esistesse tale omomorfismo $phi$, allora $phi^2([sqrt(2)]_5)=phi([2]_5)$ ma gli unici quadrati di $A$ sono $[0]_(2+i),[1]_(2+i),[-1]_(2+i)$ e poichè un omomorfismo tra campi è tale che fissa $0$ in $0$ e $1$ in $1$ ed $[2]_5!=[0]_5,[1]_5$ rimarrebbe solo $phi([2]_5)=[-1]_(2+i)$ ma allora si avrebbe $phi([4]_5)=[1]_(2+i)$ assurdo poichè $[4]_5!=[1]_5$. Può andar bene?