---
title: u-S-Semisimple Modules in Homological Algebra
url: https://www.emergentmind.com/topics/u-s-semisimple-modules
type: topic
---

# u-S-Semisimple Modules in Homological Algebra

Searching arXiv for recent and foundational papers on u-S-semisimple modules and related uniform-S homological notions.
u-\(S\)-semisimple modules are a uniform-\(S\) generalization of semisimple modules in which exactness and splitting are weakened by allowing failure to be annihilated by a single element of a fixed multiplicative subset \(S\subseteq R\). For a commutative ring \(R\) with identity and a multiplicative subset \(S\), an \(R\)-module \(M\) is called u-\(S\)-semisimple if every short u-\(S\)-exact sequence
\[
0\to A\to M\to C\to 0
\]
is u-\(S\)-split; equivalently, every extension with middle term \(M\) splits after multiplying the relevant identity morphism by some element of \(S\) [2106.10441]. This notion sits inside the broader uniform-\(S\) homological framework, where kernels, cokernels, Ext-groups, and splitting conditions are controlled uniformly by one element of \(S\), and it provides an \(S\)-relative analogue of the classical equivalences among semisimplicity, projectivity, injectivity, and splitting of short exact sequences [2106.10441, 2602.13809].

## 1. Uniform-\(S\) framework and the definition

Let \(R\) be a commutative ring with identity and \(S\subseteq R\) a multiplicative subset. The basic uniform notions are formulated by replacing exactness and vanishing with annihilation by a single element of \(S\). An \(R\)-module \(T\) is u-\(S\)-torsion if there exists \(s\in S\) such that \(sT=0\). A homomorphism \(f:M\to N\) is a u-\(S\)-monomorphism if \(\ker(f)\) is u-\(S\)-torsion, a u-\(S\)-epimorphism if \(\operatorname{coker}(f)\) is u-\(S\)-torsion, and a u-\(S\)-isomorphism if both conditions hold [2106.10441].

A sequence
\[
M\xrightarrow{f}N\xrightarrow{g}L
\]
is u-\(S\)-exact if there exists \(s\in S\) such that
\[
s\ker(g)\subseteq \operatorname{Im}(f)\qquad\text{and}\qquad s\operatorname{Im}(f)\subseteq \ker(g).
\]
Accordingly, a short sequence
\[
0\to A\xrightarrow{f}B\xrightarrow{g}C\to 0
\]
is a short u-\(S\)-exact sequence when it is u-\(S\)-exact and \(f\), \(g\) are respectively a u-\(S\)-monomorphism and a u-\(S\)-epimorphism [2106.10441, 2602.13809].

