The Stacks project

While minor, It would be better to simply say $N=IN$, insteady of the roundabout $N\subset IN$. Also a note, the only point where locality is used is to guarente $I \subset \mathop{rad} (R)$ for all I for nakayama's lemma, so this can be generalised very easily if so desired.

Of course the application of Artin-Rees 10.51.2 does not immediately give what was said in the proof of the lemma or what you say. What I mean is that you have to think about it! So we can leave it as is I think for now.

The point about non-local cases is made in Remark 10.51.6 for the module equal to the ring. But yeah, we could discuss the case of a module there too.

Further discussion: The interesting part of the Artin-Rees lemma, and the way most people probably think about it, is that $I^nM \cap N$ is contained in $IN$ for $n \gg 0$. The fact that in the Artin-Rees lemma, as stated in the Stacks project and many texts, you get an equality is a bit of a red herring and rarely useful. This is why you'll see most often the Artin-Rees lemma used by saying $I^nM \cap N \subset IN$ for some $n > 0$.

This whole section can probably be improved upon and extended. For example, do lemmas 10.51.2 and 10.51.3 really cover all possible reformulations of Artin-Rees? Etc.