On nonmatrix varieties of associative rings

This paper extends known results on nonmatrix varieties of associative algebras from the case of infinite fields to the more general setting of unital commutative rings, specifically characterizing varieties of $\mathbf{k}$-algebras that do not contain the algebra of $n \times n$ matrices.

The Gist

Imagine you are a master architect trying to understand the rules that govern a massive city of buildings. In the world of mathematics, these "buildings" are algebras (systems where you can add and multiply things), and the "rules" are identities (laws that say certain combinations of numbers always equal zero).

Some buildings in this city are chaotic and wild. The most famous example of a chaotic building is the Matrix Building (specifically, the $2 \times 2$ matrix algebra). In this building, if you take two "nilpotent" items (things that vanish when you multiply them by themselves enough times) and add them together, the result might not vanish. It's a place where the usual rules of "good behavior" break down.

This paper is about finding and describing the Peaceful Districts of this mathematical city. These are the "Nonmatrix Varieties."

The Core Idea: What is a "Nonmatrix" Variety?

Think of a Nonmatrix Variety as a neighborhood where the buildings are surprisingly well-behaved, almost like commutative neighborhoods (where $A \times B = B \times A$, just like regular numbers).

In the chaotic Matrix Building, things get messy. But in a Nonmatrix Variety:

1. No Chaos Allowed: You cannot build a $2 \times 2$ Matrix Building here. If you try to construct one, the laws of the neighborhood will crush it.
2. The "Sum of Vanishing Things" Rule: In these peaceful districts, if you take two things that vanish on their own (nilpotent elements) and add them together, the result also vanishes. This is a property usually reserved for simple, commutative numbers, but here it holds true even in complex, non-commutative structures.
3. The "Simple" Buildings: Every "simple" building (one that can't be broken down further) in this district is just a simple field (like the real numbers). There are no complex, multi-layered matrix structures hiding inside.

The Authors' Big Contribution

The authors, Thiago and Felipe, are like urban planners who have expanded the map.

• Previous Maps: Before this paper, mathematicians mostly knew about these peaceful districts when the "ground" (the base ring $k$) was an infinite field (like the real numbers or complex numbers).
• The New Map: These authors say, "What if the ground is a bit more complicated? What if it's a Noetherian commutative ring?" (Think of this as a slightly more rigid, structured foundation, like integers or polynomials).
• The Discovery: They proved that even on this more complex ground, the rules for these peaceful districts remain the same. They created a massive checklist (Theorem 5 and Theorem 33) showing that if any one of these weird-sounding conditions is met, all of them are met. It's like saying: "If the streetlights are on, then the traffic lights are green, the birds are singing, and the coffee shop is open."

The "Complexity" Concept

The paper also introduces a way to measure how "wild" a district can be. They call this Complexity.

• Complexity 0: The district is so peaceful that everything is just zero (nil).
• Complexity 1: The district allows simple fields but forbids any $2 \times 2$ matrices. This is the classic "Nonmatrix" variety.
• Complexity $n$: The district is allowed to have matrix buildings, but only up to a certain size ($n-1$). If you try to build an $n \times n$ matrix building, the district's laws will reject it.

The authors show that if a district has a complexity limit, it behaves in very predictable ways. For example, if you take a bunch of "vanishing" items in a district with complexity $n$, and you multiply them in a specific pattern, the whole group will eventually vanish.

Why Does This Matter?

You might ask, "Who cares about matrix buildings vs. peaceful districts?"

1. Predictability: In the chaotic Matrix world, it's hard to predict what will happen when you mix things. In Nonmatrix varieties, the behavior is much more like the familiar world of commutative algebra (where $A \times B = B \times A$). This makes it easier for mathematicians to solve problems.
2. The "Hilbert's Basis Theorem": The paper mentions that these varieties satisfy a famous theorem (Hilbert's Basis Theorem). In plain English, this means that in these peaceful districts, you can't have an infinite list of rules that keep getting more complicated forever. The rules eventually settle down. This is a huge relief for mathematicians trying to classify these structures.
3. Generalization: By proving this works for any unital commutative ring (not just infinite fields), they have made the theory much more robust. It's like upgrading a software program so it runs on Windows, Mac, and Linux, not just Windows.

A Simple Analogy: The "No-Square" Club

Imagine a club called the "No-Square" Club.

• The Rule: You cannot bring a $2 \times 2$ square grid into the club.
• The Consequence: Because you can't bring in the grid, the members of the club behave very politely. If two members are "sleepy" (nilpotent), and they hug (add), they both stay asleep.
• The Paper's Job: The authors went to the club and said, "We used to think this only worked if the club was built on a giant, infinite lawn. But we found out it works even if the club is built on a small, structured garden." They also created a new club, the "No-Huge-Square" Club, where you can bring small grids, but not huge ones, and showed that the same polite rules apply there too.

Summary

This paper is a comprehensive guide to the "Peaceful Districts" of algebra. It proves that if you ban the chaotic $2 \times 2$ matrix structures (or larger ones, depending on the "complexity" level), the remaining algebraic structures behave beautifully, predictably, and almost like simple numbers. The authors have successfully updated this theory to work on a wider variety of mathematical foundations, making it a more powerful tool for understanding the deep structure of algebra.

Technical Summary

Here is a detailed technical summary of the paper "On Nonmatrix Varieties of Associative Rings" by Thiago Castilho de Mello and Felipe Yukihide Yasumura.

1. Problem Statement and Context

The paper addresses the structural theory of nonmatrix varieties of associative algebras. Historically, nonmatrix varieties (introduced by Latyshev) are classes of algebras that satisfy polynomial identities (PI) but do not contain the algebra of $2 \times 2$matrices,$M_2(F)$, for any field$F$. These varieties are significant because they exhibit structural properties closely resembling commutative algebras (e.g., the sum of nilpotent elements is nilpotent), despite being non-commutative.

The Core Problem:
Previous characterizations of nonmatrix varieties were largely restricted to the case where the base ring $k$ is an infinite field. The authors aim to:

1. Generalize the theory to unital commutative rings $k$ (specifically Noetherian and Jacobson rings).
2. Extend the concept from "nonmatrix" (excluding $M_2$) to "nonmatrix of degree $n$" (excluding $M_n$), thereby characterizing varieties of complexity $n$.
3. Provide a unified set of equivalent conditions for these varieties that hold in this broader generality.

2. Methodology

The authors employ a combination of classical PI-ring theory and modern radical theory. Key methodological tools include:

• Kaplansky's Theorem on Primitive PI Algebras: Used to analyze simple algebras within a variety, establishing that a primitive PI algebra is either a field or contains a matrix algebra over a division ring.
• Posner's Theorem: Utilized to relate prime PI algebras to simple algebras over their centers via localization.
• Radical Theory: The paper introduces and analyzes the nonmatricial radical ($M_n(A)$), defined via the annihilators of irreducible modules with bounded dimension. This generalizes the Baer radical ($B(A)$) and the Jacobson radical ($J(A)$).
• Module Theory: The concept of $n$-nonmatricial elements is defined based on the dimension $d(M)$ of irreducible modules over the central closure of prime homomorphic images.
• Polynomial Identities: The authors utilize standard polynomials ($st_k$) and commutator identities to characterize the varieties algebraically.

3. Key Contributions and Results

A. Generalization to Commutative Rings (Section 3)

The authors extend the characterization of nonmatrix varieties (originally known for infinite fields) to varieties of $k$-algebras where $k$ is a unital commutative ring.

Theorem 5 establishes the equivalence of 12 conditions for a variety $\mathcal{V}$ to be nonmatrix (i.e., not containing $M_2(F)$). Key equivalent conditions include:

• Every simple algebra in $\mathcal{V}$ is a field.
• $M_2(F) \notin \mathcal{V}$ for any fraction field $F$ of a prime homomorphic image of $k$.
• For every $A \in \mathcal{V}$, the quotient $A/B(A)$ is a subdirect product of commutative domains.
• The variety satisfies a power of the commutator: $[x_1, x_2]^m \in \text{Id}(\mathcal{V})$.
• The sum of any two nilpotent elements in any $A \in \mathcal{V}$ is nilpotent.
• Every nilpotent element is strongly nilpotent.

Significance: This confirms that the structural "commutativity-like" properties of nonmatrix varieties hold even when the base ring is not a field, provided the ring is Noetherian or Jacobson.

B. The Nonmatricial Radical (Section 4)

The paper introduces a new radical concept to measure the "matrix-ness" of an algebra.

• Definition 18: An element $a$ is $n$-nonmatricial if it annihilates every irreducible module $M$ of a prime homomorphic image $A_0$ such that the dimension $d(M) \leq n$.
• Definition 20: The $n$-nonmatricial ideal $M_n(A)$ is the set of all $n$-nonmatricial elements.
• Key Properties:
  • $M_\infty(A) = \bigcap_{n} M_n(A)$ coincides with the Baer radical $B(A)$ for PI algebras.
  • The quotient $A/M_n(A)$ satisfies the multilinear polynomial identities of $M_n(k)$.
  • For an Artinian algebra $A$, $A$ is a PI ring if and only if $B(A) = M_\infty(A)$.

C. Varieties of Complexity $n$ (Section 5)

The authors generalize the concept to varieties that do not contain $M_n(F)$ for a fixed $n$. This corresponds to varieties of complexity $n$ (where the maximum matrix size appearing in the variety is $n-1$).

Theorem 33 provides a comprehensive list of equivalent conditions for a variety $\mathcal{V}$ to be $n$-nonmatrix (i.e., not containing $M_n(F)$):

• Every simple algebra in $\mathcal{V}$ has dimension over its center at most $(n-1)^2$.
• $M_n(F) \notin \mathcal{V}$.
• $A/B(A)$ is a subdirect product of prime algebras $P$ where the extended centroid dimension is bounded.
• The variety satisfies a power of the standard polynomial of degree $2(n-1)$:$st_{2(n-1)}^m \in \text{Id}(\mathcal{V})$.
• The set of $(n-1)$-nonmatricial elements coincides with the Baer radical $B(A)$.
• Finiteness Condition: If all products of length $n-1$ of a set of elements are nilpotent, the subalgebra generated by them is nilpotent.

Proposition 37 extends the finiteness results: If $\mathcal{V}$ is an $n$-nonmatrix variety, then the subalgebra generated by integral elements is finitely generated as a $k$-module (generalizing a classical result for infinite fields).

4. Significance and Impact

1. Unification of Theory: The paper successfully unifies the theory of nonmatrix varieties across different base rings (fields vs. general commutative rings), removing the dependency on the base field being infinite.
2. Structural Insight: It rigorously demonstrates that "nonmatrix" varieties are the non-commutative analogues of commutative rings, sharing deep structural properties like the nilpotency of sums of nilpotents and the behavior of radicals.
3. New Radicals: The introduction of the nonmatricial radical ($M_n(A)$) provides a powerful tool for analyzing the "matrix content" of PI algebras, bridging the gap between module theory and polynomial identities.
4. Complexity Classification: By defining varieties of complexity $n$, the authors provide a hierarchy for PI varieties based on the maximum size of matrix algebras they can contain, offering a finer classification than the binary "PI vs. non-PI" or "matrix vs. nonmatrix" distinction.
5. Applications to Finiteness: The results generalize classical theorems (like those of Latyshev and Kemer) regarding the finite generation of subalgebras generated by integral/algebraic elements, showing these hold in the broader context of $n$-nonmatrix varieties over Noetherian rings.

In summary, this paper significantly advances the structural theory of PI rings by generalizing the concept of nonmatrix varieties to arbitrary commutative base rings and introducing a graded framework (complexity $n$) to classify these varieties based on their matrix content.