4
$\begingroup$

I'm reading the book "Elements of the representation theory of associative algebras, volume 1". And I can't understand the proof of the proposition 3.11 on page 124 (the place where marked green).

enter image description here

"because $P$ is injective, $u$ factors through $P$". How to get this result?

$\endgroup$
1
  • $\begingroup$ You cannot get this result because it's false (in general). For some algebras you can use the monomorphism $u=\begin{bmatrix} q \\ i \end{bmatrix}$ as a counterexample. The proof of the proposition can be saved by assuming $U$ is indecomposable. $\endgroup$ Commented Dec 2, 2015 at 18:26

1 Answer 1

4
$\begingroup$

(There is a misprint in the statement of the proposition. It should say $R=\operatorname{rad} P$.)

You cannot get the result in green because it's false (in general). For example if the algebra is $$A=\begin{bmatrix} \mathbb C & \mathbb C & \mathbb C\\ 0 & \mathbb C & \mathbb C\\ 0 & 0 & \mathbb C \end{bmatrix}$$ and $P$ is the unique (up to isomorphism) indecomposable projective-injective module, then the monomorphism $u=\begin{bmatrix} q \\ i \end{bmatrix} \colon R \rightarrow R/S \oplus P$ is a counterexample. In this example there are no non-zero morphisms form $P$ to $R/S$, so $u$ cannot factor through $P$.

The proof of the proposition can be saved by assuming $U$ is indecomposable. The authors want to prove $\begin{bmatrix} q \\ i \end{bmatrix}$ is left almost split. In other words, whenever $u \colon R \to U$ is not a section, one needs to show that $u$ factors through $\begin{bmatrix} q \\ i \end{bmatrix}$. As pointed out above, it suffices to consider the case when $U$ is indecomposable.

If $u \colon R \to U$ is a monomorphism, then, since $P$ is injective, there is a morphism $h \colon U \to P$ such that $i=hu$.

enter image description here

But by Proposition 3.5, since $P$ is indecomposable projective, $i \colon R \to P$ is an irreducible morphism, meaning that in the factorization $i=hu$ either $u$ is a section or $h$ is a retraction. It is assumed $u$ is not a section, so $h$ must be a retraction. Since $U$ is indecomposable, it follows that $h$ is an isomorphism. So $u=h^{-1}i$ and therefore $u$ factors through $P$.

$\endgroup$
8
  • $\begingroup$ Actually, the statement in green seems to be false in general if you don't assume $U$ is indecomposable. $\endgroup$ Commented Dec 2, 2015 at 17:45
  • $\begingroup$ First ,thank you for answering my question .And I think it's also ture if U is decomposable.Because R is indecomposalbe,so u must map it to an indecomposable summand of U. We can replace U by its summand and get the result we want. Is it ok? $\endgroup$ Commented Dec 3, 2015 at 6:52
  • 1
    $\begingroup$ @Penson If you want to prove $u$ factors through $P$, then you have to assume $U$ is indecomposable. See the counterexample I gave for decomposable $U$. $\endgroup$ Commented Dec 3, 2015 at 11:08
  • $\begingroup$ @ Dag Oskar Madsen Sorry,I can't understand your counterexample.Can you tell me what U and P is? $\endgroup$ Commented Dec 3, 2015 at 11:40
  • $\begingroup$ @Person I added more details. $P$ is the length $3$ indecomposable projective (you can think of it as the right hand coloumn) and $U=R/S \oplus P$. $\endgroup$ Commented Dec 3, 2015 at 11:49

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .