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.