Constructing large modules over Artin algebras (Q1355628): Difference between revisions

A special class of large modules over an artinian algebra \(\Lambda\) is constructed. In a previous paper [Generic modules over Artin algebras, Proc. Lond. Math. Soc., III. Ser. (to appear)], the author defined a component in the Auslander-Reiten quiver of \(\Lambda\) to be quasi-serial if it contains neither projectives nor injectives, and the middle term of an Auslander-Reiten sequence \(X\hookrightarrow Y\twoheadrightarrow Z\) in it decomposes into at most two indecomposables \(Y_1\) and \(Y_2\) in which case the length of \(X\) is strictly between that of \(Y_1\) and \(Y_2\). The quasi-serial indecomposables \(X\) are given by an essentially unique maximal chain \(X_1\hookrightarrow X_2\hookrightarrow\dots\hookrightarrow X_s=X\) of irreducible morphisms, and \(X_1\) is called quasi-simple in this case. The author proves now that for any quasi-simple \(X\), there is a chain \(X=X_1\hookrightarrow X_2\hookrightarrow\dots\) of irreducible monomorphisms with \(X_i\) indecomposable and an indecomposable direct limit \(X_\infty\) which is unique and determines \(X\), up to isomorphism. There is also a dual statement, giving a chain of irreducible epimorphisms with inverse limit \(X^\infty\). For a morphism \(\varphi\colon X\to Y\) between finitely generated indecomposables with \(X\) quasi-serial, it is shown that \(\varphi\) belongs to the infinite radical if and only if it factors through \(X\hookrightarrow X_\infty\), and, if this is not the case, that \(\varphi\) lifts to a morphism \(X_\infty\to Y_\infty\). Again, this statement admits a dual.