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