En el caso del anillo de enteros {\cal O}_K de un cuerpo de numeros K, es sorprendente que el grupo de clases Cl_K es finito (o sea que en principio {\cal O}_k no estaba tan lejos de ser un dominio de ideales pricipales ni de tener factorizacion unica).