Abstract:A B{é}zout domain, a valuation domain, a discrete field, and a valued field, each defined as an ultraproduct, provide a natural setting to exhibit an infinite set of primes $q\in\p$ -- relative to which a non-perfect-power integer $m > 1$ is a primitive root of unity $\mahd q)$ -- as an element of the ultrafilter $\mfu$ on $\p$ underlying the ultraproducts.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove that for any integer \(m > 1\) which is not a perfect power, there exist infinitely many prime numbers \(q\) such that \(m\) is a primitive root modulo \(q\) (that is, \(m\) is a primitive root of unity). This problem was first proposed by Emil Artin in 1927 and is known as Artin's primitive root conjecture.
### Specific problem description
Artin's primitive root conjecture can be stated as: for any integer \(m > 1\) which is not a perfect power, the set
\[
\{q\in P: m \text{ is a primitive root modulo } q\}
\]
is infinite. Here \(P\) represents the set of all prime numbers.
### Main contributions of the paper
The paper constructs, by using the methods of ultrafilter and ultraproduct, a super - product field \(\tilde{K}\) of characteristic zero containing the rational numbers \(\mathbb{Q}\) in a specific algebraic structure. On this basis, it defines the Henselian valuation ring \(\tilde{Z}\) and the Bézout subring \(\tilde{B}\). Through these constructions, the author proves that for any integer \(m > 1\) which is not a perfect power, there exists an element \(\tilde{b}\in\tilde{B}\) such that \(\tilde{\zeta}^{\tilde{b}}=\tilde{m}\), so that \(m\) is a primitive root modulo \(q\) for infinitely many prime numbers \(q\).
### Main conclusions
The core conclusion of the paper is Theorem 4.2:
\[
\text{For any integer } m > 1 \text{ which is not a perfect power, } m \text{ is a primitive root modulo } q \text{ for infinitely many prime numbers } q\in P.
\]
### Method overview
1. **Constructing the super - product field**: Use a non - principal ultrafilter \(u\) to construct the super - product field \(\tilde{K}\) and the Henselian valuation ring \(\tilde{Z}\).
2. **Defining the Bézout subring**: Define the Bézout subring \(\tilde{B}\) in \(\tilde{Z}\).
3. **Introducing the primitive root of unity**: Define the multiplicative global primitive root of unity \(\tilde{\zeta}\) and prove its properties.
4. **Proving the main conclusion**: Through the above constructions, prove that for an integer \(m > 1\) which is not a perfect power, there exist infinitely many prime numbers \(q\) such that \(m\) is a primitive root modulo \(q\).
Through these steps, the paper successfully proves an important special case of Artin's primitive root conjecture, that is, for an integer \(m > 1\) which is not a perfect power, there indeed exist infinitely many prime numbers \(q\) such that \(m\) is a primitive root modulo \(q\).