🔢 mathematics

Rings whose subrings are all Noetherian or Artinian

This paper extends Gilmer and Heinzer's 1992 results on commutative rings to the noncommutative setting by characterizing rings whose proper subrings are all right Noetherian or right Artinian, identifying specific structural exceptions and generalizing the Artinian case to PI rings.

Original authors: Nathan Blacher

Published 2026-04-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Nathan Blacher

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 investigating a mysterious city called Ring City. In this city, every building is a "sub-ring" (a smaller structure built inside a larger one). The rules of the city are governed by two specific laws: the Noetherian Law and the Artinian Law.

The Noetherian Law is like a rule against infinite construction projects. It says: "You can't keep adding new rooms forever; eventually, you must stop and finish the building."
The Artinian Law is like a rule against infinite demolition. It says: "You can't keep tearing down walls forever; eventually, you must stop and have a stable foundation."

The author, Nathan Blacher, is asking a fascinating question: If every single smaller building inside a big city follows these rules, does the big city itself have to follow them?

Usually, the answer is "No." A huge, chaotic city can easily contain a tiny, perfectly organized village inside it. But Blacher investigates what happens if every smaller part of the city is perfectly organized. Does that force the whole city to be organized too?

Here is the breakdown of his findings, using simple analogies.

1. The "Noetherian" Mystery (The Construction Rule)

The Scenario: Imagine a giant, messy city ( $R$ ) that is not following the Noetherian Law (it has an infinite, never-ending construction project). However, the detective finds that every single smaller building inside it is following the rule (they all finish their construction).

The Discovery:
Blacher proves that if this happens, the giant city can only be one of two things:

It is actually organized: The whole city is Noetherian (the detective made a mistake; the city is finite).
It is a very specific, weird exception: The city is a "Trivial Extension" of the integers ( $\mathbb{Z}$ ) by a "Prüfer $p$ -group."

The Analogy:
Think of the integers ( $\mathbb{Z}$ ) as a long, straight road. The "Prüfer $p$ -group" is like a magical, infinite bush that grows out of the road. Every branch of the bush is finite and tidy, but the whole bush is infinite.
Blacher says: "If your city is messy but every little part is tidy, your city must be this specific magical bush growing out of the integer road. There are no other possibilities."

2. The "Artinian" Mystery (The Demolition Rule)

The Scenario: Now, imagine a giant city ( $R$ ) that is not following the Artinian Law (it has an infinite, never-ending demolition project). But again, every single smaller building inside it is following the rule (they all stop demolishing).

The Discovery:
This time, the result is much stricter. Blacher proves that if this happens, the giant city must be isomorphic to $\mathbb{Z}$ (the integers).

The Analogy:
Think of the integers as a simple, infinite line of dominoes.
If you have a complex, chaotic city where every little neighborhood stops its demolition, the only way the whole city can keep demolishing forever is if the city is just that simple line of dominoes.
Blacher says: "If the little parts are stable, the only way the whole thing is unstable is if the whole thing is just the integers."

3. The "PI" Rings (The Special Neighborhood)

The paper also looks at a special type of city called a PI Ring (Rings with Polynomial Identities). These are cities with extra traffic laws that make them behave more like the "commutative" (orderly) cities mathematicians studied before.

In these special cities, Blacher proves a stronger version of the Artinian rule:

If you have a central neighborhood ( $C$ ) and every building that includes this neighborhood is stable (Artinian), then the entire city must be stable.

The Analogy:
Imagine a city with a strict "Central Park" ( $C$ ). If every building that touches the park is stable, and the city follows the special "PI traffic laws," then the whole city is guaranteed to be stable. You don't need to check every single building; checking the ones near the park is enough.

Why Does This Matter?

