Ideal Class Group - History and Origin of The Ideal Class Group

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:

    When the landscape buckles and jerks around, when a dust column of debris rises from the collapse of a block of buildings on bodies that could have been your own, when the staves of history fall awry and the barrel of time bursts apart, some turn to prayer, some to poetry: words in the memory, a stained book carried close to the body, the notebook scribbled by hand—a center of gravity.
    Adrienne Rich (b. 1929)

    Though I do not believe that a plant will spring up where no seed has been, I have great faith in a seed,—a, to me, equally mysterious origin for it.
    Henry David Thoreau (1817–1862)

    ... probably all of the women in this book are working to make part of the same quilt to keep us from freezing to death in a world that grows harsher and bleaker—where male is the norm and the ideal human being is hard, violent and cold: a macho rock. Every woman who makes of her living something strong and good is sharing bread with us.
    Marge Piercy (b. 1936)

    A revolution is not a dinner party, or writing an essay, or painting a picture, or doing embroidery; it cannot be so refined, so leisurely and gentle, so temperate, kind, courteous, restrained and magnanimous. A revolution is an insurrection, an act of violence by which one class overthrows another.
    Mao Zedong (1893–1976)

    There is nothing in the world that I loathe more than group activity, that communal bath where the hairy and slippery mix in a multiplication of mediocrity.
    Vladimir Nabokov (1899–1977)