Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A limit on the length of the indecomposable modules over a hereditary algebra - MaRDI portal

A limit on the length of the indecomposable modules over a hereditary algebra (Q1090403)

From MaRDI portal





scientific article; zbMATH DE number 4006487
Language Label Description Also known as
English
A limit on the length of the indecomposable modules over a hereditary algebra
scientific article; zbMATH DE number 4006487

    Statements

    A limit on the length of the indecomposable modules over a hereditary algebra (English)
    0 references
    0 references
    1986
    0 references
    Let k be an algebraically closed field and A be a hereditary algebra of finite representation type, that is, there are only finitely many nonisomorphic indecomposable finitely generated A-modules. (It is known that then A is Morita equivalent to a finite product of path algebras of quivers whose underlying unoriented graphs are Dynkin diagrams.) For any A-module N denote by P(N) (resp. I(N), Soc(N), \(\ell (N))\) projective cover (resp. injective hull, socle, length) of N. The author proves that under the above assumptions for any indecomposable finitely generated A-module K holds the inequality \[ \ell (P(Soc(K))+\ell (I(K))-\ell (K)\leq \ell (M) \] where M is an indecomposable module of maximal length. - Let now R denote the trivial extension of A by its injective cogenerator \(Hom_ k(A,k)\), and p(R) the number of nonempty preprojective classes in the preprojective partition for R. It is also proved in the paper that if \(X_ 0\) is an indecomposable R-module of maximal length, then \[ p(R)-1\leq \ell (X_ 0)\leq p(R) \] and \(\ell (X_ 0)=p(R)\) iff the indecomposable A-module of maximal length is projective or injective.
    0 references
    0 references
    hereditary algebra of finite representation type
    0 references
    indecomposable finitely generated A-modules
    0 references
    path algebras
    0 references
    quivers
    0 references
    Dynkin diagrams
    0 references
    projective cover
    0 references
    injective hull
    0 references
    socle
    0 references
    length
    0 references
    indecomposable module of maximal length
    0 references
    preprojective classes
    0 references
    preprojective partition
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references