Direct sums of semi-projective modules.

DOI10.4064/CM127-1-5MaRDI QIDQ2893053zbMATH OpenOpenAlexFDO

Authors D. Keskin-Tütüncü, Berke Kaleboğaz, Patrick F. Smith

Publication date 25 June 2012

Published in Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4064/cm127-1-5

zbMATH Keywords

direct summandsdirect sumsquotient ringsright Ore domainssemi-projective modules

Mathematics Subject Classification ID

Free, projective, and flat modules and ideals in associative algebras (16D40) Structure and classification for modules, bimodules and ideals (except as in 16Gxx), direct sum decomposition and cancellation in associative algebras) (16D70)

Review text

In this quite interesting paper, the authors study when the direct sum of semi-projectve modules is semi-projective. Their main interest is: if \(R\) is a right Ore domain with right quotient division ring \(Q\neq R\) and if \(X\) is a projective (right) \(R\)-module, when is \(Q\oplus X\) semi-projective?NEWLINENEWLINE They start, in Section 2, with basic properties of semi-projective modules. They prove that every nonsingular, extending (in particular, injective or semisimple) module is semi-projective. If an \(R\)-module \(M\), over a Dedekind domain \(R\), is a direct sum of cyclic submodules (in particular, if \(M\) is finitely generated), then \(M\) is semi-projective if and only if it is quasi-projective. If \(R\) is a prime, right Goldie ring and if \(M\) is an \(R\)-module which is a direct sum of a torsion-free, divisible submodule \(X\) and a torsion, semisimple submodule \(Y\) (here no need to assume \(Y\) to be torsion) then \(M\) is semi-projective. A divisible \(R\)-module over a prime PI ring \(R\) is semi-projective if and only if it is nonsingular.NEWLINENEWLINE In Section 3, they study modules over a right Ore domain \(R\) with right quotient division ring \(Q\neq R\). They prove that every finitely generated submodule of \(Q\) is semi-projective. Further if \(X\) is a projective right \(R\)-module with minimal generating set of cardinality strictly less than that of \(Q_R\) then \(Q\oplus X\) is semi-projective. Further if \(X\) is finitely generated then \(Q\oplus X\) is semi-projective if either \(R\) is right Noetherian or is left Ore.NEWLINENEWLINE Finally, in Section 4, they study modules over a principal ideal domain \(R\) with quotient field \(Q\neq R\). They prove that if \(X\) is a proper submodule of \(Q\) containing \(R\) then \(X\oplus R\) is semi-projective if and only if \(X\) is finitely generated.

Recommendations

• Direct sums of injective semimodules and direct products of projective semimodules over semirings.
• On relatively semi-projective and direct-projective modules.
• On pseudo semi-projective modules.
• Simple-direct-projective modules
• When every projective module is a direct sum of finitely generated modules

Cited in

(11)

• When every projective module is a direct sum of finitely generated modules
• Direct sums of ADS* modules.
• On essential extensions of direct sums of either injective or projective modules.
• Some generalizations of quasi-projective modules
• On relatively semi-projective and direct-projective modules.
• On semi-projective modules and their endomorphism rings
• scientific article; zbMATH DE number 1457486 (Why is no real title available?)
• D3-modules versus D4-modules -- applications to quivers
• On weak Rickart modules
• scientific article; zbMATH DE number 2214552 (Why is no real title available?)
• On dual relative CS-Baer modules

This page was built for publication: Direct sums of semi-projective modules.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2893053)