Editing Ideal class group (section)

==Properties<!--'Class number (number theory)' redirects here-->==
The ideal class group is trivial (i.e. has only one element) if and only if all ideals of <math>R</math> are principal. In this sense, the ideal class group measures how far <math>R</math> is from being a [[principal ideal domain]], and hence from satisfying unique prime factorization (Dedekind domains are [[unique factorization domain]]s if and only if they are principal ideal domains).

The number of ideal classes—the '''{{vanchor|class number}}'''<!--boldface per WP:R#PLA--> of <math>R</math>—may be infinite in general. In fact, every abelian group is [[group isomorphism|isomorphic]] to the ideal class group of some Dedekind domain.<ref>{{harvnb|Claborn|1966}}</ref> But if <math>R</math> 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 of an algebraic number field|discriminant]], using [[Minkowski's bound]]. This result gives a bound, depending on the ring, such that every ideal class contains an [[ideal norm]] less than the 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.

The mapping from rings of integers <math>R</math> to their corresponding class groups is [[functor]]ial, and the class group can be subsumed under the heading of [[algebraic K-theory]], with <math>K_0(R)</math> being the functor assigning to <math>R</math> its ideal class group; more precisely, <math>K_0(R)=\Z\times C(R)</math>, where <math>C(R)</math> is the class group. Higher <math>K</math>-groups can also be employed and interpreted arithmetically in connection to rings of integers.