Idealklassen

Idealklassen is a concept in algebraic number theory describing a way to classify ideals in the ring of integers of a number field. For a number field K with ring of integers O_K, consider the nonzero fractional ideals of O_K. Two such ideals a and b are considered equivalent if their quotient a/b is a principal ideal. The set of equivalence classes, equipped with the operation induced by ideal multiplication [a] · [b] = [ab], forms the ideal class group, denoted Cl(K). This group is finite and abelian; its order h_K is called the class number.

The ideal class group measures the failure of unique factorization in O_K. If Cl(K) is trivial (has only one element), then every ideal is principal and O_K is a principal ideal domain, implying unique factorization of elements. Conversely, a nontrivial class group indicates the existence of nonprincipal ideals and a departure from unique factorization at the level of elements.

Examples illustrate the concept. For K = Q, O_K is the ring of integers Z, which has class number 1. A classical nontrivial example is K = Q(√-5), where the class number h_K = 2; the nonprincipal ideal class can be represented by the ideal (2, 1+√-5) in Z[√-5], reflecting non-unique factorization in this ring.

Computation of the class group involves methods such as Minkowski bounds and reduction of ideals, together with knowledge of the unit group (via Dirichlet’s unit theorem). The ideal class group plays a central role in many areas of number theory, including the study of Diophantine equations, L-functions, and the arithmetic of algebraic number fields.