Gabriel-Roiter inclusions and Auslander-Reiten theory. (Q627985)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gabriel-Roiter inclusions and Auslander-Reiten theory. |
scientific article |
Statements
Gabriel-Roiter inclusions and Auslander-Reiten theory. (English)
0 references
4 March 2011
0 references
For a finitely generated module \(M\) over an Artin algebra we denote by \(\mu(M)\) \[ \max\Bigl\{\sum_{i=1}^n|M_i|:M_1\subset\cdots\subset M_n\text{ is a sequence of indecomposable submodules of }M\Bigr\} \] (here by \(|N|\) we denote the length of a module \(N\) and by \(\subset\) we mean a proper inclusion). We call \(\mu(M)\) the Gabriel-Roiter measure of \(M\). A sequence \(M_1\subset\cdots\subset M_n\) of indecomposable submodules of \(M\) such that \(\sum_{i=1}^n|M_i|=\mu(M)\) is called a Gabriel-Roiter filtration of \(M\). If \(Y\) is a non-simple indecomposable module, then by a Gabriel-Roiter submodule of \(Y\) (which always exists, but maybe not unique) we mean a proper indecomposable submodule \(X\) of \(Y\) such \(\mu(M)\leq\mu(X)\) for each proper submodule \(M\) of \(Y\). The main theorem of the paper states that if \(X\) is a Gabriel-Roiter submodule of an indecomposable module \(Y\), then there exist an indecomposable module \(Z\), an irreducible monomorphism \(f\colon X\to Z\) and an epimorphism \(g\colon Z\to Y\) such that \(g\circ f\) is the inclusion \(X\hookrightarrow Y\). In the second half of paper the author studies homogeneous tubes. Recall, that indecomposable modules \(N_1,N_2,\dots\), form a homogeneous tube, if for each \(n\geq 1\), the Auslander-Reiten sequence starting at \(N_n\) has the form \(0\to N_n\to N_{n-1}\oplus N_{n+1}\to N_n\to 0\), where \(N_0:=0\). The author shows that if indecomposable modules \(N_1,N_2,\dots\), form a homogeneous tube and \(M_1\subset\cdots\subset M_n\) is a Gabriel-Roiter filtration of \(N_m\) for some \(m\geq 1\), then there exists \(i\) such that \(M_i\) is isomorphic to \(N_1\). Moreover, if \(m\geq 2\) and \(N_1\) is a brick (i.e.\ its endomorphism ring is a division ring), then \(N_{m-1}\) is the unique Gabriel-Roiter submodule of \(N_m\).
0 references
Gabriel-Roiter measures
0 references
Gabriel-Roiter submodules
0 references
Gabriel-Roiter filtrations
0 references
irreducible maps
0 references
homogeneous tubes
0 references
finitely generated modules
0 references
Auslander-Reiten sequences
0 references
Artin algebras
0 references