Hola, estoy estudiando morfismos irreducibles utilizando el libro "Elements of the Representation Theory of Associative Algebras Vol. 1" de Assem, Simson y Skowroński, y estoy trabajando en un problema que involucra álgebras de la forma
KQ/I de tipo de representación finita.
Mi problema surge de un ejemplo concreto, pero explicado de manera más general es el siguiente: tengo dos módulos indecomponibles
M y N, donde M es proyectivo, y sé que existe un morfismo irreducible de M a N que es un monomorfismo. Me gustaría saber si existe alguna técnica para probar que dicho morfismo (el cual no comprendo del todo, ya que proviene de una traslación de Auslander–Reiten) es en realidad una inclusión
