Euclidean systems

DOI10.1006/JNTH.1998.2284MaRDI QIDQ1277186zbMATH OpenOpenAlexFDO

Authors Stefan G. Treatman

Publication date 12 August 1999

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

Full work available at URL https://doi.org/10.1006/jnth.1998.2284

zbMATH Keywords

Dedekind ringsEuclidean ringsideal class groups

Mathematics Subject Classification ID

Class numbers, class groups, discriminants (11R29) Euclidean rings and generalizations (13F07)

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.

Recommendations

• Euclidean spaces
• Euclidean geometry
• Euclidean dynamics
• scientific article; zbMATH DE number 16094
• Symbol correspondence for Euclidean systems
• Generalized number systems in Euclidean spaces
• Methods for Euclidean geometry

Cites work

• A quadratic field which is Euclidean but not norm-Euclidean
• About Euclidean rings
• scientific article; zbMATH DE number 3941638 (Why is no real title available?)
• scientific article; zbMATH DE number 4002217 (Why is no real title available?)
• scientific article; zbMATH DE number 44590 (Why is no real title available?)
• scientific article; zbMATH DE number 3621885 (Why is no real title available?)
• scientific article; zbMATH DE number 589115 (Why is no real title available?)
• scientific article; zbMATH DE number 611919 (Why is no real title available?)
• scientific article; zbMATH DE number 3450338 (Why is no real title available?)
• Non-Galois cubic fields which are Euclidean but not norm-Euclidean
• On Artin's conjecture and Euclid's algorithm in global fields
• The Euclidean algorithm in algebraic number fields

Cited in

(9)

• Generalized Euclidean algorithms
• Euclidean ideal classes in Galois number fields of odd prime degree
• Existence of Euclidean ideal classes beyond certain rank
• scientific article; zbMATH DE number 4152503 (Why is no real title available?)
• scientific article; zbMATH DE number 16094 (Why is no real title available?)
• scientific article; zbMATH DE number 2159256 (Why is no real title available?)
• Systems of distant representatives in euclidean space
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• On the finiteness of $\mathfrak{P}$-adic continued fractions for number fields

This page was built for publication: Euclidean systems

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