Entre 1844 y 1846 Ernst Kummer demostró que la factorización no única podía ser salvada mediante la introducción de números complejos ideales.