Volviendo a la idea de Kummer de pensar al anillo dentro de uno mas grande, para todo cuerpo de numeros K existe una extension finita L (que es la maxima extension abeliana no ramificada) tal que {\cal O}_K\subset {\cal O}_L y {\cal O}_L sí es un dominio de factorizacion unica.