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

is any indecomposable projective-injective A-module a direct summand of tilting module

share|cite|improve this question
You are probable asking if such an indecomposable is a direct summand of every tilting module (for it surely is a direct summand of some tilting module: namely, the free tilting module $A$) if this were true, then a selfinjective algebra would have no nontrivial (basic) tilting modules. Is that true? – Mariano Suárez-Alvarez Jan 17 '12 at 22:27
Indeed, that is true (for silly reasons: a tilting module has projective dimension at most 1, so it is in fact projective because the algebra is selfinjective) There are in general lots of tilting complexes, which is where I was getting at—but that's irrelevant here! – Mariano Suárez-Alvarez Jan 18 '12 at 1:51

Yes, any indecomposable projective-injective $A$-module $P$ is (isomorphic to) a direct summand of every tilting $A$-module $T$. Just check that $T \oplus P$ is also a tilting module, and then use the fact that any two tilting $A$-modules have the same number of isomorphism classes of idecomposable summands.

share|cite|improve this answer

Alternatively, if $P$ is your module and $T$ is a tilting module, you know (from the definition of being tilting) that there is a short exact sequence $0\to P\to T_0\to T_1\to 0$ with $T_0$ and $T_1$ in $\operatorname{add} T$, because $P$ is an indecomposiable projective. But then, since it is also an indecomposable injective, the short exact sequence splits and $P$ is a direct summand of $T_0$. Now what you want follows from Krull-Schmidt's theorem.

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.