Trivial Ring Extensions

• Trivial ring extensions are constructions that combine a ring with an auxiliary module to form a new ring featuring a square-zero ideal.
• They serve as a framework to analyze structural and homological properties, including Noetherian conditions, Prüfer and Gaussian behaviors, and singularity categories.
• Applications extend to graded structures and n-trivial extensions, providing insight into conjectures and module-theoretic phenomena in modern algebra.

A trivial ring extension, also known as an idealization or Nagata idealization, is a fundamental construction in commutative and noncommutative algebra, synthesizing the structure of a ring with an auxiliary module into a new ring in which the module appears as a square-zero ideal. This construction serves as a unifying template for producing diverse classes of rings with prescribed homological, structural, or categorical properties, and is pervasive in the study of Prüfer-type rings, module-theoretic conditions (CS, fqp, IF, CM), singularity categories, Gorenstein homology, and extensions to higher layers via $n$-trivial extensions.

1. Definition and Foundational Properties

Let $R$ be a (commutative or associative) ring with $1$ and $M$ an $R$-module (or, in the noncommutative case, an $R$-$R$-bimodule). The trivial ring extension $R\ltimes M$ is the abelian group $R \oplus M$ endowed with multiplication

$(r, m) \cdot (s, n) = (r s, r n + s m)$

for all $R$0, $R$1 (Bakkari et al., 2008, Fernandez et al., 2022, Mao, 2023, Couchot, 2015). The set $R$2 is an ideal of square zero; $R$3 embeds as $R$4 and the quotient $R$5. The prime spectrum of $R$6 reflects that of $R$7 and $R$8, with $R$9 (Mahdikhani et al., 2017). Every ideal has the form $1$0 with $1$1 an ideal, $1$2 an $1$3-submodule, and $1$4.

Extensive generalization is achieved in the $1$5-trivial extension $1$6 with multiplication governed by a family of bilinear maps $1$7 satisfying well-posed associativity and commutativity axioms. For $1$8, this reduces to the classical $1$9 construction (Anderson et al., 2016, Benkhadra et al., 2019).

2. Structural and Homological Properties

The trivial extension is non-reduced unless $M$0. If $M$1 is commutative, $M$2 will consist entirely of nilpotent elements. For $M$3 Noetherian and $M$4 finitely generated, the dimension formula is

$M$5

with $M$6 (Mahdikhani et al., 2017). The radical layers satisfy $M$7, $M$8 (Anderson et al., 2016).

Finiteness and hereditary properties transfer partially. $M$9 is Noetherian (resp. Artinian) if and only if $R$0 is Noetherian (resp. Artinian) and $R$1 is finitely generated (resp. finite length). In general, chains of ideals and modules induce complex behaviors in the extension, reflecting but vastly extending the fine structure of $R$2 and $R$3 (Couchot, 2015). For local rings, the trivial extension is again local.

3. Interaction with Prüfer-, Gaussian-, and Arithmetical-Type Conditions

Prüfer and related conditions finely stratify on trivial ring extensions. In the classical domain setting, the following hierarchy holds: semihereditary $R$4 weak dimension $R$5 $R$6 arithmetical $R$7 Gaussian $R$8 Prüfer; these implications are strict outside domains (Bakkari et al., 2008, Couchot, 2015). Sharp transfer theorems are established:

Prüfer and Gaussian Properties:

• $R$9 with $R$0 domains, $R$1 the quotient field of $R$2:
  • $R$3 is Gaussian $R$4 $R$5 is Prüfer $R$6 $R$7 is Prüfer domain and $R$8.
  • $R$9 is arithmetical $R$0 $R$1 is Prüfer and $R$2.
  • The weak dimension satisfies $R$3 unless $R$4 is a field or $R$5.

Gaussian Criterion (arbitrary base):

$R$6 is Gaussian if and only if $R$7 is Gaussian and $R$8 for all $R$9 (Couchot, 2015).

Under suitable topological splitting ($R\ltimes M$0 totally disconnected), $R\ltimes M$1 is Bézout (all finitely generated ideals principal) if and only if $R\ltimes M$2 is Bézout, each localization $R\ltimes M$3 with $R\ltimes M$4 is a domain, and $R\ltimes M$5 is locally FP-injective with all finitely generated submodules cyclic.

(fqp)- and (fqf)-Rings:

$R\ltimes M$6-rings (every finitely generated ideal quasi-projective) and $R\ltimes M$7-rings (every finitely generated ideal flat over the quotient by its annihilator) are characterized locally; in trivial extensions, they exhibit the following dichotomy:

• $R\ltimes M$8 is local fqp iff $R\ltimes M$9 is fqp and either $R \oplus M$0 is a valuation domain and $R \oplus M$1 is divisible uniserial, or $R \oplus M$2, $R \oplus M$3 and $R \oplus M$4 divisible/torsion-free over $R \oplus M$5 (Couchot, 2015).

4. Cohen–Macaulayness, CS-Modules, and Semi-Regularity

Cohen–Macaulayness in the sense of Hamilton–Marley (via weakly proregular parameter sequences) is transferred via: $R \oplus M$6 In the Noetherian local case, $R \oplus M$7 is CM if and only if $R \oplus M$8 is CM and $R \oplus M$9 is maximal CM (Mahdikhani et al., 2017).

CS (Extending) Rings:

