Accelerating the pace of engineering and science
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.
Join the conversation