Now we can appreciate (DD3): in a Dedekind domain (and only in a Dedekind domain) every fractional ideal is invertible. Thus these are precisely the class of domains for which Frac(R)/Prin(R) forms a group, the ideal class group Cl(R) of R. This group is trivial if and only if R is a PID, so can be viewed as quantifying the obstruction to a general Dedekind domain being a PID.
