Directing projective modules (Q689723)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Directing projective modules |
scientific article |
Statements
Directing projective modules (English)
0 references
17 November 1993
0 references
Let \(A\) be a finite dimensional algebra over a field \(K\). By a module \(M\) we mean a right \(A\)-module of finite length. If \(M_ 1\) and \(M_ 2\) are indecomposable modules, we write \(M_ 1\preceq M_ 2\) if there exists a sequence \(M_ 1=X_ 1\to X_ 2\to \cdots\to X_ m=M_ 2\) of nonisomorphisms between indecomposable modules \(X_ 1,\dots,X_ m\). We denote by \(\tau M\) the Auslander-Reiten translate of \(M\). A module \(M\) (not necessarily indecomposable) is said to be directing if there do not exist indecomposable direct summands \(M_ 1\) and \(M_ 2\) of \(M\), and an indecomposable non-projective module \(W\) such that \(M_ 1\preceq\tau W\) and \(W\preceq M_ 2\). It is proved that if \(M\) is indecomposable then \(M\) is directing if and only if the relation \(M\preceq M\) does not hold. One of the main results of the paper asserts that if the quiver \(Q(A)\) of \(A\) is directed then all indecomposable \(A\)-modules are directing if and only if for all vertices \(a\) of \(Q(A)\) the radical \(\text{rad }P(a)\) of the indecomposable projective module \(P(a)\) corresponding to \(a\) is a directing module when viewed as a module over the support algebra \(A^ a\) of \(\oplus_{a\preceq b} S(b)\), where \(S(b)\) is the simple \(A\)-module corresponding to \(b\). As a consequence it is shown that if \(A\) is representation-finite, then \(A\) is representation-directed if and only if all indecomposable projective \(A\)-modules are directing.
0 references
finite dimensional algebras
0 references
indecomposable modules
0 references
Auslander-Reiten translate
0 references
quivers
0 references
indecomposable projective modules
0 references
directing modules
0 references
support algebras
0 references
representation-finite algebras
0 references
representation-directed algebras
0 references
direct sums
0 references
direct summands
0 references