Documentation

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.

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?