Separable modules over finite-dimensional algebras (Q1112153)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Separable modules over finite-dimensional algebras
scientific article

    Statements

    Separable modules over finite-dimensional algebras (English)
    0 references
    0 references
    1988
    0 references
    Let R be a finite dimensional hereditary tame algebra over a field K. The paper is mainly devoted to the study of submodules and pure submodules of pure-projective modules, i.e. direct sums of finite dimensional modules. A module M is called bounded if the set of isoclasses of indecomposable summands of M of any given dimension is finite, every submodule of M has a finite dimensional summand and there is an upper bound for dim L, where L runs through indecomposable summands of M. The following results are proved in the paper. Any bounded module is pure-projective and pure- injective. A preprojective module is pure-projective iff \(M=\cup^{\infty}_{i=1}M_ i\), where \(M_ i\) is a bounded pure submodule of \(M_{i+1}\), \(i\geq 1\). Submodules of bounded torsion-free modules are bounded. Every separable module is a pure submodule of a direct product of indecomposable preprojective modules. A countable- dimensional separable module is pure-projective. Every countable submodule of a separable module M is contained in a countable-dimensional pure-projective pure submodule of M. If M is torsion-free over \(R=\left( \begin{matrix} K\quad K^ 2\\ 0\quad K\end{matrix} \right)\) then every countable subset of soc M is contained in a pure submodule N of M of countable rank. I wonder that the proof of Proposition 2.6 is included, because it easily follows from Bass' well-known results that flat modules over semi-primary rings are projective.
    0 references
    finite dimensional hereditary tame algebra
    0 references
    pure-projective modules
    0 references
    direct sums of finite dimensional modules
    0 references
    indecomposable summands
    0 references
    bounded module
    0 references
    preprojective module
    0 references
    bounded torsion-free modules
    0 references
    separable module
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references