Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I am looking for a proof of the following fact:

If $R$ is a principal artin local ring and $M$ a finitely generated $R$-module, then $R$ is a direct sum of cyclic $R$-modules.

(Apparently such rings $R$ are called, e.g. in Zariski-Samuel, special principal ideal rings.)

I almost didn't ask this question for fear that I might just be missing something obvious, but I've been unable to come up with a proof myself and I can't find one anywhere (if I am just being stupid I certainly don't mind being told). Zariski-Samuel proves a structure theorem for principal ideal rings (they are products of PID's and special PIR's), as well as the fact that a submodule of a principal ideal ring generated by n elements is generated by $\leq n$ elements. I thought perhaps the statement above could be deduced from this last fact, in a similar manner to the way one proves the corresponding result for finite modules over PID's, but the obstruction to this (as I see it) is that submodules of free $R$-modules will not in general be free (for instance, the maximal ideal of $R$ is not free, assuming $R$ is not a field, i.e., has length $\geq 2$). Essentially the naive induction on the number of generators doesn't seem to work because I can't be sure that the relevant exact sequence splits...again, maybe I'm just being foolish. I think a proof might be found in chapter VIII of Bourbaki's Algebra text, but this chapter isn't in my copy (I think maybe it's only available in French).

Incidentally, it's straightforward to show that, if such a decomposition exists, the number of times a factor of the form $R/(\pi^i)$, where $(\pi)$ is the maximal ideal of $R$ and $1\leq i\leq k$ ($k$ being the length of $R$, i.e., the index of nilpotency of $(\pi)$) is uniquely determined as the length of a quotient of $M$, for instance.

The reason I'm interested in this is because I want to know that the isomorphism type of $M$ is completely determined by the function sending $i$, $1\leq i\leq k$, to the length of $M[\pi^i]$ (the kernel of multiplication by $\pi^i$), which, assuming such a decomposition exists, is definitely the case.

Edit: I realized that my module M can (being artinian) be written as a finite direct sum of indecomposable submodules, so I guess this reduces my question to: must an indecomposable submodule of $M$ be a cyclic?

share|improve this question
add comment

3 Answers

up vote 6 down vote accepted

Let $I$ be the annihilator of $M$, by assumption $I=(\pi^i)$ for some $i$. One can view $M$ as an $R/I$ module and furthermore, embed $0 \to R/I \to M$. But $R/I$ is also principal artin local, so it is a quotient of a DVR by an element (by Hungerford's paper, in particular it is 0-dim Gorenstein. So $R/I$ is an injective module over itself, and the embedding splits. You are done.

share|improve this answer
    
Thank you Hailong, for the answer and the reference. –  Keenan Kidwell Apr 27 '10 at 17:38
    
You are very welcome, I hope that helps. –  Hailong Dao Apr 27 '10 at 18:44
add comment

First, all ideals are of the form $(\pi^i)$. Say $(\pi^n)$ is the annihilator of $M$. We can replace $A$ by $A/(\pi^n)$ wlog. Then $M$ has $A$ as submodule, since there's an element that isn't killed by $(\pi^{n-1})$. Now show that $A$ is injective over itself by Baer's criterion. Say $f : \pi^i A \to A$, we need to extend it to $A$. It suffices to show that $f(\pi^i) \in \pi^i A$. But it follows by induction that if an element of $A$ is $\pi^{n-i}$-torsion, it is a multiple of $\pi^{i}$.

Edit: the idea is the same as in Hailong's answer, but you don't need the result of Hungerford.

share|improve this answer
    
@fherzig: That's a nice proof! –  Hailong Dao Apr 27 '10 at 20:04
    
+1 Very nice proof! –  Keenan Kidwell Apr 27 '10 at 20:56
    
Thanks!-------- –  fherzig Apr 27 '10 at 21:59
    
This is very slick. I had to think for a while to see why this works, even though a localization of a PID is not self-injective (unless it's a field). –  Victor Protsak May 13 '10 at 0:46
add comment

In fact, every special principal ring is a quotient of a principal ideal domain. For an explanation of this, see e.g. the very fine wikipedia article

http://en.wikipedia.org/wiki/Principal_ideal_ring

[Disclosure: I wrote it.]

This is not the easiest way around, but it gives a nice conceptual answer to your question, since it reduces it to the well known structure theory of finitely generated modules over a PID.

Addendum: After reading Hailong Dao's answer, I see that mine is essentially a variant of it: in the end we are both referring to Hungerford's paper. But maybe some will appreciate the variation (e.g. I didn't say the G-word), so I will leave it up for now.

share|improve this answer
1  
(Presumably, you weren't writing Hailong Dao's answer.) –  Jay Pottharst Apr 27 '10 at 15:48
    
Thanks, Pete! Nice Wikipedia article ;) –  Keenan Kidwell Apr 27 '10 at 17:42
1  
(And presumably he didn't write Hungerford's paper either.) –  KConrad Apr 27 '10 at 21:17
add comment

Your Answer

 
discard

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.