Characterizing S-projective modules and S-semisimple rings by uniformity

DOI10.1216/JCA.2023.15.139MaRDI QIDQ6170628zbMATH OpenOpenAlexFDO

Authors Xiaolei Zhang, Wei Qi

Publication date 10 August 2023

Published in Journal of Commutative Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2106.10441, https://www.projecteuclid.org/journals/journal-of-commutative-algebra/volume-15/issue-1/CHARACTERIZING-S-PROJECTIVE-MODULES-AND-S-SEMISIMPLE-RINGS-BY-UNIFORMITY/10.1216/jca.2023.15.139.full

zbMATH Keywords

semisimple ringuniformly S-injective moduleuniformly S-projective module

Mathematics Subject Classification ID

Projective and free modules and ideals in commutative rings (13C10) Injective and flat modules and ideals in commutative rings (13C11) Free, projective, and flat modules and ideals in associative algebras (16D40) Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60)

Abstract: Let $R$ be a ring and $S$ a multiplicative subset of $R$. An $R$-module $P$ is called uniformly $S$-projective provided that the induced sequence $0ightarrowmathrm{Hom}_R(P,A)ightarrowmathrm{Hom}_R(P,B)ightarrowmathrm{Hom}_R(P,C)ightarrow0$ is $u$-$S$-exact for any $u$-$S$-short exact sequence $0ightarrowAightarrowBightarrowCightarrow0$. Some characterizations and properties of $u$-$S$-projective modules are obtained. The notion of $u$-$S$-semisimple modules is also introduced. A ring $R$ is called a $u$-$S$-semisimple ring provided that any free $R$-module is $u$-$S$-semisimple. Several characterizations of $u$-$S$-semisimple rings are provided in terms of $u$-$S$-semisimple modules, $u$-$S$-projective modules, $u$-$S$-injective modules and $u$-$S$-split $u$-$S$-exact sequences.

Review text

Let \(A\) be a commutative unitary ring and \(S\subseteq A\) a multiplicatively closed set. The authors say that an \(A\)-module \(M\) is u-\(S\)-torsion if it is annihilated by some element of \(S\) and that \(A\)-linear maps \(M\stackrel{f}\rightarrow N\stackrel{g}\rightarrow P\) form an u-\(S\)-exact sequence if \((Im(f)+ker(g))/ker(g)\) and \((Im(f)+ker(g))/Im(f)\) are u-\(S\)-torsion modules (prefix u stands for uniform). As a continuation of \textit{X. Zhang} [Bull. Korean Math. Soc. 59, No. 3, 643--657 (2022; Zbl 1495.13019)], they study the concepts of u-\(S\)-projective (injective, semisimple) module and u-\(S\)-semisimple ring which are defined accordingly. For instance they show that a module \(P\) is u-\(S\)-projective iff \(Ext^1(P,M)\) is u-\(S\)-torsion for each module \(M\) and that \(A\) is a semisimple ring iff it is u-\((A-m)\)-semisimple for each maximal ideal \(m\).

Recommendations

• On strongly S-projective modules
• scientific article; zbMATH DE number 7688622
• Characterizing \(S\)-flat modules and \(S\)-von Neumann regular rings by uniformity
• scientific article; zbMATH DE number 7391088

Cites work

• \(S\)-almost perfect commutative rings
• \(S\)-Artinian rings and finitely \(S\)-cogenerated rings
• S-Noetherian properties on amalgamated algebras along an ideal
• A note on S-Noetherian domains
• An introduction to homological algebra
• Approximations and endomorphism algebras of modules. Volume 1: Approximations. Volume 2: Predictions.
• Characterizing \(S\)-flat modules and \(S\)-von Neumann regular rings by uniformity
• Foundations of commutative rings and their modules
• On S-strong Mori domains
• On S-coherence
• On S-GCD domains
• S-NOETHERIAN RINGS

Cited in

(11)

• The u-S-weak global dimensions of commutative rings
• The \(u\)-\(S\)-global dimensions of commutative rings
• Uniformly S-Noetherian rings
• On strongly S-projective modules
• Uniformly S-pseudo-injective modules
• On the S-Krull dimension of a commutative ring
• Uniformly S-coherent rings
• Weak u-S-projective modules and dimensions
• A characterization of S₁-projective modules
• Uniformly S-projective modules and uniformly S-projective uniformly S-covers
• Some remarks on u-S-Noetherian and u-S-coherent rings.

This page was built for publication: Characterizing \(S\)-projective modules and \(S\)-semisimple rings by uniformity

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