🔢 mathematics

Reduced rank in $σ[M]$

This paper extends the concept of reduced rank to the module-theoretic context of $\sigma[M]$ by analyzing quotient categories associated with specific hereditary torsion theories, proving the spectral nature of certain quotients, and establishing conditions under which the endomorphism ring of a module is an order in an Artinian ring, thereby generalizing Small's Theorem.

Original authors: John A. Beachy, Mauricio Medina-Bárcenas

Published 2026-01-26

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: John A. Beachy, Mauricio Medina-Bárcenas

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to understand the shape and structure of a massive, complex building. In mathematics, this "building" is a module (a generalization of a vector space or a group), and the "architect" is a ring (a set of numbers with specific rules for adding and multiplying).

This paper, written by John A. Beachy and Mauricio Medina-Bárceñas, is about a new way to measure the "size" and "complexity" of these mathematical buildings, specifically when they are part of a special neighborhood called $\sigma[M]$ .

Here is a breakdown of their work using simple analogies:

1. The Problem: Measuring a Messy Building

In the past, mathematicians had a ruler called Reduced Rank to measure how "big" or "simple" a building was. This ruler worked great for very neat, well-organized buildings (like those over "Noetherian rings"). However, it struggled with messy, complex buildings that didn't follow those strict rules.

The authors wanted to extend this ruler to work on any building in the neighborhood of $\sigma[M]$ . To do this, they needed a new way to identify the "messy parts" of the building.

2. The New Tool: The "Prime Submodule"

To measure the building, you first need to know what parts are "pure" and what parts are "rotten."

The Analogy: Imagine the building has a foundation. Some parts of the foundation are solid (prime), and some are crumbling (not prime).
The Innovation: The authors use a concept called a prime submodule. Think of this as a specific type of structural beam. If a beam is "prime," it holds the structure together in a very specific, unbreakable way.
The Prime Radical ( $L(M)$ ): They define the Prime Radical as the intersection of all these "rotten" or "problematic" beams. It's the core of the messiness. If you remove this core, you are left with a cleaner structure.

3. The Main Goal: The "Reduced Rank" in a New Neighborhood

The authors define a module having "finite reduced rank" if, after you clean out the messy core (the Prime Radical), the remaining structure can be broken down into a finite number of simple, manageable pieces.

The Metaphor: Imagine you have a giant, tangled ball of yarn (the module).
- Step 1: You cut out the knots and tangles (the Prime Radical).
- Step 2: You look at the remaining yarn. If you can separate it into a finite number of neat, straight strands, the building has "finite reduced rank."
- If the yarn is still an infinite, unmanageable mess even after cutting the knots, it does not have finite reduced rank.

4. The "Quotient Category": Looking at the Building from a Distance

To measure this, the authors use a mathematical tool called a Quotient Category.

The Analogy: Imagine taking a photo of the building, but the camera is set to "blur out" all the messy, tangled parts. You only see the clean, solid structure.
The Result: They prove that if the building is a Semiprime Goldie Module (a specific type of well-behaved building), this "blurred photo" (the quotient category) is actually a Spectral Category.
- What does this mean? It means the photo is perfectly clear and organized. The messy parts are completely gone, and what remains is a collection of simple, distinct blocks (semisimple) that fit together perfectly. It's like looking at a Lego set where every piece is a standard, uniform brick.

5. The Big Payoff: Generalizing "Small's Theorem"

The paper culminates in a major result that generalizes a famous theorem by Small (which relates to how rings can be embedded inside larger, simpler rings).

The Scenario: You have a building (Module $M$ ) and a set of tools (Endomorphisms) that can rearrange the building.
The Discovery: The authors prove that if your building has "finite reduced rank" and meets a few specific conditions (like having a "clean" core), then:
1. The tools you use to rearrange the building form a ring that is very close to being a perfect, finite system (an Artinian ring).
2. Your original ring of tools is essentially a "fraction" or a "subset" of this perfect system.

In simple terms: If your building is structured enough to have a finite reduced rank, then the "rules" (the ring) governing how you can move parts of that building are actually very simple and finite, even if they looked complicated at first.

6. Why This Matters (According to the Paper)

The authors show that this property (finite reduced rank) is Morita invariant.

The Analogy: Imagine you have two different blueprints for the same building. One blueprint is drawn on paper, the other is a 3D model. They look different, but they describe the same structure.
The Claim: If the paper blueprint has "finite reduced rank," the 3D model must also have it. This means the property is fundamental to the building itself, not just how we draw it.

Summary

The paper takes a complex mathematical concept (Reduced Rank) and successfully expands it to work on a wider variety of mathematical structures. They do this by:

Identifying the "rotten core" (Prime Radical).
Blurring it out to see the clean structure (Quotient Category).
Proving that if the clean structure is simple, the rules governing the whole system are also simple and finite.

This allows mathematicians to apply powerful, simple tools to much more complex and messy mathematical objects than was previously possible.

Technical Summary: Reduced Rank in $\sigma[M]$

