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

If I have a finitely generated module $M$ over a local noetherian ring $(A,m)$, where $m$ denotes the maximal ideal, and $\operatorname{supp}{(M)}=m$, then there exists a surjection

$$M\rightarrow A/m$$

and an injection

$$A/m\rightarrow M$$

How can I get these?

share|cite|improve this question
up vote 6 down vote accepted

Here are some hints. Let me know if I should say more.

For the first map, we know that $M$ maps onto $M/\mathfrak{m}M$, which is a vector space over the residue field $A/\mathfrak{m}$, so it should be enough to show that $M \neq \mathfrak{m}M$. Do you know techniques for doing this in the local case?

For the second, you need to find an $x \in M$ such that $\operatorname{ann}(x) = \mathfrak{m}$. One way of doing this is to consider the family of ideals $$ \{\operatorname{ann}(y) : y \in M,\, y \neq 0\}. $$ Show that a maximal element — with respect to inclusion — of this family is prime. Why does a maximal element exist? How does this help us?

share|cite|improve this answer
Ok, thanks, that's what I needed. The first is Nakayama. For the annihilator use noetherian and an easy maximality argument to show that there is a prime P with P=ann(x) for an element x of M. Then use that the intersection of the associated primes is the intersection of the primes in the support of M and you get that P must be $m$. The rest is clear, you send the class of an $a$ to $ax$. – Descartes Aug 16 '11 at 22:17
Interesting. I wasn't even thinking about primary decomposition (I haven't been able to internalize the theory yet). My thought was that if $\mathfrak p$ is the annihilator of $x \neq 0$, then $\mathfrak p$ is in the support of $M$ because $x$ isn't killed off by anything in $A \setminus \mathfrak p$. – Dylan Moreland Aug 16 '11 at 22:33
well, that is obiously the less complicated way thinking about this ;) – Descartes Aug 17 '11 at 7:09

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.