Namespaces
Variants
Actions

Difference between revisions of "Ideal number"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
An element of the semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i0500401.png" /> of divisors (cf. [[Divisor|Divisor]]) of the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i0500402.png" /> of integers of an algebraic number field. The semi-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i0500403.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i0500404.png" />. They can be identified in a natural way with the ideals (cf. [[Ideal|Ideal]]) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i0500405.png" />.
+
{{TEX|done}}
 +
An element of the semi-group $D$ of divisors (cf. [[Divisor|Divisor]]) of the ring $A$ of integers of an algebraic number field. The semi-group $D$ 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 $A$. They can be identified in a natural way with the ideals (cf. [[Ideal|Ideal]]) of $A$.
  
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i0500406.png" />, the factorization of the corresponding divisor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i0500407.png" /> into the product of prime ideal numbers can be looked at as a substitute for unique factorization into prime factors if factorization in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i0500408.png" /> is not unique.
+
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 $a\in A$, the factorization of the corresponding divisor $\phi(a)$ into the product of prime ideal numbers can be looked at as a substitute for unique factorization into prime factors if factorization in $A$ is not unique.
  
For example, the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i0500409.png" /> of integers of the field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004010.png" /> consists of the numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004011.png" /> with integers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004013.png" />. In this ring, the number 6 has two different factorizations:
+
For example, the ring $A$ of integers of the field $\mathbf Q(\sqrt{-5})$ consists of the numbers $a+b\sqrt{-5}$ with integers $a$ and $b$. In this ring, the number 6 has two different factorizations:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004014.png" /></td> </tr></table>
+
$$6=2\cdot3=(1-\sqrt{-5})(1+\sqrt{-5}),$$
  
where the numbers 2, 3, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004015.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004016.png" /> are pairwise non-associated irreducible (prime) elements of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004017.png" />; thus factorization into irreducible factors in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004018.png" /> is not unique. However, in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004019.png" /> the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004020.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004021.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004022.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004023.png" /> are not irreducible; in fact, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004024.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004026.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004027.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004029.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004030.png" /> are prime ideal numbers in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004031.png" />. Thus, the two factorizations of 6 into irreducible factors in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004032.png" /> give rise to one and the same factorization <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004033.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004034.png" />.
+
where the numbers 2, 3, $1-\sqrt{-5}$, and $1+\sqrt{-5}$ are pairwise non-associated irreducible (prime) elements of $A$; thus factorization into irreducible factors in $A$ is not unique. However, in $D$ the elements $\phi(2)$, $\phi(3)$, $\phi(1+\sqrt{-5})$, and $\phi(1-\sqrt{-5})$ are not irreducible; in fact, $\phi(2)=\mathfrak p_1^2$, $\phi(3)=\mathfrak p_2\mathfrak p_3$, $\phi(1-\sqrt{-5})=\mathfrak p_1\mathfrak p_2$, $\phi(1+\sqrt{-5})=\mathfrak p_1\mathfrak p_3$, where $\mathfrak p_1$, $\mathfrak p_2$ and $\mathfrak p_3$ are prime ideal numbers in $D$. Thus, the two factorizations of 6 into irreducible factors in $A$ give rise to one and the same factorization $\phi(6)=\mathfrak p_1^2\mathfrak p_2\mathfrak p_3$ in $D$.
  
