Documentation Center

  • Trial Software
  • Product Updates


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?