Skip to main content
2 of 3
added 10 characters in body
Cam McLeman
  • 8.5k
  • 3
  • 51
  • 65

Yes, there are many such fields.

(Edit: Let me put up here that "many" is still finite, and only in the hundreds if my list below represents most of the known examples. Note that "state-of-the-art" is still pretty primitive here -- infinitely many examples would give infinitely many number fields with class number one, which we don't know to exist (but strongly strongly suspect to!).)

As Torsten brings up (and what I believe is behind the homework exercise in Washington), the Odlyzko bounds are really the key here. The remarkable result that comes from these bounds is:

The ring of integers in any number field with sufficiently small root discriminant has trivial fundamental group, i.e., admits no non-trivial unramified extensions.

Large classes of these are known:

  • All quadratic imaginary number fields with class number 1 (of which there are 9)
  • All cyclotomic fields with class number 1 (of which there are 30)
  • All real quadratic fields with prime-power conductor $\leq 67$ (I count 9).
  • The top of the class field tower over a quadratic imaginary number field $K$ for many many $K$, including at least all such number fields with conductor $\leq 1000$ (a couple hundred).

The last two of these are work of Yamamura (results spread out, but see "Maximal Unramified Extensions of Imaginary Quadratic Fields of Small Conductors", parts I and II).

While I'm here, this last one answers affirmatively the question brought up by Minhyong in the comments. For example, $\mathbb{Q}(\sqrt{-771})$ has a ring of integers with fundamental group $S_4\times \mathbb{Z}/3\mathbb{Z}$, for this is precisely the Galois group of the Hilbert class field tower over this base. Finite but non-trivial. Many other examples of fundamental groups that can show up in this way are found in Yamamura.

I think the natural follow-up (and incredibly interesting) question is to classify exactly which groups can show up in this fashion. This is completely intractable at the moment (modulo some easy partial results in both directions).

Cam McLeman
  • 8.5k
  • 3
  • 51
  • 65