Euclidean systems
type: Item
instance of: scholarly article
title: Euclidean systems
zbMATH Open document ID: 0918.11055
author: Stefan G. Treatman
published in: Journal of Number Theory
publication date: 1999-08-12T00:00:00Z
review text: In 1979, \textit{H. W. Lenstra} [Astérisque 61, 121--131 (1979; Zbl 0401.12005)] introduced the notion of a Euclidean ideal class for Dedekind domains \(R\). He showed that \(R\) is Euclidean if and only if the ideal class \([R]\) is, and that any Euclidean ideal class generates the class group; in particular, rings with noncyclic class group do not have a Euclidean ideal class. In the present paper the author generalizes Lenstra's approach by defining Euclidean systems of ideal classes and showing that any Euclidean system generates the class group. Explicit examples of a Euclidean system with a noncyclic class group are apparently not known, but the author's main theorem shows that, under GRH, these should not be too rare: let \(S\) be a set of suitably chosen generators of the class group of a Dedekind domain \(R\) containing the maximal order of a number field \(K\), let \(n\) and \(s\) denote the rank of the class group of \(R\) and the \(\mathbb Z\)-rank of the unit group of \(R\), respectively. Assuming the truth of a certain subset of the Generalized Riemann Hypothesis, there is a Euclidean function that makes \(S\) into a Euclidean system for \(R\) if \(s \geq \max \{1, n-1\}\). This is a generalization of a result of \textit{P. Weinberger} [Proc. Sympos. Pure Math. 24, 321--332 (1973; Zbl 0287.12012)] for the usual Euclidean rings.
reviewed by: Franz Lemmermeyer
Mathematics Subject Classification ID: 11R29
Mathematics Subject Classification ID: 13F07
zbMATH DE Number: 1247923
zbMATH Keywords: Euclidean rings
zbMATH Keywords: Dedekind rings
zbMATH Keywords: ideal class groups
MaRDI profile type: Publication
full work available at URL: jnth.1998.2284
OpenAlex ID: W4213102993
cites work: A quadratic field which is Euclidean but not norm-Euclidean
cites work: Non-Galois cubic fields which are Euclidean but not norm-Euclidean
cites work: Q3754698
cites work: Q3995206
cites work: The Euclidean algorithm in algebraic number fields
cites work: Q4298518
cites work: On Artin's conjecture and Euclid's algorithm in global fields
cites work: Q4184958
cites work: Q4295424
cites work: Q3714149
cites work: About Euclidean rings
cites work: Q4773795
DOI: 10.1006/JNTH.1998.2284
Recommended article: Euclidean spaces
Recommended article: Euclidean geometry
Recommended article: Euclidean dynamics
Recommended article: Q3972742
Recommended article: Symbol correspondence for Euclidean systems
Recommended article: Generalized number systems in Euclidean spaces
Recommended article: Q3585018
description: scientific article; zbMATH DE number 1247923