## `Ax::noZeroDivisors` -- the axiom of rng's with no zero divisor

#### Introduction

`Ax::noZeroDivisors` states that a ring without a unit has no zero divisors.

#### Generating the axiom

`Ax::noZeroDivisors()`

#### Details

- The axiom `Ax::noZeroDivisors` is used to state 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 implizitly has no zero divisors.

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000