Euclidean ideal classes in Galois number fields of odd prime degree

DOI10.1007/S40993-022-00344-7zbMATH Open1497.11276arXiv2209.04809OpenAlexW4285802550WikidataQ114218010 ScholiaQ114218010MaRDI QIDQ2164875FDOQ2164875

Jyothsnaa Sivaraman, V. Kumar Murty

Publication date: 18 August 2022

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

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.

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)

Cites Work

• Zur Geschlechtertheorie in abelschen Zahlkörpern
• ARTIN'S CONJECTURE FOR PRIMITIVE ROOTS
• Title not available (Why is that?)
• A remark on Artin's conjecture
• On Artin's conjecture and Euclid's algorithm in global fields
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• ℤ[] is Euclidean
• Euclidean Rings of Algebraic Integers
• The genus fields of algebraic number fields
• Units in residue classes
• Title not available (Why is that?)
• On existence of Euclidean ideal classes in real cubic and quadratic fields with cyclic class group
• On Euclidean ideal classes in certain abelian extensions
• A family of number fields with unit rank at least 4 that has Euclidean ideals

Cited In (2)

• On \(k\)-stage Euclidean algorithms for Galois extensions of \(\mathbb{Q}\)
• Euclidean Rings of Algebraic Integers

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)