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)
“I love art, and I love history, but it is living art and living history that I love.... It is in the interest of living art and living history that I oppose so-called restoration. What history can there be in a building bedaubed with ornament, which cannot at the best be anything but a hopeless and lifeless imitation of the hope and vigour of the earlier world?”
—William Morris (1834–1896)
“We must work earnestly in the best light He gives us.”
—Abraham Lincoln (1809–1865)