in number theory, the ideal class group (or class group) of an algebraic number field is the quotient group where is the group of fractional ideals of the ring of integers of , and 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 . the order of the group, which is finite, is called the class number of .