In 1976, Onabe discovered that, in contrast to the Neukirch-Uchida
results that were proved around the same time, a number field
is not completely characterized by its absolute abelian Galois group
. The first examples
of nonisomorphic
having isomorphic
were obtained on the basis of a classification by Kubota of idele class character groups in
terms of their infinite families of Ulm invariants, and did not yield a description
of .
In this paper, we provide a direct “computation” of the profinite group
for imaginary quadratic
, and use it to obtain
many different
that all have the
same minimal absolute abelian Galois group.
Keywords
absolute Galois group, class field theory, group extensions