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".
Таким образом, дедекиндовы кольца — это класс колец, для которых Frac(R)/Prin(R) является группой, называемой группой классов идеалов Cl(R) кольца "R".