Local integral domain
ID: local-integral-domain
A local ring that is also an integral domain. Multiplication by any nonzero element is injective. This permits cancellation in Artin-Rees lemma length-growth arguments.
New to topics? Read the docs here!