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, origin, ideal, class and/or group:
“While the Republic has already acquired a history world-wide, America is still unsettled and unexplored. Like the English in New Holland, we live only on the shores of a continent even yet, and hardly know where the rivers come from which float our navy.”
—Henry David Thoreau (18171862)
“For, though the origin of most of our words is forgotten, each word was at first a stroke of genius, and obtained currency, because for the moment it symbolized the world to the first speaker and to the hearer. The etymologist finds the deadest word to have been once a brilliant picture.”
—Ralph Waldo Emerson (18031882)
“I simply contend that the middle-class ideal which demands that people be affectionate, respectable, honest and content, that they avoid excitements and cultivate serenity is the ideal that appeals to me, it is in short the ideal of affectionate family life, of honorable business methods.”
—Gertrude Stein (18741946)
“But you must know the class of sweet womenwho are always so happy to declare they have all the rights they want; they are perfectly willing to let their husbands vote for themMare and always have been numerous, though it is an occasion for thankfulness that they are becoming less so.”
—Eliza Mother Stewart (18161908)
“[The Republicans] offer ... a detailed agenda for national renewal.... [On] reducing illegitimacy ... the state will use ... funds for programs to reduce out-of-wedlock pregnancies, to promote adoption, to establish and operate childrens group homes, to establish and operate residential group homes for unwed mothers, or for any purpose the state deems appropriate. None of the taxpayer funds may be used for abortion services or abortion counseling.”
—Newt Gingrich (b. 1943)