परिणामी: Difference between revisions

Latest revision as of 07:34, 17 October 2023

गणित में, दो बहुपदों का परिणाम उनके गुणांकों की बहुपद व्यंजक है, जो शून्य के बराबर है यदि और केवल यदि बहुपदों में फलन की सामान्य मूल (संभवतः क्षेत्र विस्तार में), या, समतुल्य, सामान्य कारक ( उनके गुणांक के क्षेत्र में) है। कुछ प्राचीन ग्रन्थों में परिणामी को निर्मूलक भी कहा गया है।^[1]

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

$n$ वेरिएबल्स में $n$ सजातीय बहुपदों का परिणाम (सामान्य परिणाम से इसे अलग करने के लिए 'बहुभिन्नरूपी परिणाम' या 'मैकाले का परिणाम' भी कहा जाता है।) सामान्यीकरण है, जो सामान्य परिणाम के फ्रांसिस सोवर मैकाले द्वारा द्वारा प्रस्तुत किया गया है।^[2] यह ग्रोबनेर के साथ उन्मूलन सिद्धांत के मुख्य उपकरणों में से एक है।

संकेत पद्धति

दो अविभाज्य बहुपदों का परिणाम $A$ और $B$ सामान्य रूप से $\operatorname {res} (A,B)$ या $\operatorname {Res} (A,B)$ द्वारा निरूपित किया जाता है।

परिणामी के कई अनुप्रयोगों में, बहुपद कई अनिश्चितताओं पर निर्भर करते हैं और गुणांक के रूप में अन्य अनिश्चितताओं में बहुपदों के साथ उनके अनिश्चित में से एक में अविभाजित बहुपद के रूप में माना जा सकता है। इस स्थितियों में, परिणामी को परिभाषित करने और गणना करने के लिए चुने गए अनिश्चित को अधोलिखित: $\operatorname {res} _{x}(A,B)$ या $\operatorname {Res} _{x}(A,B)$ के रूप में दर्शाया गया है।

परिणामी की परिभाषा में बहुपदों की कोटि का उपयोग किया जाता है। चूंकि, कोटि का बहुपद $d$ उच्च कोटि के बहुपद के रूप में भी माना जा सकता है जहां प्रमुख गुणांक शून्य हैं। यदि परिणामी के लिए ऐसी उच्च कोटि का उपयोग किया जाता है, तो इसे सामान्यतः अधोलिखित या अधिलेख के रूप में दर्शाया जाता है, जैसे $\operatorname {res} _{d,e}(A,B)$ या $\operatorname {res} _{x}^{d,e}(A,B).$

परिभाषा

क्षेत्र (गणित) या क्रमविनिमेय वलय पर दो अविभाजित बहुपदों के परिणाम को सामान्यतः उनके सिल्वेस्टर आव्यूह के निर्धारक के रूप में परिभाषित किया जाता है। अधिक त्रुटिहीन, मान लीजिये

A=a_{0}x^{d}+a_{1}x^{d-1}+\cdots +a_{d}

और

B=b_{0}x^{e}+b_{1}x^{e-1}+\cdots +b_{e}

क्रमशः घात $d$ और $e$ वाले शून्येतर बहुपद हों। आइए हम ${\mathcal {P}}_{i}$ आयाम का सदिश स्थान (या मुक्त मापांक यदि गुणांक क्रमविनिमेय वलय से संबंधित है।) $i$ द्वारा निरूपित करते हैं। जिनके तत्व $i$ सख्ती से कम कोटि के बहुपद हैं। वो मैप

\varphi :{\mathcal {P}}_{e}\times {\mathcal {P}}_{d}\rightarrow {\mathcal {P}}_{d+e}

ऐसा है कि

\varphi (P,Q)=AP+BQ

ही आयाम के दो स्थानों के बीच रेखीय नक्शा है। $x$ की शक्तियों के आधार पर (अवरोही क्रम में सूचीबद्ध), यह नक्शा आयाम $d + e$ के वर्ग आव्यूह द्वारा दर्शाया गया है,जिसे $A$ और $B$ के सिल्वेस्टर आव्यूह कहा जाता है। (कई लेखकों के लिए और लेख सिल्वेस्टर आव्यूह में, सिल्वेस्टर आव्यूह को इस आव्यूह के स्थानान्तरण के रूप में परिभाषित किया गया है; इस सम्मेलन का उपयोग यहां नहीं किया गया है, क्योंकि यह एक रेखीय मानचित्र के आव्यूह को लिखने के लिए सामान्य सम्मेलन को तोड़ता है।)।

इस प्रकार $A$ और $B$ का परिणाम निर्धारक है

{\begin{vmatrix}a_{0}&0&\cdots &0&b_{0}&0&\cdots &0\\a_{1}&a_{0}&\cdots &0&b_{1}&b_{0}&\cdots &0\\a_{2}&a_{1}&\ddots &0&b_{2}&b_{1}&\ddots &0\\\vdots &\vdots &\ddots &a_{0}&\vdots &\vdots &\ddots &b_{0}\\a_{d}&a_{d-1}&\cdots &\vdots &b_{e}&b_{e-1}&\cdots &\vdots \\0&a_{d}&\ddots &\vdots &0&b_{e}&\ddots &\vdots \\\vdots &\vdots &\ddots &a_{d-1}&\vdots &\vdots &\ddots &b_{e-1}\\0&0&\cdots &a_{d}&0&0&\cdots &b_{e}\end{vmatrix}},

जिसमें $b j$ के $a i$ और $d$ स्तम्भ के $e$ स्तम्भ हैं (तथ्य यह है कि $a$ के पहले स्तम्भ और $b$ के पहले स्तम्भ की लंबाई समान है, अर्थात $d = e$ , यहाँ केवल निर्धारक के प्रदर्शन को सरल बनाने के लिए है।)। उदाहरण के लिए, $d = 3$ और $e = 2$ लेने पर हमें प्राप्त होता है।

{\begin{vmatrix}a_{0}&0&b_{0}&0&0\\a_{1}&a_{0}&b_{1}&b_{0}&0\\a_{2}&a_{1}&b_{2}&b_{1}&b_{0}\\a_{3}&a_{2}&0&b_{2}&b_{1}\\0&a_{3}&0&0&b_{2}\end{vmatrix}}.

यदि बहुपदों के गुणांक अभिन्न कार्यक्षेत्र से संबंधित हैं, तो

\operatorname {res} (A,B)=a_{0}^{e}b_{0}^{d}\prod _{\begin{array}{c}1\leq i\leq d\\1\leq j\leq e\end{array}}(\lambda _{i}-\mu _{j})=a_{0}^{e}\prod _{i=1}^{d}B(\lambda _{i})=(-1)^{de}b_{0}^{d}\prod _{j=1}^{e}A(\mu _{j}),

जहाँ $\lambda _{1},\dots ,\lambda _{d}$ और $\mu _{1},\dots ,\mu _{e}$ क्रमशः मूलें हैं, उनकी बहुलताओं के साथ गिना जाता है। $A$ और $B$ किसी भी बीजगणितीय रूप से बंद क्षेत्र में अभिन्न कार्यक्षेत्र सम्मिलित है।

यह नीचे दिखाई देने वाले परिणामी के लक्षण वर्णन गुणों का सीधा परिणाम है। पूर्णांक गुणांक के सामान्य स्थितियों में, बीजगणितीय रूप से बंद क्षेत्र को सामान्यतः जटिल संख्याओं के क्षेत्र के रूप में चुना जाता है।

गुण

इस खंड और इसके उपखंडों में, $A$ और $B$ में दो बहुपद हैं $x$ संबंधित कोटि के $d$ और $e$ , और उनके परिणामी को निरूपित किया जाता है।

 $\operatorname {res} (A,B).$

गुणों की विशेषता

गुणांक वाले दो बहुपदों के परिणाम के लिए निम्नलिखित गुण मान्य है।

क्रमविनिमेय वलय $R$ में गुणांक वाले दो बहुपदों के परिणाम के लिए निम्नलिखित गुण हैं। यदि $R$ एक क्षेत्र या अधिक सामान्यतः एक अभिन्न कार्यक्षेत्र है, परिणामी दो बहुपदों के गुणांकों का अद्वितीयफलन है जो इन गुणों को संतुष्ट करता है।

यदि $R$ और वलय का $S$ उपवलय है, तब $\operatorname {res} _{R}(A,B)=\operatorname {res} _{S}(A,B).$ अर्थात् $A$ और $B$ का परिणाम समान होता है जब $R$ या $S$ बहुपदों पर विचार किया जाता है।
यदि $d = 0$ (अर्थात् यदि $A=a_{0}$ अशून्य स्थिरांक है।) तब $\operatorname {res} (A,B)=a_{0}^{e}.$ इसी प्रकार यदि $e = 0$ , तब $\operatorname {res} (A,B)=b_{0}^{d}.$
$\operatorname {res} (x+a_{1},x+b_{1})=b_{1}-a_{1}$
$\operatorname {res} (B,A)=(-1)^{de}\operatorname {res} (A,B)$ * $\operatorname {res} (AB,C)=\operatorname {res} (A,C)\operatorname {res} (B,C)$

शून्य

अभिन्न कार्यक्षेत्र में गुणांक वाले दो बहुपदों का परिणाम शून्य होता है। यदि और केवल यदि उनके पास सकारात्मक कोटि के दो बहुपदों का सबसे बड़ा सामान्य विभाजक हो।
पूर्णांकीय प्रांत में गुणांक वाले दो बहुपदों का परिणाम शून्य होता है यदि और केवल यदि उनके गुणांक वाले बीजगणितीय रूप से बंद क्षेत्र में सामान्य मूल हो।
$e$ से कम कोटि का एक बहुपद $P$ और $d$ से कम कोटि का एक बहुपद $Q$ उपस्थित है जैसे कि $\operatorname {res} (A,B)=AP+BQ.$ यह स्वैच्छिक क्रमविनिमेय वलय पर बहुपदों के लिए बेज़ाउट की पहचान का सामान्यीकरण है। दूसरे शब्दों में, दो बहुपदों का परिणाम इन बहुपदों द्वारा उत्पन्न आदर्श (वलय सिद्धांत) से संबंधित है।

वलय होमोमोर्फिज्म द्वारा अप्रसरण

मान लीजिये $A$ और $B$ संबंधित कोटि के दो बहुपद बनें $d$ और $e$ कम्यूटेटिव वलय में गुणांक के साथ $R$ , और $\varphi \colon R\to S$ की वलय समरूपता $R$ दूसरे क्रमविनिमेय वलय में $S$ को प्रायुक्त करने $\varphi$ बहुपद के गुणांकों का विस्तार होता है। $\varphi$ बहुपद के छल्ले के समरूपता के लिए $R[x]\to S[x]$ , जिसे $\varphi .$ द्वारा निरूपित भी किया जाता है। इस अंकन के साथ, हमारे पास है:

यदि $\varphi$ की उपाधियाँ सुरक्षित रखता है $A$ और $B$ (अर्थात् यदि $\deg(\varphi (A))=d$ और $\deg(\varphi (B))=e$ ), तब

\varphi (\operatorname {res} (A,B))=\operatorname {res} (\varphi (A),\varphi (B)).

यदि $\deg(\varphi (A))<d$ और $\deg(\varphi (B))<e,$ तब

\varphi (\operatorname {res} (A,B))=0.

यदि $\deg(\varphi (A))=d$ और $\deg(\varphi (B))=f<e,$ और $A$ के अग्रणी गुणांक $a_{0}$ है तब

\varphi (\operatorname {res} (A,B))=\varphi (a_{0})^{e-f}\operatorname {res} (\varphi (A),\varphi (B)).

यदि $\deg(\varphi (A))=f<d$ और $\deg(\varphi (B))=e,$ और $B$ के अग्रणी गुणांक $b_{0}$ है तब

\varphi (\operatorname {res} (A,B))=(-1)^{e(d-f)}\varphi (b_{0})^{d-f}\operatorname {res} (\varphi (A),\varphi (B)).

निर्धारक के रूप में परिणामी की परिभाषा से इन गुणों को आसानी से घटाया जा सकता है। वे मुख्य रूप से दो स्थितियों में उपयोग किए जाते हैं। पूर्णांक गुणांक वाले बहुपदों के परिणाम की गणना करने के लिए, यह सामान्यतः मापांक अंकगणितीय कई प्राइम्स की गणना करने और चीनी शेष प्रमेय के साथ वांछित परिणाम प्राप्त करने के लिए तेज़ होता है। कब $R$ अन्य अनिश्चित में बहुपद की वलय है, और $S$ कुछ या सभी अनिश्चित संख्यात्मक मानों की विशेषज्ञता के द्वारा प्राप्त की गई वलय $R$ है, इन गुणों को इस प्रकार से फिर से प्रारंभ किया जा सकता है जैसे कि विशेषज्ञता द्वारा कोटि को संरक्षित किया जाता है, दो बहुपदों के विशेषज्ञता का परिणाम परिणामी का विशेषज्ञता है। यह गुण मौलिक है, उदाहरण के लिए, बेलनाकार बीजगणितीय अपघटन के लिए।

चर के परिवर्तन के अनुसार व्युत्क्रम

$\operatorname {res} (A(x+a),B(x+a))=\operatorname {res} (A(x),B(x))$
$\operatorname {res} (A(ax),B(ax))=a^{de}\operatorname {res} (A(x),B(x))$
यदि $A_{r}(x)=x^{d}A(1/x)$ और $B_{r}(x)=x^{e}B(1/x)$ के पारस्परिक बहुपद हैं $A$ और $B$ , क्रमशः, फिर

\operatorname {res} (A_{r},B_{r})=(-1)^{de}\operatorname {res} (A,B)

इसका अर्थ यह है कि परिणामी शून्य होने का गुण चर के रैखिक और प्रक्षेपी परिवर्तनों के अनुसार अपरिवर्तनीय है।

बहुपदों के परिवर्तन के अनुसार व्युत्क्रम

यदि $a$ और $b$ अशून्य स्थिरांक हैं (अर्थात वे अनिश्चित से स्वतंत्र हैं $x$ ), और $A$ और $B$ ऊपर के रूप में हैं, तो

\operatorname {res} (aA,bB)=a^{e}b^{d}\operatorname {res} (A,B).

यदि $A$ और $B$ ऊपर के रूप में हैं, और $C$ और बहुपद है जैसे कि $A - CB$ की कोटि $δ$ है, तब

\operatorname {res} (A-CB,B)=b_{0}^{\delta -d}\operatorname {res} (A,B).

विशेष रूप से, यदि कोई हो

B

या

deg C < deg A - deg B

मोनिक बहुपद है, तब

\operatorname {res} (A-CB,B)=\operatorname {res} (A,B),

और यदि

f = deg C > deg A - deg B = d - e

, तब

\operatorname {res} (A-CB,B)=b_{0}^{e+f-d}\operatorname {res} (A,B).

इन गुणों का अर्थ है कि बहुपदों के लिए यूक्लिडियन एल्गोरिथ्म में, और इसके सभी प्रकार (छद्म-शेष अनुक्रम), दो लगातार शेष (या छद्म-शेष) के परिणाम प्रारंभिक बहुपदों के परिणामी से भिन्न होते हैं, जो कि गणना करना आसान है। इसके विपरीत, यह किसी को प्रारंभिक बहुपदों के परिणाम को अंतिम शेष या छद्म शेष के मान से निकालने की अनुमति देता है। यह बहुपद महानतम सामान्य विभाजक का प्रारंभिक विचार है, जो उपरोक्त फॉर्मूलों का उपयोग छद्म-शेष के रूप में सब-रिजल्टेंट बहुपदों को प्राप्त करने के लिए, और परिणामी को अंतिम गैर-शून्य छद्म-शेष के रूप में (परन्तु कि परिणामी शून्य न हो) करता है। यह एल्गोरिथम पूर्णांकों पर बहुपदों के लिए काम करता है या सामान्यतः त्रुटिहीन विभाजनों के अतिरिक्त किसी भी विभाजन के बिना एक अभिन्न कार्यक्षेत्र पर काम करता है (अर्थात, अंशों को सम्मिलित किए बिना)। इसमें $O(de)$ अंकगणितीय संक्रियाएँ सम्मिलित हैं, चूंकि मानक एल्गोरिदम के साथ सिल्वेस्टर आव्यूह के निर्धारक की गणना के लिए $O((d+e)^{3})$ अंकगणितीय संक्रियाओं की आवश्यकता होती है।

सामान्य गुण

इस भाग में, हम दो बहुपदों पर विचार करते हैं

A=a_{0}x^{d}+a_{1}x^{d-1}+\cdots +a_{d}

और

B=b_{0}x^{e}+b_{1}x^{e-1}+\cdots +b_{e}

किसका $d + e + 2$ गुणांक विशिष्ट अनिश्चित (चर) हैं। मान लीजिये

R=\mathbb {Z} [a_{0},\ldots ,a_{d},b_{0},\ldots ,b_{e}]

इन निर्धारकों द्वारा परिभाषित पूर्णांकों पर बहुपद वलय हो।

परिणामी $\operatorname {res} (A,B)$ कोटि के लिए $d$ और $e$ अधिकांश सामान्य परिणामी कहा जाता है। इसके निम्नलिखित गुण हैं।

$\operatorname {res} (A,B)$ बिल्कुल अलघुकरणीय बहुपद है।
यदि $I$ का आदर्श (वलय सिद्धांत) है $R[x]$ द्वारा उत्पन्न $A$ और $B$ , तब $I\cap R$ द्वारा उत्पन्न $\operatorname {res} (A,B)$ प्रमुख आदर्श है .

एकरूपता

कोटि के लिए सामान्य परिणाम $d$ और $e$ विभिन्न विधियों से सजातीय बहुपद है। ज्यादा ठीक:

यह $a_{0},\ldots ,a_{d}.$ में कोटि $e$ का सजातीय है।
यह $b_{0},\ldots ,b_{e}.$ में कोटि $d$ का सजातीय है।
यह सभी चर $a_{i}$ और $b_{j}.$ में कोटि $d + e$ का सजातीय है।
यदि $a_{i}$ और $b_{i}$ को परिणामी $i$ दिया जाता है। (अर्थात्, प्रत्येक गुणांक का परिणामी प्राथमिक सममित बहुपद के रूप में इसकी कोटि है), तो यह कुल परिणामी का $de$ का अर्ध-सजातीय बहुपद है |
यदि $P$ और $Q$ संबंधित कोटि $d$ और $e$ के सजातीय बहुभिन्नरूपी बहुपद हैं , तो उनका परिणाम कोटि $d$ और $e$ में अनिश्चित $x$ के संबंध में , निरूपित $\operatorname {res} _{x}^{d,e}(P,Q)$ में § अंकन, अन्य अनिश्चित में कोटि $de$ का सजातीय है।

