Ring isomorphism invariant
= Ring isomorphism invariant
A property of <rings> is a <ring isomorphism invariant> when any two rings related by a <ring isomorphism> either both have the property or both lack it. Being an <integral domain> is such a property: a <ring isomorphism> preserves nonzero elements, products, and zero.