[[Fact about::Integral domain]] [[Category:Commutative unital ring property implications]]
Integral domain# QUERY47a2c0558e24058b9294eb57c0910263
[[Fact about::Integral domain]] [[Category:Commutative unital ring property non-implications]]
Integral domain# QUERY0a49d78457fcc7307e5c22269fb2dec9
[[Fact about::Integral domain]] [[Category:Commutative unital ring metaproperty satisfactions]]
Integral domain# QUERY6386190e70c903c552fdff591563787a
[[Fact about::Integral domain]] [[Category:Commutative unital ring metaproperty dissatisfactions]]
Integral domain# QUERY7839ee4c6d65de8b0a5d92080b70cf26
[[Fact about::Integral domain]] [[Category:Commutative unital ring property satisfactions]]
Integral domain# QUERY5f9cc8fe4156bb668ae3ab2cf955a00d
[[Fact about::Integral domain]] [[Category:Commutative unital ring property dissatisfactions]]
Integral domain# QUERY320f4b24f4f554110db8c632e34116c5
Ring over which every monic polynomial has finitely many roots
Ring over which every nonzero polynomial has finitely many roots
Dedekind-Hasse norm implies principal ideal ring
Associate implies same orbit under multiplication by group of units in integral domain
Integral domain satisfying ACCP that is not a field has either infinitely many units or infinitely many associate classes of irreducibles