Para un dominio de Dedekind R sea I_R el grupo de ideales fraccionarios con la multiplicacion (notar que esto es efectivamente un grupo ya que los ideales fraccionarios son inversibles) y consideremos el subgrupo P_R\subset I_R de ideales fraccionarios principales.