the theory extends to dedekind domains and their field 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.