諾特環
The assumption that “"A" is a Noetherian ring” is used to invoke the Artin–Rees lemma and can be weakened; see