the ideal class group is trivial (i.e. has only one element) if and only if all ideals of "r" are principal. in this sense, the ideal class group measures how far "r" is from being a principal ideal domain, and hence from satisfying unique prime factorization (dedekind domains are unique factorization domains if and only if they are principal ideal domains).