🔢 mathematics

Locally prime modules

This paper introduces and studies $I$ -prime, $(I, J)$ -prime, and their dual coprime modules over commutative unital rings using category-theoretic techniques to establish generalized duality and equivalence theorems that bridge the gap between local and global primality.

Original authors: Sholastica Luambano, David Ssevviiri

Published 2026-02-24

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Sholastica Luambano, David Ssevviiri

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 a detective trying to understand the "soul" of a complex machine (which, in math, is a module over a ring). For decades, mathematicians have looked at the whole machine at once to see if it has a specific property called being "Prime."

Think of a Prime Module like a perfect, indivisible diamond. If you try to break it with a hammer (an ideal), the whole thing shatters, or nothing happens at all. There is no middle ground. This is the "Global" view: looking at the entire object and asking, "Is this perfect?"

The Problem with the Global View

The problem is that looking at the whole machine at once is like trying to understand a forest by staring at it from a helicopter. You see the big picture, but you miss the details of individual trees, the soil, and the specific conditions in one small clearing.

The authors of this paper, Sholastica and David, decided to zoom in. They asked: "What if we only look at the machine through the lens of one specific tool or one specific part of the environment?"

They introduced "Locally Prime" modules.

The New Concept: "Locally Prime"

Instead of asking, "Is this module perfect for every possible hammer?" they ask, "Is this module perfect if we only use this specific hammer (Ideal $I$ )?"

The Old Way (Global): "Is the whole thing unbreakable?"
The New Way (Local): "If I hit it with this specific hammer, does it behave like a perfect diamond?"

This is like checking if a specific room in a house is fireproof, rather than asking if the entire city is fireproof. It allows mathematicians to study the "soul" of the module in a very specific, controlled neighborhood.

The Two Sides of the Coin: Prime and Coprime

The paper introduces a fascinating duality, like a mirror image:

Locally Prime Modules (The "Zero" Side):
Imagine a sponge. If you squeeze it with a specific tool (Ideal $I$ ), does it absorb everything (become zero) or does it stay completely dry?
- A Locally Prime module is like a sponge that, when squeezed by tool $I$ , either gets completely soaked (everything becomes zero) or stays perfectly dry (nothing happens). There is no "partially wet" state.
Locally Coprime Modules (The "Full" Side):
Now imagine a bucket. If you pour water from a specific tap (Ideal $I$ ) into it, does the bucket stay empty, or does it fill up completely to the brim?
- A Locally Coprime module is a bucket that, when filled by tap $I$ , is either completely empty or completely full. It never stays half-full.

The Magic Bridge: The "Greenlees-May" Duality

Here is the most exciting part of the paper. The authors discovered a magical bridge connecting these two worlds (the Sponge and the Bucket).

In the past, mathematicians knew how to translate between "Torsion" (the sponge getting wet) and "Completion" (the bucket filling up) only in very complex, abstract mathematical worlds (called "Derived Categories"). It was like having a translation dictionary that only worked for experts in a secret language.

The Breakthrough:
Sholastica and David found that if you restrict your view to these "Locally Prime" and "Locally Coprime" modules, the bridge becomes a sturdy, walkable path for everyone.

You can take a "Prime" module (Sponge), apply a specific mathematical operation (completion), and it transforms perfectly into a "Coprime" module (Bucket).
You can do the reverse: take a "Coprime" module, apply a different operation (torsion), and it turns back into a "Prime" module.

They call this the Greenlees-May Duality. It's like having a perfect translator that instantly converts "Sponge-speak" into "Bucket-speak" and back again, but only when you are looking at the specific neighborhood defined by your tool $I$ .

Why Does This Matter?

It Simplifies the Complex: By focusing on these "local" neighborhoods, the math becomes much cleaner and easier to handle. The messy, unpredictable parts of the global view disappear.
It Connects Local and Global: The paper shows that if you understand these local "neighborhoods" well enough, you can reconstruct the understanding of the "Global" prime modules. It's like understanding the whole forest by understanding the specific rules of every single tree.
New Tools for Old Problems: They provide new ways to solve old problems in algebra and number theory by using these "local" lenses.

The Catch (The "Rigid" Nature)

The authors are honest about a downside. These "Locally Prime" modules are a bit rigid.

Global Primes are flexible; they work with any tool you throw at them.
Local Primes are picky; they only behave perfectly with the specific tool you chose.

Because they are picky, you can't build a "map of all local primes" (a spectrum) as easily as you can map global primes. They are like specialized keys that only open one specific lock, whereas global primes are master keys.

Summary in a Nutshell

This paper is about zooming in.
Instead of trying to understand the entire, chaotic universe of mathematical modules at once, the authors say: "Let's pick one specific angle (an ideal), look at the modules through that lens, and see how they behave."

They found that in this zoomed-in view, the universe becomes perfectly symmetrical. "Prime" things (sponges) and "Coprime" things (buckets) are actually two sides of the same coin, connected by a beautiful, predictable bridge. This new perspective helps mathematicians solve deep problems by breaking them down into manageable, local pieces.

1. Problem Statement and Motivation

The paper addresses the structural properties of prime modules over commutative unital rings. While the theory of prime ideals is well-established in commutative algebra and algebraic geometry, the generalization to modules has historically relied on "global" definitions (where conditions must hold for all ideals).

The authors identify a gap in understanding the categorical relationships between local versions of primality (defined with respect to fixed ideals $I$ and $J$ ) and their duals. Specifically, they aim to:

