## `Cat::EntireRing` -- the category of entire rings

#### Introduction

`Cat::EntireRing` represents the category of entire rings.

#### Generating the category

`Cat::EntireRing()`

#### Categories

`Cat::Ring`

, `Cat::RightModule(dom)`

#### Axioms

`Ax::noZeroDivisors`

#### Details

- An `Cat::EntireRing` is a ring with unit `"one"` which has no zero divisors: Given non-zero ring elements a and b the product a times b is never zero.

#### Changes

- no changes

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