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)
“Simile and Metaphor differ only in degree of stylistic refinement. The Simile, in which a comparison is made directly between two objects, belongs to an earlier stage of literary expression; it is the deliberate elaboration of a correspondence, often pursued for its own sake. But a Metaphor is the swift illumination of an equivalence. Two images, or an idea and an image, stand equal and opposite; clash together and respond significantly, surprising the reader with a sudden light.”
—Sir Herbert Read (1893–1968)
“A work of art is an echo chamber which repeats what people say about it.”
—Mason Cooley (b. 1927)