In mathematics, the ideal class group (or class group) of an algebraic number field K is the quotient group JK /PK where JK is the group of fractional ideals of the ring of integers of K, and PK is its subgroup of principal ideals.
The class group is a measure of the extent to which unique factorization fails in the ring of integers of K. The order of the group, which is finite, is called the class number of K. The theory extends to Dedekind domains and their fields of fractions, for which the multiplicative properties are intimately tied to the structure of the class group.
For example, the class group of a Dedekind domain is trivial if and only if the ring is a unique factorization domain.
This gave a finite abelian group, as was recognised at the time.
Later Ernst 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 unique factorization – i.e., 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 factorization.
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 Richard Dedekind formulated the concept of an ideal, Kummer having worked in a different way.
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).
(Here the notation (a) means the principal ideal of R consisting of all the multiples of a.)
In general, such a J may not exist and consequently the set of ideal classes of R may only be a monoid.
However, if R is the ring of algebraic integers in an algebraic number field, or more generally a Dedekind domain, the multiplication defined above turns the set of fractional ideal classes into an abelian group, the ideal class group of R. The group property of existence of inverse elements follows easily from the fact that, in a Dedekind domain, every non-zero ideal (except R) is a product of prime ideals.
[1] But if R is a ring of algebraic integers, then the class number is always finite.
This is one of the main results of classical algebraic number theory.
Computation of the class group is hard, in general; it can be done by hand for the ring of integers in an algebraic number field of small discriminant, using Minkowski's bound.
In general the bound is not sharp enough to make the calculation practical for fields with large discriminant, but computers are well suited to the task.
Higher K groups can also be employed and interpreted arithmetically in connection to rings of integers.
It was remarked above that the ideal class group provides part of the answer to the question of how much ideals in a Dedekind domain behave like elements.
The other part of the answer is provided by the group of units of the Dedekind domain, since passage from principal ideals to their generators requires the use of units (and this is the rest of the reason for introducing the concept of fractional ideal, as well): Define a map from R× to the set of all nonzero fractional ideals of R by sending every element to the principal (fractional) ideal it generates.
This is a group homomorphism; its kernel is the group of units of R, and its cokernel is the ideal class group of R. The failure of these groups to be trivial is a measure of the failure of the map to be an isomorphism: that is the failure of ideals to act like ring elements, that is to say, like numbers.
is a square-free integer (a product of distinct primes) other than 1, then
This result was first conjectured by Gauss and proven by Kurt Heegner, although Heegner's proof was not believed until Harold Stark gave a later proof in 1967.
This is a special case of the famous class number problem.
is isomorphic to the class group of integral binary quadratic forms of discriminant equal to the discriminant of
For d > 0, the ideal class group may be half the size since the class group of integral binary quadratic forms is isomorphic to the narrow class group of
It does not possess unique factorization; in fact the class group of R is cyclic of order 2.
Showing that there aren't any other ideal classes requires more effort.
The fact that this J is not principal is also related to the fact that the element 6 has two distinct factorisations into irreducibles: Class field theory is a branch of algebraic number theory which seeks to classify all the abelian extensions of a given algebraic number field, meaning Galois extensions with abelian Galois group.
The Hilbert class field L of a number field K is unique and has the following properties: Neither property is particularly easy to prove.