Class Group

Let K be a number field, then each fractional ideal I of K belongs to an equivalence class [I] consisting of all fractional ideals J satisfying I=alphaJ for some nonzero element alpha of K. The number of equivalence classes of fractional ideals of K is a finite number, known as the class number of K. Multiplication of equivalence classes of fractional ideals is defined in the obvious way, i.e., by letting [I][J]=[IJ]. It is easy to show that with this definition, the set of equivalence classes of fractional ideals form an Abelian multiplicative group, known as the class group of K.

See also

Class Number, Equivalence Class, Fractional Ideal

This entry contributed by David Terr

Explore with Wolfram|Alpha


Marcus, D. A. Number Fields, 3rd ed. New York: Springer-Verlag, 1996.

Referenced on Wolfram|Alpha

Class Group

Cite this as:

Terr, David. "Class Group." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein.

Subject classifications