Bonjour.

Pourriez vous m'aider à vérifier que (Z,+,X) est un anneau commutatif intègre mais sans revenir aux définitions.
E={z appartient à C , il existe (a,b) appartenant Z², z=a+ib]

et N: E[i] -> Z
z z"bare" * z

Merci beaucoup d'avance.