No es dificil ver que {\cal O}_K es un anillo de Dedekind; llamemos Cl_K a su grupo de clases.