Abstract
Let K be a number field with unit rank at least four, containing a subfield M such that K/M is Galois of degree at least four. We show that the ring of integers of K is a Euclidean domain if and only if it is a principal ideal domain. This was previously known under the assumption of the generalized Riemann Hypothesis for Dedekind zeta functions. We prove this unconditionally.
Original language | English (US) |
---|---|
Pages (from-to) | 181-190 |
Number of pages | 10 |
Journal | Proceedings of the American Mathematical Society |
Volume | 141 |
Issue number | 1 |
DOIs | |
State | Published - 2012 |
Externally published | Yes |
Keywords
- Euclidean algorithm
- Large sieve
- Primitive roots