Euclidean systems (Q1277186): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jnth.1998.2284 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4213102993 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A quadratic field which is Euclidean but not norm-Euclidean / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-Galois cubic fields which are Euclidean but not norm-Euclidean / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3754698 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995206 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Euclidean algorithm in algebraic number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4298518 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Artin's conjecture and Euclid's algorithm in global fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4184958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4295424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3714149 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: About Euclidean rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4773795 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:18, 28 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Euclidean systems |
scientific article |
Statements
Euclidean systems (English)
0 references
12 August 1999
0 references
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.
0 references
Euclidean rings
0 references
Dedekind rings
0 references
ideal class groups
0 references