Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Suppose $A$ is a Noetherian ring, $M$ a finite $A$-module and $N \subset M$ a submodule. Furthermore, $\mathfrak{a} \subset A$ is an ideal.

Consider the $\mathfrak{a}$-adic topology on M, i.e. the filtration $... \mathfrak{a}^3M \subset \mathfrak{a}^2M \subset \mathfrak{a}M \subset M$ and the associated linear topology on $M$. Analogously, $N$ is topologized via the filtration $... \mathfrak{a}^3N \subset \mathfrak{a}^2N \subset \mathfrak{a}N \subset N$.

How can I show that the $\mathfrak{a}$-adic topology on $N$ is equivalent to the subspace topology of $N \subset M$?

I may use Artin-Rees, i.e.

$\exists n_o \in \mathbb{N}:\forall n > n_0: \mathfrak{a}^nM \cap N = \mathfrak{a}^{n-n_0}(\mathfrak{a}^{n_0}M \cap N)$

Thanks for any suggestions.

Edit: $A$ is commutative.

share|cite|improve this question
I've seen a theorem in Commutative Algebra from Atiyah and Mac Donald in chapter 10 which proves this. I'm not completely sure what the proof is, but you should try to prove something that of $(M_n)$ and $(N_n)$ are stable $\mathfrak{a}$-filtrations of $M$ then they have bounded differences, i.e. there exists $n_0 > 0$ such that $M_{n_0 + n} \subseteq N_m$ and $N_{n_0 + n} \subseteq M_n$. Then apply this to the sequences $(\mathfrak{a}^nN)$ and $(\mathfrak{a}^nM \cap N)$. Hope this helps. – Noud Dec 16 '11 at 13:53
Indeed. It is Theorem 10.11 of "Introduction to Commutative Algebra" of Atiyah & Mac Donald. You have to find your way a little about stable filtrations of Modules. But it doesn´t seem to be too hard. – Giovanni De Gaetano Dec 16 '11 at 16:06

This follows almost immediately from Artin--Rees. It may help to state Artin--Rees in the weaker form $$\mathfrak a^n N \subset \mathfrak a^n M \cap N \subset \mathfrak a^{n-n_0} N.$$

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.