An element of the semi-group of divisors (cf. Divisor) of the ring of integers of an algebraic number field. The semi-group is a free commutative semi-group with identity; its free generators are called prime ideal numbers. In modern terminology, ideal numbers are known as integral divisors of . They can be identified in a natural way with the ideals (cf. Ideal) of .
Ideal numbers were introduced in connection with the absence of uniqueness of factorization into prime factors in the ring of integers of an algebraic number field. For every , the factorization of the corresponding divisor into the product of prime ideal numbers can be looked at as a substitute for unique factorization into prime factors if factorization in is not unique.
For example, the ring of integers of the field consists of the numbers with integers and . In this ring, the number 6 has two different factorizations:
where the numbers 2, 3, , and are pairwise non-associated irreducible (prime) elements of ; thus factorization into irreducible factors in is not unique. However, in the elements , , , and are not irreducible; in fact, , , , , where , and are prime ideal numbers in . Thus, the two factorizations of 6 into irreducible factors in give rise to one and the same factorization in .
The concept of an ideal number was introduced by E. Kummer in connection with his investigation of the arithmetic of cyclotomic fields (see , ). Let be the -th cyclotomic field for some prime number and let be the ring of integers of . The ideal numbers for were defined to be the products of prime ideal numbers, and the latter as the "ideal" prime divisors of natural prime numbers. To construct all the prime ideal numbers contained in a given natural prime number , Kummer's theorem (cf. Kummer theorem) was used. Kummer used the fact that has basis over to investigate the factorization of the -th cyclotomic polynomial in the ring . The ideal numbers dividing are in one-to-one correspondence with the irreducible factors of in (the case required a somewhat different approach). A special method was applied to determine the exponent with which a given prime ideal number occurs in a given . He developed a similar method for creating a theory of divisibility in fields of the form , where .
The extension of the theory of ideal numbers to the case of arbitrary algebraic fields is due mainly to L. Kronecker and R. Dedekind. A division of the theory of ideal numbers into the theory of divisors (the approach of Kronecker) and the theory of ideals begins to appear in their papers. Dedekind associated with every ideal number a unique ideal of the ring , which was defined by him as the subset of consisting of 0 together with all that are divisible by this ideal number. If are generators for the ideal , then the ideal number corresponding to is the greatest common divisor of the ideal numbers .
Later, the concept of an ideal was extended to the case of an arbitrary ring ; rings for which the concepts of an ideal and a divisor coincide are now called Dedekind rings (cf. Dedekind ring).
|[1a]||E. Kummer, "Zur Theorie der complexen Zahlen" J. Reine Angew. Math. , 35 (1847) pp. 319–326|
|[1b]||E. Kummer, "Ueber die Zerlegung der aus Wurzeln der Einheit gebildeten complexen Zahlen in ihre Primfactoren" J. Reine Angew. Math. , 35 (1847) pp. 327–367|
|||E. Kummer, "Mémoire sur la théorie des nombres complexes composés de racines de l'unité et de nombres entiers" J. Math. Pures Appl. , 16 (1851) pp. 377–498|
|||H.M. Edwards, "The background of Kummer's proof of Fermat's last theorem for regular primes" Arch. Hist. Exact Sci. : 3 (1975) pp. 219–236|
|||N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French)|
|||N. Bourbaki, "Outline of the history of mathematics" , Springer (to appear) (Translated from French)|
Ideal number. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ideal_number&oldid=15818