Euclidean ideal classes in Galois number fields of odd prime degree

DOI10.1007/S40993-022-00344-7MaRDI QIDQ2164875zbMATH OpenOpenAlexWikidataFDO

Authors V. Kumar Murty, Jyothsnaa Sivaraman

Publication date 18 August 2022

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

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

zbMATH Keywords

Hilbert class fieldsgenus fieldsapplication of sieve methodsEuclidean ideal classes

Mathematics Subject Classification ID

Algebraic numbers; rings of algebraic integers (11R04) Class field theory (11R37) Multiplicative structure; Euclidean algorithm; greatest common divisors (11A05) Applications of sieve methods (11N36) Euclidean rings and generalizations (13F07)

Abstract: Weinberger in 1972, proved that the ring of integers of a number field with unit rank at least $1$ is a principal ideal domain if and only if it is a Euclidean domain, provided the generalised Riemann hypothesis holds. Lenstra extended the notion of Euclidean domains in order to capture Dedekind domains with finite cyclic class group and proved an analogous theorem in this setup. More precisely, he showed that the class group of the ring of integers of a number field with unit rank at least $1$ is cyclic if and only if it has a Euclidean ideal class, provided the generalised Riemann hypothesis holds. The aim of this paper is to show the following. Suppose that $mathbf{K}_1$ and $mathbf{K}_2$ are two Galois number fields of odd prime degree with cyclic class groups and Hilbert class fields that are abelian over $mathbbQ$. If $mathbf{K}_{1}mathbf{K}_2$ is ramified over $mathbf{K}_i$, then at least one $mathbf{K}_i$ ($iin1,2$) must have a Euclidean ideal class.

Recommendations

• The Euclidean algorithm for number fields and primitive roots
• scientific article; zbMATH DE number 716515
• Euclidean systems
• Existence of Euclidean ideal classes beyond certain rank
• On existence of Euclidean ideal classes in real cubic and quadratic fields with cyclic class group

Cites work

• scientific article; zbMATH DE number 4002217 (Why is no real title available?)
• scientific article; zbMATH DE number 3621885 (Why is no real title available?)
• scientific article; zbMATH DE number 716515 (Why is no real title available?)
• scientific article; zbMATH DE number 3450338 (Why is no real title available?)
• A family of number fields with unit rank at least 4 that has Euclidean ideals
• A remark on Artin's conjecture
• ARTIN'S CONJECTURE FOR PRIMITIVE ROOTS
• Euclidean Rings of Algebraic Integers
• On Artin's conjecture and Euclid's algorithm in global fields
• On Euclidean ideal classes in certain abelian extensions
• On existence of Euclidean ideal classes in real cubic and quadratic fields with cyclic class group
• The genus fields of algebraic number fields
• The shaping of arithmetic after C.F. Gauss's \textit{Disquisitiones Arithmeticae}
• Units in residue classes
• Zur Geschlechtertheorie in abelschen Zahlkörpern
• ℤ[] is Euclidean

Cited in

(12)

• Existence of Euclidean ideal classes beyond certain rank
• Two classes of number fields with a non-principal Euclidean ideal
• Non-norm-Euclidean fields in basic \(Z_{l}\)-extensions
• On existence of Euclidean ideal classes in real cubic and quadratic fields with cyclic class group
• On Euclidean ideal classes in certain abelian extensions
• On \(k\)-stage Euclidean algorithms for Galois extensions of \(\mathbb{Q}\)
• The Euclidean algorithm for number fields and primitive roots
• Euclidean Rings of Algebraic Integers
• Growth results and Euclidean ideals
• Norm-Euclidean Galois fields and the generalized Riemann hypothesis
• On finiteness of the numbers of Euclidean fields in some classes of number fields
• A family of number fields with unit rank at least 4 that has Euclidean ideals

This page was built for publication: Euclidean ideal classes in Galois number fields of odd prime degree

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