MathOverflow is a question and answer site for professional mathematicians. 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

Over the ring $\mathbb{Z}$, all finitely-generated modules decompose uniquely as a direct sum of indecomposable submodules; that's the Krull-Schmidt theorem.

I'm given to understand that if a (commutative, Noetherian) ring $R$ is $\mathbb{N}$-graded over a field $k$ (and the degree zero part of $R$ is equal to $k$), then $R$ satisfies this same Krull-Schmidt condition. I'm told that the same holds if $R$ is a complete local ring over a field.

On the other hand, I can't find a good reference for either of these facts. (I can find references to the statements of both facts, but I dislike the notion of citing an unsupported assertion...) So: can anyone point me to a good proof of a Krull-Schmidt theorem for graded or complete local rings? Thanks!

share|cite|improve this question

You should look at Atiyah's aricle "On the Krull-Schmidt theorem with applications to sheaves", freely available here. He gives fairly general conditions on an exact category for the Krull-Remak-Schmidt property to hold.
One of the examples he gives as an application of his criterion is that of coherent sheaves on a projective variety, which translated back into the language of algebra should give the result you request about graded algebras .

share|cite|improve this answer
Dear Georges, can you say a few more words on how to deduce the graded ring case from Atiyah's article? I was only able to link it to the category of graded modules over $R$. – Hailong Dao Oct 4 '11 at 15:08
Dear @Hailong, as you can check in the last words of my post my answer only addressed the case of graded algebras (since Graham had already treated the case of complete local rings, but not that of graded rings). I apologize if my phrasing was ambiguous and I thank you for allowing me to clarify this point. – Georges Elencwajg Oct 4 '11 at 17:44
Dear Georges, thank you for the clarification. My trouble was more in the sense that there are non-graded modules. Perhaps I was missing something? – Hailong Dao Oct 4 '11 at 22:31

Self-advertisement alert: In Chapter 1 of my book with Roger Wiegand we give a complete proof for complete local rings. It follows from a more general fact about additive categories in which every idempotent splits, that the key property is that endomorphism rings of indecomposable modules must be local (in the non-commutative sense). We don't have much use for graded rings, so don't address them,

share|cite|improve this answer

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.