Indecomposable projectives correspond to irreducibles - reference - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T18:52:09Z http://mathoverflow.net/feeds/question/83779 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/83779/indecomposable-projectives-correspond-to-irreducibles-reference Indecomposable projectives correspond to irreducibles - reference Sasha 2011-12-18T07:50:27Z 2011-12-21T21:56:34Z <p>Hello,</p> <p>We have the following assertion:</p> <blockquote> <p>In an abelian category that has enough projectives and in which every object has finite length, indecomposable projectives correspond bijectively to irreducibles (both up to isomorphism).</p> </blockquote> <p>I see how to construct a well defined map from irreducibles (up to iso.) to indecomposable projectives, and to show that it is injective. What I do not know is how to show the following:</p> <blockquote> <p>Given an indecomposable projective of finite length, how to show that it has a unique irreducible quoteint?</p> </blockquote> <p>(I have edited the question; Sorry about the initial imprecision).</p> <p>Thanks, Sasha</p> http://mathoverflow.net/questions/83779/indecomposable-projectives-correspond-to-irreducibles-reference/83810#83810 Answer by Sasha for Indecomposable projectives correspond to irreducibles - reference Sasha 2011-12-18T18:17:02Z 2011-12-18T18:17:02Z <p>Hello,</p> <p>I am sorry that I did not formulate the question precisely enough. The claim I wanted to be true is:</p> <blockquote> <p>Let $\mathcal{A}$ be an abelian category, in which every object has finite length, and there are enough projectives. Then, there is a bijective correspondence between indecomposable projectives and irreducible objects.</p> </blockquote> <p>The only compound which I did not know how to proof was:</p> <blockquote> <p>An indecomposable projective object of finite length has an unique irreducible quotient.</p> </blockquote> <p>Now, I saw elements which lead to a proof in those notes:</p> <p><a href="http://math.berkeley.edu/~serganov/math252/notes9.pdf" rel="nofollow">http://math.berkeley.edu/~serganov/math252/notes9.pdf</a></p> <p>Here is a proof:</p> <p>Lemma 1: Every endomorphism of an indecomposable object of finite length is either nilpotent, or isomorphism.</p> <p>Lemma 2: If the sum of two endomorphisms of an indecomposable object of finite length is an isomorphism, one of them is also an isomorphism.</p> <p>In the above notes there are the (short and easy) proves of these two lemmas. Now, let $P$ be an indecomposable projective of finite length. We need to show that it has a unique maximal proper sub-object (thus unique irreducible quotient). Suppose not: let $K_1, K_2 \subset P$ be two different maximal proper sub-objects. Then we have a surjection $K_1 \oplus K_2 \to P$, which splits since $P$ is projective. Hence we get two maps $P \to K_1, P \to K_2$, which when considered as maps $P \to P$, sum to the identity map. Thus, by lemma 2 above, one of them is an isomorphism, which is impossible by length consideration.</p> http://mathoverflow.net/questions/83779/indecomposable-projectives-correspond-to-irreducibles-reference/84045#84045 Answer by Jim Humphreys for Indecomposable projectives correspond to irreducibles - reference Jim Humphreys 2011-12-21T21:47:51Z 2011-12-21T21:56:34Z <p>It's useful for questions like this to go back to the basic literature where some of these ideas are developed in context. (Serganova's lecture notes look helpful but if course rely on older sources.) The applications I'm familiar with arise in various areas of module theory including modular representations of finite groups, but the arguments can be imitated for abelian categories satisfying reasonable finiteness conditions; one could even resort to embedding such categories in module categories (by standard theorems going back to Freyd and Mitchell). </p> <p>The two-part treatise <em>Methods of Representation Theory</em> (Wiley, 1981+) by Curtis and Reiner provides a lot of general background beyond what is used traditionally for finite groups. In particular, Section 6C of Part I has a clear discussion of projective covers. Most of the interesting results in this direction apply to modules over arbitrary artinian rings. Once one has enough projectives, it's straightforward to show that any finitely generated module has a projective cover (unique up to isomorphism). </p> <p>These ideas for the BGG category <code>$\mathcal{O}$</code> of a semisimple Lie algebra (which is artinian) come up in Section 3.9 of my 2008 AMS text but don't involve the special features of that module category. Not only do projective covers of simple modules in the category exist, but one sees immediately from the definition of "essential" map that any indecomposable projective in the category has a unique simple quotient. (Modules here actually have finite length.) To be explicit, the given projective <code>$P$</code> has at least one simple quotient <code>$L$</code>, which in turn has a projective cover <code>$P_L$</code>. Now you get maps between <code>$P$</code> and <code>$P_L$</code>, which from the definitions are isomorphisms in both directions.</p> <p>My main point is that quite a bit of systematic work (for module categories) has been done on these questions, so it's a good idea to be aware of the relevant literature when it's needed for applications. </p>