उन्मूलन गुण

मान लीजिये $I=\langle A,B\rangle$ एक बहुपद वलय (वलय सिद्धांत) $R[x],$ में दो बहुपद वलय $A$ और $B$ द्वारा उत्पन्न आदर्श है, जहां $R=k[y_{1},\ldots ,y_{n}]$ क्षेत्र पर स्वयं बहुपद वलय है। यदि कम से कम $A$ और $B$ में $x$ मोनिक बहुपद है, तब:

$\operatorname {res} _{x}(A,B)\in I\cap R$
आदर्श $I\cap R$ और $R\operatorname {res} _{x}(A,B)$ ही बीजगणितीय सेट को परिभाषित करें। वह $n$ बीजगणितीय रूप से बंद क्षेत्र के तत्वों का टपल तत्वों का सामान्य शून्य है $I\cap R$ यदि और केवल $\operatorname {res} _{x}(A,B).$ यह शून्य है।
आदर्श $I\cap R$ मुख्य आदर्श के समान आदर्श $R\operatorname {res} _{x}(A,B).$ का मूलांक है अर्थात्, प्रत्येक $\operatorname {res} _{x}(A,B).$ तत्व $I\cap R$ का गुणज है
के सभी अलघुकरणीय बहुपद $\operatorname {res} _{x}(A,B)$ के हर तत्व को $I\cap R.$ में विभाजित करें

पहला अभिकथन परिणामी का मूल गुण है। अन्य अभिकथन दूसरे के तत्काल परिणाम हैं, जिन्हें निम्नानुसार सिद्ध किया जा सकता है।

जैसा की $A$ और $B$ में से कम से कम एक मोनिक है, एक $n$ टपल $(\beta _{1},\ldots ,\beta _{n})$ का $\operatorname {res} _{x}(A,B)$ शून्य है यदि और केवल यदि $\alpha$ उपस्थित है जैसे कि $(\beta _{1},\ldots ,\beta _{n},\alpha )$ का $A$ और $B$ सामान्य शून्य है। ऐसा उभयनिष्ठ शून्य $I\cap R.$ भी के सभी अवयवों का शून्य होता है इसके विपरीत यदि $(\beta _{1},\ldots ,\beta _{n})$ के तत्वों का सामान्य $I\cap R,$ शून्य है यह परिणामी का शून्य है, और उपस्थित है $\alpha$ ऐसा है कि $(\beta _{1},\ldots ,\beta _{n},\alpha )$ का सामान्य शून्य है $A$ और $B$ . इसलिए $I\cap R$ और $R\operatorname {res} _{x}(A,B)$ बिल्कुल वही शून्य हैं।

संगणना

सैद्धांतिक रूप से, परिणामी को मूलों के अंतर के उत्पाद के रूप में व्यक्त करने वाले सूत्र का उपयोग करके गणना की जा सकती है। चूंकि, जैसा कि मूलों की सामान्यतः गणना नहीं की जा सकती है, ऐसा एल्गोरिदम अक्षम और संख्यात्मक रूप से अस्थिर होगा। चूंकि परिणामी प्रत्येक बहुपद की मूलों का सममित बहुपद है, इसकी गणना सममित बहुपद के मौलिक प्रमेय का उपयोग करके भी की जा सकती है, किन्तु यह अत्यधिक अक्षम होगा।

जैसा कि परिणामी सिल्वेस्टर आव्यूह (और बेज़ाउट आव्यूह) का निर्धारक है, इसकी गणना निर्धारकों की गणना के लिए किसी भी एल्गोरिथ्म का उपयोग करके की जा सकती है। इसके लिये $O(n^{3})$ अंकगणितीय संक्रियाओं की आवश्यकता है। जैसा कि एल्गोरिदम उत्तम जटिलता के साथ जाना जाता है (नीचे देखें), इस पद्धति का व्यवहार में उपयोग नहीं किया जाता है।

यह § बहुपदों के परिवर्तन के तहत अपरिवर्तनीयता से आता है कि परिणामी की गणना बहुपदों के लिए यूक्लिडियन एल्गोरिदम से दृढ़ता से संबंधित है। इससे पता चलता है कि कोटि $d$ और $e$ के दो बहुपदों के परिणाम की गणना गुणांक के क्षेत्र में अंकगणितीय संचालन $O(de)$ में की जा सकती है।

चूँकि, जब गुणांक पूर्णांक, परिमेय संख्या या बहुपद होते हैं, तो ये अंकगणितीय संचालन गुणांक के कई जीसीडी संगणनाओं को प्रायुक्त करते हैं जो समान क्रम के होते हैं और एल्गोरिथ्म को अक्षम बनाते हैं।

इस समस्या को समाधान करने और गुणांक के किसी भी अंश और किसी भी जीसीडी संगणना से बचने के लिए उपपरिणामस्वरूप छद्म-शेष अनुक्रम प्रस्तुत किए गए थे। पूर्णांक गुणांक वाले दो बहुपदों के परिणाम की गणना करने के लिए गुणांकों पर वलय समरूपता के अनुसार परिणामी के अच्छे व्यवहार का उपयोग करके एक अधिक कुशल एल्गोरिथ्म प्राप्त किया जाता है, एक उनके परिणामी मापांकों की पर्याप्त रूप से कई अभाज्य संख्याओं की गणना करता है और फिर चीनी शेष प्रमेय के साथ परिणाम का पुनर्निर्माण करता है।

पूर्णांकों और बहुपदों के तेजी से गुणन का उपयोग परिणामी और सबसे बड़े सामान्य विभाजक के लिए एल्गोरिदम की अनुमति देता है जिसमें उत्तम समय जटिलता होती है, जो गुणन की जटिलता के क्रम का होता है, इनपुट के आकार के लघुगणक ( $\log(s(d+e)),$ से गुणा किया जाता है जहाँ $s$ इनपुट बहुपदों के अंकों की संख्या की ऊपरी सीमा है)।

बहुपद प्रणालियों के लिए आवेदन

परिणामी बहुपद समीकरणों की प्रणालियों को समाधान करने के लिए प्रस्तुत किए गए थे और सबसे पुराना प्रमाण प्रदान करते हैं कि ऐसी प्रणालियों को समाधान करने के लिए कलन विधि उपस्थित हैं। ये मुख्य रूप से दो अज्ञात में दो समीकरणों की प्रणालियों के लिए अभिप्रेत हैं, किन्तु सामान्य प्रणालियों को समाधान करने की भी अनुमति देते हैं।

दो अज्ञात में दो समीकरणों की स्थितियां

दो बहुपद समीकरणों की प्रणाली पर विचार करें

{\begin{aligned}P(x,y)&=0\\Q(x,y)&=0,\end{aligned}}

जहाँ $P$ और $Q$ संबंधित $d$ और $e$ कुल कोटि के बहुपद है। तब $R=\operatorname {res} _{y}^{d,e}(P,Q)$ में $x$ बहुपद है, जो $de$ कोटि की सामान्य गुण है (गुणों द्वारा § एकरूपता). मान $\alpha$ का $x$ की $R$ मूल है यदि और केवल यदि या तो $\beta$ उपस्थित है। बीजगणितीय रूप से बंद क्षेत्र में जिसमें गुणांक होते हैं, जैसे कि $P(\alpha ,\beta )=Q(\alpha ,\beta )=0$ , या $\deg(P(\alpha ,y))<d$ और $\deg(Q(\alpha ,y))<e$ (इस स्थितियों में, कोई ऐसा कहता है $P$ और $Q$ के लिए अनंत पर उभयनिष्ठ मूल $x=\alpha$ है ).

इसलिए, प्रणाली के समाधान की मूलों $R$ की गणना करके प्राप्त किए जाते हैं, और प्रत्येक मूल के लिए $\alpha ,$ की सामान्य मूल (ओं) $P(\alpha ,y),$ $Q(\alpha ,y),$ और $\operatorname {res} _{x}(P,Q).$ की गणना करना है।

बेज़ाउट प्रमेय का परिणाम $\deg \left(\operatorname {res} _{y}(P,Q)\right)\leq de$ , के मान से होता है की $P$ और $Q$ कोटि का उत्पाद . वास्तव में, चरों के रैखिक परिवर्तन के बाद, कोई यह मान सकता है कि, प्रत्येक रूट के लिए $x$ परिणामी का, $y$ का बिल्कुल मान है जैसे कि $(x, y)$ का सामान्य शून्य $P$ और $Q$ है। इससे पता चलता है कि उभयनिष्ठ शून्यों की संख्या अधिक से अधिक परिणामी की कोटि है, जो कि $P$ और $Q$ अधिक से अधिक कोटि का गुणनफल है। कुछ तकनीकीताओं के साथ, इस प्रमाण को यह दिखाने के लिए बढ़ाया जा सकता है कि अनंत पर गुणा और शून्य की गिनती, शून्य की संख्या वास्तव में कोटि का उत्पाद है।

सामान्य स्थितियां

पहली दृष्टि में, ऐसा लगता है कि परिणामी समीकरणों की सामान्य बहुपद प्रणाली पर प्रायुक्त हो सकते हैं

P_{1}(x_{1},\ldots ,x_{n})=0

\vdots

P_{k}(x_{1},\ldots ,x_{n})=0

हर जोड़ी के परिणाम की गणना करके $(P_{i},P_{j})$ इसके संबंध में $x_{n}$ अज्ञात को खत्म करने के लिए, और प्रक्रिया को दोहराते हुए जब तक कि एकतरफा बहुपद न मिल जाए। दुर्भाग्य से, यह कई नकली समाधान प्रस्तुत करता है, जिन्हें निकलना कठिन है।

19वीं शताब्दी के अंत में प्रारंभ की गई विधि इस प्रकार काम करती है: परिचय $k - 1$ नए अनिश्चित $U_{2},\ldots ,U_{k}$ और गणना करें

\operatorname {res} _{x_{n}}(P_{1},U_{2}P_{2}+\cdots +U_{k}P_{k}).

यह बहुपद है

U_{2},\ldots ,U_{k}

जिनके गुणांक बहुपद हैं

x_{1},\ldots ,x_{n-1},

जिसके पास वह गुण है

\alpha _{1},\ldots ,\alpha _{n-1}

इन बहुपद गुणांकों का सामान्य शून्य है, यदि और केवल यदि अविभाज्य बहुपद

P_{i}(\alpha _{1},\ldots ,\alpha _{n-1},x_{n})

सामान्य शून्य है, संभवतः अनंत पर दर्शाता है। इस प्रक्रिया को तब तक दोहराया जा सकता है जब तक कि अविभाजित बहुपद नहीं मिलते।

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

यह एल्गोरिथम बहुत जटिल है और इसमें समय की जटिलता है। इसलिए, इसकी रुचि मुख्य रूप से ऐतिहासिक है।

अन्य अनुप्रयोग

संख्या सिद्धांत

बहुपद का विभेदक, जो संख्या सिद्धांत में मौलिक उपकरण है, बहुपद के परिणामी और उसके व्युत्पन्न के प्रमुख गुणांक द्वारा भागफल है।

यदि $\alpha$ और $\beta$ बीजगणितीय संख्याएँ हैं जैसे कि $P(\alpha )=Q(\beta )=0$ , तब $\gamma =\alpha +\beta$ परिणामी की मूल है $\operatorname {res} _{x}(P(x),Q(z-x)),$ और $\tau =\alpha \beta$ की मूल है $\operatorname {res} _{x}(P(x),x^{n}Q(z/x))$ , जहाँ $n$ के बहुपद $Q(y)$ की घात है . इस तथ्य के साथ संयुक्त $1/\beta$ की मूल है $y^{n}Q(1/y)=0$ , यह दर्शाता है कि बीजगणितीय संख्याओं का समुच्चय क्षेत्र (गणित) है।

मान लीजिये $K(\alpha )$ तत्व द्वारा उत्पन्न बीजगणितीय क्षेत्र विस्तार $\alpha ,$ हो जो $P(x)$ न्यूनतम बहुपद (क्षेत्र सिद्धांत) के रूप में। का हर तत्व $\beta \in K(\alpha )$ रूप में लिखा जा सकता है $\beta =Q(\alpha ),$ जहाँ $Q$ बहुपद है। तब $\beta$ की मूल है $\operatorname {res} _{x}(P(x),z-Q(x)),$ और यह परिणामी $\beta .$ के न्यूनतम बहुपद की घात है

बीजगणितीय ज्यामिति

बहुपदों के शून्य के रूप में परिभाषित दो समतल बीजगणितीय वक्र दिए गए हैं $P (x, y)$ और $Q (x, y)$ परिणामी उनके प्रतिच्छेदन की गणना की अनुमति देता है। अधिक त्रुटिहीन, की मूलें $\operatorname {res} _{y}(P,Q)$ प्रतिच्छेदन बिंदु और सामान्य ऊर्ध्वाधर स्पर्शोन्मुख के एक्स-निर्देशांक हैं, और की मूलें $\operatorname {res} _{x}(P,Q)$ प्रतिच्छेदन बिंदु और सामान्य क्षैतिज स्पर्शोन्मुख के y-निर्देशांक हैं।

परिमेय वक्र को पैरामीट्रिक समीकरण द्वारा परिभाषित किया जा सकता है।

x={\frac {P(t)}{R(t)}},\qquad y={\frac {Q(t)}{R(t)}},

जहाँ $P$ , $Q$ और $R$ बहुपद है। वक्र का अन्तर्निहित समीकरण किसके द्वारा दिया जाता है।

\operatorname {res} _{t}(xR-P,yR-Q).

इस वक्र की कोटि उच्चतम कोटि है $P$ , $Q$ और $R$ , जो परिणामी की कुल कोटि के बराबर है।

प्रतीकात्मक एकीकरण

प्रतीकात्मक एकीकरण में, तर्कसंगत अंश के प्रतिपक्षी की गणना करने के लिए, आंशिक अंश अपघटन का उपयोग तर्कसंगत भाग में अभिन्न को विघटित करने के लिए किया जाता है, जो तर्कसंगत अंशों का योग होता है, जिनके प्रतिपक्षी तर्कसंगत अंश होते हैं, और लघुगणकीय भाग जो तर्कसंगत अंश का योग होता है रूप के अंश

{\frac {P(x)}{Q(x)}},

जहाँ $Q$ वर्ग मुक्त बहुपद है और $P$ से कम कोटि $Q$ का बहुपद है। इस प्रकार के फलन के प्रतिपक्षी में आवश्यक रूप से लघुगणक और सामान्यतः बीजगणितीय संख्याएं(की मूलें $Q$ ) सम्मिलित होती हैं। वास्तव में, प्रतिपक्षी है

