3
$\begingroup$

Let $A$ be a nonnegatively graded algebra and $M$ a nonnegatively graded $A$-module. Then, $A_{>0}M$ is a graded $A$-submodule of $M$.

(Here, given a nonnegatively graded algebra $A$, we've defined $A_{>0} := \oplus_{i > 0} A_i$.)

My question is as follows. How do I see that $M$ is finitely generated as an $A$-module if and only if $M/A_{>0}M$ is finitely generated as an $A$-module?

Is this well-known? Can I find a proof of this anywhere? Or could anybody supply a proof?

$\endgroup$
0

1 Answer 1

8
$\begingroup$

This is essentially Nakayama's lemma (not literally, but the same proof). More generally, the result is that a graded module map $\phi\colon N\to M$ is surjective if and only if the induced map $N\to M/A_{>0}M$ is surjective. "Only if" is obvious; consider the "if" direction. The induced map being surjective is the same as saying that $M=A_{>0}M+\operatorname{im}\phi$, so reducing both sides modulo $\operatorname{im}\phi$, we see that $M/\operatorname{im}\phi=A_{>0}(M/\operatorname{im}\phi)$. This is impossible, since $M/\operatorname{im}\phi$ has an element of minimal degree (since the grading is non-negative) and that's obviously not in $A_{>0}(M/\operatorname{im}\phi)$.

Note if $M$ is allowed to have elements in arbitrary degrees the result is false: consider $k[x,x^{-1}]$ as a graded module over $k[x]$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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