Sé que Ernst Kummer fue el primero en utilizar los "números complejos ideales" y, basándose en eso, Dedekind introdujo más tarde sus "ideales" en Vorlesungen über Zahlentheorie. Pero, ¿quién acuñó el término "ideal primo"? ¿Kummer? ¿Dedekind? Agradecería una referencia específica al trabajo donde aparecen (una definición sería genial). Gracias de antemano.
Respuesta
¿Demasiados anuncios?
Es es Dedekind, en su artículo de $1871$ Vorlesungen über Zahlentheorie von P.G. Lejeune Dirichlet quien lo define: un ideal $\mathfrak{p}$ distinto de $\mathfrak{o}$ (anillo de enteros de un campo numérico, según recuerdo el artículo) y que no tiene otros divisores aparte de $\mathfrak{o}$ y $\mathfrak{p}$ se llama un ideal primo. Bourbaki (en las notas históricas de Algèbre o Algèbre commutative) menciona y confirma esto.
