Abstract:Let $p$ be a prime number with $p\equiv 1\mod 4$, let $\varepsilon>1$ be the fundamental unit of $\mathbb{Z}[\frac{1+\sqrt{p}}{2}]$ and let $x$ and $y$ be the unique nonnegative integers with $\varepsilon=x+y\frac{1+\sqrt{p}}{2}$. The Ankeny-Artin-Chowla-Conjecture states that $p$ is not a divisor of $y$. In this note, we provide and discuss a counterexample to this conjecture.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to provide and discuss a counter - example to refute the Ankeny, Artin and Chowla conjecture (AAC conjecture). Specifically, the AAC conjecture states that for a prime number \(p\) of the form \(p\equiv1\mod 4\), if \(\varepsilon = x + y\left(\frac{1+\sqrt{p}}{2}\right)\) is a fundamental unit in the ring \(\mathbb{Z}\left[\frac{1 + \sqrt{p}}{2}\right]\), then \(p\) does not divide \(y\).
The main contribution of the paper lies in finding a specific counter - example \(d = 331914313984493\), proving that when \(d\equiv1\mod 4\) and \(d\) is a prime number, \(d\) can divide \(y\). This discovery overturns the long - held general belief in the AAC conjecture and provides a new perspective for research in related fields.
### Specific Content Overview
1. **Background Introduction**:
- The paper first introduces relevant mathematical concepts, including fundamental units, quadratic fields, class numbers, etc.
- Defines key symbols such as \(\omega\) and \(d_K\) and explains their roles in quadratic fields.
- Describes in detail the background and importance of the Ankeny, Artin and Chowla conjecture.
2. **Main Theorems**:
- **Lemma 2.1**: Through some conditions, proves that a number is a prime number.
- **Lemma 2.2**: If \(\eta\) is a unit of a certain form and \(1 < \eta<\varepsilon_d\), then \(d\) divides \(y\).
- **Theorem 2.3**: Specifically shows that \(d = 331914313984493\) satisfies \(d\equiv1\mod 4\), and \(d\) is a prime number, and at the same time \(d\) divides \(y\).
3. **Computer - Aided Verification**:
- Uses Mathematica and Pari/GP to perform detailed calculations to verify the properties of \(d = 331914313984493\).
- Describes the algorithms used to search for counter - examples, including the baby - step algorithm and the giant - step algorithm.
4. **Related Problems and Conjectures**:
- Discusses the special properties of the counter - example, such as the case of \(d\equiv5\mod 8\).
- Puts forward some open problems, such as the Erdős, Mollin and Walsh conjecture (EMW conjecture) and the properties of semi - factorial rings.
### Conclusion
The paper successfully refutes the Ankeny, Artin and Chowla conjecture by providing a specific counter - example \(d = 331914313984493\). This discovery not only has an important impact on the field of number theory, but also provides new directions and ideas for future research.