Abstract:Let $\mathcal{O}$ be an order in an algebraic number field and suppose that the set of distances $\Delta(\mathcal{O})$ of $\mathcal{O}$ is nonempty (equivalently, $\mathcal{O}$ is not half-factorial). If $\mathcal{O}$ is seminormal (in particular, if $\mathcal{O}$ is a principal order), then $\min\Delta(\mathcal{O})=1$. So far, only a few examples of orders were found with $\min\Delta(\mathcal{O})>1$. We say that $\Delta(\mathcal{O})$ is unusual if $\min\Delta(\mathcal{O})>1$. In the present paper, we establish algebraic characterizations of orders $\mathcal{O}$ in real quadratic number fields with $\min\Delta(\mathcal{O})>1$. We also provide a classification of the real quadratic number fields that possess an order whose set of distances is unusual. As a consequence thereof, we revisit certain squarefree integers (cf. OEIS A135735) that were studied by A. J. Stephens and H. C. Williams.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The main purpose of this paper is to study and characterize the orders with unusual distance sets in real quadratic number fields, that is, the orders satisfying $\min\Delta(O)>1$. Specifically, the paper solves the following problems:
1. **Necessary conditions**: Determined several necessary conditions for an order $O$ to satisfy $\min\Delta(O)>1$. For example, such an order cannot be a half - factorial ring, nor can it be a transfer Krull ring.
2. **Algebraic characterization**: Provided an algebraic characterization description of orders with unusual distance sets. This includes restrictions on properties such as the class number, inertial primes, and ramified primes.
3. **Classification**: Classified all real quadratic number fields containing orders with unusual distance sets and gave specific construction methods for these orders.
4. **Simplification criteria**: Proposed some simplified criteria to identify orders with unusual distance sets and proved the effectiveness and superiority of these criteria.
5. **Special cases**: Paid special attention to the case when the norm of the fundamental unit is - 1 and provided a more concise description.
Through the solution of these problems, the paper provides new insights into understanding the characteristics of the distance sets of orders in quadratic number fields and lays the foundation for further research.
### Summary of specific content
The paper first defines the distance set $\Delta(O)$ and points out that when $\Delta(O)$ is non - empty, $\min\Delta(O)=\gcd\Delta(O)$. For an order $O$ in a real quadratic number field, if $\min\Delta(O)>1$, its distance set is called "unusual".
Next, through a series of lemmas and theorems, the paper gradually derives the following main conclusions:
- **Theorem 2.6**: Let $f, h\in\mathbb{N}$ and $\min\Delta(O_f)>1$ and $h|f$, then:
1. The class group $|Pic(O_K)| = 2$.
2. The number of inertial primes in $f$ is no more than 2, the number of ramified primes is no more than 3, and the total number of primes is no more than 4.
3. If $h$ is not divisible by any ramified prime, then $O_h$ is a half - factorial ring; if $h$ is divisible by a ramified prime, then $\min\Delta(O_h)>1$.
- **Corollary 2.7**: Gave the necessary and sufficient conditions for $\min\Delta(O_f)>1$, including the class group size, the properties of prime factors of $f$, and the conditions for whether a specific ideal is a principal ideal.
- **Theorem 2.9**: Further simplified the above conditions and proposed more easily verifiable necessary and sufficient conditions.
Finally, the paper studied the conductor sets of orders with unusual distance sets and gave a simpler description in the case where the norm of the fundamental unit is - 1.
These results not only deepen our understanding of the distance sets of orders in quadratic number fields but also provide theoretical basis and tools for subsequent research.