बीजगणितीय पूर्णांक

बीजगणितीय संख्या सिद्धांत में, एक बीजगणितीय पूर्णांक एक जटिल संख्या है जो पूर्णांक # बीजगणितीय गुणों पर अभिन्न तत्व है। अर्थात्, एक बीजगणितीय पूर्णांक कुछ मोनिक बहुपद (एक बहुपद जिसका प्रमुख गुणांक 1 है) के बहुपद का एक जटिल मूल है, जिसके गुणांक पूर्णांक हैं। सभी बीजगणितीय पूर्णांकों का समुच्चय $A$ जोड़, घटाव और गुणा के तहत बंद है और इसलिए जटिल संख्याओं का एक क्रमविनिमेय वलय है।

किसी संख्या फ़ील्ड के पूर्णांकों का वलय $K$, द्वारा चिह्नित $\mathcal{O}_{K}$, का प्रतिच्छेदन (सेट सिद्धांत) है $K$ और $A$: इसे क्षेत्र (गणित) के अधिकतम आदेश (रिंग थ्योरी) के रूप में भी वर्णित किया जा सकता है $K$. प्रत्येक बीजगणितीय पूर्णांक किसी संख्या क्षेत्र के पूर्णांकों के वलय से संबंधित होता है। एक संख्या $α$ एक बीजगणितीय पूर्णांक है अगर और केवल अगर अंगूठी $$\mathbb{Z}[\alpha]$$ एबेलियन समूह के रूप में अंतिम रूप से उत्पन्न एबेलियन समूह है, जिसे कहना है, एक के रूप में $$\mathbb{Z}$$-मॉड्यूल (गणित)।

परिभाषाएँ
निम्नलिखित एक बीजगणितीय पूर्णांक की समतुल्य परिभाषाएँ हैं। होने देना $K$ एक संख्या क्षेत्र हो (यानी, का एक परिमित विस्तार $$\mathbb{Q}$$, परिमेय संख्याओं का क्षेत्र), दूसरे शब्दों में, $$K = \Q(\theta)$$ कुछ बीजगणितीय संख्या के लिए $$\theta \in \Complex$$ आदिम तत्व प्रमेय द्वारा।


 * $α ∈ K$ एक बीजगणितीय पूर्णांक है यदि एक मोनिक बहुपद मौजूद है $$f(x) \in \Z[x]$$ ऐसा है कि $f(α) = 0$.
 * $α ∈ K$ एक बीजगणितीय पूर्णांक है यदि न्यूनतम बहुपद (क्षेत्र सिद्धांत) का मोनिक बहुपद $α$ ऊपर $$\mathbb{Q}$$ में है $$\Z[x]$$.
 * $α ∈ K$ एक बीजगणितीय पूर्णांक है यदि $$\Z[\alpha]$$ एक निश्चित रूप से उत्पन्न होता है $$\Z$$-मापांक।
 * $α ∈ K$ एक बीजगणितीय पूर्णांक है यदि कोई गैर-शून्य अंतिम रूप से उत्पन्न होता है $$\Z$$submodule $$M \subset \Complex$$ ऐसा है कि $αM ⊆ M$.

बीजगणितीय पूर्णांक रिंग एक्सटेंशन के अभिन्न तत्वों का एक विशेष मामला है। विशेष रूप से, एक बीजगणितीय पूर्णांक परिमित विस्तार का एक अभिन्न तत्व है $$K / \mathbb{Q}$$.

उदाहरण
1, \alpha, \dfrac{\alpha^2 \pm k^2 \alpha + k^2}{3k} & m \equiv \pm 1 \bmod 9 \\ 1, \alpha, \dfrac{\alpha^2}k & \text{otherwise} \end{cases}$$
 * एकमात्र बीजगणितीय पूर्णांक जो परिमेय संख्याओं के समुच्चय में पाए जाते हैं, पूर्णांक हैं। दूसरे शब्दों में, का प्रतिच्छेदन $$\mathbb{Q}$$ और $A$ बिल्कुल सही है $$\mathbb{Z}$$. तर्कसंगत संख्या $a⁄b$ एक बीजगणितीय पूर्णांक नहीं है जब तक $b$ भाजक $a$. ध्यान दें कि बहुपद का प्रमुख गुणांक $bx − a$ पूर्णांक है $b$. एक अन्य विशेष मामले के रूप में, वर्गमूल $$\sqrt{n}$$ एक गैर-नकारात्मक पूर्णांक का $n$ एक बीजगणितीय पूर्णांक है, लेकिन अपरिमेय संख्या है जब तक $n$ वर्ग संख्या है।
 * अगर $d$ एक वर्ग-मुक्त पूर्णांक है तो फील्ड एक्सटेंशन $$K = \mathbb{Q}(\sqrt{d}\,)$$ परिमेय संख्याओं का द्विघात क्षेत्र विस्तार है। बीजगणितीय पूर्णांकों का वलय $\mathcal{O}_{K}$ रोकना $$\sqrt{d}$$ चूंकि यह मोनिक बहुपद की जड़ है $x^{2} − d$. इसके अलावा, अगर $d ≡ 1 mod 4$, फिर तत्व $\frac{1}{2}(1 + \sqrt{d}\,)$ एक बीजगणितीय पूर्णांक भी है। यह बहुपद को संतुष्ट करता है $x^{2} − x + 1⁄4(1 − d)$ जहां निरंतर शब्द $1⁄4(1 − d)$ एक पूर्णांक है। पूर्णांकों का पूरा वलय किसके द्वारा उत्पन्न होता है $$\sqrt{d}$$ या $\frac{1}{2}(1 + \sqrt{d}\,)$  क्रमश। अधिक के लिए द्विघात पूर्णांक देखें।
 * क्षेत्र के पूर्णांकों का वलय $$F = \Q[\alpha]$$, $3}$, निम्नलिखित अभिन्न आधार है, लेखन $m = hk^{2}$ दो वर्ग-मुक्त पूर्णांक | वर्ग-मुक्त सह अभाज्य पूर्णांकों के लिए $h$ और $k$: $$\begin{cases}
 * अगर $ζ_{n}$ एकता का आदिम मूल है $n$एकता की जड़, फिर साइक्लोटोमिक क्षेत्र के पूर्णांकों का वलय $$\Q(\zeta_n)$$ ठीक है $$\Z[\zeta_n]$$.
 * अगर $α$ तब एक बीजगणितीय पूर्णांक है $n}$ एक और बीजगणितीय पूर्णांक है। के लिए एक बहुपद $β$ प्रतिस्थापित करके प्राप्त किया जाता है $x^{n}$ के लिए बहुपद में $α$.

