Abstract:This is a survey of noncommutative generalizations of the spectrum of a ring, written for the Notices of the American Mathematical Society.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: How to define a suitable spectrum for non - commutative rings such that this definition degenerates into the well - known prime spectrum in the case of commutative rings. Specifically, the paper explores various methods of generalizing the concept of prime ideals of commutative rings to non - commutative rings and discusses to what extent these methods can maintain the properties of the spectrum as a functor.
### Main problems of the paper
1. **Generalization of prime ideals**:
- Prime ideals of commutative rings play a crucial role in algebraic geometry. In order to study non - commutative rings, we need to find a suitable way to generalize the definition of prime ideals to non - commutative rings.
- The paper discusses various generalization methods, such as completely prime ideals, prime left ideals, and prime ideals based on division rings.
2. **Properties of the spectrum as a functor**:
- In the case of commutative rings, the prime spectrum (Spec R) is a topological space, and the spectrum construction forms a contravariant functor from the category of commutative rings to the category of topological spaces.
- The paper explores whether a similar functor can be found so that it also has good properties in the case of non - commutative rings. However, the author points out that the existing generalization methods cannot provide meaningful information in some simple cases (such as the matrix ring \(M_n(k)\)), which indicates that these methods have limitations.
3. **Structural classification of non - commutative rings**:
- By finding a suitable spectrum definition, we can better understand the internal structure and classification of non - commutative rings. For example, matrix rings, operator algebras, and non - commutative algebras in quantum physics are all important research objects.
### Formula summary
- **Completely prime ideals**: An ideal \(p\) of a non - commutative ring \(R\) is a completely prime ideal if it is a proper ideal and for all \(a, b\in R\), if \(ab\in p\), then \(a\in p\) or \(b\in p\).
\[
ab\in p\Rightarrow a\in p\text{ or }b\in p
\]
- **Prime ideals**: An ideal \(p\) of a non - commutative ring \(R\) is a prime ideal if it is a proper ideal and for all ideals \(I\) and \(J\) of \(R\), if \(IJ\subseteq p\), then \(I\subseteq p\) or \(J\subseteq p\).
\[
IJ\subseteq p\Rightarrow I\subseteq p\text{ or }J\subseteq p
\]
- **Prime left ideals**: A left ideal \(p\) of a non - commutative ring \(R\) is a prime left ideal if for all \(a, b\in R\), if \(aRb\subseteq p\), then \(a\in p\) or \(b\in p\).
\[
aRb\subseteq p\Rightarrow a\in p\text{ or }b\in p
\]
### Conclusion
This paper reveals the challenges and unsolved problems in this field by reviewing various spectrum theories of non - commutative rings. Although various generalization methods have been proposed, they perform poorly when dealing with some simple non - commutative rings, which indicates that we need further research to find a more perfect non - commutative spectrum theory.