|WikiProject Mathematics||(Rated Start-class, Low-importance)|
I would like to propose two changes here: it is unnecessary to invoke the Principalization theorem or the Hilbert Class Field. By finiteness of the class number, for every ideal in the number field there is a positive integer such that is principal. If , then by adjoining any th root of to the number field we go to an extension where unique factorization of ideals shows that , so the ideal number that generates is an th root of an actual number in the domain. Something along those lines might perhaps replace the mention of the Hilbert Class Field.
Second, Harold Edwards and others argue, I think persuasively, that Kummer was mainly investigating higher reciprocity laws rather than Fermat's last theorem when he came up with ideal numbers. Rather than categorically state either one, perhaps something along the lines of "while investigating higher reciprocity laws and also trying to solve Fermat's last theorem."
Further references for the history of ideal numbers.
I don't have the time to add material from these references, but someone else might. These references are quite easy to obtain. At least they should be added at the end of the article in further support of the history part of the article.
Eric Temple Bell, "The development of mathematics", second edition, McGraw-Hill, 1940, 1945, 1967, 1972, 1992, ISBN 978-0-486-27239-9, pages 218, 223–224. — Preceding unsigned comment added by Alan U. Kennington (talk • contribs) 19:00, 13 June 2015 (UTC)