Talk:Ideal number

From Wikipedia, the free encyclopedia

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 I in the number field there is a positive integer n such that Iⁿ is principal. If Iⁿ = (a), then by adjoining any nth root of a to the number field we go to an extension where unique factorization of ideals shows that I = (a^{1 / n}), so the ideal number that generates I is an nth 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."