The splitting condition is likewise weakened. A short u-\(S\)-exact sequence
\[
0\to A\xrightarrow{f}B\xrightarrow{g}C\to 0
\]
is u-\(S\)-split if there exist \(s\in S\) and a map \(f':B\to A\) such that
\[
f'f=s\,\mathrm{Id}_A.
\]
Equivalently, there exist \(s\in S\) and \(g':C\to B\) such that
\[
gg'=s\,\mathrm{Id}_C
\]
[2106.10441]. The module-level notion is then defined by internalizing this condition at the middle term:

> An \(R\)-module \(M\) is u-\(S\)-semisimple if every short u-\(S\)-exact sequence
> \[
> 0\to A\to M\to C\to 0
> \]
> is u-\(S\)-split [2106.10441].

This definition is the precise uniform-\(S\) analogue of the classical characterization of semisimple modules by splitting of all short exact sequences with middle term \(M\). The change is not merely formal: the defect from ordinary splitting is uniformly controlled by a single element of \(S\), which is stronger than allowing different annihilators for different elements or submodules [2602.13809].

## 2. Equivalent formulations and immediate consequences

A central simplification is that the definition may be tested on ordinary short exact sequences, not only on those already known to be u-\(S\)-exact. Specifically, \(M\) is u-\(S\)-semisimple if and only if every short exact sequence
\[
0\to L\to M\to N\to 0
\]
is u-\(S\)-split [2106.10441]. This equivalence is conceptually important: u-\(S\)-semisimplicity is not just a property internal to the weakened exact structure, but a robust statement about all extensions with middle term \(M\).

Several immediate consequences follow.

First, every classically semisimple module is u-\(S\)-semisimple, since ordinary splitting corresponds to the special case \(s=1\) [2106.10441]. Second, every u-\(S\)-torsion module is u-\(S\)-semisimple, because multiplication by a suitable \(s\in S\) annihilates the relevant maps [2106.10441]. These two facts show that u-\(S\)-semisimplicity interpolates between genuine semisimplicity and modules whose deviation from semisimplicity is uniformly killed by \(S\).

A further structural property is permanence along short u-\(S\)-exact sequences: if
\[
0\to A\to B\to C\to 0
\]
is u-\(S\)-short exact and \(B\) is u-\(S\)-semisimple, then both \(A\) and \(C\) are u-\(S\)-semisimple [2106.10441]. This mirrors the classical behavior of semisimple objects under split exact sequences, although here the mechanism is mediated by uniform \(S\)-splitting rather than genuine decomposition.

It is also important not to conflate the module notion with the ring notion. A ring \(R\) may be u-\(S\)-semisimple as a module over itself without being a u-\(S\)-semisimple ring. The case \(R=\mathbb Z\), \(S=\mathbb Z\setminus\{0\}\), exhibits exactly this phenomenon: \(\mathbb Z\) is u-\(S\)-semisimple as a \(\mathbb Z\)-module, but \(\mathbb Z\) is not a u-\(S\)-semisimple ring [2106.10441].

## 3. Homological characterization and relation to u-\(S\)-projectivity

The theory becomes more transparent when viewed homologically. In the same framework, an \(R\)-module \(P\) is u-\(S\)-projective if for every short u-\(S\)-exact sequence
\[
0\to A\to B\to C\to 0,
\]
the induced sequence
\[
0\to \operatorname{Hom}_R(P,A)\to \operatorname{Hom}_R(P,B)\to \operatorname{Hom}_R(P,C)\to 0
\]
is u-\(S\)-exact [2106.10441]. This condition admits several equivalent formulations, notably that \(\operatorname{Ext}_R^1(P,M)\) is u-\(S\)-torsion for every \(R\)-module \(M\), and in fact that \(\operatorname{Ext}_R^n(P,M)\) is u-\(S\)-torsion for all \(n\ge 1\) and all \(M\) [2106.10441].

The relation to u-\(S\)-semisimplicity at the module level is not simply an equivalence in arbitrary rings, but the two notions become tightly linked in ring-theoretic contexts where all modules share the same uniform homological behavior. In particular, over a u-\(S\)-semisimple ring, every module is simultaneously u-\(S\)-semisimple, u-\(S\)-projective, and u-\(S\)-injective [2106.10441, 2602.13809].

More refined characterizations are available through relative notions. An \(R\)-module \(P\) is u-\(S\)-projective relative to \(M\) if for any u-\(S\)-epimorphism \(f:M\to N\), the induced map
\[
\operatorname{Hom}_R(P,M)\to \operatorname{Hom}_R(P,N)
\]
is a u-\(S\)-epimorphism; dually, relative u-\(S\)-injectivity is defined via u-\(S\)-monomorphisms into \(M\) [2509.01646]. With these definitions, an \(R\)-module \(M\) is u-\(S\)-semisimple if and only if every \(R\)-module is u-\(S\)-injective relative to \(M\), and equivalently if and only if every \(R\)-module is u-\(S\)-projective relative to \(M\) [2509.01646]. This gives a precise homological interpretation: a u-\(S\)-semisimple module is one that makes the entire module category relatively projective and injective against it.

The same paper also shows that u-\(S\)-semisimple modules are necessarily u-\(S\)-quasi-projective and u-\(S\)-quasi-injective [2509.01646]. This generalizes the familiar classical implication that semisimple modules are both quasi-projective and quasi-injective, but again only in the weakened, uniform-\(S\) sense.

## 4. Ring-level theory and collapse of the relative homological structure

The ring-level notion is defined by requiring free modules to be u-\(S\)-semisimple. Thus \(R\) is a u-\(S\)-semisimple ring if every free \(R\)-module is u-\(S\)-semisimple [2106.10441, 2602.13809]. The central theorem gives a full homological collapse analogous to the classical semisimple-ring situation:

For a ring \(R\) and multiplicative subset \(S\), the following are equivalent:

1. \(R\) is u-\(S\)-semisimple.
2. Every \(R\)-module is u-\(S\)-semisimple.
3. Every u-\(S\)-short exact sequence is u-\(S\)-split.
4. Every short exact sequence is u-\(S\)-split.
5. \(\operatorname{Ext}^1_R(M,N)\) is u-\(S\)-torsion for all \(R\)-modules \(M,N\).
6. Every \(R\)-module is u-\(S\)-projective.
7. Every \(R\)-module is u-\(S\)-injective [2106.10441, 2602.13809].

This theorem is the structural core of the subject. In particular, ring-level u-\(S\)-semisimplicity can be viewed equally as a splitting property, an Ext-annihilation property, or universal projectivity/injectivity in the uniform-\(S\) sense. The survey literature also records the equivalent homological-dimension formulation
\[
u\text{-}S\text{-}\operatorname{gl.dim}(R)=0
\]
for u-\(S\)-semisimple rings [2602.13809].

At the module-theoretic level, a later refinement replaces quasi-projective characterizations by pseudo-projective ones. A module \(P\) is u-\(S\)-pseudo-projective if, for each submodule \(K\le P\), there exists \(s\in S\) such that any u-\(S\)-epimorphism \(P\to P/K\) lifts after multiplication by \(s\) to an endomorphism of \(P\) [2510.10170]. With this notion, a ring \(R\) is u-\(S\)-semisimple if and only if every \(R\)-module is u-\(S\)-pseudo-projective [2510.10170]. This extends the homological dictionary around u-\(S\)-semisimplicity and shows that universal lifting properties persist even after weakening projectivity.

## 5. Comparison with classical semisimplicity and local criteria

The relation between u-\(S\)-semisimplicity and classical semisimplicity depends strongly on the multiplicative subset \(S\).

If \(S=\{1\}\), then u-\(S\)-torsion is just zero, u-\(S\)-exactness is ordinary exactness, and u-\(S\)-splitting is ordinary splitting. In that case, u-\(S\)-semisimple modules and rings are exactly classical semisimple modules and rings [2602.13809]. More generally, if every element of \(S\) is a unit, the uniform-\(S\) theory collapses to the classical one for pseudo-projective and related notions [2510.10170].

A subtler rigidity theorem holds when \(S\) is regular, meaning that all elements of \(S\) are non-zero-divisors. Then a ring is u-\(S\)-semisimple if and only if it is classically semisimple [2106.10441, 2602.13809]. Consequently, genuinely new ring-theoretic examples arise only when \(S\) contains zero-divisors or idempotent-like annihilators capable of suppressing non-semisimple components.

There are also local-global criteria. Classical projectivity can be detected by uniform local projectivity: an \(R\)-module \(P\) is projective if and only if it is u-\((R\setminus\mathfrak p)\)-projective for every prime ideal \(\mathfrak p\), or equivalently for every maximal ideal \(\mathfrak m\) [2106.10441]. In parallel, a ring \(R\) is classically semisimple if and only if it is u-\((R\setminus\mathfrak p)\)-semisimple for every prime ideal \(\mathfrak p\), or equivalently u-\((R\setminus\mathfrak m)\)-semisimple for every maximal ideal \(\mathfrak m\) [2106.10441]. These statements show that the uniform-\(S\) language does not merely relax classical notions; it can also recover them by imposing the uniform condition over all local multiplicative sets.

A related local principle appears for u-\(S\)-pseudo-projectivity: if \(P\) is u-\((R\setminus\mathfrak m)\)-pseudo-projective for every maximal ideal \(\mathfrak m\), then \(P\) is classically pseudo-projective [2510.10170]. This reinforces the interpretation of uniform-\(S\) notions as local approximants to classical homological properties.

## 6. Examples, constructions, and structural phenomena

The standard examples clarify both the flexibility and the limits of the theory.

For \(R=\mathbb Z\) and \(S=\mathbb Z\setminus\{0\}\), the sequence
\[
0\to (n)\xrightarrow{i}\mathbb Z\to \mathbb Z/(n)\to 0
\]
is u-\(S\)-split because the map \(i':\mathbb Z\to (n)\) defined by \(i'(1)=n\) satisfies \(i'i=n\,\mathrm{Id}_{(n)}\). Hence \(\mathbb Z\) is u-\(S\)-semisimple as a module [2106.10441]. Nevertheless, \(\mathbb Z\) is not a u-\(S\)-semisimple ring, since a u-\(S\)-semisimple ring must be uniformly \(S\)-von Neumann regular, and \(\mathbb Z\) is not [2106.10441].

More generally, if \(R\) is a non-field domain and \(S=R\setminus\{0\}\), then \(R\) is u-\(S\)-semisimple as a module: given a nonzero ideal \(I\subseteq R\), choose \(0\neq s\in I\) and define \(f:R\to I\) by \(f(1)=s\); then \(f(i)=si\) for all \(i\in I\), yielding the uniform splitting required by the definition [2106.10441]. But if \(S\) is regular, such a ring is not u-\(S\)-semisimple as a ring unless it is classically semisimple, which a non-field domain is not [2106.10441].

The product construction is particularly revealing. If \(R=R_1\times R_2\) and \(S=S_1\times S_2\), then \(R\) is u-\(S\)-semisimple if and only if each \(R_i\) is u-\(S_i\)-semisimple [2106.10441, 2602.13809]. Using this, one obtains nonclassical examples: if \(R_1\) is semisimple, \(R_2\) is non-semisimple, and
\[
S=\{(1,1),(1,0)\}\subseteq R_1\times R_2,
\]
then \(R=R_1\times R_2\) is u-\(S\)-semisimple although it is not classically semisimple [2106.10441, 2602.13809]. The point is that the zero-divisor \((1,0)\in S\) annihilates the obstructing component in the uniform homological conditions.

An example from pseudo-projectivity illustrates the strictness of the hierarchy
\[
u\text{-}S\text{-projective}\Rightarrow u\text{-}S\text{-quasi-projective}\Rightarrow u\text{-}S\text{-pseudo-projective}.
\]
For \(R=\mathbb Z\), \(S=\{1,2,3,\dots\}\), and
\[
M=\bigoplus_{p\in\mathbb P}\mathbb Z_p,
\]
\(M\oplus M\) is u-\(S\)-pseudo-projective, but not u-\(S\)-projective [2510.10170]. This does not directly concern u-\(S\)-semisimplicity, but it indicates the breadth of the uniform-\(S\) landscape around the semisimple case.

## 7. Connections with uniform Artinian theory and later developments

The notion of u-\(S\)-semisimplicity is embedded in a larger uniform-\(S\) program that includes Noetherian, Artinian, coherent, regular, flat, injective, and absolutely pure analogues [2602.13809]. Within this program, u-\(S\)-semisimple rings occupy the role of the homological dimension-zero objects, just as semisimple rings do classically.

One major structural interaction is with uniform Artinian theory. A ring \(R\) is u-\(S\)-Artinian if there exists \(s\in S\) such that every descending chain of ideals is \(S\)-stationary with respect to that fixed \(s\). Any u-\(S\)-semisimple ring is u-\(S\)-Artinian [2207.12569]. More generally, \(R\) is u-\(S\)-Artinian if and only if \(R\) is u-\(S\)-Noetherian, its u-\(S\)-Jacobson radical \(\mathrm{Jac}_S(R)\) is \(S\)-nilpotent, and the quotient
\[
R/\mathrm{Jac}_S(R)
\]
is a u-\(S/\mathrm{Jac}_S(R)\)-semisimple ring [2207.12569]. This is the uniform-\(S\) counterpart of the classical Artinian decomposition via a nilpotent Jacobson radical and semisimple quotient.

The same paper introduces u-\(S\)-simple modules, defined so that the module itself is not u-\(S\)-torsion but every proper submodule is u-\(S\)-torsion with respect to a fixed \(s\in S\). Such modules are u-\(S\)-semisimple, and direct sums of arbitrarily many copies of a u-\(S\)-simple module remain u-\(S\)-semisimple [2207.12569]. This suggests a decomposition theory partially analogous to classical semisimple decomposition, though the article stops short of a full Wedderburn-type structure theorem for all u-\(S\)-semisimple modules.

Recent work further expands the web of equivalent descriptions. Besides the pseudo-projective characterization of u-\(S\)-semisimple rings [2510.10170], the relative projectivity/injectivity framework yields characterizations of u-\(S\)-semisimple modules by demanding that all modules be relative u-\(S\)-projective or relative u-\(S\)-injective against a fixed middle term \(M\) [2509.01646]. The survey literature consolidates these results and places u-\(S\)-semisimplicity among the central uniform-\(S\) classes, alongside u-\(S\)-von Neumann regular and u-\(S\)-Artinian rings [2602.13809].

A persistent theme across these developments is that the multiplicative set \(S\) functions as a uniform annihilator of homological defects. When \(S\) is too regular, the classical theory is recovered; when \(S\) contains zero-divisors, one obtains genuinely new semisimple-like phenomena that are invisible in ordinary homological algebra. This suggests that u-\(S\)-semisimple modules are best understood not as a mere relaxation of semisimple modules, but as objects in a relative homological theory whose triviality is measured uniformly by \(S\) [2106.10441, 2602.13809].

Source: https://www.emergentmind.com/topics/u-s-semisimple-modules