Thanks for spotting the error.
As for integral domain, I think you are right. However, let me note that a norm on the ring implies that there are no zero-divisors.
In reply to Re^5: Illegal Modulus zero
by ambrus
in thread Illegal Modulus zero
by Anonymous Monk
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |