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