Local integral domain
= 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.
= 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.