बेज़ाउट की पहचान

गणित में, बेज़ाउट की पहचान (जिसे बेज़ाउट की लेम्मा भी कहा जाता है), एटिएन बेज़ाउट के नाम पर, निम्नलिखित प्रमेय है:

यहाँ $a$ का सबसे बड़ा सामान्य विभाजक $b$ है और $d$ होने के लिए सबसे बड़ा सामान्य विभाजक लिया जाना अनिवार्य है. $x$ पूर्णांक $y$ और $ax + by = d$ के लिए बेज़ाउट गुणांक कहलाते हैं जो कि अद्वितीय नहीं हैं। बेज़ाउट गुणांक की एक जोड़ी की विस्तारित यूक्लिडियन एल्गोरिदम द्वारा गणना की जा सकती है, और यह जोड़ी पूर्णांक के सन्दर्भ में दो जोड़े में से एक है जैसे कि $$|x|\le | b/d |$$ और $$|y|\le | a/d |;$$ में समानता तभी होती है जब $az + bt$ और $d$ एक दूसरे का गुणज है।

उदाहरण के रूप में, 15 और 69 का सबसे बड़ा सामान्य विभाजक 3 है, और 3 को 15 और 69 के संयोजन के रूप में $0$ बेज़ाउट गुणांक -9 और 2 के साथ लिखा जा सकता है ।

प्राथमिक संख्या सिद्धांत में कई अन्य प्रमेय, जैसे यूक्लिड की लेम्मा या चीनी शेष प्रमेय, बेज़ाउट की पहचान से उत्पन्न होते हैं।

बेज़ाउट डोमेन एक अभिन्न डोमेन है जिसमें बेज़ाउट की पहचान होती है। विशेष रूप से, बेज़ाउट की पहचान प्रमुख आदर्श डोमेन में है। बेज़ाउट की पहचान से उत्पन्न होने वाला प्रत्येक प्रमेय इस प्रकार सभी प्रमुख आदर्श डोमेन में सत्य है।

समाधान की संरचना
अगर $0$ और $0$ बेज़ाउट गुणांकों की शून्य और एक जोड़ी दोनों नहीं हैं, तो गणना की गई है कि (उदाहरण के लिए, विस्तारित यूक्लिडियन एल्गोरिथम का उपयोग करके), सभी जोड़ियों को $(a, b)$ फॉर्म में दर्शाया जा सकता है $$\left(x-k\frac{b}{d},\ y+k\frac{a}{d}\right),$$ कहाँ $x$ एक मनमाना पूर्णांक है, $y$ का सबसे बड़ा सामान्य विभाजक $a$ और $b$ है, और भिन्न पूर्णांकों में सरल हो जाते हैं।

अगर $a$ और $b$ दोनों अशून्य हैं, तो बेज़ाउट गुणांक के इन जोड़े में से दो संतुष्ट हैं $$ |x| \le \left |\frac{b}{d}\right |\quad \text{and}\quad |y| \le \left |\frac{a}{d}\right |,$$ और समानता तभी हो सकती है जब इनमें से कोई एक हो, $3 = 15 × (−9) + 69 × 2,$ और $a$ को एक दूसरे से विभक्त करता है।

यह यूक्लिडियन विभाजन की संपत्ति पर निर्भर करता है: दो गैर-शून्य पूर्णांक $b$ और $(x, y)$ दिए गए हैं, अगर $d$ $k$ विभाजित नहीं करता तो $c$, बिल्कुल एक जोड़ी है, ऐसा है कि $$c = d q + r$$ और $$0 < r < |d|,$$ और दूसरा ऐसा है $$c = d q + r$$ और $$-|d| < r < 0.$$ छोटे बेज़ाउट के गुणांकों के दो जोड़े दिए गए एक से प्राप्त होते हैं $d$ के लिए चयन करके $k$ उपरोक्त सूत्र में दो पूर्णांकों में से किसी एक के आगे $$\frac{x}{b/d}$$ के रूप में प्राप्त होता है।

विस्तारित यूक्लिडियन एल्गोरिथ्म सदैव इन दो न्यूनतम जोड़े में से एक का उत्पादन करता है।

उदाहरण
$a$ और $b$, तब $a$. फिर बेज़ाउट की निम्नलिखित पहचानें हैं, बेज़ाउट गुणांक को न्यूनतम जोड़े के लिए लाल रंग में और दूसरे के लिए नीले रंग में लिखा गया है।

$$\begin{align} \vdots \\ 12 &\times ({\color{blue}{-10}}) & + \;\; 42 &\times \color{blue}{3} &= 6 \\ 12 &\times ({\color{red}{-3}}) & + \;\;42 &\times \color{red}{1} &= 6 \\ 12 &\times \color{red}{4} & + \;\;42  &\times({\color{red}{-1}}) &= 6 \\ 12 &\times \color{blue}{11} & + \;\;42 &\times ({\color{blue}{-3}}) &= 6 \\ 12 &\times \color{blue}{18} & + \;\;42 &\times ({\color{blue}{-5}}) &= 6 \\ \vdots \end{align}$$ अगर $$(x, y) = (18, -5)$$ बेज़ाउट गुणांकों की मूल जोड़ी है, तब $$\frac{18}{42/6} \in [2, 3]$$ के माध्यम से न्यूनतम जोड़े उत्पन्न करता है $b$, क्रमश $c$; वह है, $d$, और $(q, r)$.

