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
    0 references
    0 references
    0 references
    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
    0 references
    0 references