Skip to main content
6 of 7
clarified some points
Dag Oskar Madsen
  • 3.7k
  • 3
  • 28
  • 51

(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 indecomposable projective-injective module, then the monomorphism $u=\begin{bmatrix} q \\ i \end{bmatrix}$ is a counterexample. The proof of the proposition can be saved by assuming $U$ is indecomposable.

For the purposes of the proof, it is enough to consider the case when $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$.

Dag Oskar Madsen
  • 3.7k
  • 3
  • 28
  • 51