J. Cimprič
Abstract:We prove a new quaternionic and a new matrix nullstellensatz. We also show that both theories are intertwined.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the generalization and unification of the Nullstellensatz in quaternions and matrix polynomials. Specifically, the author aims to:
1. **Expand the Hilbert Nullstellensatz**: Generalize the classical Hilbert Nullstellensatz from complex polynomials to central quaternion polynomials and complex matrix polynomials.
2. **Establish a parallel theory**: Prove the quaternion and matrix versions of the Nullstellensatz and show the intrinsic connection between the two.
3. **Introduce new equivalent conditions**: For a given set of polynomials \( g_1, \ldots, g_m \) and another polynomial \( f \), prove the equivalence of the following two propositions:
- For all points \( a \) such that \( g_1(a)=\cdots = g_m(a) = 0 \), we have \( f(a) = 0 \).
- \( f \) belongs to the smallest semiprime left ideal generated by \( g_1, \ldots, g_m \).
4. **Explore the properties of ideals**: Study the properties of prime ideals, completely prime ideals and semiprime ideals in the quaternion ring and the matrix ring, and prove the relationships between them.
### Specific problem description
#### Nullstellensatz for quaternion polynomials
For quaternion polynomials \( f, g_1, \ldots, g_m\in H[x_1,\ldots,x_d] \), the author proves that the following two propositions are equivalent:
- For all points \( a\in H^d_c \) such that \( g_1(a)=\cdots = g_m(a) = 0 \), we have \( f(a) = 0 \).
- \( f \) belongs to the smallest semiprime left ideal generated by \( g_1, \ldots, g_m \).
#### Nullstellensatz for matrix polynomials
For complex matrix polynomials \( F, G_1, \ldots, G_m\in M_n(C[x_1,\ldots,x_d]) \), the author proves that the following two propositions are equivalent:
- For all points \((a, v)\) such that \( G_1(a)v=\cdots = G_m(a)v = 0 \), we have \( F(a)v = 0 \).
- For each constant matrix \( A\in M_n(C) \), there exists \( N\in\mathbb{N}_0 \) such that \((AF)^N\in I + I(AF)+\cdots+I(AF)^N \), where \( I \) is the left ideal generated by \( G_1, \ldots, G_m \).
### Main contributions of the paper
1. **Unified framework**: By introducing new equivalent conditions, the author successfully unifies the quaternion and matrix versions of the Nullstellensatz within one framework.
2. **New results**: Provide new equivalent conditions for prime ideals, completely prime ideals and semiprime ideals, filling the gaps in the existing literature.
3. **Technical details**: Through a series of lemmas and technical proofs, explore in detail the properties of these ideals in the quaternion ring and the matrix ring.
In summary, the main purpose of this paper is to provide a deeper understanding of the algebraic structures of quaternion and matrix polynomials by expanding and unifying the Hilbert Nullstellensatz.