On K-Stage Euclidean algorithms for Galois extensions of Q.
Let be a number field generated by a complex root of a monic irreducible polynomial , , is a square free rational integer. We prove that if or and , then the number field is monogenic. If or , then the number field is not monogenic.
We compute the -theory of -algebras generated by the left regular representation of left Ore semigroups satisfying certain regularity conditions. Our result describes the -theory of these semigroup -algebras in terms of the -theory for the reduced group -algebras of certain groups which are typically easier to handle. Then we apply our result to specific semigroups from algebraic number theory.
We show that the S-Euclidean minimum of an ideal class is a rational number, generalizing a result of Cerri. In the proof, we actually obtain a slight refinement of this and give some corollaries which explain the relationship of our results with Lenstra's notion of a norm-Euclidean ideal class and the conjecture of Barnes and Swinnerton-Dyer on quadratic forms. In particular, we resolve a conjecture of Lenstra except when the S-units have rank one. The proof is self-contained but uses ideas from...