Trivial Ring Extensions: Definition and Applications

• Trivial ring extensions are defined by extending a ring R with an R-module M, yielding a new ring R ⨁ M where (0, M) forms a nilpotent ideal.
• They serve as accessible models to investigate module-theoretic properties, clarifying the structures of projective, injective, and flat modules.
• Applications include constructing non-reduced rings to test transfer principles in coherence, regularity, Gaussian properties, and Gorenstein conditions.

A trivial ring extension is a canonical construction in ring and module theory in which a (typically commutative) ring $R$ is extended by an $R$-module or $R$–$R$-bimodule $M$ to form a new ring $R \ltimes M$. This additive group is $R \oplus M$, with multiplication $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$. Such extensions play a fundamental role in both commutative and non-commutative ring theory, providing a tractable class of non-reduced rings with controlled nilpotent structure, and feature prominently in the study of homological, categorical, and homotopical properties of ring extensions and their associated module categories.

1. Formal Definition and Basic Properties

Let $R$ be a unital (possibly associative, not necessarily commutative) ring and $M$ an $R$0-$R$1-bimodule. The trivial ring extension (sometimes called the Nagata idealization or split null extension) is defined as: $R$2 with addition and multiplication given by: $R$3 The element $R$4 is central only if $R$5 is symmetric as a bimodule. The set $R$6 forms a two-sided nilpotent ideal, and $R$7 is the multiplicative identity. The quotient $R$8 recovers the base ring.

For $R$9-trivial extensions, as in Benkhadra–Bennis–García Rozas (Benkhadra et al., 2019), given $R$0 and an $R$1-tuple $R$2 of $R$3-bimodules, and maps $R$4 (for $R$5) satisfying associativity conditions, the $R$6-trivial extension ring $R$7 is $R$8 with induced multiplication.

The classical trivial extension is the $R$9 case, $R$0 (Bennis et al., 2016, Anderson et al., 2016).

2. Module-Theoretic and Homological Structure

A left $R$1-module can be equivalently described as an $R$2-module $R$3 together with an $R$4-linear homomorphism $R$5 with $R$6. This reflects the relation $R$7. Projective, injective, and flat $R$8-modules can be explicitly characterized:

• Projectives are of the form $R$9 where $M$0 is projective over $M$1.
• Injectives as $M$2 with $M$3 injective over $M$4.
• Flatness and Gorenstein properties require additional bimodule hypotheses (Mao, 2023).

Homological dimensions and categorical invariants such as the singularity category $M$5 and Gorenstein defect category $M$6 are intensely studied in the context of trivial extensions, as these categories often reduce to their counterparts for the base ring $M$7 under appropriate Tor-vanishing and nilpotence conditions on $M$8 (Qin, 2024).

3. Ring-Theoretic Properties and Transfer Principles

Trivial ring extensions transfer and reflect a wide spectrum of ring-theoretic properties, depending on the structure of $M$9 and $R \ltimes M$0:

• Prime and maximal ideals: Every prime ideal of $R \ltimes M$1 has the form $R \ltimes M$2 for $R \ltimes M$3 prime in $R \ltimes M$4; similar for maximal ideals.
• Coherence and regularity: $R \ltimes M$5 is coherent if $R \ltimes M$6 is coherent, $R \ltimes M$7 is torsion coherent and for all $R \ltimes M$8, $R \ltimes M$9 is finitely generated (Adarbeh et al., 2016).
• Weak dimension and global dimension: If $R \oplus M$0 is an fqf-ring, then $R \oplus M$1 is in $R \oplus M$2, and the finitistic weak dimension is $R \oplus M$3 or $R \oplus M$4 (Couchot, 2015).
• Prüfer, Bézout, and Gaussian properties: Sharp transfer theorems relate the status of $R \oplus M$5 and $R \oplus M$6 to the corresponding property for $R \oplus M$7, e.g. $R \oplus M$8 is Gaussian iff $R \oplus M$9 is Gaussian and $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$0 for all $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$1 (Couchot, 2015, Bakkari et al., 2008).

These transfer phenomena provide a calculable testbed to produce new examples of rings with prescribed homological or ideal-theoretic behaviors, including non-coherent, non-Noetherian, and non-reduced rings.

4. Extensions, Generalizations, and Categorical Aspects

The construction extends naturally to $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$2-trivial extensions and to more involved settings:

• $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$3-trivial extensions: For $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$4 with specific multiplications $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$5, the $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$6-trivial extension $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$7 encapsulates higher-degree analogs and supports graded structures—$(r,m)\cdot(r',m') = (rr',\; r m' + m r')$8-graded, $(r,m)\cdot(r',m') = (rr',\; r m' + m r')$9-graded, or graded by truncated monoids (Anderson et al., 2016, Benkhadra et al., 2019).
• Triangular matrix algebras: Triangular matrix rings $R$0 can be realized as trivial extensions of $R$1 by an $R$2-bimodule $R$3 with explicit action (Bennis et al., 2016).
• Quivers and relations: The trivial extension of a finite-dimensional algebra $R$4 by its standard dual $R$5 admits an explicit quiver and relations description. The Gabriel quiver of $R$6 extends the quiver of $R$7 by dual arrows for socle elements, and the relations are encoded in a combinatorial fashion (Fernandez et al., 2022).

