Earlier Work
A special case of the existence theorem is when m = 1 and H = P1. In this case the generalized ideal class group is the ideal class group of K, and the existence theorem says there exists a unique abelian extension L/K with Galois group isomorphic to the ideal class group of K such that L is unramified at all places of K. This extension is called the Hilbert class field. It was conjectured by David Hilbert to exist, and existence in this special case was proved by Furtwängler in 1907, before Takagi's general existence theorem.
A further and special property of the Hilbert class field, not true of other abelian extensions of a number field, is that all ideals in a number field become principal in the Hilbert class field. It required Artin and Furtwängler to prove that principalization occurs.
Read more about this topic: Takagi Existence Theorem
Famous quotes containing the words earlier work, earlier and/or work:
“The earlier works of a man of genius are always preferred to the newer ones, in order to prove that he is going down instead of up.”
—Victor Hugo (1802–1885)
“Western hospitality prevails; it is reminiscent of the kind displayed earlier here by a host who said to an unexpected guest, “Stranger, you take the wold skin and the chaw o’ sowbelly—I’ll rough it.””
—Administration in the State of Texa, U.S. public relief program (1935-1943)
“The truth of the thoughts that are here set forth seems to me unassailable and definitive. I therefore believe myself to have found, on all essential points, the final solution of the problems. And if I am not mistaken in this belief, then the second thing in which the value of this work consists is that it shows how little is achieved when these problems are solved.”
—Ludwig Wittgenstein (1889–1951)