Question

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?

Answer 1

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.

Answer 2

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.

Answer 3

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.

Second Addendum: While browsing another mathematician's webpage, I stumbled across the following, which gives yet another proof of this result:

http://www.iecn.u-nancy.fr/~gaillard/DIVERS/Principal.ideals/principal.ideals.070702.pdf