It is easy to show that if $M$ is a Noetherian $R$-module then $R/\mbox{ann}(M)$ is a Noetherian ring. Is there a similar (or dual) result for Artinian modules?
If $M$ is an Artinian $R$-module then $R/\mbox{ann}(M)$ is an Artinian ring?
3
$\begingroup$
commutative-algebra
modules
-
1The title you picked for your question is almost completely unrelated to the question itself! – 2011-07-08
-
0I hope there is no mathematical term for "relevant", but what I meant was that if any Artinian module can be reduced to an Artinian module over an Artinian ring (as is the case for Notherian modules), then there is no point considering Artinian modules over non-Artinian rings. – 2011-07-08
-
0simple modules, and finite length modules are intensively studied for all rings, including non-artinian rings. That's what representation theory mostly does! – 2011-07-08
1 Answers
5
If $M$ is an Artinian $R$-module, then so is any submodule and any quotient of $M$. Thus if $M$ is finitely generated, then $R/\mathrm{Ann}(M)$ is Artinian.
But $\mathbb{Z}[1/p]/\mathbb{Z}$ is a non finitely generated Artinian $\mathbb{Z}$-module and $\mathbb{Z}$ is not Artinian. Thus if $M$ is an Artinian $R$-module, then $R$ is not necessary Artinian. (See the article of wiki about Artinian module.)
-
1In fact, every ring has artinian modules, becaue it has maximal left ideals. – 2011-07-09
-
0right. if we donot require the ring is commutative. then,the maximal left ideal is not necessary a two side ideal. – 2011-07-10
-
0I don't see how that is related... – 2011-07-10
-
0what i mean is that if ann(M) is an two side ideal, we may view M as a R/ann(M) module. anyway, since the op taged the post as commutative algebra, i think he prefer to thinking commutative rings. – 2011-07-10
-
3Why is $R/\mathrm{Ann}(M)$ Artinian exactly? – 2015-09-22