प्रमाण
किसी भी अशून्य पूर्णांक को देखते हुए $a$ और $b$, का कोई $$S = \{ax+by : x, y \in \Z \text{ and } ax+by > 0\}.$$ सेट $S$ खाली नहीं है क्योंकि इसमें दोनों सम्मिलित हैं जो कि $a$ या $(x, y)$ (साथ $$x = \pm 1$$ और $$y = 0$$) तब से $S$ धनात्मक पूर्णांकों का एक अरिक्त समुच्चय है, इसमें एक न्यूनतम अवयव होता है जो कि $$d = as + bt$$, सुव्यवस्थित सिद्धांत द्वारा यह प्रमाणित करने के लिए $d$ का सबसे बड़ा सामान्य विभाजक है। $a$ और $b$ के द्वारा यह सिद्ध होना चाहिए कि $a$ और $b$ का सामान्य भाजक $d$ है, और वह किसी अन्य उभयनिष्ठ भाजक के लिए $c$, किसी के पास $$c \leq d.$$का यूक्लिडियन विभाजन $a$ द्वारा $d$ लिखा जा सकता है। $$a=dq+r\quad\text{with}\quad 0\le r<d.$$ $$S\cup \{0\}$$, क्योंकि $r$ शेषफल में है $$\begin{align} r & = a - qd \\ & = a - q(as+bt)\\ & = a(1-qs) - bqt. \end{align}$$ इस प्रकार $r$ का स्वरूप $$ax+by$$ है, और इसलिए $$r \in S \cup \{0\}.$$ हालाँकि, $$0 \leq r < d,$$ और d, S का सबसे छोटा धनात्मक पूर्णांक है: इसलिए शेष r, S में नहीं हो सकता है, जिससे r आवश्यक रूप से 0 बनता है। इसका अर्थ है कि d, a का भाजक है। इसी प्रकार d भी b का एक भाजक है, और इसलिए d, a और b का एक सामान्य भाजक है।

अब, मान लीजिए c, a और b का कोई उभयनिष्ठ भाजक है; अर्थात्, वहां U और V इस प्रकार उपलब्ध हैं $$\begin{align} d&=as + bt\\ & =cus+cvt\\ &=c(us+vt). \end{align} $$ अर्थात् c, d का भाजक है। तब से $$d > 0,$$ इसका तात्पर्य है $$c \leq d.$$

तीन या अधिक पूर्णांकों के लिए
बेज़ाउट की पहचान को दो से अधिक पूर्णांकों तक बढ़ाया जा सकता है: यदि $$\gcd(a_1, a_2, \ldots, a_n) = d$$ फिर पूर्णांक हैं $$x_1, x_2, \ldots, x_n$$ ऐसा है कि $$d = a_1 x_1 + a_2 x_2 + \cdots + a_n x_n$$ निम्नलिखित गुण हैं:
 * d इस रूप का सबसे छोटा धनात्मक पूर्णांक है
 * इस रूप की प्रत्येक संख्या d का गुणज है

बहुपदों के लिए
बेज़ाउट की पहचान सदैव बहुपदों के लिए नहीं होती है। उदाहरण के लिए, पूर्णांकों के बहुपद वलय में काम करते समय का सबसे बड़ा सामान्य विभाजक $a = 12$ और $b = 42$ x है, लेकिन कोई पूर्णांक-गुणांक बहुपद $gcd (12, 42) = 6$ में p और q संतोषजनक रूप से उपलब्ध नहीं है।

हालाँकि, बेज़ाउट की पहचान एक क्षेत्र (गणित) पर एकतरफा बहुपदों के लिए ठीक उसी तरह से काम करती है जैसे पूर्णांकों के लिए। विशेष रूप से बेज़ाउट के गुणांक और सबसे बड़ा साधारण विभाजक विस्तारित यूक्लिडियन एल्गोरिथम के साथ गणना की जा सकती है।

चूंकि दो बहुपदों के बहुपदों की साधारण मूल उनके सबसे बड़े साधारण भाजक की मूल हैं, बेज़ाउट की पहचान और बीजगणित के मौलिक प्रमेय निम्नलिखित परिणाम दर्शाते हैं:

इस परिणाम का किसी भी संख्या में बहुपदों और अनिश्चितों का सामान्यीकरण हिल्बर्ट का नलस्टेलेंसैट्ज है।

प्रमुख आदर्श डोमेन के लिए
जैसा कि परिचय में उल्लेख किया गया है, बेज़ाउट की पहचान न केवल पूर्णांकों के वलय (बीजगणित) में काम करती है, बल्कि किसी अन्य प्रमुख आदर्श डोमेन (PID) में भी काम करती है।

अर्थात अगर $k = 2$ एक पीआईडी ​​है, और $f$ और $g$ के तत्व हैं $k = 3$, और $f$ का सबसे बड़ा सामान्य विभाजक है $g$ और $a$, फिर तत्व हैं $(18 − 2 ⋅ 7, −5 + 2 ⋅ 2) = (4, −1)$ और $(18 − 3 ⋅ 7, −5 + 3 ⋅ 2) = (−3, 1)$ में $–a$ ऐसा है कि $$a x + b y = d.$$ कारण यह है कि आदर्श (रिंग थ्योरी) $$R a + R b$$ प्रधान और $$R d.$$ के समतुल्य है।

एक अभिन्न डोमेन जिसमें बेज़ाउट की पहचान होती है उसे बेज़ाउट डोमेन कहा जाता है।

इतिहास
फ्रांसीसी लोग गणितज्ञ एटिने बेज़ाउट (1730-1783) ने बहुपदों के लिए इस पहचान को प्रमाणित किया। पूर्णांकों के लिए यह कथन पहले से ही फ्रांसीसी गणितज्ञ, क्लॉड गैसपार्ड बाचेत डी मेजिरियाक (1581-1638) के काम में पाया जा सकता है।

यह भी देखें

 * , तीन अनिश्चित में सजातीय बहुपदों के लिए बेज़ाउट की पहचान का एक एनालॉग

बाहरी संबंध

 * Online calculator for Bézout's identity.