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 and/or work:
“In old persons, when thus fully expressed, we often observe a fair, plump, perennial waxen complexion, which indicates that all the ferment of earlier days has subsided into serenity of thought and behavior.”
—Ralph Waldo Emerson (1803–1882)
““As for myself, I am simply Hop-Frog, the jester—and this is my last jest.”... The Work of vengeance was complete.”
—Edgar Allan Poe (1809–1849)