Categorical perspectives include the module category of $R$8, equivalences of derived and singularity categories, and characterizations in terms of functor categories (right/left $R$9-trivial extensions of categories by endofunctor families) (Benkhadra et al., 2019).

5. Homological and Gorenstein Aspects

Gorenstein projective, injective, and flat module categories over $M$0 have been fully described in terms of generalized compatible and cocompatible bimodule structures (Mao, 2023). Explicit criteria relate the existence of complete resolutions and the vanishing of certain derived functors (Tor, Ext) to the corresponding properties for $M$1 over $M$2:

• $M$3 is Gorenstein projective over $M$4 iff the sequence $M$5 is exact and $M$6 is Gorenstein projective over $M$7.
• Gorenstein injective and flat modules are similarly characterized using appropriate exactness conditions on associated complexes.

Trivial extensions are instrumental in studying the ascent and descent of Gorensteinness and related invariants in extension settings (Mao, 2023, Qin, 2024).

6. Cohen–Macaulayness, CS-Rings, and Semi-Regularity

The trivial extension $M$8 serves as a crucial testing ground for the behavior of non-Noetherian analogs of regularity:

• Cohen–Macaulayness: $M$9 is Cohen–Macaulay (in the Hamilton–Marley sense) if and only if $R$00 is Cohen–Macaulay and every $R$01-regular sequence is weakly $R$02-regular (Mahdikhani et al., 2017).
• CS-rings: $R$03 is a CS ring if and only if $R$04 is a direct summand and CS as a ring, and $R$05 is weakly IN (annihilator sum) (Kourki et al., 2021).
• Semi-regularity (IF-ring property): For $R$06 a domain, $R$07 is semi-regular iff $R$08 is a field and $R$09, or $R$10 is coherent, $R$11 divisible, torsion, coherent, satisfying double annihilator condition, and appropriate annihilators are finitely generated (Adarbeh et al., 2016).

This provides systematic control over the appearance of various forms of regularity, with direct application to the construction of rings with prescribed regularity failures.

7. Applications and Open Problems

Trivial ring extensions have deep applications in several areas:

• Prüfer, arithmetical, and Gaussian ring construction: Generating examples and counterexamples bearing on the Bazzoni–Glaz conjecture (weak dimension in Gaussian rings) and the Kaplansky–Tsang–Glaz–Vasconcelos content ideal conjecture via idealizations $R$12 (Bakkari et al., 2008).
• Singularity theory and categorical equivalence: Reduction of singularity and Gorenstein defect categories under split extensions by nilpotent bimodules with suitable Tor vanishing, aiding classification of singularities in finite-dimensional algebras (Qin, 2024).
• Extension of factorization and divisibility theory: Transfer and refinement of ACCP, atomicity, and bounded-factorization phenomena in the $R$13-trivial extension setting, with open questions on U-factorizations and higher-degree indecomposability (Anderson et al., 2016, Benkhadra et al., 2019).

Important open problems persist regarding the precise characterization of U-factorization, the behavior under more general (e.g., nontrivial) extensions, and the interplay with other classical properties (valuation, ZPI, etc.), particularly in higher $R$14-trivial constructs.

---

References:

• (Bakkari et al., 2008) Bakkari, Kabbaj, Mahdou, "Trivial extensions defined by Prufer conditions"
• (Couchot, 2015) Couchot, "Gaussian trivial ring extensions and fqp-rings"
• (Anderson et al., 2016) Benkhadra, Bennis, García Rozas, "On n-Trivial Extensions of Rings"
• (Bennis et al., 2016) Birkenmeier, Ortega, Wang, "Derivations and the first cohomology group of trivial extension algebras"
• (Adarbeh et al., 2016) Adarbeh, Kabbaj, "Matlis' semi-regularity in trivial ring extensions issued from integral domains"
• (Mahdikhani et al., 2017) Mahdikhani, Sahandi, Shirmohammadi, "Cohen-Macaulayness of trivial extensions"
• (Benkhadra et al., 2019) Benkhadra, Bennis, García Rozas, "The category of modules on an n-trivial extension: the basic properties"
• (Kourki et al., 2021) Ünver, Savaş, "On Two Classes of Modules Related to CS Trivial Extensions"
• (Fernandez et al., 2022) Białkowski, Skowroński, "Characterisations of trivial extensions"
• (Mao, 2023) Mao, "Gorenstein projective, injective and flat modules over trivial ring extensions"
• (Qin, 2024) Lin, Zhang, Zhou, "Singular equivalences induced by ring extensions"