Ciao,
mi stanno creando dei problemi questi esercizi:
1)Devo dimostrare che i due anelli seguenti non sono isomorfi:
$A={a+ibsqrt(2)|a,binZZ}
$B={a+ibsqrt(3)|a,binZZ}
quindi quello che stavo cercando è qualche proprietà della struttura appartente ad uno e non all'altro, e mi sono imbattuto nel fatto che B non è UFD, perchè 4 ad esempio ammette due fattorizzazioni distinte, mentre per B un esempio simile non l'ho trovato quindi sto cercando di dimostrare che B è UFD secondo voi la strada è giusta?
2)il secondo un pò più semplice é:
sia n=ds MCD(d,s)=1 dimostrare che i due anelli con addizione e moltiplicazioni usuali
$(H_d,+, \ ) con H_d={[rd]_n|rinZZ}
$(ZZ_s,+, \ )
sono isomorfi.
da n=sd si dimostra che |H_d|=6 perchè $[rd]_n=[r(s+1)d]_n
per MCD(s,d) si dimostra che $H_d $ ammette unità per bezout $EE e,tinZZ \ t.c. \ ed+ts=1$ quindi $rded=rd+rn$ cioè $ [rd]_n[re]_n=[rd]_n
Quindi abbiamo due strutture speculari con le stesse operazioni e lo stesso numero di elementi esisterà per forza una permutazione $sigmainS_s$ t.c. verifichi l'isomorfismo ma non riesco a farlo vedere.