Finite integral domain
A finite commutative unital ring with 1 distinct from 0 is an integral domain when it has no nonzero zero divisors.
atlas-finite-integral-domain · canonical_mko
Finite integral domain
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data