\int {\frac {P(x)}{Q(x)}}dx=\sum _{Q(\alpha )=0}{\frac {P(\alpha )}{Q'(\alpha )}}\log(x-\alpha ),

जहां योग की सभी जटिल मूलों $Q$ पर चलता है।

इस व्यंजक में सम्मिलित बीजगणितीय संख्याओं की संख्या सामान्यतः $Q$ की कोटि के बराबर होती है, किन्तु यह अधिकांश होता है कि कम बीजगणितीय संख्याओं वाले व्यंजक की गणना की जा सकती है। डैनियल लाजार्ड-रिओबू-बैरी ट्रैगर विधि एक अभिव्यक्ति उत्पन्न करती है, जहां बीजगणितीय संख्याओं की संख्या बीजगणितीय संख्याओं के साथ किसी भी गणना के बिना न्यूनतम होती है।

मान लीजिये

S_{1}(r)S_{2}(r)^{2}\cdots S_{k}(r)^{k}=\operatorname {res} _{r}(rQ'(x)-P(x),Q(x))

परिणामी का वर्ग-मुक्त गुणनखंड हो जो दाईं ओर दिखाई देता है। ट्रैगर ने सिद्ध कर दिया कि प्रतिपक्षी है

\int {\frac {P(x)}{Q(x)}}dx=\sum _{i=1}^{k}\sum _{S_{i}(\alpha )=0}\alpha \log(T_{i}(\alpha ,x)),

जहां आंतरिक योग $S_{i}$ (यदि $S_{i}=1$ योग शून्य है, खाली योग होने के संबध में) की मूलों पर चलते हैं, और $T_{i}(r,x)$ $x$ में कोटि $i$ का बहुपद है। लाजार्ड-रियोबू योगदान इसका प्रमाण है कि $T_{i}(r,x)$ कोटि $i$ का $rQ'(x)-P(x)$ और $Q(x).$ बहुपद सबसे बड़ा सामान्य विभाजक उपपरिणाम है इस प्रकार यह मुफ्त में प्राप्त किया जाता है यदि परिणामी की गणना बहुपद महानतम सामान्य विभाजक उपपरिणाम छद्म-शेष अनुक्रम|उपपरिणाम छद्म-शेष अनुक्रम द्वारा की जाती है।

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

सभी पूर्ववर्ती अनुप्रयोग, और कई अन्य, दिखाते हैं कि परिणामी कंप्यूटर बीजगणित में मौलिक उपकरण है। वास्तव में अधिकांश कंप्यूटर बीजगणित प्रणालियों में परिणामकों की गणना का कुशलफलनान्वयन सम्मिलित है।

सजातीय परिणाम

परिणामी को दो अनिश्चित बहुपदों में दो सजातीय बहुपदों के लिए भी परिभाषित किया गया है। दो सजातीय बहुपद दिए गए हैं $P (x, y)$ और $Q (x, y)$ संबंधित कुल कोटियों का $p$ और $q$ , उनका सजातीय परिणाम रैखिक मानचित्र के एकपदी आधार पर आव्यूह का निर्धारक है

(A,B)\mapsto AP+BQ,

जहाँ $A$ कोटि के द्विभाजित सजातीय बहुपदों पर चलता है $q - 1$ , और $B$ कोटि के सजातीय बहुपदों पर चलता है $p - 1$ . दूसरे शब्दों में, का सजातीय परिणाम $P$ और $Q$ का परिणाम है

 $P (x, 1)$  और  $Q (x, 1)$  जब उन्हें कोटि के बहुपद के रूप में माना जाता है  $p$  और  $q$  (उनकी कोटि  $x$  उनकी कुल कोटि से कम हो सकता है):

\operatorname {Res} (P(x,y),Q(x,y))=\operatorname {res} _{p,q}(P(x,1),Q(x,1)).

(Res के कैपिटलाइज़ेशन का उपयोग यहाँ दो परिणामों को अलग करने के लिए किया गया है, चूँकि संक्षिप्त नाम के कैपिटलाइज़ेशन के लिए कोई मानक नियम नहीं है)।

सजातीय परिणामी में अनिवार्य रूप से सामान्य परिणाम के समान गुण होते हैं, अनिवार्य रूप से दो अंतरों के साथ: बहुपद मूलों के अतिरिक्त, प्रक्षेपी रेखा में शून्य पर विचार किया जाता है, और बहुपद की कोटि वलय होमोमोर्फिज्म के अनुसार नहीं बदल सकती है।

वह है:

अभिन्न कार्यक्षेत्र पर दो सजातीय बहुपदों का परिणाम शून्य होता है यदि और केवल यदि उनके गुणांक वाले बीजगणितीय रूप से बंद क्षेत्र पर गैर-शून्य सामान्य शून्य होता है।
यदि $P$ और $Q$ क्रमविनिमेय वलय में गुणांक वाले दो द्विभाजित सजातीय $R$ , और $\varphi \colon R\to S$ बहुपद हैं $R$ की वलय समरूपता $S$ दूसरे क्रमविनिमेय वलय में , फिर बढ़ा रहा है $\varphi$ बहुपदों पर $R$ , वाले हैं

\operatorname {Res} (\varphi (P),\varphi (Q))=\varphi (\operatorname {Res} (P,Q)).

चर के किसी भी अनुमानित परिवर्तन के अनुसार शून्य होने के लिए सजातीय परिणामी की गुण अपरिवर्तनीय है।

सामान्य परिणामी की कोई भी गुण समान रूप से सजातीय परिणामी तक विस्तारित हो सकती है, और परिणामी गुण सामान्य परिणामी की संबंधित गुण की तुलना में या तो बहुत समान या सरल होती है।

मैकाले का परिणाम

मैकाले का परिणामी, जिसका नाम फ्रांसिस सॉवरबी मैकाले के नाम पर रखा गया है, जिसे $n$ बहुभिन्नरूपी परिणामी, या बहुपद परिणामी भी कहा जाता है,^[3] सजातीय परिणामी का $n$ अनिश्चित में सजातीय बहुपदों का एक सामान्यीकरण है। मैकाले का परिणामी इन $n$ सजातीय बहुपदों के गुणांकों में एक बहुपद है जो गायब हो जाता है यदि और केवल यदि बहुपदों में गुणांक वाले बीजीय रूप से बंद क्षेत्र में एक आम गैर-शून्य समाधान होता है, या समकक्ष, यदि बहुपदों द्वारा परिभाषित $n$ हाइपर सतहें $n -1$ आयामी प्रोजेक्टिव स्पेस में एक आम शून्य है। मल्टीवेरिएट परिणामी, ग्रोबनेर बेस के साथ, प्रभावी उन्मूलन सिद्धांत (कंप्यूटर पर उन्मूलन सिद्धांत) के मुख्य उपकरणों में से एक है।

सजातीय परिणामी के प्रकार, मैकाले को निर्धारकों के साथ परिभाषित किया जा सकता है, और इस प्रकार वलय होमोमोर्फिज़्म के अनुसार अच्छा व्यवहार करता है। चूँकि, इसे निर्धारक द्वारा परिभाषित नहीं किया जा सकता है। यह इस प्रकार है कि पहले इसे सामान्य बहुपदोंपर परिभाषित करना आसान है।

सामान्य सजातीय बहुपदों का परिणाम

कोटि का सजातीय बहुपद $d$ में $n$ चर तक हो सकते हैं

{\binom {n+d-1}{n-1}}={\frac {(n+d-1)!}{(n-1)!\,d!}}

गुणांक; इसे सामान्य कहा जाता है, यदि ये गुणांक अलग-अलग अनिश्चित हैं।

मान लीजिये $P_{1},\ldots ,P_{n}$ होना $n$ में सामान्य सजातीय बहुपद $n$ संबंधित कुल कोटि के अनिश्चित $d_{1},\dots ,d_{n}.$ साथ में, वे सम्मिलित होते हैं

\sum _{i=1}^{n}{\binom {n+d_{i}-1}{n-1}}

अनिश्चित गुणांक।

मान लीजिये $C$ इन सभी में पूर्णांकों पर बहुपद वलय हो

अनिश्चित गुणांक। बहुपद $P_{1},\ldots ,P_{n}$ इस प्रकार $C[x_{1},\ldots ,x_{n}],$ से हैं और उनका परिणामी $C$ से (अभी भी परिभाषित किया जाना है) संबंधित है।

मैकाले की कोटि $D=d_{1}+\cdots +d_{n}-n+1,$ पूर्णांक है जो मैकाले के सिद्धांत में मौलिक है। परिणामी को परिभाषित करने के लिए, कोई मैकाले आव्यूह पर विचार करता है, जो कि $C$ -रैखिक नक्शा के एकपदी आधार पर आव्यूह है

$(Q_{1},\ldots ,Q_{n})\mapsto Q_{1}P_{1}+\cdots +Q_{n}P_{n},$

जिसमें प्रत्येक $Q_{i}$ कोटि $D-d_{i},$ के सजातीय बहुपदों पर चलता है और कोकार्यक्षेत्र $C$ है $D$ कोटि के सजातीय बहुपदों का मापांक है।

यदि $n = 2$ , मैकाले आव्यूह स्क्वायर आव्यूह है, और वर्ग आव्यूह है, किन्तु यह $n > 2$ अब सत्य नहीं है। इस प्रकार, निर्धारक पर विचार करने के अतिरिक्त, सभी अधिकतम लघु (रैखिक बीजगणित) पर विचार किया जाता है, जो वर्ग उपमात्रियों के निर्धारक होते हैं जिनकी मैकाले आव्यूह के रूप में कई पंक्तियाँ होती हैं। मैकाले ने सिद्ध किया कि $C$ -आदर्श इन प्रमुख नाबालिगों द्वारा उत्पन्न प्रमुख आदर्श है, जो इन नाबालिगों के सबसे बड़े सामान्य विभाजक द्वारा उत्पन्न होता है। जैसा कि पूर्णांक गुणांक वाले बहुपदों के साथ काम कर रहा है, यह सबसे बड़ा सामान्य विभाजक इसके चिह्न तक परिभाषित किया गया है। सामान्य मैकाले का परिणाम सबसे बड़ा सामान्य विभाजक है जो $1$ बन जाता है, जब, प्रत्येक $i$ के लिए , शून्य के सभी गुणांकों $P_{i},$ के लिए प्रतिस्थापित किया जाता है और $x_{i}^{d_{i}},$ के गुणांक को छोड़कर जिसके लिए प्रतिस्थापित किया गया है।

सामान्य मैकाले परिणामी के गुण

सामान्य मैकाले परिणामी अलघुकरणीय बहुपद है।
यह कोटि का सजातीय है $B/d_{i}$ के गुणांक में $P_{i},$ जहाँ $B=d_{1}\cdots d_{n}$ बेज़ाउट प्रमेय है।
कोटि के प्रत्येक एकपदी के परिणाम के साथ उत्पाद $D$ में $x_{1},\dots ,x_{n}$ के आदर्श के अंतर्गत $C[x_{1},\dots ,x_{n}]$ आता द्वारा उत्पन्न $P_{1},\dots ,P_{n}.$ है

क्षेत्र पर बहुपदों का परिणाम

अब से, हम मानते हैं कि सजातीय बहुपद $P_{1},\ldots ,P_{n}$ कोटियों का $d_{1},\ldots ,d_{n}$ क्षेत्र में उनके गुणांक हैं (गणित) $k$ , अर्थात् वे $k[x_{1},\dots ,x_{n}].$ इससे संबंधित हैं उनके परिणामी को के तत्व के रूप में परिभाषित किया गया है $k$ के वास्तविक गुणांकों द्वारा अनिश्चित गुणांकों को सामान्य परिणामी में प्रतिस्थापित करके $P_{i}.$ प्राप्त किया जाता है

परिणामी की मुख्य गुण यह है कि यह शून्य है यदि और केवल यदि $P_{1},\ldots ,P_{n}$ के बीजगणितीय रूप से बंद विस्तार में शून्येतर $k$ सामान्य शून्य है।

केवल यदि इस प्रमेय का हिस्सा पूर्ववर्ती पैराग्राफ की अंतिम गुण से निकलता है, और हिल्बर्ट के नलस्टेलेंसैट्ज प्रोजेक्टिव नलस्टेलेंसैट्ज का प्रभावी संस्करण है: यदि परिणामी गैर-शून्य है, तो

\langle x_{1},\ldots ,x_{n}\rangle ^{D}\subseteq \langle P_{1},\ldots ,P_{n}\rangle ,

जहाँ $D=d_{1}+\cdots +d_{n}-n+1$ मैकाले कोटि है, और $\langle x_{1},\ldots ,x_{n}\rangle$ अधिकतम सजातीय आदर्श है। इसका अर्थ यह है कि $P_{1},\ldots ,P_{n}$ अद्वितीय सामान्य शून्य के अतिरिक्त कोई अन्य सामान्य शून्य, $(0, ..., 0)$ , का $x_{1},\ldots ,x_{n}.$ नहीं है

संगणनीयता

चूंकि परिणामी की गणना निर्धारकों और बहुपद महानतम सामान्य विभाजकों की गणना करने के लिए कम हो सकती है, परिणामों की गणना के लिए चरणों की सीमित संख्या में एल्गोरिदम हैं।

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

इसलिए, परिणामी की गणना करना केवल उन बहुपदों के लिए समझ में आता है जिनके गुणांक क्षेत्र से संबंधित हैं या क्षेत्र में कुछ अनिश्चित में बहुपद हैं।

क्षेत्र में गुणांक वाले इनपुट बहुपदों के स्थितियों में, परिणामी का त्रुटिहीन मूल्य संभवतः ही कभी महत्वपूर्ण होता है, केवल इसकी समानता (या नहीं) शून्य मायने रखती है। जैसा कि परिणामी शून्य है यदि और केवल यदि मैकाले आव्यूह की रैंक इसकी पंक्तियों की संख्या से कम है, तो यह समानता शून्य हो सकती है, जिसे मैकाले आव्यूह में गॉसियन विलोपन प्रायुक्त करके परीक्षण किया जा सकता है। यह समय जटिलता $d^{O(n)},$ प्रदान करता है जहाँ $d$ इनपुट बहुपद की अधिकतम कोटि है।

और स्थितियां जहां परिणामी की गणना उपयोगी जानकारी प्रदान कर सकती है, जब इनपुट बहुपद के गुणांक कम संख्या में बहुपद होते हैं, जिन्हें अधिकांश पैरामीटर कहा जाता है। इस स्थितियों में, परिणामी, यदि शून्य नहीं है, तो पैरामीटर स्थान में ऊनविम पृष्ठ को परिभाषित करता है। बिंदु इस हाइपर सतह से संबंधित है, यदि और केवल यदि $x_{1},\ldots ,x_{n}$ के मान हैं जो, बिंदु के निर्देशांक के साथ इनपुट बहुपदों का शून्य है। दूसरे शब्दों में, परिणामी के उन्मूलन सिद्धांत का $x_{1},\ldots ,x_{n}$ इनपुट बहुपदों का परिणाम है ।

यू-परिणामस्वरूप

मैकाले का परिणामी, बहुपद समीकरणों की प्रणालियों को समाधान करने के लिए, मैकाले द्वारा "यू-परिणाम" नामक एक विधि प्रदान करता है।

दिया गया $n - 1$ सजातीय बहुपद $P_{1},\ldots ,P_{n-1},$ कोटियों का $d_{1},\ldots ,d_{n-1},$ में $n$ अनिश्चित $x_{1},\ldots ,x_{n},$ मैदान के ऊपर $k$ , उनका 'यू'-परिणाम का परिणाम है $n$ बहुआयामी पद $P_{1},\ldots ,P_{n-1},P_{n},$ जहाँ

P_{n}=u_{1}x_{1}+\cdots +u_{n}x_{n}

सामान्य रेखीय रूप है जिसके गुणांक नए अनिश्चित हैं $u_{1},\ldots ,u_{n}.$ संकेत पद्धति $u_{i}$ या $U_{i}$ इन सामान्य गुणांकों के लिए पारंपरिक है, और यू-परिणामी शब्द का मूल है।

यू-परिणामी में $k[u_{1},\ldots ,u_{n}].$ सजातीय बहुपद है यह शून्य है यदि और केवल यदि सामान्य शून्य $P_{1},\ldots ,P_{n-1}$ बीजगणितीय विविधता के सकारात्मक आयाम का प्रक्षेपी बीजगणितीय सेट बनाएं (अर्थात, बीजगणितीय रूप से बंद विस्तार पर असीम रूप से कई प्रक्षेपी शून्य हैं $k$ ). यदि U-परिणामी शून्य नहीं है, तो इसकी $d_{1}\cdots d_{n-1}.$ कोटि बेज़ाउट प्रमेय है

U-परिणामस्वरूप $k$ रैखिक रूपों के उत्पाद में बीजगणितीय रूप से बंद विस्तार पर गुणनखण्ड करता है। यदि $\alpha _{1}u_{1}+\ldots +\alpha _{n}u_{n}$ ऐसा रैखिक कारक है, तब $\alpha _{1},\ldots ,\alpha _{n}$ के सामान्य शून्य $P_{1},\ldots ,P_{n-1}.$ के सजातीय निर्देशांक हैं इसके अतिरिक्त, प्रत्येक सामान्य शून्य इन रैखिक कारकों में से से प्राप्त किया जा सकता है, और कारक के रूप में बहुलता, $P_{i}$ इस शून्य पर प्रतिच्छेदन बहुलता के बराबर है। दूसरे शब्दों में, यू-परिणामस्वरूप बेज़ाउट प्रमेय का पूर्णतः स्पष्ट संस्करण प्रदान करता है।

अधिक बहुपदों और अभिकलन का विस्तार

मैकाले द्वारा परिभाषित यू-परिणाम को समीकरणों $n-1$ की प्रणाली में सजातीय बहुपदों की संख्या की आवश्यकता होती है , जहाँ $n$ अनिश्चित की संख्या है। 1981 में, डैनियल लाजार्ड ने इस धारणा को उस स्थितियों तक बढ़ाया जहां $n-1$ बहुपदों की संख्या भिन्न हो सकती है, और परिणामी गणना विशेष गॉसियन उन्मूलन प्रक्रिया के माध्यम से प्रतीकात्मक निर्धारक संगणना के बाद की जा सकती है।

मान लीजिये $P_{1},\ldots ,P_{k}$ सजातीय बहुपद हो $x_{1},\ldots ,x_{n},$ कोटियों का $d_{1},\ldots ,d_{k},$ मैदान के ऊपर $k$ सामान्यता के हानि के बिना, कोई ऐसा मान सकता है $d_{1}\geq d_{2}\geq \cdots \geq d_{k}.$ सेटिंग $d_{i}=1$ के लिए $i > k$ , मैकाले बाध्य है $D=d_{1}+\cdots +d_{n}-n+1.$

मान लीजिये $u_{1},\ldots ,u_{n}$ नए अनिश्चित बनें और परिभाषित करें $P_{k+1}=u_{1}x_{1}+\cdots +u_{n}x_{n}.$ इस स्थितियों में, मैकॉले आव्यूह को एकपदी्स के आधार पर आव्यूह के रूप में परिभाषित किया गया है $x_{1},\ldots ,x_{n},$ रैखिक मानचित्र का

(Q_{1},\ldots ,Q_{k+1})\mapsto P_{1}Q_{1}+\cdots +P_{k+1}Q_{k+1},

जहाँ, प्रत्येक के लिए $i$ , $Q_{i}$ शून्य और कोटि के सजातीय बहुपदों से मिलकर रैखिक स्थान पर चलता है $D-d_{i}$ .

गाऊसी विलोपन के प्रकार द्वारा मैकाले आव्यूह को कम करने पर, रैखिक रूपों का वर्ग आव्यूह प्राप्त होता है $u_{1},\ldots ,u_{n}.$ इस आव्यूह का निर्धारक U- परिणामी है। मूल यू-परिणाम के साथ, यह शून्य है यदि और केवल यदि $P_{1},\ldots ,P_{k}$ असीमित रूप से कई आम प्रोजेक्टिव शून्य हैं (अर्थात् प्रोजेक्टिव बीजगणितीय सेट $P_{1},\ldots ,P_{k}$ द्वारा परिभाषित किया गया है के बीजगणितीय समापन पर अपरिमित रूप से $k$ कई बिंदु हैं). फिर से मूल यू-परिणाम के साथ, जब यह यू-परिणाम शून्य नहीं होता है, तो यह किसी भी बीजगणितीय रूप से बंद विस्तार पर रैखिक कारकों $k$ में कारक होता है। इन रैखिक कारकों $P_{1},\ldots ,P_{k},$ के गुणांक सामान्य शून्य के सजातीय निर्देशांक हैं और सामान्य शून्य की बहुलता संगत रैखिक कारक की बहुलता के बराबर होती है।

मैकाले आव्यूह की पंक्तियों की संख्या से कम है $(ed)^{n},$ जहाँ $e ~ 2.7182$ सामान्य ई (गणितीय स्थिरांक) है, और $d$ की कोटि का अंकगणितीय माध्य है $P_{i}.$ यह इस प्रकार है कि प्रोजेक्टिव शून्य की सीमित संख्या $d^{O(n)}.$ के साथ बहुपद समीकरणों की प्रणाली के सभी समाधान समय जटिलता में निर्धारित किए जा सकते हैं चूंकि यह सीमा बड़ी है, यह निम्नलिखित अर्थों में लगभग इष्टतम है: यदि सभी इनपुट कोटि समान हैं, तो प्रक्रिया की समय जटिलता समाधान की अपेक्षित संख्या (बेज़ाउट प्रमेय) में बहुपद है। यह गणना व्यावहारिक रूप से व्यवहार्य हो सकती है जब $n$ , $k$ और $d$ बड़े नहीं हैं।

यह भी देखें

उन्मूलन सिद्धांत
सब्रेसल्टेंट
अरैखिक बीजगणित

संदर्भ

Gelfand, I. M.; Kapranov, M.M.; Zelevinsky, A.V. (1994), Discriminants, resultants, and multidimensional determinants, Boston: Birkhäuser, ISBN 978-0-8176-3660-9
Macaulay, F. S. (1902), "Some Formulæ in Elimination", Proc. London Math. Soc., 35: 3–27, doi:10.1112/plms/s1-35.1.3
Macaulay, F. S. (1916), The Algebraic Theory of Modular Systems, The Cornell Library of Historical Mathematical Monographs, Cambridge University Press, ISBN 978-1275570412
Salmon, George (1885) [1859], Lessons introductory to the modern higher algebra (4th ed.), Dublin, Hodges, Figgis, and Co., ISBN 978-0-8284-0150-0

बाहरी संबंध

Weisstein, Eric W. "Resultant". MathWorld.

[FOOTNOTESalmon1885lesson_VIII,_p._66-1] Salmon 1885, lesson VIII, p. 66.

[FOOTNOTEMacaulay1902-2] Macaulay 1902.

[3] Cox, David; Little, John; O'Shea, Donal (2005), Using Algebraic Geometry, Springer Science+Business Media, ISBN 978-0387207339, Chapter 3. Resultants

[1]

[2]

[3]

v t e बहुपद और बहुपद कार्य
डिग्री	शून्य बहुपद (डिग्री अपरिभाषित या −1 या and) निरंतर कार्य (0) रैखिक फ़ंक्शन (1) रेखीय समीकरण द्विघात कार्य (2) द्विघात समीकरण क्यूबिक फंक्शन (3) घन समीकरण चतुर्थक कार्य (4) चतुर्थक समीकरण क्विंटिक फंक्शन (5) सेक्स्टिक समीकरण (6) सेप्टिक समीकरण (7)
गुणों से	Univariate bivariate बहुभिन्नरूपी मोनोमियल बिनोमियल ट्रिनोमियल irreducible वर्ग-मुक्त सजातीय quasi-homogenous
औजार और एल्गोरिदम	कारक सबसे बड़ा आम भाजक डिवीजन हॉर्नर की मूल्यांकन की विधि परिणामी भेदभावपूर्ण Gröbner आधार

@@ Line 1: / Line 1: @@
 {{Short description|Mathematical concept in polynomial theory}}
 {{about|दो बहुपदों का परिणाम|विशेषण के रूप में प्रयोग करता है|परिणामी (बहुविकल्पी)}}
 गणित में, दो [[बहुपद|बहुपदों]] का परिणाम उनके गुणांकों की [[बहुपद अभिव्यक्ति|बहुपद व्यंजक]] है, जो शून्य के बराबर है यदि और केवल यदि बहुपदों में फलन की सामान्य मूल (संभवतः क्षेत्र विस्तार में), या, समतुल्य, सामान्य कारक ( उनके गुणांक के क्षेत्र में) है। कुछ प्राचीन ग्रन्थों में परिणामी को निर्मूलक भी कहा गया है।{{sfn|Salmon|1885|loc=lesson VIII, p. 66}}
@@ Line 9: / Line 8: @@
 {{math|''n''}} वेरिएबल्स में {{math|''n''}} [[सजातीय बहुपद|सजातीय बहुपदों]] का परिणाम (सामान्य परिणाम से इसे अलग करने के लिए 'बहुभिन्नरूपी परिणाम' या 'मैकाले का परिणाम' भी कहा जाता है।) सामान्यीकरण है, जो सामान्य परिणाम के [[फ्रांसिस सोवर मैकाले द्वारा]] द्वारा प्रस्तुत किया गया है।{{sfn|Macaulay|1902}} यह ग्रोबनेर के साथ [[उन्मूलन सिद्धांत]] के मुख्य उपकरणों में से एक है।
-== नोटेशन ==
+== संकेत पद्धति ==
 दो अविभाज्य बहुपदों का परिणाम {{math|''A''}} और {{math|''B''}} सामान्य रूप से <math>\operatorname{res}(A,B)</math> या <math>\operatorname{Res}(A,B)</math> द्वारा निरूपित किया जाता है।
-परिणामी के कई अनुप्रयोगों में, बहुपद कई अनिश्चितताओं पर निर्भर करते हैं और गुणांक के रूप में अन्य अनिश्चितताओं में बहुपदों के साथ उनके अनिश्चित में से एक में अविभाजित बहुपद के रूप में माना जा सकता है। इस स्थितियों में, परिणामी को परिभाषित करने और गणना करने के लिए चुने गए अनिश्चित को सबस्क्रिप्ट: <math>\operatorname{res}_x(A,B)</math> या <math>\operatorname{Res}_x(A,B)</math> के रूप में दर्शाया गया है।
+परिणामी के कई अनुप्रयोगों में, बहुपद कई अनिश्चितताओं पर निर्भर करते हैं और गुणांक के रूप में अन्य अनिश्चितताओं में बहुपदों के साथ उनके अनिश्चित में से एक में अविभाजित बहुपद के रूप में माना जा सकता है। इस स्थितियों में, परिणामी को परिभाषित करने और गणना करने के लिए चुने गए अनिश्चित को अधोलिखित: <math>\operatorname{res}_x(A,B)</math> या <math>\operatorname{Res}_x(A,B)</math> के रूप में दर्शाया गया है।
-परिणामी की परिभाषा में बहुपदों की डिग्री का उपयोग किया जाता है। चूंकि, डिग्री का बहुपद {{math|''d''}} उच्च डिग्री के बहुपद के रूप में भी माना जा सकता है जहां प्रमुख गुणांक शून्य हैं। यदि परिणामी के लिए ऐसी उच्च डिग्री का उपयोग किया जाता है, तो इसे सामान्यतः सबस्क्रिप्ट या सुपरस्क्रिप्ट के रूप में दर्शाया जाता है, जैसे <math>\operatorname{res}_{d,e}(A,B)</math> या <math>\operatorname{res}_x^{d,e}(A,B).</math>
+परिणामी की परिभाषा में बहुपदों की कोटि का उपयोग किया जाता है। चूंकि, कोटि का बहुपद {{math|''d''}} उच्च कोटि के बहुपद के रूप में भी माना जा सकता है जहां प्रमुख गुणांक शून्य हैं। यदि परिणामी के लिए ऐसी उच्च कोटि का उपयोग किया जाता है, तो इसे सामान्यतः अधोलिखित या अधिलेख के रूप में दर्शाया जाता है, जैसे <math>\operatorname{res}_{d,e}(A,B)</math> या <math>\operatorname{res}_x^{d,e}(A,B).</math>
@@ Line 20: / Line 19: @@
 == परिभाषा ==
-[[क्षेत्र (गणित)]] या क्रमविनिमेय वलय पर दो अविभाजित बहुपदों के परिणाम को सामान्यतः उनके [[सिल्वेस्टर मैट्रिक्स]] के निर्धारक के रूप में परिभाषित किया जाता है। अधिक त्रुटिहीन, मान लीजिये
+[[क्षेत्र (गणित)]] या क्रमविनिमेय वलय पर दो अविभाजित बहुपदों के परिणाम को सामान्यतः उनके [[सिल्वेस्टर मैट्रिक्स|सिल्वेस्टर आव्यूह]] के निर्धारक के रूप में परिभाषित किया जाता है। अधिक त्रुटिहीन, मान लीजिये
 :<math>A=a_0x^d +a_1x^{d-1} + \cdots + a_d</math>
 और
 :<math>B=b_0x^e +b_1x^{e-1} + \cdots + b_e</math>
-क्रमशः घात {{math|''d''}} और {{math|''e''}} वाले शून्येतर बहुपद हों। आइए हम <math>\mathcal{P}_i</math> आयाम का सदिश स्थान (या मुक्त मॉड्यूल यदि गुणांक क्रमविनिमेय वलय से संबंधित है।) {{math|''i''}} द्वारा निरूपित करते हैं। जिनके तत्व {{math|''i''}}  सख्ती से कम  डिग्री के बहुपद हैं। वो मैप
+क्रमशः घात {{math|''d''}} और {{math|''e''}} वाले शून्येतर बहुपद हों। आइए हम <math>\mathcal{P}_i</math> आयाम का सदिश स्थान (या मुक्त मापांक यदि गुणांक क्रमविनिमेय वलय से संबंधित है।) {{math|''i''}} द्वारा निरूपित करते हैं। जिनके तत्व {{math|''i''}}  सख्ती से कम  कोटि के बहुपद हैं। वो मैप
 :<math>\varphi:\mathcal{P}_{e}\times \mathcal{P}_{d} \rightarrow \mathcal{P}_{d+e}</math>
 :ऐसा है कि
 :<math>\varphi(P,Q)=AP+BQ</math>
-ही आयाम के दो स्थानों के बीच रेखीय नक्शा है। {{math|''x''}} की शक्तियों के आधार पर (अवरोही क्रम में सूचीबद्ध), यह नक्शा आयाम {{math|''d'' + ''e''}} के वर्ग मैट्रिक्स द्वारा दर्शाया गया है,जिसे  {{math|''A''}} और {{math|''B''}} के सिल्वेस्टर मैट्रिक्स कहा जाता है। (कई लेखकों के लिए और लेख सिल्वेस्टर मैट्रिक्स में, सिल्वेस्टर मैट्रिक्स को इस मैट्रिक्स के स्थानान्तरण के रूप में परिभाषित किया गया है; इस सम्मेलन का उपयोग यहां नहीं किया गया है, क्योंकि यह एक रेखीय मानचित्र के मैट्रिक्स को लिखने के लिए सामान्य सम्मेलन को तोड़ता है।)।
+ही आयाम के दो स्थानों के बीच रेखीय नक्शा है। {{math|''x''}} की शक्तियों के आधार पर (अवरोही क्रम में सूचीबद्ध), यह नक्शा आयाम {{math|''d'' + ''e''}} के वर्ग आव्यूह द्वारा दर्शाया गया है,जिसे  {{math|''A''}} और {{math|''B''}} के सिल्वेस्टर आव्यूह कहा जाता है। (कई लेखकों के लिए और लेख सिल्वेस्टर आव्यूह में, सिल्वेस्टर आव्यूह को इस आव्यूह के स्थानान्तरण के रूप में परिभाषित किया गया है; इस सम्मेलन का उपयोग यहां नहीं किया गया है, क्योंकि यह एक रेखीय मानचित्र के आव्यूह को लिखने के लिए सामान्य सम्मेलन को तोड़ता है।)।
 इस प्रकार {{math|''A''}} और {{math|''B''}} का परिणाम निर्धारक है
@@ Line 42: / Line 41: @@
           & 0          & \cdots  & a_d       & 0           & 0              & \cdots & b_e
 \end{vmatrix},</math>
-जिसमें {{math|''b''<sub>''j''</sub>}} के {{math|''a''<sub>''i''</sub>}} और {{math|''d''}} कॉलम के {{math|''e''}} कॉलम हैं (तथ्य यह है कि {{mvar|a}} के पहले कॉलम और {{mvar|b}} के पहले कॉलम की लंबाई समान है, अर्थात {{math|1=''d'' = ''e''}}, यहाँ केवल निर्धारक के प्रदर्शन को सरल बनाने के लिए है।)। उदाहरण के लिए, {{math|1=''d'' = 3}} और {{math|1=''e'' = 2}} लेने पर हमें प्राप्त होता है।
+जिसमें {{math|''b''<sub>''j''</sub>}} के {{math|''a''<sub>''i''</sub>}} और {{math|''d''}} स्तम्भ के {{math|''e''}} स्तम्भ हैं (तथ्य यह है कि {{mvar|a}} के पहले स्तम्भ और {{mvar|b}} के पहले स्तम्भ की लंबाई समान है, अर्थात {{math|1=''d'' = ''e''}}, यहाँ केवल निर्धारक के प्रदर्शन को सरल बनाने के लिए है।)। उदाहरण के लिए, {{math|1=''d'' = 3}} और {{math|1=''e'' = 2}} लेने पर हमें प्राप्त होता है।
 :<math>\begin{vmatrix}
@@ Line 51: / Line 50: @@
       & a_3   & 0     & 0    & b_2
 \end{vmatrix}.</math>
-यदि बहुपदों के गुणांक [[अभिन्न डोमेन]] से संबंधित हैं, तो
+यदि बहुपदों के गुणांक [[अभिन्न डोमेन|अभिन्न कार्यक्षेत्र]] से संबंधित हैं, तो
 :<math>\operatorname{res}(A, B) = a_0^e b_0^d \prod_{\begin{array}{c}1 \leq i \leq d\\ 1 \leq j \leq e\end{array}} (\lambda_i-\mu_j) = a_0^e \prod_{i=1}^d B(\lambda_i) = (-1)^{de} b_0^d \prod_{j=1}^e A(\mu_j),</math>
-जहाँ <math>\lambda_1, \dots, \lambda_d</math> और <math>\mu_1,\dots,\mu_e</math> क्रमशः मूलें हैं, उनकी बहुलताओं के साथ गिना जाता है। {{mvar|A}} और {{mvar|B}} किसी भी बीजगणितीय रूप से बंद फ़ील्ड में अभिन्न डोमेन सम्मिलित है।
+जहाँ <math>\lambda_1, \dots, \lambda_d</math> और <math>\mu_1,\dots,\mu_e</math> क्रमशः मूलें हैं, उनकी बहुलताओं के साथ गिना जाता है। {{mvar|A}} और {{mvar|B}} किसी भी बीजगणितीय रूप से बंद क्षेत्र में अभिन्न कार्यक्षेत्र सम्मिलित है।
-यह नीचे दिखाई देने वाले परिणामी के लक्षण वर्णन गुणों का सीधा परिणाम है। पूर्णांक गुणांक के सामान्य स्थितियों में, बीजगणितीय रूप से बंद क्षेत्र को सामान्यतः [[जटिल संख्या]]ओं के क्षेत्र के रूप में चुना जाता है।
+यह नीचे दिखाई देने वाले परिणामी के लक्षण वर्णन गुणों का सीधा परिणाम है। पूर्णांक गुणांक के सामान्य स्थितियों में, बीजगणितीय रूप से बंद क्षेत्र को सामान्यतः [[जटिल संख्या|जटिल संख्याओं]] के क्षेत्र के रूप में चुना जाता है।
 == गुण ==
-इस खंड और इसके उपखंडों में, {{math|''A''}} और {{math|''B''}} में दो बहुपद हैं {{math|''x''}} संबंधित डिग्री के {{math|''d''}} और {{math|''e''}}, और उनके परिणामी को निरूपित किया जाता है।
+इस खंड और इसके उपखंडों में, {{math|''A''}} और {{math|''B''}} में दो बहुपद हैं {{math|''x''}} संबंधित कोटि के {{math|''d''}} और {{math|''e''}}, और उनके परिणामी को निरूपित किया जाता है।
   <math>\operatorname{res}(A,B).</math>
@@ Line 65: / Line 64: @@
 गुणांक वाले दो बहुपदों के परिणाम के लिए निम्नलिखित गुण मान्य है।
-क्रमविनिमेय रिंग {{math|''R''}} में गुणांक वाले दो बहुपदों के परिणाम के लिए निम्नलिखित गुण हैं। यदि {{mvar|R}} एक क्षेत्र या अधिक सामान्यतः एक अभिन्न डोमेन है, परिणामी दो बहुपदों के गुणांकों का अद्वितीयफलन है जो इन गुणों को संतुष्ट करता है।
+क्रमविनिमेय वलय {{math|''R''}} में गुणांक वाले दो बहुपदों के परिणाम के लिए निम्नलिखित गुण हैं। यदि {{mvar|R}} एक क्षेत्र या अधिक सामान्यतः एक अभिन्न कार्यक्षेत्र है, परिणामी दो बहुपदों के गुणांकों का अद्वितीयफलन है जो इन गुणों को संतुष्ट करता है।
-* यदि {{mvar|R}} और रिंग का {{mvar|S}} [[सबरिंग]] है, तब <math>\operatorname{res}_R(A,B) = \operatorname{res}_S(A,B).</math> अर्थात् {{mvar|A}} और {{mvar|B}} का परिणाम समान होता है जब {{mvar|R}} या {{mvar|S}} बहुपदों पर विचार किया जाता है।
+* यदि {{mvar|R}} और वलय का {{mvar|S}} [[सबरिंग|उपवलय]] है, तब <math>\operatorname{res}_R(A,B) = \operatorname{res}_S(A,B).</math> अर्थात् {{mvar|A}} और {{mvar|B}} का परिणाम समान होता है जब {{mvar|R}} या {{mvar|S}} बहुपदों पर विचार किया जाता है।
 *यदि {{math|1=''d'' = 0}} (अर्थात् यदि <math>A=a_0</math> अशून्य स्थिरांक है।) तब <math>\operatorname{res}(A,B) = a_0^e.</math> इसी प्रकार यदि {{math|1=''e'' = 0}}, तब <math>\operatorname{res}(A,B) = b_0^d.</math>
 * <math>\operatorname{res}(x+a_1, x+b_1) = b_1-a_1</math>
@@ Line 74: / Line 73: @@
 === शून्य ===
-* अभिन्न डोमेन में गुणांक वाले दो बहुपदों का परिणाम शून्य होता है। यदि और केवल यदि उनके पास सकारात्मक डिग्री के दो बहुपदों का सबसे बड़ा सामान्य विभाजक हो।
+* अभिन्न कार्यक्षेत्र में गुणांक वाले दो बहुपदों का परिणाम शून्य होता है। यदि और केवल यदि उनके पास सकारात्मक कोटि के दो बहुपदों का सबसे बड़ा सामान्य विभाजक हो।
 * पूर्णांकीय प्रांत में गुणांक वाले दो बहुपदों का परिणाम शून्य होता है यदि और केवल यदि उनके गुणांक वाले बीजगणितीय रूप से बंद क्षेत्र में सामान्य मूल हो।
-* {{math|''e''}} से कम डिग्री का एक बहुपद {{math|''P''}} और {{math|''d''}} से कम डिग्री का एक बहुपद {{math|''Q''}} उपस्थित है जैसे कि  <math> \operatorname{res}(A,B)=AP+BQ.</math> यह स्वैच्छिक क्रमविनिमेय वलय पर बहुपदों के लिए बेज़ाउट की पहचान का सामान्यीकरण है। दूसरे शब्दों में, दो बहुपदों का परिणाम इन बहुपदों द्वारा उत्पन्न आदर्श (रिंग थ्योरी) से संबंधित है।
+* {{math|''e''}} से कम कोटि का एक बहुपद {{math|''P''}} और {{math|''d''}} से कम कोटि का एक बहुपद {{math|''Q''}} उपस्थित है जैसे कि  <math> \operatorname{res}(A,B)=AP+BQ.</math> यह स्वैच्छिक क्रमविनिमेय वलय पर बहुपदों के लिए बेज़ाउट की पहचान का सामान्यीकरण है। दूसरे शब्दों में, दो बहुपदों का परिणाम इन बहुपदों द्वारा उत्पन्न आदर्श (वलय सिद्धांत) से संबंधित है।
-=== रिंग होमोमोर्फिज्म द्वारा अप्रसरण ===
+=== वलय होमोमोर्फिज्म द्वारा अप्रसरण ===
-मान लीजिये {{math|''A''}} और {{math|''B''}} संबंधित डिग्री के दो बहुपद बनें {{math|''d''}} और {{math|''e''}} कम्यूटेटिव रिंग में गुणांक के साथ {{math|''R''}}, और <math>\varphi\colon R\to S</math> की रिंग समरूपता {{math|''R''}} दूसरे क्रमविनिमेय रिंग में {{math|''S''}} को प्रायुक्त करने <math>\varphi</math> बहुपद के गुणांकों का विस्तार होता है। <math>\varphi</math> बहुपद के छल्ले के समरूपता के लिए <math>R[x]\to S[x]</math>, जिसे <math>\varphi.</math> द्वारा निरूपित भी किया जाता है।  इस अंकन के साथ, हमारे पास है:
+मान लीजिये {{math|''A''}} और {{math|''B''}} संबंधित कोटि के दो बहुपद बनें {{math|''d''}} और {{math|''e''}} कम्यूटेटिव वलय में गुणांक के साथ {{math|''R''}}, और <math>\varphi\colon R\to S</math> की वलय समरूपता {{math|''R''}} दूसरे क्रमविनिमेय वलय में {{math|''S''}} को प्रायुक्त करने <math>\varphi</math> बहुपद के गुणांकों का विस्तार होता है। <math>\varphi</math> बहुपद के छल्ले के समरूपता के लिए <math>R[x]\to S[x]</math>, जिसे <math>\varphi.</math> द्वारा निरूपित भी किया जाता है।  इस अंकन के साथ, हमारे पास है:
 * यदि <math>\varphi</math> की उपाधियाँ सुरक्षित रखता है  {{math|''A''}} और {{math|''B''}} (अर्थात् यदि <math>\deg(\varphi(A)) = d</math> और <math>\deg(\varphi(B))= e</math>), तब
 ::<math>\varphi(\operatorname{res}(A,B))=\operatorname{res}(\varphi(A), \varphi(B)).</math>
@@ Line 88: / Line 87: @@
 * यदि <math>\deg(\varphi(A)) = f<d</math> और <math>\deg(\varphi(B)) = e,</math> और {{math|''B''}} के अग्रणी गुणांक <math>b_0</math> है तब
 ::<math>\varphi(\operatorname{res}(A,B)) = (-1)^{e(d-f)}\varphi(b_0)^{d-f}\operatorname{res}(\varphi(A), \varphi(B)).</math>
-निर्धारक के रूप में परिणामी की परिभाषा से इन गुणों को आसानी से घटाया जा सकता है। वे मुख्य रूप से दो स्थितियों में उपयोग किए जाते हैं। पूर्णांक गुणांक वाले बहुपदों के परिणाम की गणना करने के लिए, यह सामान्यतः [[मॉड्यूलर अंकगणित|मॉड्यूलर अंकगणितीय]] कई प्राइम्स की गणना करने और [[चीनी शेष प्रमेय]] के साथ वांछित परिणाम प्राप्त करने के लिए तेज़ होता है। कब {{math|''R''}} अन्य अनिश्चित में बहुपद की रिंग है, और {{math|''S''}} कुछ या सभी अनिश्चित संख्यात्मक मानों की विशेषज्ञता के द्वारा प्राप्त की गई रिंग {{math|''R''}} है, इन गुणों को इस प्रकार से फिर से प्रारंभ किया जा सकता है जैसे कि विशेषज्ञता द्वारा डिग्री को संरक्षित किया जाता है, दो बहुपदों के विशेषज्ञता का परिणाम परिणामी का विशेषज्ञता है। यह गुण मौलिक है, उदाहरण के लिए, बेलनाकार बीजगणितीय अपघटन के लिए।
+निर्धारक के रूप में परिणामी की परिभाषा से इन गुणों को आसानी से घटाया जा सकता है। वे मुख्य रूप से दो स्थितियों में उपयोग किए जाते हैं। पूर्णांक गुणांक वाले बहुपदों के परिणाम की गणना करने के लिए, यह सामान्यतः [[मॉड्यूलर अंकगणित|मापांक अंकगणितीय]] कई प्राइम्स की गणना करने और [[चीनी शेष प्रमेय]] के साथ वांछित परिणाम प्राप्त करने के लिए तेज़ होता है। कब {{math|''R''}} अन्य अनिश्चित में बहुपद की वलय है, और {{math|''S''}} कुछ या सभी अनिश्चित संख्यात्मक मानों की विशेषज्ञता के द्वारा प्राप्त की गई वलय {{math|''R''}} है, इन गुणों को इस प्रकार से फिर से प्रारंभ किया जा सकता है जैसे कि विशेषज्ञता द्वारा कोटि को संरक्षित किया जाता है, दो बहुपदों के विशेषज्ञता का परिणाम परिणामी का विशेषज्ञता है। यह गुण मौलिक है, उदाहरण के लिए, बेलनाकार बीजगणितीय अपघटन के लिए।
 === चर के परिवर्तन के अनुसार व्युत्क्रम ===
@@ Line 100: / Line 99: @@
 *यदि {{math|''a''}} और {{mvar|''b''}} अशून्य स्थिरांक हैं (अर्थात वे अनिश्चित से स्वतंत्र हैं {{math|''x''}}), और {{math|''A''}} और {{mvar|''B''}} ऊपर के रूप में हैं, तो
 ::<math>\operatorname{res}(aA,bB) =a^eb^d\operatorname{res}(A,B). </math>
-*यदि {{math|''A''}} और {{mvar|''B''}} ऊपर के रूप में हैं, और {{mvar|C}} और बहुपद है जैसे कि {{math|''A'' – ''CB''}} की डिग्री {{math|''{{delta}}''}} है, तब
+*यदि {{math|''A''}} और {{mvar|''B''}} ऊपर के रूप में हैं, और {{mvar|C}} और बहुपद है जैसे कि {{math|''A'' – ''CB''}} की कोटि {{math|''{{delta}}''}} है, तब
 ::<math>\operatorname{res}(A-CB, B)=b_0^{\delta-d}\operatorname{res}(A,B). </math>
 ::
@@ Line 107: / Line 106: @@
 :और यदि {{math|1=''f'' = deg ''C'' > deg ''A'' – deg ''B'' = ''d'' – ''e''}}, तब
 ::<math>\operatorname{res}(A-CB, B)=b_0^{e+f-d}\operatorname{res}(A,B). </math>
-इन गुणों का अर्थ है कि [[बहुपदों के लिए यूक्लिडियन एल्गोरिथ्म]] में, और इसके सभी प्रकार (छद्म-शेष अनुक्रम), दो लगातार शेष (या छद्म-शेष) के परिणाम प्रारंभिक बहुपदों के [[परिणामी]] से भिन्न होते हैं, जो कि गणना करना आसान है। इसके विपरीत, यह किसी को प्रारंभिक बहुपदों के परिणाम को अंतिम शेष या छद्म शेष के मान से निकालने की अनुमति देता है। यह बहुपद महानतम सामान्य विभाजक का प्रारंभिक विचार है, जो उपरोक्त फॉर्मूलों का उपयोग छद्म-शेष के रूप में सब-रिजल्टेंट बहुपदों को प्राप्त करने के लिए, और परिणामी को अंतिम गैर-शून्य छद्म-शेष के रूप में (परन्तु कि परिणामी शून्य न हो) करता है। यह एल्गोरिथम पूर्णांकों पर बहुपदों के लिए काम करता है या सामान्यतः त्रुटिहीन विभाजनों के अतिरिक्त किसी भी विभाजन के बिना एक अभिन्न डोमेन पर काम करता है (अर्थात, अंशों को सम्मिलित किए बिना)। इसमें <math>O(de)</math> अंकगणितीय संक्रियाएँ सम्मिलित हैं, चूंकि मानक एल्गोरिदम के साथ सिल्वेस्टर मैट्रिक्स के निर्धारक की गणना के लिए <math>O((d+e)^3)</math> अंकगणितीय संक्रियाओं की आवश्यकता होती है।
+इन गुणों का अर्थ है कि [[बहुपदों के लिए यूक्लिडियन एल्गोरिथ्म]] में, और इसके सभी प्रकार (छद्म-शेष अनुक्रम), दो लगातार शेष (या छद्म-शेष) के परिणाम प्रारंभिक बहुपदों के [[परिणामी]] से भिन्न होते हैं, जो कि गणना करना आसान है। इसके विपरीत, यह किसी को प्रारंभिक बहुपदों के परिणाम को अंतिम शेष या छद्म शेष के मान से निकालने की अनुमति देता है। यह बहुपद महानतम सामान्य विभाजक का प्रारंभिक विचार है, जो उपरोक्त फॉर्मूलों का उपयोग छद्म-शेष के रूप में सब-रिजल्टेंट बहुपदों को प्राप्त करने के लिए, और परिणामी को अंतिम गैर-शून्य छद्म-शेष के रूप में (परन्तु कि परिणामी शून्य न हो) करता है। यह एल्गोरिथम पूर्णांकों पर बहुपदों के लिए काम करता है या सामान्यतः त्रुटिहीन विभाजनों के अतिरिक्त किसी भी विभाजन के बिना एक अभिन्न कार्यक्षेत्र पर काम करता है (अर्थात, अंशों को सम्मिलित किए बिना)। इसमें <math>O(de)</math> अंकगणितीय संक्रियाएँ सम्मिलित हैं, चूंकि मानक एल्गोरिदम के साथ सिल्वेस्टर आव्यूह के निर्धारक की गणना के लिए <math>O((d+e)^3)</math> अंकगणितीय संक्रियाओं की आवश्यकता होती है।
 === सामान्य गुण ===
@@ Line 118: / Line 117: @@
 इन निर्धारकों द्वारा परिभाषित पूर्णांकों पर बहुपद वलय हो।
-परिणामी <math>\operatorname{res}(A,B)</math> डिग्री के लिए {{math|''d''}} और {{math|''e''}} अधिकांश सामान्य परिणामी कहा जाता है। इसके निम्नलिखित गुण हैं।
+परिणामी <math>\operatorname{res}(A,B)</math> कोटि के लिए {{math|''d''}} और {{math|''e''}} अधिकांश सामान्य परिणामी कहा जाता है। इसके निम्नलिखित गुण हैं।
 *<math>\operatorname{res}(A,B)</math> बिल्कुल अलघुकरणीय बहुपद है।
-*यदि <math>I</math> का आदर्श (रिंग थ्योरी) है <math>R[x]</math> द्वारा उत्पन्न {{math|''A''}} और {{math|''B''}}, तब <math>I\cap R</math> द्वारा उत्पन्न <math>\operatorname{res}(A,B)</math> [[प्रमुख आदर्श]] है .
+*यदि <math>I</math> का आदर्श (वलय सिद्धांत) है <math>R[x]</math> द्वारा उत्पन्न {{math|''A''}} और {{math|''B''}}, तब <math>I\cap R</math> द्वारा उत्पन्न <math>\operatorname{res}(A,B)</math> [[प्रमुख आदर्श]] है .
 === एकरूपता ===
-डिग्री के लिए सामान्य परिणाम {{math|''d''}} और {{math|''e''}} विभिन्न विधियों से सजातीय बहुपद है। ज्यादा ठीक:
+कोटि के लिए सामान्य परिणाम {{math|''d''}} और {{math|''e''}} विभिन्न विधियों से सजातीय बहुपद है। ज्यादा ठीक:
-* यह <math>a_0, \ldots, a_d.</math> में डिग्री {{math|''e''}} का सजातीय है।
+* यह <math>a_0, \ldots, a_d.</math> में कोटि {{math|''e''}} का सजातीय है।
-* यह <math>b_0, \ldots, b_e.</math> में डिग्री {{math|''d''}} का सजातीय है।
+* यह <math>b_0, \ldots, b_e.</math> में कोटि {{math|''d''}} का सजातीय है।
-* यह सभी चर <math>a_i</math> और <math>b_j.</math> में डिग्री {{math|''d'' + ''e''}} का सजातीय है।
+* यह सभी चर <math>a_i</math> और <math>b_j.</math> में कोटि {{math|''d'' + ''e''}} का सजातीय है।
-* यदि <math>a_i</math> और <math>b_i</math> को परिणामी {{math|''i''}} दिया जाता है। (अर्थात्, प्रत्येक गुणांक का परिणामी [[प्राथमिक सममित बहुपद]] के रूप में इसकी डिग्री है), तो यह कुल परिणामी का {{math|''de''}} का [[अर्ध-सजातीय बहुपद]] है |
+* यदि <math>a_i</math> और <math>b_i</math> को परिणामी {{math|''i''}} दिया जाता है। (अर्थात्, प्रत्येक गुणांक का परिणामी [[प्राथमिक सममित बहुपद]] के रूप में इसकी कोटि है), तो यह कुल परिणामी का {{math|''de''}} का [[अर्ध-सजातीय बहुपद]] है |
-*यदि {{math|''P''}} और {{math|''Q''}} संबंधित डिग्री {{math|''d''}} और {{math|''e''}} के सजातीय बहुभिन्नरूपी बहुपद हैं , तो उनका परिणाम डिग्री {{math|''d''}} और {{math|''e''}}  में अनिश्चित {{math|''x''}} के संबंध में , निरूपित <math>\operatorname{res}_x^{d,e}(P,Q)</math> में {{slink||अंकन}}, अन्य अनिश्चित में डिग्री {{math|''de''}} का सजातीय है।
+*यदि {{math|''P''}} और {{math|''Q''}} संबंधित कोटि {{math|''d''}} और {{math|''e''}} के सजातीय बहुभिन्नरूपी बहुपद हैं , तो उनका परिणाम कोटि {{math|''d''}} और {{math|''e''}}  में अनिश्चित {{math|''x''}} के संबंध में , निरूपित <math>\operatorname{res}_x^{d,e}(P,Q)</math> में {{slink||अंकन}}, अन्य अनिश्चित में कोटि {{math|''de''}} का सजातीय है।
 === उन्मूलन गुण ===
-मान लीजिये <math>I=\langle A, B\rangle </math> एक बहुपद वलय (रिंग थ्योरी) <math>R[x],</math> में दो बहुपद रिंग {{math|''A''}} और {{math|''B''}}  द्वारा उत्पन्न आदर्श है, जहां <math>R=k[y_1,\ldots,y_n]</math> क्षेत्र पर स्वयं बहुपद वलय है। यदि कम से कम {{math|''A''}} और {{math|''B''}} में {{mvar|x}} मोनिक बहुपद है, तब:
+मान लीजिये <math>I=\langle A, B\rangle </math> एक बहुपद वलय (वलय सिद्धांत) <math>R[x],</math> में दो बहुपद वलय {{math|''A''}} और {{math|''B''}}  द्वारा उत्पन्न आदर्श है, जहां <math>R=k[y_1,\ldots,y_n]</math> क्षेत्र पर स्वयं बहुपद वलय है। यदि कम से कम {{math|''A''}} और {{math|''B''}} में {{mvar|x}} मोनिक बहुपद है, तब:
 * <math>\operatorname{res}_x(A,B)\in I \cap R</math>
 * आदर्श <math>I\cap R</math> और <math>R\operatorname{res}_x(A,B)</math> ही [[बीजगणितीय सेट]] को परिभाषित करें। वह {{math|''n''}}बीजगणितीय रूप से बंद क्षेत्र के तत्वों का टपल तत्वों का सामान्य शून्य है <math>I\cap R</math> यदि और केवल <math>\operatorname{res}_x(A,B).</math> यह शून्य है।
@@ Line 145: / Line 144: @@
 सैद्धांतिक रूप से, परिणामी को मूलों के अंतर के उत्पाद के रूप में व्यक्त करने वाले सूत्र का उपयोग करके गणना की जा सकती है। चूंकि, जैसा कि मूलों की सामान्यतः गणना नहीं की जा सकती है, ऐसा एल्गोरिदम अक्षम और [[संख्यात्मक रूप से अस्थिर]] होगा। चूंकि परिणामी प्रत्येक बहुपद की मूलों का [[सममित बहुपद]] है, इसकी गणना सममित बहुपद के मौलिक प्रमेय का उपयोग करके भी की जा सकती है, किन्तु यह अत्यधिक अक्षम होगा।
-जैसा कि परिणामी सिल्वेस्टर मैट्रिक्स (और बेज़ाउट मैट्रिक्स) का निर्धारक है, इसकी गणना निर्धारकों की गणना के लिए किसी भी एल्गोरिथ्म का उपयोग करके की जा सकती है। इसके लिये <math>O(n^3)</math> अंकगणितीय संक्रियाओं की आवश्यकता है। जैसा कि एल्गोरिदम उत्तम जटिलता के साथ जाना जाता है (नीचे देखें), इस पद्धति का व्यवहार में उपयोग नहीं किया जाता है।
+जैसा कि परिणामी सिल्वेस्टर आव्यूह (और बेज़ाउट आव्यूह) का निर्धारक है, इसकी गणना निर्धारकों की गणना के लिए किसी भी एल्गोरिथ्म का उपयोग करके की जा सकती है। इसके लिये <math>O(n^3)</math> अंकगणितीय संक्रियाओं की आवश्यकता है। जैसा कि एल्गोरिदम उत्तम जटिलता के साथ जाना जाता है (नीचे देखें), इस पद्धति का व्यवहार में उपयोग नहीं किया जाता है।
-यह {{slink||बहुपदों के परिवर्तन के तहत अपरिवर्तनीयता}} से आता है कि परिणामी की गणना बहुपदों के लिए यूक्लिडियन एल्गोरिदम से दृढ़ता से संबंधित है। इससे पता चलता है कि डिग्री {{math|''d''}} और {{math|''e''}} के दो बहुपदों के परिणाम की गणना गुणांक के क्षेत्र में अंकगणितीय संचालन <math>O(de)</math> में की जा सकती है।
+यह {{slink||बहुपदों के परिवर्तन के तहत अपरिवर्तनीयता}} से आता है कि परिणामी की गणना बहुपदों के लिए यूक्लिडियन एल्गोरिदम से दृढ़ता से संबंधित है। इससे पता चलता है कि कोटि {{math|''d''}} और {{math|''e''}} के दो बहुपदों के परिणाम की गणना गुणांक के क्षेत्र में अंकगणितीय संचालन <math>O(de)</math> में की जा सकती है।
-चूँकि, जब गुणांक पूर्णांक, परिमेय संख्या या बहुपद होते हैं, तो ये अंकगणितीय संचालन गुणांक के कई GCD संगणनाओं को प्रायुक्त करते हैं जो समान क्रम के होते हैं और एल्गोरिथ्म को अक्षम बनाते हैं।
+चूँकि, जब गुणांक पूर्णांक, परिमेय संख्या या बहुपद होते हैं, तो ये अंकगणितीय संचालन गुणांक के कई जीसीडी संगणनाओं को प्रायुक्त करते हैं जो समान क्रम के होते हैं और एल्गोरिथ्म को अक्षम बनाते हैं।
-इस समस्या को समाधान करने और गुणांक के किसी भी अंश और किसी भी GCD संगणना से बचने के लिए उपपरिणामस्वरूप छद्म-शेष अनुक्रम प्रस्तुत किए गए थे। पूर्णांक गुणांक वाले दो बहुपदों के परिणाम की गणना करने के लिए गुणांकों पर रिंग समरूपता के अनुसार परिणामी के अच्छे व्यवहार का उपयोग करके एक अधिक कुशल एल्गोरिथ्म प्राप्त किया जाता है, एक उनके परिणामी मॉडुलो की पर्याप्त रूप से कई [[अभाज्य संख्या|अभाज्य संख्याओं]] की गणना करता है और फिर चीनी शेष प्रमेय के साथ परिणाम का पुनर्निर्माण करता है।
+इस समस्या को समाधान करने और गुणांक के किसी भी अंश और किसी भी जीसीडी संगणना से बचने के लिए उपपरिणामस्वरूप छद्म-शेष अनुक्रम प्रस्तुत किए गए थे। पूर्णांक गुणांक वाले दो बहुपदों के परिणाम की गणना करने के लिए गुणांकों पर वलय समरूपता के अनुसार परिणामी के अच्छे व्यवहार का उपयोग करके एक अधिक कुशल एल्गोरिथ्म प्राप्त किया जाता है, एक उनके परिणामी मापांकों की पर्याप्त रूप से कई [[अभाज्य संख्या|अभाज्य संख्याओं]] की गणना करता है और फिर चीनी शेष प्रमेय के साथ परिणाम का पुनर्निर्माण करता है।
 पूर्णांकों और बहुपदों के [[तेजी से गुणन]] का उपयोग परिणामी और सबसे बड़े सामान्य विभाजक के लिए एल्गोरिदम की अनुमति देता है जिसमें उत्तम [[समय जटिलता]] होती है, जो गुणन की जटिलता के क्रम का होता है, इनपुट के आकार के लघुगणक (<math>\log(s(d+e)),</math> से गुणा किया जाता है  जहाँ {{math|''s''}} इनपुट बहुपदों के अंकों की संख्या की ऊपरी सीमा है)।
@@ Line 166: / Line 165: @@
 Q(x,y)&=0,
 \end{align}</math>
-जहाँ {{math|''P''}} और {{math|''Q''}} संबंधित {{math|''d''}} और {{math|''e''}} [[कुल डिग्री]] के बहुपद है। तब <math>R=\operatorname{res}_y^{d,e}(P,Q)</math> में {{math|''x''}} बहुपद है, जो {{math|''de''}} डिग्री की [[सामान्य संपत्ति|सामान्य गुण]] है (गुणों द्वारा {{slink||एकरूपता}}). मान <math>\alpha</math> का {{math|''x''}} की {{math|''R''}} मूल है  यदि और केवल यदि या तो <math>\beta</math> उपस्थित है।  बीजगणितीय रूप से बंद क्षेत्र में जिसमें गुणांक होते हैं, जैसे कि <math>P(\alpha,\beta)=Q(\alpha,\beta)=0</math>, या <math>\deg(P(\alpha,y)) <d </math> और <math>\deg(Q(\alpha,y)) <e </math> (इस स्थितियों में, कोई ऐसा कहता है {{math|''P''}} और {{math|''Q''}} के लिए अनंत पर उभयनिष्ठ मूल <math>x=\alpha</math> है ).
+जहाँ {{math|''P''}} और {{math|''Q''}} संबंधित {{math|''d''}} और {{math|''e''}} [[कुल डिग्री|कुल कोटि]] के बहुपद है। तब <math>R=\operatorname{res}_y^{d,e}(P,Q)</math> में {{math|''x''}} बहुपद है, जो {{math|''de''}} कोटि की [[सामान्य संपत्ति|सामान्य गुण]] है (गुणों द्वारा {{slink||एकरूपता}}). मान <math>\alpha</math> का {{math|''x''}} की {{math|''R''}} मूल है  यदि और केवल यदि या तो <math>\beta</math> उपस्थित है।  बीजगणितीय रूप से बंद क्षेत्र में जिसमें गुणांक होते हैं, जैसे कि <math>P(\alpha,\beta)=Q(\alpha,\beta)=0</math>, या <math>\deg(P(\alpha,y)) <d </math> और <math>\deg(Q(\alpha,y)) <e </math> (इस स्थितियों में, कोई ऐसा कहता है {{math|''P''}} और {{math|''Q''}} के लिए अनंत पर उभयनिष्ठ मूल <math>x=\alpha</math> है ).
-इसलिए, प्रणाली के समाधान की मूलों की गणना करके प्राप्त किए जाते हैं {{math|''R''}}, और प्रत्येक मूल के लिए <math>\alpha,</math> की सामान्य मूल (ओं) <math>P(\alpha,y),</math> <math>Q(\alpha,y),</math> और <math>\operatorname{res}_x(P,Q).</math> की गणना करना है।
+इसलिए, प्रणाली के समाधान की मूलों {{math|''R''}} की गणना करके प्राप्त किए जाते हैं, और प्रत्येक मूल के लिए <math>\alpha,</math> की सामान्य मूल (ओं) <math>P(\alpha,y),</math> <math>Q(\alpha,y),</math> और <math>\operatorname{res}_x(P,Q).</math> की गणना करना है।
-बेज़ाउट प्रमेय का परिणाम <math>\deg\left(\operatorname{res}_y(P,Q)\right)\le de</math>, के मान से होता है की {{math|''P''}} और {{math|''Q''}} डिग्री का उत्पाद . वास्तव में, चरों के रैखिक परिवर्तन के बाद, कोई यह मान सकता है कि, प्रत्येक रूट के लिए {{math|''x''}} परिणामी का, {{math|''y''}} का बिल्कुल मान है  जैसे कि {{math|(''x'', ''y'')}} का सामान्य शून्य {{math|''P''}} और {{math|''Q''}} है। इससे पता चलता है कि उभयनिष्ठ शून्यों की संख्या अधिक से अधिक परिणामी की डिग्री है, जो कि  {{math|''P''}} और {{math|''Q''}} अधिक से अधिक डिग्री का गुणनफल है। कुछ तकनीकीताओं के साथ, इस प्रमाण को यह दिखाने के लिए बढ़ाया जा सकता है कि अनंत पर गुणा और शून्य की गिनती, शून्य की संख्या वास्तव में डिग्री का उत्पाद है।
+बेज़ाउट प्रमेय का परिणाम <math>\deg\left(\operatorname{res}_y(P,Q)\right)\le de</math>, के मान से होता है की {{math|''P''}} और {{math|''Q''}} कोटि का उत्पाद . वास्तव में, चरों के रैखिक परिवर्तन के बाद, कोई यह मान सकता है कि, प्रत्येक रूट के लिए {{math|''x''}} परिणामी का, {{math|''y''}} का बिल्कुल मान है  जैसे कि {{math|(''x'', ''y'')}} का सामान्य शून्य {{math|''P''}} और {{math|''Q''}} है। इससे पता चलता है कि उभयनिष्ठ शून्यों की संख्या अधिक से अधिक परिणामी की कोटि है, जो कि  {{math|''P''}} और {{math|''Q''}} अधिक से अधिक कोटि का गुणनफल है। कुछ तकनीकीताओं के साथ, इस प्रमाण को यह दिखाने के लिए बढ़ाया जा सकता है कि अनंत पर गुणा और शून्य की गिनती, शून्य की संख्या वास्तव में कोटि का उत्पाद है।
 === सामान्य स्थितियां ===
-पहली नज़र में, ऐसा लगता है कि परिणामी समीकरणों की सामान्य बहुपद प्रणाली पर प्रायुक्त हो सकते हैं
+पहली दृष्टि में, ऐसा लगता है कि परिणामी समीकरणों की सामान्य बहुपद प्रणाली पर प्रायुक्त हो सकते हैं
 :<math>P_1(x_1, \ldots, x_n)=0</math>
 :<math>\vdots</math>
@@ Line 182: / Line 181: @@
 :<math>\operatorname{res}_{x_n}(P_1, U_2P_2 +\cdots +U_kP_k).</math> यह बहुपद है <math>U_2, \ldots, U_k</math> जिनके गुणांक बहुपद हैं <math>x_1, \ldots, x_{n-1},</math> जिसके पास वह गुण है <math>\alpha_1, \ldots, \alpha_{n-1}</math> इन बहुपद गुणांकों का सामान्य शून्य है, यदि और केवल यदि अविभाज्य बहुपद <math>P_i(\alpha_1, \ldots, \alpha_{n-1}, x_n)</math> सामान्य शून्य है, संभवतः अनंत पर दर्शाता है। इस प्रक्रिया को तब तक दोहराया जा सकता है जब तक कि अविभाजित बहुपद नहीं मिलते।
-सही एल्गोरिथम प्राप्त करने के लिए विधि में दो पूरक जोड़े जाने चाहिए। सबसे पहले, प्रत्येक चरण में, चर के रैखिक परिवर्तन की आवश्यकता हो सकती है जिससे अंतिम चर में बहुपदों की डिग्री उनकी कुल डिग्री के समान हो। दूसरे, यदि किसी भी चरण पर, परिणामी शून्य है, तो इसका अर्थ है कि बहुपदों का उभयनिष्ठ गुणनखंड है और समाधान दो घटकों में विभाजित हो जाता है: जहां उभयनिष्ठ गुणनखंड शून्य है, और दूसरा जारी रखने से पहले कारक जो इस उभयनिष्ठ गुणनखंड को निकालकर प्राप्त किया जाता है।
+सही एल्गोरिथम प्राप्त करने के लिए विधि में दो पूरक जोड़े जाने चाहिए। सबसे पहले, प्रत्येक चरण में, चर के रैखिक परिवर्तन की आवश्यकता हो सकती है जिससे अंतिम चर में बहुपदों की कोटि उनकी कुल कोटि के समान हो। दूसरे, यदि किसी भी चरण पर, परिणामी शून्य है, तो इसका अर्थ है कि बहुपदों का उभयनिष्ठ गुणनखंड है और समाधान दो घटकों में विभाजित हो जाता है: जहां उभयनिष्ठ गुणनखंड शून्य है, और दूसरा जारी रखने से पहले कारक जो इस उभयनिष्ठ गुणनखंड को निकालकर प्राप्त किया जाता है।
 यह एल्गोरिथम बहुत जटिल है और इसमें समय की जटिलता है। इसलिए, इसकी रुचि मुख्य रूप से ऐतिहासिक है।
@@ Line 191: / Line 190: @@
 बहुपद का विभेदक, जो संख्या सिद्धांत में मौलिक उपकरण है, बहुपद के परिणामी और उसके व्युत्पन्न के प्रमुख गुणांक द्वारा भागफल है।
-यदि <math>\alpha</math> और <math>\beta</math> [[बीजगणितीय संख्या]]एँ हैं जैसे कि <math>P(\alpha)=Q(\beta)=0</math>, तब <math>\gamma=\alpha+\beta</math> परिणामी की मूल है <math>\operatorname{res}_x(P(x),Q(z-x)),</math> और <math>\tau = \alpha\beta</math> की मूल है <math>\operatorname{res}_x(P(x),x^nQ(z/x))</math>, जहाँ <math>n</math> के बहुपद की घात है <math>Q(y)</math>. इस तथ्य के साथ संयुक्त <math>1/\beta</math> की मूल है <math>y^nQ(1/y) = 0</math>, यह दर्शाता है कि बीजगणितीय संख्याओं का समुच्चय क्षेत्र (गणित) है।
+यदि <math>\alpha</math> और <math>\beta</math> [[बीजगणितीय संख्या]]एँ हैं जैसे कि <math>P(\alpha)=Q(\beta)=0</math>, तब <math>\gamma=\alpha+\beta</math> परिणामी की मूल है <math>\operatorname{res}_x(P(x),Q(z-x)),</math> और <math>\tau = \alpha\beta</math> की मूल है <math>\operatorname{res}_x(P(x),x^nQ(z/x))</math>, जहाँ <math>n</math> के बहुपद <math>Q(y)</math> की घात है . इस तथ्य के साथ संयुक्त <math>1/\beta</math> की मूल है <math>y^nQ(1/y) = 0</math>, यह दर्शाता है कि बीजगणितीय संख्याओं का समुच्चय क्षेत्र (गणित) है।
-मान लीजिये <math>K(\alpha)</math> तत्व द्वारा उत्पन्न बीजगणितीय क्षेत्र विस्तार हो <math>\alpha,</math> जो है <math>P(x)</math> [[न्यूनतम बहुपद (क्षेत्र सिद्धांत)]] के रूप में। का हर तत्व <math>\beta \in K(\alpha)</math> रूप में लिखा जा सकता है <math>\beta=Q(\alpha),</math> जहाँ <math>Q</math> बहुपद है। तब <math>\beta</math> की मूल है <math>\operatorname{res}_x(P(x),z-Q(x)),</math> और यह परिणामी <math>\beta.</math> के न्यूनतम बहुपद की घात है
+मान लीजिये <math>K(\alpha)</math> तत्व द्वारा उत्पन्न बीजगणितीय क्षेत्र विस्तार <math>\alpha,</math> हो जो  <math>P(x)</math> [[न्यूनतम बहुपद (क्षेत्र सिद्धांत)]] के रूप में। का हर तत्व <math>\beta \in K(\alpha)</math> रूप में लिखा जा सकता है <math>\beta=Q(\alpha),</math> जहाँ <math>Q</math> बहुपद है। तब <math>\beta</math> की मूल है <math>\operatorname{res}_x(P(x),z-Q(x)),</math> और यह परिणामी <math>\beta.</math> के न्यूनतम बहुपद की घात है
@@ Line 204: / Line 203: @@
 y=\frac{Q(t)}{R(t)},
 </math>
-जहाँ {{math|''P''}}, {{math|''Q''}} और {{math|''R''}} बहुपद है। वक्र का अन्तर्[[निहित समीकरण]] किसके द्वारा दिया जाता है।
+जहाँ {{math|''P''}}, {{math|''Q''}} और {{math|''R''}} बहुपद है। वक्र का [[निहित समीकरण|अन्तर्निहित समीकरण]] किसके द्वारा दिया जाता है।
 :<math>\operatorname{res}_t(xR-P,yR-Q).</math>
-इस वक्र की डिग्री उच्चतम डिग्री है {{math|''P''}}, {{math|''Q''}} और {{math|''R''}}, जो परिणामी की कुल डिग्री के बराबर है।
+इस वक्र की कोटि उच्चतम कोटि है {{math|''P''}}, {{math|''Q''}} और {{math|''R''}}, जो परिणामी की कुल कोटि के बराबर है।
 === प्रतीकात्मक एकीकरण ===
@@ Line 215: / Line 214: @@
 जहां योग की सभी जटिल मूलों {{math|''Q''}} पर चलता है।
-इस व्यंजक में सम्मिलित [[बीजगणितीय संख्या]]ओं की संख्या सामान्यतः {{math|''Q''}} की डिग्री के बराबर होती है, किन्तु यह अधिकांश होता है कि कम बीजगणितीय संख्याओं वाले व्यंजक की गणना की जा सकती है। डैनियल लाजार्ड-रिओबू-[[बैरी ट्रैगर]] विधि एक अभिव्यक्ति उत्पन्न करती है, जहां बीजगणितीय संख्याओं की संख्या बीजगणितीय संख्याओं के साथ किसी भी गणना के बिना न्यूनतम होती है।
+इस व्यंजक में सम्मिलित [[बीजगणितीय संख्या]]ओं की संख्या सामान्यतः {{math|''Q''}} की कोटि के बराबर होती है, किन्तु यह अधिकांश होता है कि कम बीजगणितीय संख्याओं वाले व्यंजक की गणना की जा सकती है। डैनियल लाजार्ड-रिओबू-[[बैरी ट्रैगर]] विधि एक अभिव्यक्ति उत्पन्न करती है, जहां बीजगणितीय संख्याओं की संख्या बीजगणितीय संख्याओं के साथ किसी भी गणना के बिना न्यूनतम होती है।
 मान लीजिये
@@ Line 221: / Line 220: @@
 :परिणामी का वर्ग-मुक्त गुणनखंड हो जो दाईं ओर दिखाई देता है। ट्रैगर ने सिद्ध कर दिया कि प्रतिपक्षी है
 :<math>\int \frac{P(x)}{Q(x)}dx=\sum_{i=1}^k\sum_{S_i(\alpha)=0} \alpha \log(T_i(\alpha,x)),</math>
-जहां आंतरिक योग <math>S_i</math> (यदि <math>S_i=1</math> योग शून्य है, [[खाली योग]] होने के नाते) की मूलों पर चलते हैं, और <math>T_i(r,x)</math> {{math|''x''}} में डिग्री {{math|''i''}} का बहुपद है। लाजार्ड-रियोबू योगदान इसका प्रमाण है कि <math>T_i(r,x)</math> डिग्री {{math|''i''}} का <math>rQ'(x)-P(x)</math> और <math>Q(x).</math> बहुपद सबसे बड़ा सामान्य विभाजक उपपरिणाम है इस प्रकार यह मुफ्त में प्राप्त किया जाता है यदि परिणामी की गणना बहुपद महानतम सामान्य विभाजक उपपरिणाम छद्म-शेष अनुक्रम|उपपरिणाम छद्म-शेष अनुक्रम द्वारा की जाती है।
+जहां आंतरिक योग <math>S_i</math> (यदि <math>S_i=1</math> योग शून्य है, [[खाली योग]] होने के संबध में) की मूलों पर चलते हैं, और <math>T_i(r,x)</math> {{math|''x''}} में कोटि {{math|''i''}} का बहुपद है। लाजार्ड-रियोबू योगदान इसका प्रमाण है कि <math>T_i(r,x)</math> कोटि {{math|''i''}} का <math>rQ'(x)-P(x)</math> और <math>Q(x).</math> बहुपद सबसे बड़ा सामान्य विभाजक उपपरिणाम है इस प्रकार यह मुफ्त में प्राप्त किया जाता है यदि परिणामी की गणना बहुपद महानतम सामान्य विभाजक उपपरिणाम छद्म-शेष अनुक्रम|उपपरिणाम छद्म-शेष अनुक्रम द्वारा की जाती है।
 === कंप्यूटर बीजगणित ===
@@ Line 228: / Line 227: @@
 == सजातीय परिणाम ==
-परिणामी को दो अनिश्चित बहुपदों में दो सजातीय बहुपदों के लिए भी परिभाषित किया गया है। दो सजातीय बहुपद दिए गए हैं {{math|''P''(''x'', ''y'')}} और {{math|''Q''(''x'', ''y'')}} संबंधित कुल डिग्रियों का {{math|''p''}} और {{math|''q''}}, उनका सजातीय परिणाम रैखिक मानचित्र के [[मोनोमियल आधार]] पर मैट्रिक्स का निर्धारक है
+परिणामी को दो अनिश्चित बहुपदों में दो सजातीय बहुपदों के लिए भी परिभाषित किया गया है। दो सजातीय बहुपद दिए गए हैं {{math|''P''(''x'', ''y'')}} और {{math|''Q''(''x'', ''y'')}} संबंधित कुल कोटियों का {{math|''p''}} और {{math|''q''}}, उनका सजातीय परिणाम रैखिक मानचित्र के [[मोनोमियल आधार|एकपदी आधार]] पर आव्यूह का निर्धारक है
 :<math>(A,B) \mapsto AP+BQ,</math>
-जहाँ {{math|''A''}} डिग्री के द्विभाजित सजातीय बहुपदों पर चलता है {{math|''q'' − 1}}, और {{math|''B''}} डिग्री के सजातीय बहुपदों पर चलता है {{math|''p'' − 1}}. दूसरे शब्दों में, का सजातीय परिणाम {{math|''P''}} और {{math|''Q''}} का परिणाम है
+जहाँ {{math|''A''}} कोटि के द्विभाजित सजातीय बहुपदों पर चलता है {{math|''q'' − 1}}, और {{math|''B''}} कोटि के सजातीय बहुपदों पर चलता है {{math|''p'' − 1}}. दूसरे शब्दों में, का सजातीय परिणाम {{math|''P''}} और {{math|''Q''}} का परिणाम है
-  {{math|''P''(''x'', 1)}} और {{math|''Q''(''x'', 1)}} जब उन्हें डिग्री के बहुपद के रूप में माना जाता है {{math|''p''}} और {{math|''q''}} (उनकी डिग्री {{math|''x''}} उनकी कुल डिग्री से कम हो सकता है):
+  {{math|''P''(''x'', 1)}} और {{math|''Q''(''x'', 1)}} जब उन्हें कोटि के बहुपद के रूप में माना जाता है {{math|''p''}} और {{math|''q''}} (उनकी कोटि {{math|''x''}} उनकी कुल कोटि से कम हो सकता है):
 :<math>\operatorname{Res}(P(x,y),Q(x,y)) = \operatorname{res}_{p,q}(P(x,1),Q(x,1)). </math>
 (Res के कैपिटलाइज़ेशन का उपयोग यहाँ दो परिणामों को अलग करने के लिए किया गया है, चूँकि संक्षिप्त नाम के कैपिटलाइज़ेशन के लिए कोई मानक नियम नहीं है)।
-सजातीय परिणामी में अनिवार्य रूप से सामान्य परिणाम के समान गुण होते हैं, अनिवार्य रूप से दो अंतरों के साथ: बहुपद मूलों के अतिरिक्त, प्रक्षेपी रेखा में शून्य पर विचार किया जाता है, और बहुपद की डिग्री रिंग होमोमोर्फिज्म के अनुसार नहीं बदल सकती है।
+सजातीय परिणामी में अनिवार्य रूप से सामान्य परिणाम के समान गुण होते हैं, अनिवार्य रूप से दो अंतरों के साथ: बहुपद मूलों के अतिरिक्त, प्रक्षेपी रेखा में शून्य पर विचार किया जाता है, और बहुपद की कोटि वलय होमोमोर्फिज्म के अनुसार नहीं बदल सकती है।
 वह है:
-* अभिन्न डोमेन पर दो सजातीय बहुपदों का परिणाम शून्य होता है यदि और केवल यदि उनके गुणांक वाले बीजगणितीय रूप से बंद क्षेत्र पर गैर-शून्य सामान्य शून्य होता है।
+* अभिन्न कार्यक्षेत्र पर दो सजातीय बहुपदों का परिणाम शून्य होता है यदि और केवल यदि उनके गुणांक वाले बीजगणितीय रूप से बंद क्षेत्र पर गैर-शून्य सामान्य शून्य होता है।
-* यदि {{math|''P''}} और {{math|''Q''}} क्रमविनिमेय वलय में गुणांक वाले दो द्विभाजित सजातीय {{math|''R''}}, और <math>\varphi\colon R\to S</math>  बहुपद हैं {{math|''R''}} की रिंग समरूपता {{math|''S''}} दूसरे क्रमविनिमेय रिंग में , फिर बढ़ा रहा है <math>\varphi</math> बहुपदों पर {{math|''R''}}, वाले हैं
+* यदि {{math|''P''}} और {{math|''Q''}} क्रमविनिमेय वलय में गुणांक वाले दो द्विभाजित सजातीय {{math|''R''}}, और <math>\varphi\colon R\to S</math>  बहुपद हैं {{math|''R''}} की वलय समरूपता {{math|''S''}} दूसरे क्रमविनिमेय वलय में , फिर बढ़ा रहा है <math>\varphi</math> बहुपदों पर {{math|''R''}}, वाले हैं
 ::<math>\operatorname{Res}(\varphi(P), \varphi(Q)) = \varphi(\operatorname{Res}(P,Q)).</math>
 * चर के किसी भी अनुमानित परिवर्तन के अनुसार शून्य होने के लिए सजातीय परिणामी की गुण अपरिवर्तनीय है।
@@ Line 249: / Line 248: @@
 मैकाले का परिणामी, जिसका नाम फ्रांसिस सॉवरबी मैकाले के नाम पर रखा गया है, जिसे {{math|''n''}} बहुभिन्नरूपी परिणामी, या बहुपद परिणामी भी कहा जाता है,<ref>{{Citation | last1=Cox | first1=David | last2=Little | first2=John | last3=O'Shea | first3=Donal | title=Using Algebraic Geometry | publisher=[[Springer Science+Business Media]] | isbn=978-0387207339 | year=2005}}, Chapter 3. Resultants</ref> सजातीय परिणामी का {{math|''n''}} अनिश्चित में सजातीय बहुपदों का एक सामान्यीकरण है। मैकाले का परिणामी इन {{math|''n''}} सजातीय बहुपदों के गुणांकों में एक बहुपद है जो गायब हो जाता है यदि और केवल यदि बहुपदों में गुणांक वाले बीजीय रूप से बंद क्षेत्र में एक आम गैर-शून्य समाधान होता है, या समकक्ष, यदि बहुपदों द्वारा परिभाषित {{math|''n''}} हाइपर सतहें {{math|''n''  –1}} आयामी प्रोजेक्टिव स्पेस में एक आम शून्य है। मल्टीवेरिएट परिणामी, ग्रोबनेर बेस के साथ, प्रभावी उन्मूलन सिद्धांत (कंप्यूटर पर उन्मूलन सिद्धांत) के मुख्य उपकरणों में से एक है।
-सजातीय परिणामी के प्रकार, मैकाले को [[निर्धारकों]] के साथ परिभाषित किया जा सकता है, और इस प्रकार रिंग होमोमोर्फिज़्म के अनुसार अच्छा व्यवहार करता है। चूँकि, इसे निर्धारक द्वारा परिभाषित नहीं किया जा सकता है। यह इस प्रकार है कि पहले इसे [[सामान्य बहुपद|सामान्य बहुपदों]]पर परिभाषित करना आसान है।
+सजातीय परिणामी के प्रकार, मैकाले को [[निर्धारकों]] के साथ परिभाषित किया जा सकता है, और इस प्रकार वलय होमोमोर्फिज़्म के अनुसार अच्छा व्यवहार करता है। चूँकि, इसे निर्धारक द्वारा परिभाषित नहीं किया जा सकता है। यह इस प्रकार है कि पहले इसे [[सामान्य बहुपद|सामान्य बहुपदों]]पर परिभाषित करना आसान है।
 === सामान्य सजातीय बहुपदों का परिणाम ===
-डिग्री का सजातीय बहुपद {{math|''d''}} में {{math|''n''}} चर तक हो सकते हैं
+कोटि का सजातीय बहुपद {{math|''d''}} में {{math|''n''}} चर तक हो सकते हैं
 :<math>\binom{n+d-1}{n-1}=\frac{(n+d-1)!}{(n-1)!\,d!}</math>
 गुणांक; इसे सामान्य कहा जाता है, यदि ये गुणांक अलग-अलग अनिश्चित हैं।
-मान लीजिये <math>P_1, \ldots, P_n</math> होना {{math|''n''}} में सामान्य सजातीय बहुपद {{math|''n''}} संबंधित कुल डिग्री के अनिश्चित <math>d_1, \dots, d_n.</math> साथ में, वे सम्मिलित होते हैं
+मान लीजिये <math>P_1, \ldots, P_n</math> होना {{math|''n''}} में सामान्य सजातीय बहुपद {{math|''n''}} संबंधित कुल कोटि के अनिश्चित <math>d_1, \dots, d_n.</math> साथ में, वे सम्मिलित होते हैं
 :<math>\sum_{i=1}^n\binom{n+d_i-1}{n-1}</math>
 अनिश्चित गुणांक।
@@ Line 264: / Line 263: @@
 अनिश्चित गुणांक। बहुपद <math>P_1, \ldots, P_n</math> इस प्रकार <math>C[x_1,\ldots, x_n],</math> से हैं और उनका परिणामी {{math|''C''}} से (अभी भी परिभाषित किया जाना है) संबंधित है।
-मैकाले की डिग्री <math>D=d_1+\cdots+d_n-n+1,</math> पूर्णांक है जो मैकाले के सिद्धांत में मौलिक है। परिणामी को परिभाषित करने के लिए, कोई मैकाले मैट्रिक्स पर विचार करता है, जो कि {{math|''C''}}-रैखिक नक्शा के मोनोमियल आधार पर मैट्रिक्स है
+मैकाले की कोटि <math>D=d_1+\cdots+d_n-n+1,</math> पूर्णांक है जो मैकाले के सिद्धांत में मौलिक है। परिणामी को परिभाषित करने के लिए, कोई मैकाले आव्यूह पर विचार करता है, जो कि {{math|''C''}}-रैखिक नक्शा के एकपदी आधार पर आव्यूह है
 <math>(Q_1, \ldots, Q_n)\mapsto Q_1P_1+\cdots+Q_nP_n,</math>
-जिसमें प्रत्येक <math>Q_i</math> डिग्री <math>D-d_i,</math> के सजातीय बहुपदों पर चलता है और [[कोडोमेन]] {{math|''C''}} है {{math|''D''}} डिग्री के सजातीय बहुपदों का मॉड्यूल है।
+जिसमें प्रत्येक <math>Q_i</math> कोटि <math>D-d_i,</math> के सजातीय बहुपदों पर चलता है और [[कोडोमेन|कोकार्यक्षेत्र]] {{math|''C''}} है {{math|''D''}} कोटि के सजातीय बहुपदों का मापांक है।
-यदि {{math|1=''n'' = 2}}, मैकाले मैट्रिक्स [[स्क्वायर मैट्रिक्स]] है, और वर्ग मैट्रिक्स है, किन्तु यह {{math|''n'' > 2}} अब सत्य नहीं है। इस प्रकार, निर्धारक पर विचार करने के अतिरिक्त, सभी अधिकतम लघु (रैखिक बीजगणित) पर विचार किया जाता है, जो वर्ग उपमात्रियों के निर्धारक होते हैं जिनकी मैकाले मैट्रिक्स के रूप में कई पंक्तियाँ होती हैं। मैकाले ने सिद्ध किया कि {{math|''C''}}-आदर्श इन प्रमुख नाबालिगों द्वारा उत्पन्न प्रमुख आदर्श है, जो इन नाबालिगों के सबसे बड़े सामान्य विभाजक द्वारा उत्पन्न होता है। जैसा कि पूर्णांक गुणांक वाले बहुपदों के साथ काम कर रहा है, यह सबसे बड़ा सामान्य विभाजक इसके चिह्न तक परिभाषित किया गया है। सामान्य मैकाले का परिणाम सबसे बड़ा सामान्य विभाजक है जो {{math|1}} बन जाता है, जब, प्रत्येक {{math|''i''}} के लिए , शून्य के सभी गुणांकों <math>P_i,</math> के लिए प्रतिस्थापित किया जाता है   <math>x_i^{d_i},</math> के गुणांक को छोड़कर  जिसके लिए प्रतिस्थापित किया गया है।
+यदि {{math|1=''n'' = 2}}, मैकाले आव्यूह [[स्क्वायर मैट्रिक्स|स्क्वायर आव्यूह]] है, और वर्ग आव्यूह है, किन्तु यह {{math|''n'' > 2}} अब सत्य नहीं है। इस प्रकार, निर्धारक पर विचार करने के अतिरिक्त, सभी अधिकतम लघु (रैखिक बीजगणित) पर विचार किया जाता है, जो वर्ग उपमात्रियों के निर्धारक होते हैं जिनकी मैकाले आव्यूह के रूप में कई पंक्तियाँ होती हैं। मैकाले ने सिद्ध किया कि {{math|''C''}}-आदर्श इन प्रमुख नाबालिगों द्वारा उत्पन्न प्रमुख आदर्श है, जो इन नाबालिगों के सबसे बड़े सामान्य विभाजक द्वारा उत्पन्न होता है। जैसा कि पूर्णांक गुणांक वाले बहुपदों के साथ काम कर रहा है, यह सबसे बड़ा सामान्य विभाजक इसके चिह्न तक परिभाषित किया गया है। सामान्य मैकाले का परिणाम सबसे बड़ा सामान्य विभाजक है जो {{math|1}} बन जाता है, जब, प्रत्येक {{math|''i''}} के लिए , शून्य के सभी गुणांकों <math>P_i,</math> के लिए प्रतिस्थापित किया जाता है और  <math>x_i^{d_i},</math> के गुणांक को छोड़कर  जिसके लिए प्रतिस्थापित किया गया है।
-====जेनेरिक मैकाले परिणामी के गुण ====
+====सामान्य मैकाले परिणामी के गुण ====
-*जेनेरिक मैकाले परिणामी अलघुकरणीय बहुपद है।
+*सामान्य मैकाले परिणामी अलघुकरणीय बहुपद है।
-* यह डिग्री का सजातीय है <math>B/d_i</math> के गुणांक में <math>P_i,</math> जहाँ <math>B=d_1 \cdots d_n</math> बेज़ाउट प्रमेय है।
+* यह कोटि का सजातीय है <math>B/d_i</math> के गुणांक में <math>P_i,</math> जहाँ <math>B=d_1 \cdots d_n</math> बेज़ाउट प्रमेय है।
-*डिग्री के प्रत्येक एकपदी के परिणाम के साथ उत्पाद {{math|''D''}} में <math>x_1,\dots, x_n</math> के आदर्श के अंतर्गत <math>C[x_1,\dots,x_n]</math> आता द्वारा उत्पन्न <math>P_1,\dots,P_n.</math> है
+*कोटि के प्रत्येक एकपदी के परिणाम के साथ उत्पाद {{math|''D''}} में <math>x_1,\dots, x_n</math> के आदर्श के अंतर्गत <math>C[x_1,\dots,x_n]</math> आता द्वारा उत्पन्न <math>P_1,\dots,P_n.</math> है
 === क्षेत्र पर बहुपदों का परिणाम ===
-अब से, हम मानते हैं कि सजातीय बहुपद <math>P_1,\ldots,P_n</math> डिग्रियों का <math>d_1,\ldots,d_n</math> क्षेत्र में उनके गुणांक हैं (गणित) {{math|''k''}}, अर्थात् वे <math>k[x_1,\dots,x_n].</math> इससे संबंधित हैं  उनके परिणामी को के तत्व के रूप में परिभाषित किया गया है {{math|''k''}} के वास्तविक गुणांकों द्वारा अनिश्चित गुणांकों को सामान्य परिणामी में प्रतिस्थापित करके <math>P_i.</math> प्राप्त किया जाता है
+अब से, हम मानते हैं कि सजातीय बहुपद <math>P_1,\ldots,P_n</math> कोटियों का <math>d_1,\ldots,d_n</math> क्षेत्र में उनके गुणांक हैं (गणित) {{math|''k''}}, अर्थात् वे <math>k[x_1,\dots,x_n].</math> इससे संबंधित हैं  उनके परिणामी को के तत्व के रूप में परिभाषित किया गया है {{math|''k''}} के वास्तविक गुणांकों द्वारा अनिश्चित गुणांकों को सामान्य परिणामी में प्रतिस्थापित करके <math>P_i.</math> प्राप्त किया जाता है
 परिणामी की मुख्य गुण यह है कि यह शून्य है यदि और केवल यदि <math>P_1,\ldots,P_n</math> के [[बीजगणितीय रूप से बंद विस्तार]] में शून्येतर {{math|''k''}} सामान्य शून्य है।
@@ Line 285: / Line 284: @@
 केवल यदि इस प्रमेय का हिस्सा पूर्ववर्ती पैराग्राफ की अंतिम गुण से निकलता है, और हिल्बर्ट के नलस्टेलेंसैट्ज प्रोजेक्टिव नलस्टेलेंसैट्ज का प्रभावी संस्करण है: यदि परिणामी गैर-शून्य है, तो
 :<math>\langle x_1,\ldots, x_n\rangle^D \subseteq \langle P_1,\ldots,P_n\rangle,</math>
-जहाँ <math>D=d_1+\cdots +d_n-n+1</math> मैकाले डिग्री है, और <math>\langle x_1,\ldots, x_n\rangle</math> अधिकतम सजातीय आदर्श है। इसका अर्थ यह है कि <math>P_1,\ldots,P_n</math> अद्वितीय सामान्य शून्य के अतिरिक्त कोई अन्य सामान्य शून्य, {{math|(0, ..., 0)}}, का <math>x_1,\ldots,x_n.</math>नहीं है
+जहाँ <math>D=d_1+\cdots +d_n-n+1</math> मैकाले कोटि है, और <math>\langle x_1,\ldots, x_n\rangle</math> अधिकतम सजातीय आदर्श है। इसका अर्थ यह है कि <math>P_1,\ldots,P_n</math> अद्वितीय सामान्य शून्य के अतिरिक्त कोई अन्य सामान्य शून्य, {{math|(0, ..., 0)}}, का <math>x_1,\ldots,x_n.</math>नहीं है
@@ Line 292: / Line 291: @@
 चूंकि परिणामी की गणना निर्धारकों और बहुपद महानतम सामान्य विभाजकों की गणना करने के लिए कम हो सकती है, परिणामों की गणना के लिए चरणों की सीमित संख्या में एल्गोरिदम हैं।
-चूँकि, सामान्य परिणामी बहुत उच्च डिग्री का बहुपद है (घातांक में {{math|''n''}}) बड़ी संख्या में अनिश्चितताओं पर निर्भर करता है। यह इस प्रकार है, बहुत छोटे को छोड़कर {{math|''n''}} और इनपुट बहुपदों की बहुत छोटी डिग्री, सामान्य परिणाम व्यवहार में, आधुनिक कंप्यूटरों के साथ भी गणना करना असंभव है। इसके अतिरिक्त, सामान्य परिणामी के [[एकपद]]्स की संख्या इतनी अधिक है, कि, यदि यह गणना योग्य होगा, तो परिणाम को उपलब्ध स्मृति उपकरणों पर संग्रहीत नहीं किया जा सकता है, यहां तक कि छोटे मूल्यों के लिए भी {{math|''n''}} और इनपुट बहुपदों की डिग्री।
+चूँकि, सामान्य परिणामी बहुत उच्च कोटि का बहुपद है (घातांक में {{math|''n''}}) बड़ी संख्या में अनिश्चितताओं पर निर्भर करता है। यह इस प्रकार है, बहुत छोटे को छोड़कर {{math|''n''}} और इनपुट बहुपदों की बहुत छोटी कोटि, सामान्य परिणाम व्यवहार में, आधुनिक कंप्यूटरों के साथ भी गणना करना असंभव है। इसके अतिरिक्त, सामान्य परिणामी के [[एकपद]]्स की संख्या इतनी अधिक है, कि, यदि यह गणना योग्य होगा, तो परिणाम को उपलब्ध स्मृति उपकरणों पर संग्रहीत नहीं किया जा सकता है, यहां तक कि छोटे मूल्यों के लिए भी {{math|''n''}} और इनपुट बहुपदों की कोटि।
 इसलिए, परिणामी की गणना करना केवल उन बहुपदों के लिए समझ में आता है जिनके गुणांक क्षेत्र से संबंधित हैं या क्षेत्र में कुछ अनिश्चित में बहुपद हैं।
-क्षेत्र में गुणांक वाले इनपुट बहुपदों के स्थितियों में, परिणामी का त्रुटिहीन मूल्य संभवतः ही कभी महत्वपूर्ण होता है, केवल इसकी समानता (या नहीं) शून्य मायने रखती है। जैसा कि परिणामी शून्य है यदि और केवल यदि मैकाले मैट्रिक्स की रैंक इसकी पंक्तियों की संख्या से कम है, तो यह समानता शून्य हो सकती है, जिसे मैकाले मैट्रिक्स में गॉसियन विलोपन प्रायुक्त करके परीक्षण किया जा सकता है। यह समय जटिलता <math>d^{O(n)},</math> प्रदान करता है जहाँ {{math|''d''}} इनपुट बहुपद की अधिकतम डिग्री है।
+क्षेत्र में गुणांक वाले इनपुट बहुपदों के स्थितियों में, परिणामी का त्रुटिहीन मूल्य संभवतः ही कभी महत्वपूर्ण होता है, केवल इसकी समानता (या नहीं) शून्य मायने रखती है। जैसा कि परिणामी शून्य है यदि और केवल यदि मैकाले आव्यूह की रैंक इसकी पंक्तियों की संख्या से कम है, तो यह समानता शून्य हो सकती है, जिसे मैकाले आव्यूह में गॉसियन विलोपन प्रायुक्त करके परीक्षण किया जा सकता है। यह समय जटिलता <math>d^{O(n)},</math> प्रदान करता है जहाँ {{math|''d''}} इनपुट बहुपद की अधिकतम कोटि है।
 और स्थितियां जहां परिणामी की गणना उपयोगी जानकारी प्रदान कर सकती है, जब इनपुट बहुपद के गुणांक कम संख्या में बहुपद होते हैं, जिन्हें अधिकांश पैरामीटर कहा जाता है। इस स्थितियों में, परिणामी, यदि शून्य नहीं है, तो पैरामीटर स्थान में [[ऊनविम पृष्ठ]] को परिभाषित करता है। बिंदु इस हाइपर सतह से संबंधित है, यदि और केवल यदि <math>x_1, \ldots,x_n</math> के मान हैं जो, बिंदु के निर्देशांक के साथ इनपुट बहुपदों का शून्य है। दूसरे शब्दों में, परिणामी के उन्मूलन सिद्धांत का <math>x_1, \ldots,x_n</math> इनपुट बहुपदों का परिणाम है ।
@@ Line 303: / Line 302: @@
 मैकाले का परिणामी, बहुपद समीकरणों की प्रणालियों को समाधान करने के लिए, मैकाले द्वारा "यू-परिणाम" नामक एक विधि प्रदान करता है।
-दिया गया {{math|''n'' − 1}} सजातीय बहुपद <math>P_1, \ldots, P_{n-1},</math> डिग्रियों का <math>d_1, \ldots, d_{n-1},</math> में  {{math|''n''}} अनिश्चित <math>x_1, \ldots, x_n,</math> मैदान के ऊपर {{math|''k''}}, उनका 'यू'-परिणाम का परिणाम है {{math|''n''}} बहुआयामी पद <math>P_1, \ldots, P_{n-1}, P_n,</math> जहाँ
+दिया गया {{math|''n'' − 1}} सजातीय बहुपद <math>P_1, \ldots, P_{n-1},</math> कोटियों का <math>d_1, \ldots, d_{n-1},</math> में  {{math|''n''}} अनिश्चित <math>x_1, \ldots, x_n,</math> मैदान के ऊपर {{math|''k''}}, उनका 'यू'-परिणाम का परिणाम है {{math|''n''}} बहुआयामी पद <math>P_1, \ldots, P_{n-1}, P_n,</math> जहाँ
 :<math>P_n=u_1x_1 +\cdots +u_nx_n</math>
-सामान्य रेखीय रूप है जिसके गुणांक नए अनिश्चित हैं <math>u_1, \ldots, u_n.</math> नोटेशन <math>u_i</math> या <math>U_i</math> इन सामान्य गुणांकों के लिए पारंपरिक है, और यू-परिणामी शब्द का मूल है।
+सामान्य रेखीय रूप है जिसके गुणांक नए अनिश्चित हैं <math>u_1, \ldots, u_n.</math> संकेत पद्धति <math>u_i</math> या <math>U_i</math> इन सामान्य गुणांकों के लिए पारंपरिक है, और यू-परिणामी शब्द का मूल है।
-यू-परिणामी में <math>k[u_1, \ldots, u_n].</math> सजातीय बहुपद है यह शून्य है यदि और केवल यदि सामान्य शून्य <math>P_1, \ldots, P_{n-1}</math> बीजगणितीय विविधता के सकारात्मक आयाम का [[प्रक्षेपी बीजगणितीय सेट]] बनाएं (अर्थात, बीजगणितीय रूप से बंद विस्तार पर असीम रूप से कई प्रक्षेपी शून्य हैं {{math|''k''}}). यदि U-परिणामी शून्य नहीं है, तो इसकी <math>d_1\cdots d_{n-1}.</math> डिग्री बेज़ाउट प्रमेय है
+यू-परिणामी में <math>k[u_1, \ldots, u_n].</math> सजातीय बहुपद है यह शून्य है यदि और केवल यदि सामान्य शून्य <math>P_1, \ldots, P_{n-1}</math> बीजगणितीय विविधता के सकारात्मक आयाम का [[प्रक्षेपी बीजगणितीय सेट]] बनाएं (अर्थात, बीजगणितीय रूप से बंद विस्तार पर असीम रूप से कई प्रक्षेपी शून्य हैं {{math|''k''}}). यदि U-परिणामी शून्य नहीं है, तो इसकी <math>d_1\cdots d_{n-1}.</math> कोटि बेज़ाउट प्रमेय है
 U-परिणामस्वरूप {{math|''k''}} रैखिक रूपों के उत्पाद में बीजगणितीय रूप से बंद विस्तार पर गुणनखण्ड करता है। यदि <math>\alpha_1u_1+\ldots+\alpha_nu_n</math> ऐसा रैखिक कारक है, तब <math>\alpha_1, \ldots, \alpha_n</math> के सामान्य शून्य <math>P_1, \ldots, P_{n-1}.</math> के [[सजातीय निर्देशांक]] हैं  इसके अतिरिक्त, प्रत्येक सामान्य शून्य इन रैखिक कारकों में से से प्राप्त किया जा सकता है, और कारक के रूप में बहुलता, <math>P_i</math> इस शून्य पर प्रतिच्छेदन बहुलता के बराबर है। दूसरे शब्दों में, यू-परिणामस्वरूप बेज़ाउट प्रमेय का पूर्णतः स्पष्ट संस्करण प्रदान करता है।
@@ Line 314: / Line 313: @@
 मैकाले द्वारा परिभाषित यू-परिणाम को समीकरणों <math>n-1</math> की प्रणाली में सजातीय बहुपदों की संख्या की आवश्यकता होती है , जहाँ  <math>n</math> अनिश्चित की संख्या है। 1981 में, डैनियल लाजार्ड ने इस धारणा को उस स्थितियों तक बढ़ाया जहां <math>n-1</math> बहुपदों की संख्या भिन्न हो सकती है, और परिणामी गणना विशेष गॉसियन उन्मूलन प्रक्रिया के माध्यम से प्रतीकात्मक निर्धारक संगणना के बाद की जा सकती है।
-मान लीजिये <math>P_1, \ldots, P_k</math> सजातीय बहुपद हो <math>x_1, \ldots, x_n,</math> डिग्रियों का <math>d_1, \ldots, d_k,</math> मैदान के ऊपर {{math|''k''}}. सामान्यता के हानि के बिना, कोई ऐसा मान सकता है <math>d_1\ge d_2\ge \cdots \ge d_k.</math> सेटिंग <math>d_i=1</math> के लिए {{math|''i'' > ''k''}}, मैकाले बाध्य है <math>D=d_1+\cdots + d_n-n+1.</math>
+मान लीजिये <math>P_1, \ldots, P_k</math> सजातीय बहुपद हो <math>x_1, \ldots, x_n,</math> कोटियों का <math>d_1, \ldots, d_k,</math> मैदान के ऊपर {{math|''k''}} सामान्यता के हानि के बिना, कोई ऐसा मान सकता है <math>d_1\ge d_2\ge \cdots \ge d_k.</math> सेटिंग <math>d_i=1</math> के लिए {{math|''i'' > ''k''}}, मैकाले बाध्य है <math>D=d_1+\cdots + d_n-n+1.</math>
-मान लीजिये <math>u_1, \ldots, u_n</math> नए अनिश्चित बनें और परिभाषित करें <math>P_{k+1}=u_1x_1+\cdots +u_nx_n.</math> इस स्थितियों में, मैकॉले मैट्रिक्स को मोनोमियल्स के आधार पर मैट्रिक्स के रूप में परिभाषित किया गया है <math>x_1, \ldots, x_n,</math> रैखिक मानचित्र का
+मान लीजिये <math>u_1, \ldots, u_n</math> नए अनिश्चित बनें और परिभाषित करें <math>P_{k+1}=u_1x_1+\cdots +u_nx_n.</math> इस स्थितियों में, मैकॉले आव्यूह को एकपदी्स के आधार पर आव्यूह के रूप में परिभाषित किया गया है <math>x_1, \ldots, x_n,</math> रैखिक मानचित्र का
 :<math>(Q_1, \ldots, Q_{k+1}) \mapsto P_1Q_1+\cdots+P_{k+1}Q_{k+1},</math>
-जहाँ, प्रत्येक के लिए {{math|''i''}}, <math>Q_i</math> शून्य और डिग्री के सजातीय बहुपदों से मिलकर रैखिक स्थान पर चलता है <math>D-d_i</math>.
+जहाँ, प्रत्येक के लिए {{math|''i''}}, <math>Q_i</math> शून्य और कोटि के सजातीय बहुपदों से मिलकर रैखिक स्थान पर चलता है <math>D-d_i</math>.
-गाऊसी विलोपन के प्रकार द्वारा मैकाले मैट्रिक्स को कम करने पर, रैखिक रूपों का वर्ग मैट्रिक्स प्राप्त होता है <math>u_1, \ldots, u_n.</math> इस मैट्रिक्स का निर्धारक U- परिणामी है। मूल यू-परिणाम के साथ, यह शून्य है यदि और केवल यदि <math>P_1, \ldots, P_k</math> असीमित रूप से कई आम प्रोजेक्टिव शून्य हैं (अर्थात् प्रोजेक्टिव बीजगणितीय सेट <math>P_1, \ldots, P_k</math> द्वारा परिभाषित किया गया है के [[बीजगणितीय समापन]] पर अपरिमित रूप से {{math|''k''}} कई बिंदु हैं). फिर से मूल यू-परिणाम के साथ, जब यह यू-परिणाम शून्य नहीं होता है, तो यह किसी भी बीजगणितीय रूप से बंद विस्तार पर रैखिक कारकों {{math|''k''}} में कारक होता है। इन रैखिक कारकों <math>P_1, \ldots, P_k,</math> के गुणांक सामान्य शून्य के सजातीय निर्देशांक हैं और सामान्य शून्य की बहुलता संगत रैखिक कारक की बहुलता के बराबर होती है।
+गाऊसी विलोपन के प्रकार द्वारा मैकाले आव्यूह को कम करने पर, रैखिक रूपों का वर्ग आव्यूह प्राप्त होता है <math>u_1, \ldots, u_n.</math> इस आव्यूह का निर्धारक U- परिणामी है। मूल यू-परिणाम के साथ, यह शून्य है यदि और केवल यदि <math>P_1, \ldots, P_k</math> असीमित रूप से कई आम प्रोजेक्टिव शून्य हैं (अर्थात् प्रोजेक्टिव बीजगणितीय सेट <math>P_1, \ldots, P_k</math> द्वारा परिभाषित किया गया है के [[बीजगणितीय समापन]] पर अपरिमित रूप से {{math|''k''}} कई बिंदु हैं). फिर से मूल यू-परिणाम के साथ, जब यह यू-परिणाम शून्य नहीं होता है, तो यह किसी भी बीजगणितीय रूप से बंद विस्तार पर रैखिक कारकों {{math|''k''}} में कारक होता है। इन रैखिक कारकों <math>P_1, \ldots, P_k,</math> के गुणांक सामान्य शून्य के सजातीय निर्देशांक हैं और सामान्य शून्य की बहुलता संगत रैखिक कारक की बहुलता के बराबर होती है।
-मैकाले मैट्रिक्स की पंक्तियों की संख्या से कम है <math>(ed)^n,</math> जहाँ {{math|1=''e'' ~ 2.7182}} सामान्य [[ई (गणितीय स्थिरांक)]] है, और {{math|''d''}} की डिग्री का अंकगणितीय माध्य है <math>P_i.</math> यह इस प्रकार है कि प्रोजेक्टिव शून्य की सीमित संख्या <math>d^{O(n)}.</math> के साथ बहुपद समीकरणों की प्रणाली के सभी समाधान समय जटिलता में निर्धारित किए जा सकते हैं चूंकि यह सीमा बड़ी है, यह निम्नलिखित अर्थों में लगभग इष्टतम है: यदि सभी इनपुट डिग्री समान हैं, तो प्रक्रिया की समय जटिलता समाधान की अपेक्षित संख्या (बेज़ाउट प्रमेय) में बहुपद है। यह गणना व्यावहारिक रूप से व्यवहार्य हो सकती है जब  {{math|''n''}}, {{math|''k''}} और {{math|''d''}} बड़े नहीं हैं।
+मैकाले आव्यूह की पंक्तियों की संख्या से कम है <math>(ed)^n,</math> जहाँ {{math|1=''e'' ~ 2.7182}} सामान्य [[ई (गणितीय स्थिरांक)]] है, और {{math|''d''}} की कोटि का अंकगणितीय माध्य है <math>P_i.</math> यह इस प्रकार है कि प्रोजेक्टिव शून्य की सीमित संख्या <math>d^{O(n)}.</math> के साथ बहुपद समीकरणों की प्रणाली के सभी समाधान समय जटिलता में निर्धारित किए जा सकते हैं चूंकि यह सीमा बड़ी है, यह निम्नलिखित अर्थों में लगभग इष्टतम है: यदि सभी इनपुट कोटि समान हैं, तो प्रक्रिया की समय जटिलता समाधान की अपेक्षित संख्या (बेज़ाउट प्रमेय) में बहुपद है। यह गणना व्यावहारिक रूप से व्यवहार्य हो सकती है जब  {{math|''n''}}, {{math|''k''}} और {{math|''d''}} बड़े नहीं हैं।
 == यह भी देखें ==
@@ Line 352: / Line 351: @@
 [[Category: Machine Translated Page]]
 [[Category:Created On 13/02/2023]]
+[[Category:Vigyan Ready]]

Anonymous

Search