Class groups and class fields of algebraic number fields

Author(s):  
Horst G. Zimmer
1952 ◽  
Vol 4 ◽  
pp. 125-129
Author(s):  
Tadasi Nakayama

In a recent paper [3] Tannaka gave an interesting ordering theorem for subfields of a p-adic number field, The purpose of the present note is firstly to observe, on modifying Tannaka’s argument a little, that his restriction to those subfields over which the original field is abelian may be removed and in fact the theorem holds for arbitrary fields which are not p-adic number fields, indeed in a much refined form, and secondly to formulate a similar ordering theorem for algebraic number fields in terms of idèle-class groups in place of element groups.


Author(s):  
David E. Rush

Let R be the ring of integers of a number field K with class group G. It is classical that R is a unique factorization domain if and only if G is the trivial group; and the finite abelian group G is generally considered as a measure of the failure of unique factorization in R. The first arithmetic description of rings of integers with non-trivial class groups was given in 1960 by L. Carlitz (1). He proved that G is a group of order ≤ two if and only if any two factorizations of an element of R into irreducible elements have the same number of factors. In ((6), p. 469, problem 32) W. Narkiewicz asked for an arithmetic characterization of algebraic number fields K with class numbers ≠ 1, 2. This problem was solved for certain class groups with orders ≤ 9 in (2), and for the case that G is cyclic or a product of k copies of a group of prime order in (5). In this note we solve Narkiewicz's problem in general by giving arithmetical characterizations of a ring of integers whose class group G is any given finite abelian group.


Sign in / Sign up

Export Citation Format

Share Document