Gabriel-Roiter inclusions and Auslander-Reiten theory. (Q627985)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    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

      Identifiers