Problem Statement
The paper addresses the extension of the concept of "reduced rank," originally introduced by Goldie for semiprime left Goldie rings, to the broader module-theoretic context of the category $\sigma[M]$ . In classical ring theory, reduced rank characterizes left orders in left Artinian rings and relies on the dimension of modules over the classical ring of quotients. While previous work extended this to arbitrary rings using the prime radical and hereditary torsion theories, this paper seeks to generalize the notion to modules $M$ within the category $\sigma[M]$ (the full subcategory of $R$ -Mod consisting of modules subgenerated by $M$ ). The central problem is to define a meaningful "finite reduced rank" for a module $M$ in $\sigma[M]$ , determine the structural properties of such modules, and establish conditions under which the endomorphism ring of $M$ becomes an order in an Artinian ring, thereby generalizing Small's Theorem.

Methodology
The authors employ the framework of hereditary torsion theories within the Grothendieck category $\sigma[M]$ . The methodology involves:

Prime Submodules and Radicals: Utilizing the concept of prime submodules (introduced by Raggi et al.) to define the prime radical of a module, denoted $L(M)$ , as the intersection of all prime submodules.
Torsion Theories: Defining specific hereditary torsion theories. The primary theory, denoted $\gamma$ , is cogenerated by the $M$ -injective hull of $M/L(M)$ . Another theory, $\tau_g$ , is cogenerated by the $M$ -injective hull of $M$ itself.
Quotient Categories: Analyzing the structure of the quotient category $\sigma[M]/\gamma$ and the module of quotients $Q_\gamma(M)$ . The paper investigates when $Q_\gamma(M)$ has finite length in this quotient category, which serves as the definition of "finite reduced rank" for $M$ .
Endomorphism Rings: Examining the relationship between the module $M$ , its endomorphism ring $S = \text{End}_R(M)$ , and the endomorphism ring of its module of quotients $T = \text{End}_R(Q_\gamma(M))$ .
Ore Conditions: Investigating the set $C(N)$ of endomorphisms inducing monomorphisms on $M/N$ to determine if they form a right Ore set, a crucial step in establishing order properties.

Key Contributions and Results

Definition of Finite Reduced Rank in $\sigma[M]$ :
The paper defines a module $M$ to have finite reduced rank in $\sigma[M]$ if the module of quotients $Q_\gamma(M)$ has finite length in the quotient category $\sigma[M]/\gamma$ , where $\gamma$ is the torsion theory cogenerated by $E[M](M/L(M))$ .
Characterization via Lattice Properties:
Theorem 4.5 establishes that for a projective generator $M$ in $\sigma[M]$ , having finite reduced rank is equivalent to:
1. The set of $\gamma$ -saturated submodules satisfying the ascending chain condition (ACC).
2. $M/L(M)$ being a semiprime Goldie module.
3. The existence of $k > 0$ such that $L(M)^k \subseteq \gamma(M)$ .
4. $M/A$ having finite uniform dimension for any $A \in \text{Sat}_\gamma(M)$ .
Structural Properties of the Quotient Category:
When $M$ is a semiprime Goldie module and projective in $\sigma[M]$ , the quotient category $\sigma[M]/\tau_g$ (cogenerated by $E[M](M)$ ) is proven to be a discrete spectral category equivalent to $\text{Mod-End}_R(\widehat{M})$ , where $\widehat{M}$ is the $M$ -injective hull of $M$ . In this context, $Q_{\tau_g}(M)$ is semisimple of finite length.
Invariance and Preservation:
The property of having finite reduced rank is shown to be preserved under:
- Equivalences between categories of the type $\sigma[M]$ (Morita invariance).
- Direct sums and direct summands (under specific conditions, e.g., if $\text{Hom}_R(L, N) = 0$ ).
- Corner rings: If $R$ has finite reduced rank and $e$ is a right semicentral idempotent, then $eRe$ has finite reduced rank.
Generalization of Small's Theorem:
The paper's primary result (Theorem 5.7) generalizes Small's Theorem to the module context. It proves that for a projective generator $M$ in $\sigma[M]$ with endomorphism ring $S$ , the following are equivalent:
1. $M$ has finite reduced rank in $\sigma[M]$ and $C(L(M)) \subseteq C(0)$ (i.e., endomorphisms inducing monomorphisms on $M/L(M)$ are monomorphisms on $M$ ).
2. $T = \text{End}_R(Q_\gamma(M))$ is an Artinian ring and $S$ is a right order in $T$ .
Krull Dimension Implications:
The authors show that if a projective generator $M$ in $\sigma[M]$ has Krull dimension, then its prime radical $L(M)$ is nilpotent, and consequently, $M$ has finite reduced rank in $\sigma[M]$ .

Significance
The paper claims to provide a unified framework for understanding reduced rank that extends beyond classical ring theory to arbitrary modules within the category $\sigma[M]$ . By characterizing finite reduced rank through the properties of the prime radical and the structure of the quotient category, the authors extend Small's Theorem, which traditionally links the property of being an order in an Artinian ring to the existence of a classical ring of quotients. The results demonstrate that the Morita invariance of finite reduced rank holds in this generalized setting and provide specific conditions under which endomorphism rings of modules behave like orders in Artinian rings. This work bridges the gap between the theory of Goldie modules and the broader theory of orders in Artinian rings, offering a module-theoretic perspective on classical ring-theoretic results.