This is machine translation

Translated by Microsoft
Mouse over text to see original. Click the button below to return to the English verison of the page.


Axiom of rings with no zero divisor


Ax::noZeroDivisors states that a ring without a unit has no zero divisors, i.e., that the product of two non-zero elements is never zero.

Note that an integral domain implicitly has no zero divisors.

Was this topic helpful?