गैर-उदाहरण

 * अगर $P(x)$ एक आदिम बहुपद (रिंग थ्योरी) है जिसमें पूर्णांक गुणांक हैं लेकिन मोनिक नहीं है, और $P$ अलघुकरणीय बहुपद से अधिक है $$\mathbb{Q}$$, फिर की कोई जड़ नहीं $P$ बीजगणितीय पूर्णांक हैं (लेकिन बीजगणितीय संख्याएँ हैं)। यहाँ आदिम का उपयोग इस अर्थ में किया जाता है कि गुणांक का उच्चतम सामान्य कारक $P$ 1 है; यह गुणांकों को जोड़ीदार अपेक्षाकृत प्रमुख होने की आवश्यकता से कमजोर है।

तथ्य

 * दो बीजगणितीय पूर्णांकों का योग, अंतर और गुणनफल एक बीजगणितीय पूर्णांक होता है। सामान्य तौर पर उनका भागफल नहीं होता है। शामिल मोनिक बहुपद आम तौर पर मूल बीजगणितीय पूर्णांकों की तुलना में बहुपद के उच्च स्तर का होता है, और परिणामी और गुणनखण्ड लेकर पाया जा सकता है। उदाहरण के लिए, यदि $x^{2} − x − 1 = 0$, $y^{3} − y − 1 = 0$ और $z = xy$, फिर हटाना $x$ और $y$ से $z − xy = 0$ और बहुपद संतुष्ट हैं $x$ और $y$ परिणामी का उपयोग करके देता है $z^{6} − 3z^{4} − 4z^{3} + z^{2} + z − 1 = 0$, जो अलघुकरणीय है, और उत्पाद द्वारा संतुष्ट मोनिक समीकरण है। (यह देखने के लिए कि $xy$ की जड़ है $x$- का परिणाम $z − xy$ और $x^{2} − x − 1$, कोई इस तथ्य का उपयोग कर सकता है कि परिणामी इसके दो इनपुट बहुपदों द्वारा उत्पन्न आदर्श (रिंग थ्योरी) में समाहित है।)
 * जड़, जोड़ और गुणन वाले पूर्णांकों से निर्मित कोई भी संख्या इसलिए एक बीजगणितीय पूर्णांक है; लेकिन सभी बीजगणितीय पूर्णांक इतने रचनात्मक नहीं होते हैं: एक भोले अर्थ में, अलघुकरणीय पंचकों की अधिकांश जड़ें नहीं होती हैं। यह एबेल-रफ़िनी प्रमेय है।
 * एक मोनिक बहुपद की प्रत्येक जड़ जिसका गुणांक बीजगणितीय पूर्णांक है, स्वयं एक बीजगणितीय पूर्णांक है। दूसरे शब्दों में, बीजगणितीय पूर्णांक एक वलय बनाते हैं जो इसके किसी भी विस्तार में अभिन्न रूप से बंद डोमेन है।
 * बीजगणितीय पूर्णांकों का वलय एक बेज़ाउट डोमेन है, जो प्रमुख आदर्श प्रमेय के परिणामस्वरूप है।
 * यदि एक बीजगणितीय पूर्णांक से जुड़े मोनिक बहुपद में निरंतर शब्द 1 या -1 है, तो उस बीजगणितीय पूर्णांक का गुणात्मक व्युत्क्रम भी एक बीजगणितीय पूर्णांक है, और एक इकाई (रिंग थ्योरी) है, जो कि इकाइयों के समूह का एक तत्व है। बीजगणितीय पूर्णांकों की अंगूठी।
 * प्रत्येक बीजगणितीय संख्या को एक बीजगणितीय पूर्णांक के अनुपात के रूप में एक गैर-शून्य बीजगणितीय पूर्णांक के रूप में लिखा जा सकता है। वास्तव में, भाजक को सदैव एक धनात्मक पूर्णांक के रूप में चुना जा सकता है। विशेष रूप से, अगर $x$ एक बीजगणितीय संख्या है जो बहुपद की जड़ है $p(x)$ पूर्णांक गुणांक और अग्रणी पद के साथ $a_{n}x^{n}$ के लिए $a_{n} > 0$ तब $a_{n}x / a_{n}$ वादा अनुपात है। विशेष रूप से, $y = a_{n}x$ एक बीजगणितीय पूर्णांक है क्योंकि यह का मूल है $an −&thinsp;1 n&thinsp;p(y&hairsp;/a_{n})$, जो एक मोनिक बहुपद है $y$ पूर्णांक गुणांक के साथ।

यह भी देखें

 * अभिन्न तत्व
 * गाऊसी पूर्णांक
 * आइज़ेंस्टीन पूर्णांक
 * एकता की जड़
 * डिरिक्लेट की इकाई प्रमेय
 * मौलिक इकाई (संख्या सिद्धांत)