Formalize the concepts of $I$ -prime, $(I, J)$ -prime, and their duals $I$ -coprime and $(I, J)$ -coprime modules.
Establish a categorical bridge between these local structures using torsion ( $\Gamma_I$ ) and completion ( $\Lambda_I$ ) functors.
Demonstrate that these "locally prime" modules serve as a tool to recover and understand "globally prime" modules, effectively creating a bridge between local and global primality.
Generalize existing results on Greenlees-May (GM) Duality and the Matlis-Greenlees-May (MGM) Equivalence from the context of reduced/coreduced modules to these new prime/coprime settings.

2. Methodology

The authors employ category-theoretic techniques and homological algebra to analyze these modules. Key methodological components include:

Definitions via Functors: The authors define local primality not just by element-wise conditions but by characterizing them through functors (e.g., $\text{Hom}_R(R/I, M)$ and $R/I \otimes_R M$ ).
Duality Analysis: They investigate the adjunction between the $I$ -torsion functor $\Gamma_I$ and the $I$ -adic completion functor $\Lambda_I$ . While these functors are generally not adjoint on the entire category of $R$ -modules ( $R\text{-Mod}$ ), the authors restrict their analysis to specific subcategories where adjunctions hold.
Derived Category Context: The paper references the Greenlees-May Duality in the derived category setting but focuses on establishing these dualities within the abelian subcategories of prime and coprime modules.
Localization and Hom-Tensor Adjunction: The study utilizes properties of localization ( $M_P$ ) and the Hom-Tensor adjunction to prove preservation and reversal properties of these modules under functors like $\text{Hom}_R(M, N)$ .

3. Key Definitions

The paper introduces the following core concepts for a commutative unital ring $R$ and fixed ideals $I, J$ :

$I$ -prime Module: An $R$ -module $M$ is $I$ -prime if for all $m \in M$ , $Im = 0 \implies m=0$ or $IM=0$. Equivalently, $(0:_M I)$ is a trivial submodule ($0$ or $M$ ).
$(I, J)$ -prime Module: $IJm = 0 \implies Im=0$ or $Jm=0$.
$I$ -coprime Module (Dual): $IM = 0$ or $IM = M$. This is the formal dual to the $I$ -prime definition.
$(I, J)$ -coprime Module: $IJM = IM$ or $IJM = JM$.
Relationship to Global Concepts: A module is globally prime (resp. weakly prime, reduced) if and only if it is locally prime (resp. $(I, J)$ -prime, $I$ -reduced) for all ideals $I, J$ .

4. Key Contributions and Results

A. Structural Properties

Closure Properties:
- $I$ -prime and $(I, J)$ -prime modules are closed under taking submodules.
- $I$ -coprime and $(I, J)$ -coprime modules are closed under taking homomorphic images (quotients).
- All locally prime/coprime modules are closed under localization at prime ideals.
Implication Charts: The authors provide charts (Chart 1 and Chart 2) detailing the logical implications between global and local prime/coprime notions, demonstrating that local primality is a strictly weaker condition than global primality (e.g., an $I$ -prime module is not necessarily globally prime).

B. Greenlees-May (GM) Duality for Locally Prime Modules

The paper's central result (Theorem 4.1) establishes that the GM Duality restricts to the subcategories of $I$ -prime and $I$ -coprime modules.

Adjunction: The functors $\Gamma_I$ (torsion) and $\Lambda_I$ (completion) form an adjoint pair between the subcategory of $I$ -prime modules and $I$ -coprime modules:
$\Gamma_I: (R\text{-Mod})_{I\text{-prime}} \rightleftarrows (R\text{-Mod})_{I\text{-coprime}} : \Lambda_I$
Significance: This reveals a precise duality where $\Lambda_I$ becomes right exact on the subcategory of $I$ -coprime modules, a property it lacks in the general category. This provides a "formal categorical bridge" between the local information (torsion) and formal completion of modules.

C. Matlis-Greenlees-May (MGM) Equivalence

Theorem 4.2 characterizes the conditions under which the MGM Equivalence holds for these modules. The authors prove that for an $R$ -module $M$ , the following are equivalent:

$M$ is $I$ -prime and $I$ -torsion.
$M$ is $I$ -coprime and $I$ -adically complete.
$IM = 0$.
This generalizes previous results on reduced and coreduced modules, showing that the equivalence holds specifically when the module is annihilated by the ideal $I$ .

D. Functorial Properties

The paper analyzes how these modules behave under the $\text{Hom}$ functor:

If $M$ is $(I, J)$ -coprime, then $\text{Hom}_R(M, N)$ is $(I, J)$ -prime (with conditions on $N$ ).
If $M$ is $(I, J)$ -prime and $N$ is injective, $\text{Hom}_R(M, N)$ is $(I, J)$ -coprime.
These results allow the translation of local properties to global ones via injective cogenerators and progenerators.

5. Significance and Conclusion

Bridging Local and Global: The paper successfully demonstrates that "locally prime" modules are not just isolated definitions but a robust framework for studying global prime modules. By fixing ideals, the authors can apply powerful derived category tools (like GM Duality) to specific subcategories, which then inform the global structure.
Generalization: The work extends the scope of GM Duality and MGM Equivalence beyond the traditional settings of reduced/coreduced modules to prime/coprime modules, without requiring the ideal $I$ to be weakly proregular (a condition often required in derived category settings).
Future Directions: The authors suggest that these definitions can be extended to other categories, such as chain complexes ($Ch(R)$), groups, and $G$ -sets. However, they note a limitation: the rigidity of local definitions (fixing specific ideals) prevents the development of a "locally prime spectrum" analogous to the global $\text{Spec}(R)$ .

In summary, this paper provides a rigorous categorical framework for local primality in modules, establishing deep duality relationships that unify torsion and completion theories with the structural theory of prime modules.