$(r, m) \cdot (s, n) = (r s, r n + s m)$0 is CS if and only if $(r, m) \cdot (s, n) = (r s, r n + s m)$1 is a direct summand of $(r, m) \cdot (s, n) = (r s, r n + s m)$2 and a CS ring, and $(r, m) \cdot (s, n) = (r s, r n + s m)$3 is weakly IN or strongly CS—a module-theoretic strengthening of the extending/annihilator property (Kourki et al., 2021).

Semi-Regularity (IF-Rings):

For $(r, m) \cdot (s, n) = (r s, r n + s m)$4 a domain, $(r, m) \cdot (s, n) = (r s, r n + s m)$5 is semi-regular (Matlis IF-ring) iff $(r, m) \cdot (s, n) = (r s, r n + s m)$6 is coherent, $(r, m) \cdot (s, n) = (r s, r n + s m)$7 is divisible torsion coherent (fp-injective), $(r, m) \cdot (s, n) = (r s, r n + s m)$8 finitely generated for every $(r, m) \cdot (s, n) = (r s, r n + s m)$9 and a double annihilator condition holds in both $R$00 and $R$01 (Adarbeh et al., 2016).

5. Homological and Categorical Behavior

Gorenstein Projective/Injective/Flat Modules:

Classification over $R$02 is realized using generalized compatible and cocompatible bimodule conditions on $R$03 (Mao, 2023):

• $R$04 is Gorenstein projective as an $R$05-module iff:
  1. The complex $R$06 is exact.
  2. $R$07 is Gorenstein projective over $R$08. Analogous characterizations hold for Gorenstein injective and flat modules, leveraging the corresponding Hom-complexes.

Singularity Categories and Gorenstein Defect:

For finite-dimensional $R$09-algebras $R$10 and a bimodule $R$11 with finite projective dimension over $R$12, $R$13 for some $R$14, and vanishing higher $R$15, there exist equivalences

$R$16

providing computational reduction for singularities and Gorenstein-locus behavior (Qin, 2024).

6. Quivers with Relations and Trivial Extensions

For a finite-dimensional algebra $R$17 and bimodule $R$18 with socle basis, the trivial extension $R$19 allows completely explicit quiver-with-relations presentations:

• The quiver $R$20 retains the original vertices, all original arrows, and adds new arrows $R$21 corresponding to socle basis paths $R$22 (from their targets to sources).
• Relations are given by: original relations; vanishing of non-elementary paths; and combinatorial cycle-weight conditions ensuring all elementary cycles based at a vertex are proportional. An explicit criterion (Wakamatsu's theorem) characterizes when two algebras have isomorphic trivial extensions based on admissible cuts in the quiver $R$23 (Fernandez et al., 2022).

7. $R$24-Trivial Extensions and Graded Structures

$R$25-trivial extensions, $R$26, generalize the construction to multiple layers of modules with higher-degree multiplications given by bilinear maps $R$27 (Anderson et al., 2016, Benkhadra et al., 2019). This setting supports rich graded structures ($R$28-grading, cyclic grading, truncated monoid grading), and the transfer of Noetherian, Artinian, reduced, and local/valuation-type properties depends recursively on the base ring and the layers $R$29. Factorization and divisibility conditions require compatibility among the $R$30, with phenomena such as atomicity, ACCP, and U-Factorization closely tracking module-theoretic properties.

Categorically, the abelian category of modules over an $R$31-trivial extension is constructed via extensions of additive covariant endofunctors, providing explicit classification of projective, injective, and flat modules. The self-injective and global dimensions of $R$32 can often be directly related to those of $R$33 and the maximal module $R$34 (Benkhadra et al., 2019).

8. Illustrative Examples and Applications

• $R$35, $R$36 a Prüfer domain, $R$37 its field of fractions, gives a non-Noetherian, non-coherent arithmetical ring of infinite weak dimension (Bakkari et al., 2008).
• $R$38, $R$39 a field extension, yields Gaussian but non-arithmetical trivial extensions.
• $R$40: Gaussian, non-arithmetical, non-coherent, infinite weak dimension.
• $R$41, $R$42 the total ring of quotients of $R$43, $R$44 CS iff $R$45 CS (Kourki et al., 2021).
• Morita context rings $R$46 with zero maps are isomorphic to $R$47.
• $R$48, relating trivial extensions to truncated polynomial algebras (Anderson et al., 2016).

9. Connections to Conjectures and Open Problems

Trivial ring extensions serve as canonical sources of counterexamples and verification grounds for several open conjectures:

• Bazzoni–Glaz Weak Dimension Conjecture: All non-Noetherian Gaussian trivial extensions constructed have weak dimension $R$49, $R$50, or $R$51 (Bakkari et al., 2008).
• Kaplansky–Tsang Content Conjecture: Numerous non-Noetherian, non-arithmetical trivial extensions are pseudo-arithmetical (all Gaussian polynomials have locally principal content ideal). An open conjecture posits that pseudo-arithmeticality is equivalent to the local irreducibility of the zero ideal (Bakkari et al., 2008).

Extensions to higher $R$52-trivial settings invoke new phenomena regarding the homogeneity of ideals, $R$53-indecomposability, and the classification of atomicity and factorization properties, opening additional lines of inquiry in the interaction of algebraic and categorical invariants (Anderson et al., 2016).

---

Trivial ring extensions and their higher analogs, via their rich interactions with module and homological theory, provide laboratories to both realize and distinguish a wide array of algebraic, categorical, and homological phenomena, uniting classical and recent advances in commutative algebra, representation theory, and homological algebra.