Before this paper, mathematicians (Gilmer and Heinzer) knew these rules applied to commutative rings (where the order of operations doesn't matter, like $2 \times 3 = 3 \times 2$ ).

Blacher's breakthrough is showing that these rules hold true even in non-commutative rings (where order matters, like matrix multiplication). He had to invent new tools because the old "maps" (classical Krull dimension) didn't work well in the chaotic, non-commutative world.

The Big Takeaway

The paper tells us that structure is contagious.

If every small piece of a mathematical object is well-behaved (Noetherian or Artinian), the whole object is almost certainly well-behaved too.
If the whole object is not well-behaved, it can only be a very specific, rare, and exotic type of object (like the Prüfer group or the integers).

It's like saying: "If every room in a house is perfectly clean, the whole house is probably clean. If the whole house is a mess, it's only because the house is built on a very strange, specific foundation."

1. Problem Statement

The paper investigates the structural properties of noncommutative rings $R$ based on the chain conditions satisfied by their proper subrings. Specifically, it addresses two dual questions:

Noetherian Case: If every proper subring of a ring $R$ is right Noetherian, must $R$ itself be right Noetherian? If not, what is the structure of the exceptions?
Artinian Case: If every proper subring of a ring $R$ is right Artinian, must $R$ itself be right Artinian? If not, what is the structure of the exceptions?

While these problems were previously solved for commutative rings by Gilmer and Heinzer (1992), the noncommutative setting presents significant challenges due to the lack of well-behaved dimension theories (like classical Krull dimension) and the complexity of ideal structures.

2. Methodology

The author employs a strategy of reduction and generalization, adapting the commutative proofs of Gilmer and Heinzer to the noncommutative context. The methodology involves:

Central Subring Reduction: The proofs often begin by considering a central proper subring $C \subset R$ . The strategy involves analyzing the relationship between $R$ and $C$ , specifically looking at rings $R$ where every proper subring containing $C$ satisfies the chain condition.
Inductive Construction of Ideals: To prove that a ring is Noetherian or Artinian, the author constructs descending chains of ideals or submodules. If a ring is not Noetherian/Artinian, one can construct an infinite strictly descending chain of right ideals. The proof then demonstrates that this induces a corresponding infinite descending chain in a central subring (often $\mathbb{Z}$ or a finite field), leading to a contradiction.
Utilization of Trivial Extensions: The analysis heavily relies on the structure of the trivial extension (Nagata's idealization) of a ring $C$ by a module $M$ , denoted $C \oplus M$ with multiplication $(c_1, m_1)(c_2, m_2) = (c_1c_2, c_1m_2 + c_2m_1)$ .
PI Ring Theory: For the Artinian case in the general noncommutative setting, the author restricts the scope to Polynomial Identity (PI) rings. In this context, the author recovers results related to Classical Krull Dimension (defined as the maximal length of a chain of prime ideals), which behaves more predictably in PI rings than in general noncommutative rings.
Prime Radical Analysis: The proofs utilize the prime radical $N$ (the intersection of all prime ideals) and analyze the properties of $R/N$ and the interaction between the center and the radical.

3. Key Contributions and Results

A. The Noetherian Case (Theorem 1)

The paper generalizes the commutative result of Gilmer and Heinzer to all associative rings with unity.

Result: Let $R$ be a ring that is not right Noetherian. If every proper subring of $R$ is right Noetherian, then $R$ is isomorphic to the trivial extension of $\mathbb{Z}$ by the Prüfer $p$ -group $\mathbb{Z}(p^\infty)$ for some prime $p$ .
Significance: This completely classifies the "hereditarily right Noetherian" rings (rings where all proper subrings are Noetherian). The only non-Noetherian exceptions are specific trivial extensions involving the integers and Prüfer groups.
Proof Strategy: The proof shows that if $R$ is not right Noetherian, its minimal subring must be $\mathbb{Z}$ (characteristic 0). It then proves that $R$ must be commutative (via analysis of the prime radical and central elements), reducing the problem back to the known commutative case.

B. The Artinian Case (Theorem 2)

The paper addresses the Artinian condition for general rings.

Result: Let $R$ be a ring that is not right Artinian. If every proper subring of $R$ is right Artinian, then $R$ is isomorphic to $\mathbb{Z}$ .
Significance: Unlike the Noetherian case, the only non-Artinian ring with all Artinian proper subrings is the ring of integers.
Proof Strategy: The proof proceeds by contradiction. It establishes that such a ring must have finite characteristic (otherwise it contains $\mathbb{Z}$ as a proper subring, which is not Artinian). It then shows the characteristic must be a prime $p$ . By analyzing the minimal subring $\mathbb{F}_p$ and constructing infinite descending chains of right ideals, the author derives a contradiction unless $R \cong \mathbb{Z}$ .

C. The Stronger Result for PI Rings (Theorem 3)

The authors note that the commutative proof for the Artinian case used a stronger condition: if $C$ is a proper subring and every proper subring containing $C$ is Artinian, then $R$ is Artinian. This stronger result fails in general noncommutative rings but holds for PI rings.

Result: Let $R$ be a PI ring and $C$ a central proper subring. If every proper subring of $R$ containing $C$ is right Artinian, then $R$ is right Artinian.
Methodology: This section introduces Proposition 4.3, a generalization of a result regarding Classical Krull Dimension. It proves that if $R$ is a PI ring and an extension of a subring $W$ , and all subrings of the form $W(r)$ have Classical Krull dimension 0, then $R$ itself has Classical Krull dimension 0.
Implication: Combined with Kaplansky's Theorem (which states simple PI rings are Artinian), this allows the author to prove that $R$ is right Artinian under the stated conditions.

4. Significance and Context

Generalization of Classical Results: The paper successfully removes the commutativity hypothesis from the foundational results of Gilmer and Heinzer (1992), providing a complete classification for the Noetherian case and a strong classification for the Artinian case in the general noncommutative setting.
Limitations and PI Rings: The paper highlights the difficulty of extending dimension-theoretic arguments to general noncommutative rings. By restricting to PI rings, the author recovers the "stronger" version of the Artinian theorem (Theorem 3), demonstrating that PI rings retain enough commutative-like structure to support these dimension-based proofs.
Structural Insight: The results provide deep insight into the "hereditary" nature of chain conditions. They show that if a ring fails to satisfy a chain condition, it must be "close" to a very specific, well-understood structure (like $\mathbb{Z}$ or a trivial extension of $\mathbb{Z}$ ), rather than being an arbitrary pathological example.

5. Conclusion

Nathan Blacher's paper resolves the classification of rings with hereditary chain conditions on proper subrings. It establishes that:

Hereditarily Right Noetherian rings are either right Noetherian or trivial extensions of $\mathbb{Z}$ by $\mathbb{Z}(p^\infty)$ .
Hereditarily Right Artinian rings are either right Artinian or isomorphic to $\mathbb{Z}$ .
For PI rings, the stronger condition regarding central subrings holds, linking the Artinian property to the vanishing of Classical Krull dimension.

These results unify and extend the commutative theory into the noncommutative realm, clarifying the boundaries where standard ring-theoretic properties are inherited by subrings.