Related papers: Euclidean algorithm in Galois Quartic Fields
Lenstra introduced the notion of a Euclidean ideal class, which is a generalization of the Euclidean domain. Lenstra also proved that the Euclidean ideal in a number field $K$ implies that the class group of $K$ is cyclic. We construct a…
We produce an infinite family of imaginary quadratic fields whose ideal class groups have $3$-rank at least $2$.
We construct a family of quartic polynomials with cyclic Galois group and show that the roots of the polynomials are fundamental units or generate a subgroup of index 5.
We present two distinct families of imaginary biquadratic fields, each of which contains infinitely many members, with each member having large class groups. Construction of the first family involves elliptic curves and their quadratic…
We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…
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…
Conditionally on the Generalized Riemann Hypothesis (GRH), we prove the following results: (1) a cyclic number field of degree $5$ is norm-Euclidean if and only if $\Delta=11^4,31^4,41^4$; (2) a cyclic number field of degree $7$ is…
We give a Euclidean division algorithm for the real quadratic fields $\mathbb{Q}(\sqrt{m})$ for $m \in \{2, 3, 6, 7, 11, 19\}$, with the property that the norm of the remainder depends on the first Euclidean minimum of the field. In each…
In this paper, we find criteria for when cyclic cubic and cyclic quartic fields have well-rounded ideal lattices. We show that every cyclic cubic field has at least one well-rounded ideal. We also prove that there exist families of cyclic…
For a given odd integer $n>1$, we provide some families of imaginary quadratic number fields of the form $\mathbb{Q}(\sqrt{x^2-t^n})$ whose ideal class group has a subgroup isomorphic to $\mathbb{Z}/n\mathbb{Z}$.
We prove that for any given positive integer $\ell$ there are infinitely many imaginary quadratic fields with 2-class group of type $(2,2^\ell)$, and provide a lower bound for the number of such groups with bounded discriminant for…
It is known on the Generalised Riemann Hypothesis that there are precisely $13$ cyclic cubic fields that are norm-Euclidean. Unconditionally, there is a gap between analytic estimates which hold for all sufficiently large conductors and…
We prove that there are >>X^{1/30}/(log X) imaginary quadratic number fields with an ideal class group of 3-rank at least 5 and discriminant bounded in absolute value by X. This improves on an earlier result of Craig, who proved the…
Let $a\geq 1$ and $n>1$ be odd integers. For a given prime $p$, we prove under certain conditions that the class groups of imaginary quadratic fields $\mathbb{Q}(\sqrt{a^2-4p^n})$ have a subgroup isomorphic to $\mathbb{Z}/n\mathbb{Z}$. We…
Let A be an abelian threefold defined over a number field K with potential multiplication by an imaginary quadratic field M. If A has signature (2,1) and the multiplication by M is defined over an at most quadratic extension, we attach to A…
We show that infinitely many cubic fields have class group of 2-rank 1.
This paper studies Galois extensions over real quadratic number fields or cyclotomic number fields ramified only at one prime. In both cases, the ray class groups are computed, and they give restrictions on the finite groups that can occur…
In this paper, based on the theory of genus fields of biquadartic fields, we find a new larger family of biquadratic fields having a non-principal Euclidean ideal class, which implies the main results of \cite{JNT}.
Given an odd prime $\ell$ and finite set of odd primes $S_+$, we prove the existence of an imaginary quadratic field whose class number is indivisible by $\ell$ and which splits at every prime in $S_+$. Notably, we do not require that $p…
We give an elementary approach to studying whether rings of $S$-integers in complex quadratic fields are Euclidean with respect to the $S$-norm.