Prime ideals were an essential tool for Dedekind to save or restore unique factorization. Is it fair to say that the shift from Kummer's ideal numbers to Dedekind's ideals (with prime ideals, and so on) corresponds to a shift towards a class of really algebraic numbers (the former being just a precedent, so to speak?
Thanks in advance.
See :