The concept of an ideal number was introduced by E. Kummer in connection with his investigation of the arithmetic of cyclotomic fields (see , [[#References|[2]]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004035.png" /> be the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004036.png" />-th [[Cyclotomic field|cyclotomic field]] for some prime number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004037.png" /> and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004038.png" /> be the ring of integers of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004039.png" />. The ideal numbers for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004040.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004041.png" />, Kummer's theorem (cf. [[Kummer theorem|Kummer theorem]]) was used. Kummer used the fact that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004042.png" /> has basis <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004043.png" /> over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004044.png" /> to investigate the factorization of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004045.png" />-th cyclotomic polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004046.png" /> in the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004047.png" />. The ideal numbers dividing <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004048.png" /> are in one-to-one correspondence with the irreducible factors of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004049.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004050.png" /> (the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004051.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004052.png" />. He developed a similar method for creating a theory of divisibility in fields of the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004053.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004054.png" />.
+
The concept of an ideal number was introduced by E. Kummer in connection with his investigation of the arithmetic of cyclotomic fields (see , [[#References|[2]]]). Let $K=\mathbf Q(\zeta)$ be the $p$-th [[Cyclotomic field|cyclotomic field]] for some prime number $p$ and let $A=\mathbf Z[\zeta]$ be the ring of integers of $K$. The ideal numbers for $A$ 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 $q$, Kummer's theorem (cf. [[Kummer theorem|Kummer theorem]]) was used. Kummer used the fact that $A$ has basis $1,\zeta,\dots,\zeta^{p-2}$ over $\mathbf Z$ to investigate the factorization of the $p$-th cyclotomic polynomial $F_p(X)$ in the ring $(\mathbf Z/q\mathbf Z)[X]$. The ideal numbers dividing $q$ are in one-to-one correspondence with the irreducible factors of $F_p(X)$ in $(\mathbf Z/q\mathbf Z)[X]$ (the case $p=q$ 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 $a\in A$. He developed a similar method for creating a theory of divisibility in fields of the form $\mathbf Q(\zeta,m^{1/p})$, where $m\in\mathbf Q(\zeta)$.
  
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004055.png" />, which was defined by him as the subset of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004056.png" /> consisting of 0 together with all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004057.png" /> that are divisible by this ideal number. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004058.png" /> are generators for the ideal <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004059.png" />, then the ideal number corresponding to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004060.png" /> is the greatest common divisor of the ideal numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004061.png" />.
+
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 $A$, which was defined by him as the subset of $A$ consisting of 0 together with all $a$ that are divisible by this ideal number. If $a_1,\dots,a_n$ are generators for the ideal $I$, then the ideal number corresponding to $I$ is the greatest common divisor of the ideal numbers $\phi(a_1),\dots,\phi(a_n)$.
  
Later, the concept of an ideal was extended to the case of an arbitrary ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i050/i050040/i05004062.png" />; rings for which the concepts of an ideal and a divisor coincide are now called Dedekind rings (cf. [[Dedekind ring|Dedekind ring]]).
+
Later, the concept of an ideal was extended to the case of an arbitrary ring $A$; rings for which the concepts of an ideal and a divisor coincide are now called Dedekind rings (cf. [[Dedekind ring|Dedekind ring]]).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1a]</TD> <TD valign="top">  E. Kummer,  "Zur Theorie der complexen Zahlen"  ''J. Reine Angew. Math.'' , '''35'''  (1847)  pp. 319–326</TD></TR><TR><TD valign="top">[1b]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Commutative algebra" , Addison-Wesley  (1972)  (Translated from French)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N. Bourbaki,  "Outline of the history of mathematics" , Springer  (to appear)  (Translated from French)</TD></TR></table>
 
<table><TR><TD valign="top">[1a]</TD> <TD valign="top">  E. Kummer,  "Zur Theorie der complexen Zahlen"  ''J. Reine Angew. Math.'' , '''35'''  (1847)  pp. 319–326</TD></TR><TR><TD valign="top">[1b]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  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</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  N. Bourbaki,  "Elements of mathematics. Commutative algebra" , Addison-Wesley  (1972)  (Translated from French)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  N. Bourbaki,  "Outline of the history of mathematics" , Springer  (to appear)  (Translated from French)</TD></TR></table>

Latest revision as of 12:16, 22 August 2014

An element of the semi-group $D$ of divisors (cf. Divisor) of the ring $A$ of integers of an algebraic number field. The semi-group $D$ 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 $A$. They can be identified in a natural way with the ideals (cf. Ideal) of $A$.

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 $a\in A$, the factorization of the corresponding divisor $\phi(a)$ into the product of prime ideal numbers can be looked at as a substitute for unique factorization into prime factors if factorization in $A$ is not unique.

For example, the ring $A$ of integers of the field $\mathbf Q(\sqrt{-5})$ consists of the numbers $a+b\sqrt{-5}$ with integers $a$ and $b$. In this ring, the number 6 has two different factorizations:

$$6=2\cdot3=(1-\sqrt{-5})(1+\sqrt{-5}),$$

where the numbers 2, 3, $1-\sqrt{-5}$, and $1+\sqrt{-5}$ are pairwise non-associated irreducible (prime) elements of $A$; thus factorization into irreducible factors in $A$ is not unique. However, in $D$ the elements $\phi(2)$, $\phi(3)$, $\phi(1+\sqrt{-5})$, and $\phi(1-\sqrt{-5})$ are not irreducible; in fact, $\phi(2)=\mathfrak p_1^2$, $\phi(3)=\mathfrak p_2\mathfrak p_3$, $\phi(1-\sqrt{-5})=\mathfrak p_1\mathfrak p_2$, $\phi(1+\sqrt{-5})=\mathfrak p_1\mathfrak p_3$, where $\mathfrak p_1$, $\mathfrak p_2$ and $\mathfrak p_3$ are prime ideal numbers in $D$. Thus, the two factorizations of 6 into irreducible factors in $A$ give rise to one and the same factorization $\phi(6)=\mathfrak p_1^2\mathfrak p_2\mathfrak p_3$ in $D$.

The concept of an ideal number was introduced by E. Kummer in connection with his investigation of the arithmetic of cyclotomic fields (see , [2]). Let $K=\mathbf Q(\zeta)$ be the $p$-th cyclotomic field for some prime number $p$ and let $A=\mathbf Z[\zeta]$ be the ring of integers of $K$. The ideal numbers for $A$ 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 $q$, Kummer's theorem (cf. Kummer theorem) was used. Kummer used the fact that $A$ has basis $1,\zeta,\dots,\zeta^{p-2}$ over $\mathbf Z$ to investigate the factorization of the $p$-th cyclotomic polynomial $F_p(X)$ in the ring $(\mathbf Z/q\mathbf Z)[X]$. The ideal numbers dividing $q$ are in one-to-one correspondence with the irreducible factors of $F_p(X)$ in $(\mathbf Z/q\mathbf Z)[X]$ (the case $p=q$ 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 $a\in A$. He developed a similar method for creating a theory of divisibility in fields of the form $\mathbf Q(\zeta,m^{1/p})$, where $m\in\mathbf Q(\zeta)$.

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 $A$, which was defined by him as the subset of $A$ consisting of 0 together with all $a$ that are divisible by this ideal number. If $a_1,\dots,a_n$ are generators for the ideal $I$, then the ideal number corresponding to $I$ is the greatest common divisor of the ideal numbers $\phi(a_1),\dots,\phi(a_n)$.

Later, the concept of an ideal was extended to the case of an arbitrary ring $A$; rings for which the concepts of an ideal and a divisor coincide are now called Dedekind rings (cf. Dedekind ring).

References

[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
[2] 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
[3] 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
[4] N. Bourbaki, "Elements of mathematics. Commutative algebra" , Addison-Wesley (1972) (Translated from French)
[5] N. Bourbaki, "Outline of the history of mathematics" , Springer (to appear) (Translated from French)
How to Cite This Entry:
Ideal number. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Ideal_number&oldid=15818
This article was adapted from an original article by L.V. Kuz'min (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article