e22c49fa52233054.tex
1: \begin{abstract}
2: In 1976, Onabe discovered that, in contrast to the Neukirch-Uchida
3: results that were proved around the same time, a number field $K$ is not
4: completely characterized by its absolute abelian Galois group $A_K$.
5: The first examples of nonisomorphic $K$ having isomorphic $A_K$
6: were obtained on the basis of a classification by Kubota of idele class
7: character groups in terms of their infinite families of Ulm invariants,
8: and did not yield a description of~$A_K$.
9: In this paper, we provide a direct `computation' of the profinite 
10: group $A_K$ for imaginary quadratic $K$, and use it to obtain
11: \emph{many} different $K$ that all have 
12: the \emph{same} \emph{minimal} absolute abelian Galois group.
13: \end{abstract}
14: