V. V. Bavula
Abstract:The class of semiprime left Goldie rings is a huge class of rings that contains many large subclasses of rings -- semiprime left Noetherian rings, semiprime rings with Krull dimension, rings of differential operators on affine algebraic varieties and universal enveloping algebras of finite dimensional Lie algebras to name a few. In the paper, `Ring endomorphisms with large images,' {\em Glasg. Math. J.} {\bf 55} (2013), no. 2, 381--390, A. Leroy and J. Matczuk posed the following question:
{\em If a ring endomorphism of a semiprime left Noetherian ring has a large image, must it be injective?}
The aim of the paper is to give an affirmative answer to the Question of Leroy and Matczuk and to prove the following more general results.
{\bf Theorem. (Dichotomy)} {\em Each endomorphism of a semiprime left Goldie ring with large image is either a monomorphism or otherwise its kernel contains a regular element of the ring ($\Leftrightarrow$ its kernel is an essential left ideal of the ring). In general, both cases are non-empty.}
{\bf Theorem. } {\em Every endomorphism with large image of a semiprime ring with Krull dimension is a monomorphism.}
{\bf Theorem. (Positive answer to the Question of Leroy and Matczuk)} {\em Every endomorphism with large image of a semiprime left Noetherian ring is a monomorphism.}
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether the endomorphism of a semiprime left Noetherian ring must be injective when it has a large image. Specifically, Leroy and Matczuk proposed the following question in their 2013 paper:
**If the endomorphism of a semiprime left Noetherian ring has a large image, then must it be injective?**
### Main contributions of the paper
The main goal of the paper is to give an affirmative answer to Leroy and Matczuk's question and prove several more general theorems:
1. **Dichotomy theorem**:
Every endomorphism of a semiprime left Goldie ring with a large image is either a monomorphism or its kernel contains a regular element in the ring (equivalent to its kernel being an essential left ideal of the ring). Usually, neither of these two cases is an empty set.
2. **Endomorphisms of semiprime rings with Krull dimension**:
Every endomorphism of a semiprime ring with Krull dimension and a large image is a monomorphism.
3. **Endomorphisms of semiprime left Noetherian rings with large images**:
Every endomorphism of a semiprime left Noetherian ring with a large image is a monomorphism.
### Key concepts and definitions
- **Semiprime ring**: A ring \(R\) is called a semiprime ring if for any ideal \(I\), if \(I^{2} = 0\), then \(I = 0\).
- **Left Goldie ring**: A ring \(R\) is called a left Goldie ring if it has a finite left uniform dimension and satisfies the ascending chain condition for left annihilators.
- **Large image**: An endomorphism \(\sigma\) of a ring is called having a large image if its image contains an essential left ideal of the ring.
- **Monomorphism**: A homomorphism \(\sigma\) is called a monomorphism if it is injective, that is, \(\ker(\sigma)=0\).
### Ideas for theorem proofs
1. **Proof of the dichotomy theorem**:
- By analyzing the relationship between the kernel and the image of the endomorphism, it is proved that the endomorphism is either a monomorphism or its kernel contains a regular element.
2. **Proof of the endomorphisms of semiprime rings with Krull dimension**:
- Using the properties of Krull dimension, it is proved that the endomorphism with a large image must be a monomorphism.
3. **Proof of the endomorphisms of semiprime left Noetherian rings with large images**:
- As a special case of the previous two theorems, the conclusion is directly obtained.
### Examples and counterexamples
The paper also provides some examples and counterexamples to illustrate the validity and boundary conditions of these theorems. For example, there are some endomorphisms on non - Noetherian commutative integral domains that have large images but are not monomorphisms.
### Summary
This paper gives an affirmative answer to Leroy and Matczuk's question through the study of endomorphisms of semiprime left Goldie rings, semiprime rings with Krull dimension, and semiprime left Noetherian rings, and further generalizes the relevant results.