Generalized Bassian Modules

• Generalized Bassian modules are modules where every injective map M → M/N forces the kernel N to split as a direct summand, ensuring direct-sum rigidity.
• They naturally decompose into Bassian (noetherian) and semisimple components, with classification results highlighting their structure over non-primitive Dedekind prime rings.
• Their study applies homological and model-theoretic techniques to analyze torsion constraints and direct-sum decompositions in mixed abelian groups.

A generalized Bassian module is a module for which every injective homomorphism into a quotient by a submodule forces that submodule to be a direct summand. This property, originally motivated by the work of Hyman Bass on projectivity and chain conditions, has acquired a central role in the structure theory of modules over non-primitive Dedekind prime rings, in the classification of certain mixed abelian groups, and in the context of pure-projective module theory. Generalized Bassian modules form a natural relaxation of Bassian modules, unifying themes from direct-sum decompositions, homological algebra, torsion theory, and model-theoretic characterizations.

1. Definition and Foundational Properties

Let $A$ be an associative unital ring and $M$ a right $A$-module. $M$ is termed generalized Bassian if for every injective homomorphism $f: M \to M/N$, with $N \leq M$, it follows that $N$ is a direct summand of $M$. Equivalently, $M$ cannot embed into a proper homomorphic image unless the kernel splits. All Bassian modules (where $N=0$) are generalized Bassian, but many classical families (e.g., infinite direct sums of simples, some elementary $p$-groups) are generalized Bassian without being Bassian (Tuganbaev, 22 Jan 2026, Danchev et al., 2023).

In the context of abelian groups, a group $G$ is generalized Bassian if every embedding $G \hookrightarrow G/N$ splits $N$ as a direct summand. This is strictly weaker than being Bassian but carries strong direct sum rigidity, with immediate implications for decomposition theory (Danchev et al., 2023).

2. Classification over Non-primitive Dedekind Prime Rings

Focus on non-primitive Dedekind prime rings provides a rigorous context for the structural theory. Non-primitivity (absence of faithful simple modules) and Dedekind primeness (noetherian prime, invertibility of nonzero ideals in the simple artinian quotient ring) codify the module category's decomposition properties.

For a singular right $A$-module $M$ over a non-primitive Dedekind prime ring, the following are equivalent [(Tuganbaev, 22 Jan 2026), Theorem 3.1]:

• $M$ is generalized Bassian.
• $M \cong B \oplus S$ with $B$ Bassian and $S$ semisimple.
• In the primary decomposition $M = \bigoplus_{i \in I} M_i$, each $M_i \cong N_i \oplus S_i$ with $N_i$ noetherian and $S_i$ semisimple.

This result precisely characterizes singular generalized Bassian modules as those where every primary component splits into a noetherian and a semisimple summand, linking the notion to the existence of sufficient noetherianity within the primary blocks.

3. Generalized Bassian Groups, Torsion Constraints, and B+E Decompositions

In the abelian group case ($\mathbb{Z}$-modules), generalized Bassianity places severe restrictions. Any generalized Bassian group satisfies:

• Finite torsion-free rank: $r_0(G) < \infty$.
• Bounded $p$-torsion: For each prime $p$, the subgroup $pT_p(G)$ is finite.

These criteria yield the B+E decomposition: every generalized Bassian group is a direct sum $B \oplus E$ where $B$ is Bassian (finite torsion-free rank, finite $p$-torsion) and $E$ is elementary (each primary part of bounded exponent) [(Danchev et al., 2023), Corollary 3.6]. In major classes (Warfield or balanced-projective groups), B+E and generalized Bassian criteria are equivalent.

This hierarchy is summarized as follows:

Class	Characterization
Bassian	$r_0 < \infty$, all $T_p$ finite
Generalized Bassian	$r_0 < \infty$, all $pT_p$ finite (bounded $p$-torsion)
B+E	Direct sum: Bassian + elementary group

The inclusion sequence is: $$\{\text{Bassian}\} \subset \{\text{generalized Bassian}\} \subset \{\text{B+E}\}$$, with equality in special classes (Warfield, balanced-projective).

4. Proof Techniques and Decomposition Results

The deduction of the main classification for modules over Dedekind prime rings proceeds via:

• Reduction to primary blocks using the hereditary noetherian prime structure.
• Uniserial and cyclic decomposition of injectives: Each primary homogeneous component admits a decomposition into a finite number of cyclic uniserial modules of bounded length, forming the noetherian part, and an infinite semisimple part.
• Combinatorial restrictions: Arguments prevent the existence of infinitely many uniform summands of length $\geq 2$, ensuring the noetherian direct summand is not "diluted."
• Construction of generalized Bassian modules from Bassian and semisimple pieces and transfer of properties through direct sum decompositions [(Tuganbaev, 22 Jan 2026), Sections 3–4].

Analogous arguments in the abelian group case utilize properties of divisible, Warfield, and balanced-projective components, as well as the structure of torsion subgroups and their exponents (Danchev et al., 2023).

5. Examples and Non-Examples

• Infinite direct sums of simple modules, such as $\bigoplus_{\mathbb{N}} \mathbb{Z}/p\mathbb{Z}$, are generalized Bassian but not Bassian: injectivity forces summands to split, but not triviality of kernel (Tuganbaev, 22 Jan 2026, Danchev et al., 2023).
• The Prüfer $p$-group $\mathbb{Z}(p^\infty)$ is not generalized Bassian: it is uniserial, not noetherian, and not semisimple.
• Any finite sum of cyclic modules of bounded length over a Dedekind prime ring is Bassian (hence generalized Bassian).
• B+E groups in the Warfield or balanced-projective classes are generalized Bassian; it is unresolved whether every B+E group is generalized Bassian in general [(Danchev et al., 2023), Theorem 4.1].

6. Relationship to Classic Bass Modules and Model Theory

The generalized Bassian property has connections to the classical theory of Bass modules, originally motivated by flat/projective criteria for rings. In particular, one finds theorems regarding projectivity, flatness, and stabilization conditions for descending chains, with model-theoretic generalizations relating to pure-projective modules, definable categories, and universality (Pillay et al., 2024).

For instance, the following reformulations are central:

• A module is pure-projective iff every pp-type it realizes is finitely generated.
• Over certain rings, every direct sum of a Bassian module and a semisimple module is generalized Bassian [(Tuganbaev, 22 Jan 2026), Proposition 2.9].
• In model-theoretic terms, stabilization of certain chains of pp-formulas ensures universality or categorical purity.

7. Corollaries, Structural Roles, and Open Questions

Corollary (Singular Bassian Modules): Over non-primitive Dedekind prime rings, a singular module is Bassian if and only if all primary summands are noetherian [(Tuganbaev, 22 Jan 2026), Theorem 3.5].

The presence of Dedekind prime structure and non-primitivity is essential: it guarantees hereditary property, enables primary decomposition, and ensures the indecomposable injectives required for the classification are uniserial. Extensions to hereditary noetherian prime rings without the Dedekind condition remain an open problem, as the absence of invertibility complicates the combinatorial and decomposition arguments.

An unresolved conjecture in the abelian group theory context asks whether all B+E groups (with finite rank and bounded $p$-torsion, but outside the Warfield/balanced-projective classes) are necessarily generalized Bassian [(Danchev et al., 2023), Conjecture 1.3].

• "Generalized Bassian Modules over Non-primitive Dedekind Prime Rings" (Tuganbaev, 22 Jan 2026)
• "Generalized Bassian and other Mixed Abelian Groups with Bounded p-Torsion" (Danchev et al., 2023)
• "Free algebras, universal models and Bass modules" (Pillay et al., 2024)