Ring isomorphism invariant
ID: 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.
New to topics? Read the docs here!