History and Origin of The Ideal Class Group
Ideal class groups (or, rather, what were effectively ideal class groups) were studied some time before the idea of an ideal was formulated. These groups appeared in the theory of quadratic forms: in the case of binary integral quadratic forms, as put into something like a final form by Gauss, a composition law was defined on certain equivalence classes of forms. This gave a finite abelian group, as was recognised at the time.
Later Kummer was working towards a theory of cyclotomic fields. It had been realised (probably by several people) that failure to complete proofs in the general case of Fermat's last theorem by factorisation using the roots of unity was for a very good reason: a failure of the fundamental theorem of arithmetic to hold in the rings generated by those roots of unity was a major obstacle. Out of Kummer's work for the first time came a study of the obstruction to the factorisation. We now recognise this as part of the ideal class group: in fact Kummer had isolated the p-torsion in that group for the field of p-roots of unity, for any prime number p, as the reason for the failure of the standard method of attack on the Fermat problem (see regular prime).
Somewhat later again Dedekind formulated the concept of ideal, Kummer having worked in a different way. At this point the existing examples could be unified. It was shown that while rings of algebraic integers do not always have unique factorization into primes (because they need not be principal ideal domains), they do have the property that every proper ideal admits a unique factorization as a product of prime ideals (that is, every ring of algebraic integers is a Dedekind domain). The size of the ideal class group can be considered as a measure for the deviation of a ring from being a principal domain; a ring is a principal domain if and only if it has a trivial ideal class group.
Read more about this topic: Ideal Class Group
Famous quotes containing the words history and, history, origin, ideal, class and/or group:
“We don’t know when our name came into being or how some distant ancestor acquired it. We don’t understand our name at all, we don’t know its history and yet we bear it with exalted fidelity, we merge with it, we like it, we are ridiculously proud of it as if we had thought it up ourselves in a moment of brilliant inspiration.”
—Milan Kundera (b. 1929)
“Philosophy of science without history of science is empty; history of science without philosophy of science is blind.”
—Imre Lakatos (1922–1974)
“Our theism is the purification of the human mind. Man can paint, or make, or think nothing but man. He believes that the great material elements had their origin from his thought.”
—Ralph Waldo Emerson (1803–1882)
“... my whole existence is governed by abstract ideas.... the ideal must be preserved regardless of fact.”
—Mary Corinna Putnam (1842–1906)
“The Americans never use the word peasant, because they have no idea of the class which that term denotes; the ignorance of more remote ages, the simplicity of rural life, and the rusticity of the villager have not been preserved among them; and they are alike unacquainted with the virtues, the vices, the coarse habits, and the simple graces of an early stage of civilization.”
—Alexis de Tocqueville (1805–1859)
“The trouble with tea is that originally it was quite a good drink. So a group of the most eminent British scientists put their heads together, and made complicated biological experiments to find a way of spoiling it. To the eternal glory of British science their labour bore fruit.”
—George Mikes (b. 1912)