Documentation Center

  • Trial Software
  • Product Updates

Ax::noZeroDivisors

Axiom of rings with no zero divisor

Description

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?