2 Nov
2011
2 Nov
'11
6:56 p.m.
Tyson Whitehead writes:
Am I correct in understanding then that there could actually be euclidean domains that don't have good definitions unit and associate?
The properties make sense for any integral domain; there can always be a definition. Of course there may be some integral domains for which the operations are not computable, just as other operations might not be.