Cat::EntireRing
-- the
category of entire ringsCat::EntireRing
represents the category of entire
rings.
Cat::EntireRing()
Cat::Ring
, Cat::RightModule(dom)
Ax::noZeroDivisors
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.