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.
Choose your country to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
You can also select a location from the following list:
See all countries