Related papers: An Application of the Dedekind-Hasse Criterion

We describe the Dedekind cuts explicitly in terms of non-standard rational numbers. This leads to another construction of a Dedekind complete totally ordered field or, equivalently, to another proof of the consistency of the axioms of the…

Following Hasse's example, various authors have been deriving divisibility properties of minus class numbers of cyclotomic fields by carefully examining the analytic class number formula. In this paper we will show how to generalize these…

We study universal quadratic forms over totally real number fields using Dedekind zeta functions. In particular, we prove an explicit upper bound for the rank of universal quadratic forms over a given number field $K$, under the assumption…

We give a definition of a class of Dedekind domains which includes the rings of integers of global fields and give a proof that all rings in this class have finite ideal class group. We also prove that this class coincides with the class of…

We study Euclidean ideal classes in real biquadratic fields and obtain unconditional existence results via genus theory. Lenstra showed (assuming the Generalized Riemann Hypothesis) that a number field with unit rank at least one admits a…

We prove a version of Hilbert's Irreducibility Theorem in the quadratic case, giving a quantitative improvement to a result of Bilu-Gillibert in this restricted setting. As an application, we give improvements to several quantitative…

We construct a family of ideals representing ideal classes of order 2 in quadratic number fields and show that relations between their ideal classes are governed by certain cyclic quartic extensions of the rationals.

The Dedekind zeta function of a quadratic number field factors as a product of the Riemann zeta function and the $L$-function of a quadratic Dirichlet character. We categorify this formula using objective linear algebra in the abstract…

We obtain criteria for the class number of certain Richaud-Degert type real quadratic fields to be 3. We also treat a couple of families of real quadratic fields of Richaud-Degert type that were not considered earlier, and obtain similar…

As a consequence of their work, Bruce C. Berndt and Ronald J. Evans in 1977 and Larry Joel Goldstein and Michael Razar in 1976 obtained a formula for the square of the class number of an imaginary quadratic number field in terms of Dedekind…

We give an algorithm for computing the factor ring of a given ideal in a Dedekind domain with finite rank, which runs in deterministic and polynomial-time. We provide two applications of the algorithm: judging whether a given ideal is prime…

We show that a criterion for an integral domain to be a principal ideal domain (PID), due to Dedekind and Hasse, can also be applied in quaternion orders, and that it can be used to build a finite algorithm to determine if a given order is…

In this paper, we use the theory of genus fields to study the Euclidean ideals of certain real biquadratic fields $K.$ Comparing with the previous works, our methods yield a new larger family of real biquadratic fields $K$ having Euclidean…

For any integer $k\ge 1$, we show that there are infinitely many complex quadratic fields whose 2-class groups are cyclic of order $2^k$. The proof combines the circle method with an algebraic criterion for a complex quadratic ideal class…

H. W. Lenstra \cite{lenstra} introduced the notion of an Euclidean ideal class, which is a generalization of norm-Euclidean ideals in number fields. Later, families of number fields of small degree were obtained with an Euclidean ideal…

This article provides a simple proof of the quadratic formula, which also produces an efficient and natural method for solving general quadratic equations. The derivation is computationally light and conceptually natural, and has the…

We obtain unconditional, effective number-field analogues of the three Mertens' theorems, all with explicit constants and valid for $x\geq 2$. Our error terms are explicitly bounded in terms of the degree and discriminant of the number…

We give a conditional lower bound on the number of non-trivial simple zeros for the Dedekind zeta function $\zeta_{K}(s)$, where $K$ is a quadratic number field. The conditional result is given by assuming a Lindel\"of on average (in the…

We construct, for imaginary quadratic number fields with class number 1, an arithmetic site of Connes-Consani type. The main difficulty here is that the constructions of Connes and Consani and part of their results strongly rely on the…

In 1977, Lenstra provided a criterion for norm-Euclideanity of number fields and noted that this criterion becomes ineffective for number fields of large enough degrees under the Generalised Riemann Hypothesis (GRH) for the Dedekind…