Growth results and Euclidean ideals

DOI10.1016/J.JNT.2012.12.016MaRDI QIDQ2445008zbMATH OpenOpenAlexFDO

Authors Hester Graves

Publication date 11 April 2014

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1008.2479

zbMATH Keywords

class groupEuclidean algorithmEuclidean idealEuclidean ringlarge sieve

Mathematics Subject Classification ID

Applications of sieve methods (11N36) Algebraic numbers; rings of algebraic integers (11R04) Euclidean rings and generalizations (13F07)

Abstract: Lenstra's concept of Euclidean ideals generalizes the Euclidean algorithm; a domain with a Euclidean ideal has cyclic class group, while a domain with a Euclidean algorithm has trivial class group. This paper generalizes Harper's variation of Motzkin's lemma to Lenstra's concept of Euclidean ideals and then uses the large sieve to obtain growth results. It concludes that if a certain set of primes is large enough, then the ring of integers of a number field with cyclic class group has a Euclidean ideal.

Review text

Let \(K\) be a number field; for a prime ideal \({\mathfrak p}\), let \(\pi_{\mathfrak p}\) denote the natural projection of algebraic integers in \(K\) to their residue class modulo \({\mathfrak p}\). \textit{H. W. Lenstra jun.} [Astérisque 61, 121--131 (1979; Zbl 0401.12005)] has shown, assuming the Generalized Riemann Hypothesis, that if the class group of \(K\) is cyclic, then every ideal class generating the class group is Euclidean. In this article, the author transfers the methods developed by \textit{M. Harper} and \textit{M. R. Murty} [Can. J. Math. 56, No. 1, 71--76 (2004; Zbl 1048.11080)] to this situation and proves that any ideal class generating the class group is Euclidean if \(K\) has infinitely many units and if the number of prime ideals \({\mathfrak p}\) with norm less than \(x\) for which \(\pi_{\mathfrak p}\) is surjective is \(\gg x/\log^2 x\).

Recommendations

• Existence of Euclidean ideal classes beyond certain rank
• Euclidean ideal classes in Galois number fields of odd prime degree
• A family of number fields with unit rank at least 4 that has Euclidean ideals
• On Euclidean ideal classes in certain abelian extensions
• On existence of Euclidean ideal classes in real cubic and quadratic fields with cyclic class group

Cites work

• \(\mathbb Q(\sqrt{2}, \sqrt{35})\) has a non-principal Euclidean ideal
• A family of number fields with unit rank at least 4 that has Euclidean ideals
• A remark on Artin's conjecture
• Euclidean ideals in quadratic imaginary fields
• Euclidean Rings of Algebraic Integers
• scientific article; zbMATH DE number 3884264 (Why is no real title available?)
• scientific article; zbMATH DE number 3621885 (Why is no real title available?)
• scientific article; zbMATH DE number 3450338 (Why is no real title available?)
• The Euclidean algorithm
• The Euclidean algorithm in algebraic number fields
• The large sieve in algebraic number fields
• ℤ[] is Euclidean

Cited in

(11)

• Linear growth and bounded geometry
• Generalized Euclidean algorithms
• On existence of Euclidean ideal classes in real cubic and quadratic fields with cyclic class group
• On Euclidean ideal classes in certain abelian extensions
• Biquadratic fields having a non-principal Euclidean ideal class
• Genus theory and \(\varepsilon\)-conjectures on \(p\)-class groups
• Non-principal Euclidean ideal class in a family of biquadratic fields with the class number two
• A family of number fields with unit rank at least 4 that has Euclidean ideals
• Existence of Euclidean ideal classes beyond certain rank
• Growth Estimates in Positive Characteristic via Collisions
• Non-principal euclidean ideals in certain real biquadratic fields

This page was built for publication: Growth results and Euclidean ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2445008)