हेंसल की लेम्मा: Difference between revisions

Revision as of 07:08, 25 May 2023

गणित में, हेंसल की लेम्मा, जिसे हेंसल की लिफ्टिंग लेम्मा के रूप में भी जाना जाता है, कर्ट हेन्सेल के नाम पर, मॉड्यूलर अंकगणित में परिणाम है, जिसमें कहा गया है कि यदि अविभाजित बहुपद में साधारण रूट मॉड्यूलो अभाज्य संख्या है $p$ , तो इस रूट को किसी भी उच्च शक्ति के अद्वितीय रूट मोडुलो तक उठाया जा सकता है $p$ . अधिक आम तौर पर, यदि बहुपद कारकों मॉड्यूलो $p$ दो सह-अभाज्य बहुपदों में, इस गुणनखंडन को किसी भी उच्च घात के गुणनखंडन मोडुलो तक उठाया जा सकता है $p$ (जड़ों का मामला डिग्री के मामले से मेल खाता है $1$ कारकों में से के लिए)।

सीमा तक जाने से (वास्तव में यह उलटा सीमा है) जब की शक्ति $p$ अनंत की ओर जाता है, यह इस प्रकार है कि जड़ या गुणनखंड है $p$ को मूल तक उठाया जा सकता है या p-adic पूर्णांक पर गुणनखंड किया जा सकता है $p$ -ऐडिक पूर्णांक।

इन परिणामों को ही नाम के तहत व्यापक रूप से सामान्यीकृत किया गया है, बहुपदों के मामले में मनमाने ढंग से क्रमविनिमेय अंगूठी पर, जहां $p$ को आदर्श (रिंग थ्योरी) द्वारा प्रतिस्थापित किया जाता है, और कोप्राइम बहुपद का मतलब बहुपद होता है जो आदर्श युक्त उत्पन्न करता है $1$ .

पी-एडिक विश्लेषण में हेंसल की लेम्मा मौलिक है $p$ -ऐडिक विश्लेषण, विश्लेषणात्मक संख्या सिद्धांत की शाखा।

हेन्सेल के लेम्मा का सबूत रचनात्मक प्रमाण है, और हेन्सेल उठाने के लिए कुशल एल्गोरिदम की ओर जाता है, जो बहुपद कारककरण के लिए मौलिक है, और तर्कसंगत संख्याओं पर सटीक रैखिक बीजगणित के लिए सबसे कुशल ज्ञात एल्गोरिदम देता है।

मॉड्यूलर कमी और उठाना

हेन्सेल की मूल लेम्मा पूर्णांकों पर बहुपद गुणनखंडन और पूर्णांकों पर मॉड्यूलर अंकगणितीय अभाज्य संख्या के बीच संबंध से संबंधित है। $p$ और इसकी शक्तियाँ। इसे सीधे उस मामले तक बढ़ाया जा सकता है जहां पूर्णांकों को किसी क्रमविनिमेय वलय द्वारा प्रतिस्थापित किया जाता है, और $p$ को किसी भी अधिकतम आदर्श द्वारा प्रतिस्थापित किया जाता है (वास्तव में, के अधिकतम आदर्श $\mathbb {Z}$ रूप है $p\mathbb {Z} ,$ कहाँ $p$ अभाज्य संख्या है)।

इसे सटीक बनाने के लिए सामान्य मॉड्यूलर अंकगणित के सामान्यीकरण की आवश्यकता होती है, और इसलिए इस संदर्भ में आमतौर पर उपयोग की जाने वाली शब्दावली को सटीक रूप से परिभाषित करना उपयोगी होता है।

होने देना $R$ क्रमविनिमेय वलय हो, और $I$ का आदर्श (रिंग थ्योरी)। $R$ . न्यूनीकरण मॉड्यूल $I$ के प्रत्येक तत्व के प्रतिस्थापन को संदर्भित करता है $R$ विहित मानचित्र के अंतर्गत इसकी छवि द्वारा $R\to R/I.$ उदाहरण के लिए, अगर $f\in R[X]$ में गुणांकों वाला बहुपद है $R$ , इसका कमी मोडुलो $I$ , निरूपित $f{\bmod {I}},$ में बहुपद है $(R/I)[X]=R[X]/IR[X]$ के गुणांकों को प्रतिस्थापित करके प्राप्त किया गया $f$ उनकी छवि द्वारा $R/I.$ दो बहुपद $f$ और $g$ में $R[X]$ मॉड्यूल के अनुसार हैं $I$ , निरूपित ${\textstyle f\equiv g{\pmod {I}}}$ यदि उनके गुणांक मॉड्यूल समान हैं $I$ , वह है अगर $f-g\in IR[X].$ अगर $h\in R[X],$ का गुणनखंडन $h$ मापांक $I$ में दो (या अधिक) बहुपद होते हैं $f, g$ में $R[X]$ ऐसा है कि ${\textstyle h\equiv fg{\pmod {I}}.}$ उठाने की प्रक्रिया कमी के विपरीत है। अर्थात्, दी गई गणितीय वस्तु के तत्वों पर निर्भर करती है $R/I,$ उठाने की प्रक्रिया इन तत्वों को तत्वों से बदल देती है $R$ (या का $R/I^{k}$ कुछ के लिए $k > 1$ ) जो उन्हें इस तरह से मैप करता है जो वस्तुओं के गुणों को बनाए रखता है।

उदाहरण के लिए, बहुपद दिया $h\in R[X]$ और गुणनखंड मॉड्यूल $I$ इसके रूप में बताया गया ${\textstyle h\equiv fg{\pmod {I}},}$ इस गुणनखंड मॉड्यूल को उठाना $I^{k}$ बहुपद खोजने के होते हैं $f',g'\in R[X]$ ऐसा है कि ${\textstyle f'\equiv f{\pmod {I}},}$ ${\textstyle g'\equiv g{\pmod {I}},}$ और ${\textstyle h\equiv f'g'{\pmod {I^{k}}}.}$ हेंसल की लेम्मा का दावा है कि हल्की परिस्थितियों में इस तरह की लिफ्टिंग हमेशा संभव है; अगला भाग देखें।

कथन

मूल रूप से, हेंसल की लेम्मा को बहुपद गुणनखंडन मॉड्यूल को अभाज्य संख्या उठाने के लिए कहा गया था (और सिद्ध किया गया था) {{mvar|p}पूर्णांकों पर किसी बहुपद का गुणनखंडन मॉड्यूलो की किसी भी शक्ति का $p$ और p-adic पूर्णांक पर गुणनखंड करने के लिए | $p$ -ऐडिक पूर्णांक। इसे आसानी से सामान्यीकृत किया जा सकता है, उसी प्रमाण के साथ जहां पूर्णांक को किसी भी कम्यूटेटिव रिंग से बदल दिया जाता है, अभाज्य संख्या को अधिकतम आदर्श द्वारा बदल दिया जाता है, और $p$ -ऐडिक पूर्णांकों को अधिकतम आदर्श के संबंध में रिंग के पूरा होने से बदल दिया जाता है। यह सामान्यीकरण है, जिसका व्यापक रूप से उपयोग भी किया जाता है, जिसे यहां प्रस्तुत किया गया है।

होने देना ${\mathfrak {m}}$ क्रमविनिमेय वलय का उच्चिष्ठ आदर्श हो $R$ , और

h=\alpha _{0}X^{n}+\cdots +\alpha _{n-1}X+\alpha _{n}

में बहुपद हो $R[X]$ अग्रणी गुणांक के साथ $\alpha _{0}$ अंदर नही ${\mathfrak {m}}.$ तब से ${\mathfrak {m}}$ अधिकतम आदर्श, भागफल वलय है $R/{\mathfrak {m}}$ क्षेत्र (गणित) है, और $(R/{\mathfrak {m}})[X]$ प्रमुख आदर्श डोमेन है, और, विशेष रूप से, अद्वितीय गुणनखंड डोमेन, जिसका अर्थ है कि प्रत्येक शून्येतर बहुपद $(R/{\mathfrak {m}})[X]$ के अशून्य तत्व के उत्पाद के रूप में अनोखे तरीके से गुणनखंडित किया जा सकता है $(R/{\mathfrak {m}})$ और अलघुकरणीय बहुपद जो एकात्मक बहुपद हैं (अर्थात, उनके प्रमुख गुणांक 1 हैं)।

हेंसल की लेम्मा का दावा है कि का हर गुणनखंड $h$ मापांक ${\mathfrak {m}}$ कोप्राइम बहुपदों में अनोखे तरीके से गुणनखंड मोडुलो में उठाया जा सकता है ${\mathfrak {m}}^{k}$ हर के लिए $k$ .

अधिक सटीक रूप से, उपरोक्त परिकल्पनाओं के साथ, यदि ${\textstyle h\equiv \alpha _{0}fg{\pmod {\mathfrak {m}}},}$ कहाँ $f$ और $g$ मोनिक और कोप्राइम बहुपद सापेक्ष हैं ${\mathfrak {m}},$ फिर, प्रत्येक सकारात्मक पूर्णांक के लिए $k$ मोनिक बहुपद हैं $f_{k}$ और $g_{k}$ ऐसा है कि

{\begin{aligned}h&\equiv \alpha _{0}f_{k}g_{k}{\pmod {{\mathfrak {m}}^{k}}},\\f_{k}&\equiv f{\pmod {\mathfrak {m}}},\\g_{k}&\equiv g{\pmod {\mathfrak {m}}},\end{aligned}}

और $f_{k}$ और $g_{k}$ अद्वितीय हैं (इन गुणों के साथ) सापेक्ष ${\mathfrak {m}}^{k}.$

सरल जड़ों को उठाना

महत्वपूर्ण विशेष मामला है जब $f=X-r.$ इस मामले में कोप्रिमेलिटी परिकल्पना का अर्थ है $r$ का सरल मूल है $h{\bmod {\mathfrak {m}}}.$ यह हेन्सेल की लेम्मा का निम्नलिखित विशेष मामला देता है, जिसे अक्सर हेन्सेल की लेम्मा भी कहा जाता है।

उपरोक्त परिकल्पनाओं और नोटेशन के साथ, यदि $r$ का सरल मूल है $h{\bmod {\mathfrak {m}}},$ तब $r$ की साधारण जड़ के लिए अनोखे तरीके से उठाया जा सकता है $h{\bmod {{\mathfrak {m}}^{n}}}$ प्रत्येक सकारात्मक पूर्णांक के लिए $n$ . स्पष्ट रूप से, प्रत्येक सकारात्मक पूर्णांक के लिए $n$ , अनूठा है $r_{n}\in R/{\mathfrak {m}}^{n}$ ऐसा है कि ${\textstyle r_{n}\equiv r{\pmod {\mathfrak {m}}}}$ और $r_{n}$ की सरल जड़ है $h{\bmod {\mathfrak {m}}}^{n}.$

आदि पूर्णता के लिए उठाना

तथ्य यह है कि कोई उठा सकता है $R/{\mathfrak {m}}^{n}$ प्रत्येक सकारात्मक पूर्णांक के लिए $n$ जब सीमा तक जाने का सुझाव देता है $n$ अनंत की ओर जाता है। यह p-adic पूर्णांक को प्रस्तुत करने के लिए मुख्य प्रेरणाओं में से था $p$ -ऐडिक पूर्णांक।

अधिकतम आदर्श दिया ${\mathfrak {m}}$ क्रमविनिमेय अंगूठी की $R$ , की शक्तियाँ ${\mathfrak {m}}$ टोपोलॉजी (संरचना) के लिए खुले पड़ोस का आधार तैयार करें $R$ कहा जाता है ${\mathfrak {m}}$ -एडिक टोपोलॉजी। इस टोपोलॉजी की पूर्णता (मीट्रिक स्थान) को रिंग के पूरा होने से पहचाना जा सकता है $R_{\mathfrak {m}},$ और उलटा सीमा के साथ $\lim _{\leftarrow }R/{\mathfrak {m}}^{n}.$ यह पूर्णता पूर्ण स्थानीय वलय है, जिसे आमतौर पर निरूपित किया जाता है ${\widehat {R}}_{\mathfrak {m}}.$ कब $R$ पूर्णांकों का वलय है, और ${\mathfrak {m}}=p\mathbb {Z} ,$ कहाँ $p$ अभाज्य संख्या है, यह पूर्णता का वलय है $p$ -ऐडिक पूर्णांक $\mathbb {Z} _{p}.$ व्युत्क्रम सीमा के रूप में पूर्णता की परिभाषा, और हेन्सेल लेम्मा के उपरोक्त कथन का अर्थ है कि जोड़ीदार कोप्राइम बहुपद मॉड्यूलो में प्रत्येक गुणनखंड ${\mathfrak {m}}$ बहुपद का $h\in R[X]$ की छवि के गुणनखंड के लिए विशिष्ट रूप से उठाया जा सकता है $h$ में ${\widehat {R}}_{\mathfrak {m}}[X].$ इसी तरह, की हर साधारण जड़ $h$ मापांक ${\mathfrak {m}}$ की छवि की साधारण जड़ तक उठाया जा सकता है $h$ में ${\widehat {R}}_{\mathfrak {m}}[X].$

प्रमाण

हेन्सेल की लेम्मा आम तौर पर कारककरण को ऊपर उठाकर वृद्धिशील रूप से सिद्ध होती है $R/{\mathfrak {m}}^{n}$ या तो गुणनखंड खत्म करने के लिए $R/{\mathfrak {m}}^{n+1}$ (# रेखीय भारोत्तोलन), या गुणनखंड खत्म $R/{\mathfrak {m}}^{2n}$ (#द्विघात भारोत्तोलन)।

सबूत का मुख्य घटक यह है कि क्षेत्र पर सहप्रमुख बहुपद बेज़ाउट की पहचान को संतुष्ट करते हैं। यानी अगर $f$ और $g$ क्षेत्र (गणित) पर सहप्रमुख अविभाज्य बहुपद हैं (यहाँ $R/{\mathfrak {m}}$ ), बहुपद हैं $a$ और $b$ ऐसा है कि $\deg a<\deg g,$ $\deg b<\deg f,$ और

af+bg=1.

बेज़ाउट की पहचान कोप्राइम बहुपदों को परिभाषित करने और हेंसल के लेम्मा को साबित करने की अनुमति देती है, भले ही आदर्श ${\mathfrak {m}}$ अधिकतम नहीं है। इसलिए, निम्नलिखित उपपत्तियों में, क्रमविनिमेय वलय से प्रारंभ होता है $R$ , आदर्श (रिंग थ्योरी) $I$ , बहुपद $h\in R[X]$ जिसका प्रमुख गुणांक है जो उलटा सापेक्ष है $I$ (यही इसकी छवि है $R/I$ में इकाई (रिंग थ्योरी) है $R/I$ ), और के बहुपदों का गुणनखंडन $h$ मापांक $I$ या मॉड्यूलो की शक्ति $I$ , जैसे कि कारक बेज़ाउट के पहचान मॉड्यूल को संतुष्ट करते हैं $I$ . इन प्रमाणों में, ${\textstyle A\equiv B{\pmod {I}}}$ साधन $A-B\in IR[X].$

रैखिक भारोत्तोलन

होने देना $I$ क्रमविनिमेय वलय का आदर्श (अंगूठी सिद्धांत) हो $R$ , और $h\in R[X]$ में गुणांक के साथ अविभाज्य बहुपद हो $R$ जिसका प्रमुख गुणांक है $\alpha$ वह उलटा मॉड्यूलो है $I$ (यानी, की छवि $\alpha$ में $R/I$ में इकाई (रिंग थ्योरी) है $R/I$ ).

मान लीजिए कि किसी सकारात्मक पूर्णांक के लिए $k$ गुणनखंड है

h\equiv \alpha fg{\pmod {I^{k}}},

ऐसा है कि

f

और

g

मोनिक बहुपद हैं जो कोप्राइम मोडुलो हैं

I

, इस अर्थ में कि वहाँ मौजूद है

a,b\in R[X],

ऐसा है कि

{\textstyle af+bg\equiv 1{\pmod {I}}.}

फिर, बहुपद हैं

\delta _{f},\delta _{g}\in I^{k}R[X],

ऐसा है कि

\deg \delta _{f}<\deg f,

\deg \delta _{g}<\deg g,

और

h\equiv \alpha (f+\delta _{f})(g+\delta _{g}){\pmod {I^{k+1}}}.

इन शर्तों के अंर्तगत, $\delta _{f}$ और $\delta _{g}$ अद्वितीय मॉड्यूलो हैं $I^{k+1}R[X].$ इसके अतिरिक्त, $f+\delta _{f}$ और $g+\delta _{g}$ बेज़ाउट की पहचान को संतुष्ट करें $f$ और $g$ , वह है,

a(f+\delta _{f})+b(g+\delta _{g})\equiv 1{\pmod {I}}.

यह पूर्ववर्ती अभिकथनों से तुरंत अनुसरण करता है, लेकिन के बढ़ते मूल्यों के साथ परिणाम को पुनरावृत्त रूप से लागू करने के लिए आवश्यक है

k

.

निम्नलिखित प्रमाण कंप्यूटिंग के लिए लिखा गया है $\delta _{f}$ और $\delta _{g}$ में गुणांक वाले केवल बहुपदों का उपयोग करके $R/I$ या $I^{k}/I^{k+1}.$ कब $R=\mathbb {Z}$ और $I=p\mathbb {Z} ,$ यह केवल पूर्णांक मॉड्यूलो में हेरफेर करने की अनुमति देता है $p$ .

प्रमाण: परिकल्पना द्वारा, $\alpha$ उलटा मॉड्यूलो है $I$ . इसका मतलब है कि मौजूद है $\beta \in R$ और $\gamma \in IR[X]$ ऐसा है कि $\alpha \beta =1-\gamma .$ होने देना $\delta _{h}\in I^{k}R[X],$ डिग्री से कम $\deg h,$ ऐसा है कि

\delta _{h}\equiv h-\alpha fg{\pmod {I^{k+1}}}.

(कोई चुन सकता है

\delta _{h}=h-\alpha fg,

लेकिन अन्य विकल्पों से सरल संगणनाएँ हो सकती हैं। उदाहरण के लिए, यदि

R=\mathbb {Z}

और

I=p\mathbb {Z} ,

यह संभव है और चुनना बेहतर है

\delta _{h}=p^{k}\delta '_{h}

जहां के गुणांक

\delta '_{h}

अंतराल में पूर्णांक हैं

[0,p-1].

)

जैसा $g$ मोनिक है, के बहुपदों का यूक्लिडियन विभाजन $a\delta _{h}$ द्वारा $g$ परिभाषित है, और प्रदान करता है $q$ और $c$ ऐसा है कि $a\delta _{h}=qg+c,$ और $\deg c<\deg g.$ इसके अलावा दोनों $q$ और $c$ में हैं $I^{k}R[X].$ इसी तरह, चलो $b\delta _{h}=q'f+d,$ साथ $\deg d<\deg f,$ और $q',d\in I^{k}R[X].$ किसी के पास $q+q'\in I^{k+1}R[X].$ वास्तव में, है

fc+gd=af\delta _{h}+bg\delta _{h}-fg(q+q')\equiv \delta _{h}-fg(q+q'){\pmod {I^{k+1}}}.

जैसा $fg$ मोनिक है, डिग्री मोडुलो $I^{k+1}$ का $fg(q+q')$ से कम हो सकता है $\deg fg$ केवल $q+q'\in I^{k+1}R[X].$ इस प्रकार, सर्वांगसमता मॉड्यूल पर विचार करते हुए $I^{k+1},$ किसी के पास

{\begin{aligned}\alpha (f+\beta d)&(g+\beta c)-h\\&\equiv \alpha fg-h+\alpha \beta (f(a\delta _{h}-qg)+g(b\delta _{h}-q'f))\\&\equiv \delta _{h}(-1+\alpha \beta (af+bg))-\alpha \beta fg(q+q')\\&\equiv 0{\pmod {I^{k+1}}}.\end{aligned}}

तो, अस्तित्व के दावे के साथ सत्यापित किया गया है

\delta _{f}=\beta d,\qquad \delta _{g}=\beta c.

विशिष्टता

होने देना $R$ , $I$ , $h$ और $\alpha$ पिछले खंड में के रूप में। होने देना

h\equiv \alpha fg{\pmod {I}}

कोप्राइम बहुपदों (उपरोक्त अर्थों में) में गुणनखंड हो, जैसे $\deg f_{0}+\deg g_{0}=\deg h.$ के लिए रैखिक उठाने का आवेदन $k=1,2,\ldots ,n-1\ldots ,$ का अस्तित्व दर्शाता है $\delta _{f}$ और $\delta _{g}$ ऐसा है कि $\deg \delta _{f}<\deg f,$ $\deg \delta _{g}<\deg g,$ और

h\equiv \alpha (f+\delta _{f})(g+\delta _{g}){\pmod {I^{n}}}.

बहुपद $\delta _{f}$ और $\delta _{g}$ विशिष्ट रूप से परिभाषित मॉड्यूलो हैं $I^{n}.$ इसका मतलब यह है कि, अगर और जोड़ी $(\delta '_{f},\delta '_{g})$ उन्हीं शर्तों को पूरा करता है, तो उसके पास है

\delta '_{f}\equiv \delta _{f}{\pmod {I^{n}}}\qquad {\text{and}}\qquad \delta '_{g}\equiv \delta _{g}{\pmod {I^{n}}}.

उपपत्ति: चूंकि सर्वांगसमता मॉड्यूल है $I^{n}$ समान समरूपता मॉड्यूलो का तात्पर्य है $I^{n-1},$ कोई भी गणितीय प्रेरण द्वारा आगे बढ़ सकता है और मान सकता है कि अद्वितीयता सिद्ध हो चुकी है $n - 1$ , मामला $n = 0$ तुच्छ होना। यानी ऐसा माना जा सकता है

\delta _{f}-\delta '_{f}\in I^{n-1}R[X]\qquad {\text{and}}\qquad \delta _{g}-\delta '_{g}\in I^{n-1}R[X].

परिकल्पना द्वारा, है

h\equiv \alpha (f+\delta _{f})(g+\delta _{g})\equiv \alpha (f+\delta '_{f})(g+\delta '_{g}){\pmod {I^{n}}},

और इस तरह

{\begin{aligned}\alpha (f+\delta _{f})(g+\delta _{g})&-\alpha (f+\delta '_{f})(g+\delta '_{g})\\&=\alpha (f(\delta _{g}-\delta '_{g})+g(\delta _{f}-\delta '_{f}))+\alpha (\delta _{f}(\delta _{g}-\delta '_{g})-\delta _{g}(\delta _{f}-\delta '_{f}))\in I^{n}R[X].\end{aligned}}

प्रेरण परिकल्पना द्वारा, बाद के योग का दूसरा पद संबंधित है $I^{n},$ और इस प्रकार पहले कार्यकाल के लिए भी यही सच है। जैसा $\alpha$ उलटा मॉड्यूलो है $I$ , वहां है $\beta \in R$ और $\gamma \in I$ ऐसा है कि $\alpha \beta =1+\gamma .$ इस प्रकार

{\begin{aligned}f(\delta _{g}-\delta '_{g})&+g(\delta _{f}-\delta '_{f})\\&=\alpha \beta (f(\delta _{g}-\delta '_{g})+g(\delta _{f}-\delta '_{f}))-\gamma (f(\delta _{g}-\delta '_{g})+g(\delta _{f}-\delta '_{f}))\in I^{n}R[X],\end{aligned}}

प्रेरण परिकल्पना का फिर से उपयोग करना।

कोप्रिमेलिटी मॉड्यूलो $I$ के अस्तित्व का तात्पर्य है $a,b\in R[X]$ ऐसा है कि ${\textstyle 1\equiv af+bg{\pmod {I}}.}$ आगमन परिकल्पना का बार फिर प्रयोग करने पर, प्राप्त होता है

{\begin{aligned}\delta _{g}-\delta '_{g}&\equiv (af+bg)(\delta _{g}-\delta '_{g})\\&\equiv g(b(\delta _{g}-\delta '_{g})-a(\delta _{f}-\delta '_{f})){\pmod {I^{n}}}.\end{aligned}}

इस प्रकार किसी के पास डिग्री से कम का बहुपद है $\deg g$ वह सर्वांगसम मॉड्यूल है $I^{n}$ मोनिक बहुपद के उत्पाद के लिए $g$ और दूसरा बहुपद $w$ . यह तभी संभव है जब $w\in I^{n}R[X],$ और तात्पर्य है $\delta _{g}-\delta '_{g}\in I^{n}R[X].$ इसी प्रकार, $\delta _{f}-\delta '_{f}$ में भी है $I^{n}R[X],$ और यह विशिष्टता साबित करता है।

द्विघात भारोत्तोलन

रैखिक भारोत्तोलन गुणनखंड मॉड्यूल को उठाने की अनुमति देता है $I^{n}$ गुणनखंड के लिए $I^{n+1}.$ द्विघात भारोत्तोलन सीधे गुणनखंड मोडुलो को उठाने की अनुमति देता है $I^{2n},$ बेज़ाउट की पहचान और कंप्यूटिंग मोडुलो को उठाने की कीमत पर भी $I^{n}$ मॉड्यूलो के बजाय $I$ (यदि कोई रैखिक उठाने के उपरोक्त विवरण का उपयोग करता है)।

मॉड्यूलो तक उठाने के लिए $I^{N}$ बड़े के लिए $N$ कोई भी विधि का उपयोग कर सकता है। अगर, कहो, $N=2^{k},$ गुणनखंड मॉड्यूल $I^{N}$ आवश्यक है $N - 1$ रैखिक उठाने के चरण या केवल $k - 1$ द्विघात भारोत्तोलन के चरण। हालांकि, बाद के मामले में गणना के दौरान हेरफेर किए जाने वाले गुणांक के आकार में वृद्धि हुई है। इसका तात्पर्य है कि सबसे अच्छा उठाने का तरीका संदर्भ पर निर्भर करता है (के मूल्य $N$ , इसकी प्रकृति $R$ , गुणन एल्गोरिथम जिसका उपयोग किया जाता है, कंप्यूटर हार्डवेयर विशिष्टताएं, आदि)।^{[citation needed]}

द्विघात भारोत्तोलन निम्नलिखित संपत्ति पर आधारित है।

मान लीजिए कि किसी सकारात्मक पूर्णांक के लिए $k$ गुणनखंड है

h\equiv \alpha fg{\pmod {I^{k}}},

ऐसा है कि

f

और

g

मोनिक बहुपद हैं जो कोप्राइम मोडुलो हैं

I

, इस अर्थ में कि वहाँ मौजूद है

a,b\in R[X],

ऐसा है कि

{\textstyle af+bg\equiv 1{\pmod {I^{k}}}.}

फिर, बहुपद हैं

\delta _{f},\delta _{g}\in I^{k}R[X],

ऐसा है कि

\deg \delta _{f}<\deg f,

\deg \delta _{g}<\deg g,

और

h\equiv \alpha (f+\delta _{f})(g+\delta _{g}){\pmod {I^{2k}}}.

इसके अतिरिक्त, $f+\delta _{f}$ और $g+\delta _{g}$ बेज़ाउट के रूप की पहचान को संतुष्ट करें

(a+\delta _{a})(f+\delta _{f})+(b+\delta _{b})(g+\delta _{g})\equiv 1{\pmod {I^{2k}}}.

(यह द्विघात भारोत्तोलन की पुनरावृत्तियों की अनुमति देने के लिए आवश्यक है।)

प्रमाण: पहला अभिकथन वास्तव में रैखिक उत्तोलन के साथ लागू होता है $k = 1$ आदर्श के लिए $I^{k}$ के बजाय $I$ .

होने देना $\alpha =af+bg-1\in I^{k}R[X].$ किसी के पास

a(f+\delta _{f})+b(g+\delta _{g})=1-\Delta ,

कहाँ

\Delta =\alpha +a\delta _{f}+b\delta _{g}\in I^{k}R[X].

सेटिंग $\delta _{a}=-a\Delta$ और $\delta _{b}=-b\Delta ,$ मिलता है

(a+\delta _{a})(f+\delta _{f})+(b+\delta _{b})(g+\delta _{g})=1-\Delta ^{2}\in I^{2k}R[X],

जो दूसरे कथन को सिद्ध करता है।

स्पष्ट उदाहरण

होने देना $f(X)=X^{6}-2\in \mathbb {Q} [X].$ मॉडुलो 2, हेंसल की लेम्मा को कम करने के बाद से लागू नहीं किया जा सकता है $f(X)$ मॉड्यूलो 2 बस है^[1]^{पृष्ठ 15-16}

{\bar {f}}(X)=X^{6}-{\overline {2}}=X^{6}

6 कारकों के साथ $X$ दूसरे के लिए अपेक्षाकृत प्रमुख नहीं होना। आइज़ेंस्टीन की कसौटी से, हालांकि, यह निष्कर्ष निकाला जा सकता है कि बहुपद $f(X)$ में अपूरणीय है $\mathbb {Q} _{2}[X].$
ऊपर $k=\mathbb {F} _{7}$ , दूसरी ओर, है

{\bar {f}}(X)=X^{6}-{\overline {2}}=X^{6}-{\overline {16}}=(X^{3}-{\overline {4}})\;(X^{3}+{\overline {4}})

कहाँ $4$ 2 इंच का वर्गमूल है $\mathbb {F} _{7}$ . क्योंकि 4 घन नहीं है $\mathbb {F} _{7},$ ये दो कारक खत्म हो गए हैं $\mathbb {F} _{7}$ . इसलिए का पूर्ण गुणनखंड $X^{6}-2$ में $\mathbb {Z} _{7}[X]$ और $\mathbb {Q} _{7}[X]$ है

f(X)=X^{6}-2=(X^{3}-\alpha )\;(X^{3}+\alpha ),

कहाँ $\alpha =\ldots 450\,454_{7}$ 2 इंच का वर्गमूल है $\mathbb {Z} _{7}$ जिसे ऊपर दिए गए फ़ैक्टराइज़ेशन को हटाकर प्राप्त किया जा सकता है।
अंत में, में $\mathbb {F} _{727}[X]$ बहुपद विभाजित हो जाता है

{\bar {f}}(X)=X^{6}-{\overline {2}}=(X-{\overline {3}})\;(X-{\overline {116}})\;(X-{\overline {119}})\;(X-{\overline {608}})\;(X-{\overline {611}})\;(X-{\overline {724}})

सभी कारकों के साथ दूसरे के लिए अपेक्षाकृत प्रमुख हैं, ताकि अंदर $\mathbb {Z} _{727}[X]$ और $\mathbb {Q} _{727}[X]$ 6 कारक हैं $X-\beta$ (गैर-तर्कसंगत) 727-adic पूर्णांकों के साथ

\beta =\left\{{\begin{array}{rrr}3\;+&\!\!\!545\cdot 727\;+&\!\!\!537\cdot 727^{2}\,+&\!\!\!161\cdot 727^{3}+\ldots \\116\;+&\!\!\!48\cdot 727\;+&\!\!\!130\cdot 727^{2}\,+&\!\!\!498\cdot 727^{3}+\ldots \\119\;+&\!\!\!593\cdot 727\;+&\!\!\!667\cdot 727^{2}\,+&\!\!\!659\cdot 727^{3}+\ldots \\608\;+&\!\!\!133\cdot 727\;+&\!\!\!59\cdot 727^{2}\,+&\!\!\!67\cdot 727^{3}+\ldots \\611\;+&\!\!\!678\cdot 727\;+&\!\!\!596\cdot 727^{2}\,+&\!\!\!228\cdot 727^{3}+\ldots \\724\;+&\!\!\!181\cdot 727\;+&\!\!\!189\cdot 727^{2}\,+&\!\!\!565\cdot 727^{3}+\ldots \end{array}}\right.

जड़ें उठाने के लिए डेरिवेटिव का उपयोग करना

होने देना $f(x)$ पूर्णांक के साथ बहुपद हो (या $p$ -adic पूर्णांक) गुणांक, और मान लीजिए कि m, k सकारात्मक पूर्णांक हैं जैसे कि m ≤ k। यदि r पूर्णांक है जैसे कि

f(r)\equiv 0{\bmod {p}}^{k}\quad {\text{and}}\quad f'(r)\not \equiv 0{\bmod {p}}

फिर, प्रत्येक के लिए $m>0$ वहाँ पूर्णांक एस मौजूद है जैसे कि

f(s)\equiv 0{\bmod {p}}^{k+m}\quad {\text{and}}\quad r\equiv s{\bmod {p}}^{k}.

इसके अलावा, यह एस अद्वितीय मॉड्यूलो पी है^k+m, और स्पष्ट रूप से पूर्णांक के रूप में गणना की जा सकती है

s=r-f(r)\cdot a,

कहाँ $a$ पूर्णांक संतोषजनक है

a\equiv [f'(r)]^{-1}{\bmod {p}}^{m}.

ध्यान दें कि $f(r)\equiv 0{\bmod {p}}^{k}$ ताकि हालत $s\equiv r{\bmod {p}}^{k}$ मिला है। तरफ, अगर $f'(r)\equiv 0{\bmod {p}}$ , तब 0, 1, या कई s मौजूद हो सकते हैं (नीचे हेन्सल लिफ्टिंग देखें)।

व्युत्पत्ति

हम लिखने के लिए r के चारों ओर f के टेलर विस्तार का उपयोग करते हैं:

f(s)=\sum _{n=0}^{N}c_{n}(s-r)^{n},\qquad c_{n}=f^{(n)}(r)/n!.

से $r\equiv s{\bmod {p}}^{k},$ हम देखते हैं कि s - r = tp^k किसी पूर्णांक t के लिए। होने देना

{\begin{aligned}f(s)&=\sum _{n=0}^{N}c_{n}\left(tp^{k}\right)^{n}\\&=f(r)+tp^{k}f'(r)+\sum _{n=2}^{N}c_{n}t^{n}p^{kn}\\&=f(r)+tp^{k}f'(r)+p^{2k}t^{2}g(t)&&g(t)\in \mathbb {Z} [t]\\&=zp^{k}+tp^{k}f'(r)+p^{2k}t^{2}g(t)&&f(r)\equiv 0{\bmod {p}}^{k}\\&=(z+tf'(r))p^{k}+p^{2k}t^{2}g(t)\end{aligned}}

के लिए $m\leqslant k,$ अपने पास:

{\begin{aligned}f(s)\equiv 0{\bmod {p}}^{k+m}&\Longleftrightarrow (z+tf'(r))p^{k}\equiv 0{\bmod {p}}^{k+m}\\&\Longleftrightarrow z+tf'(r)\equiv 0{\bmod {p}}^{m}\\&\Longleftrightarrow tf'(r)\equiv -z{\bmod {p}}^{m}\\&\Longleftrightarrow t\equiv -z[f'(r)]^{-1}{\bmod {p}}^{m}&&p\nmid f'(r)\end{aligned}}

धारणा है कि $f'(r)$ p से विभाज्य नहीं है यह सुनिश्चित करता है $f'(r)$ उलटा मोड है $p^{m}$ जो अनिवार्य रूप से अद्वितीय है। इसलिए टी के लिए समाधान अद्वितीय रूप से मौजूद है $p^{m},$ और एस विशिष्ट मॉड्यूलो मौजूद है $p^{k+m}.$

अवलोकन

अलघुकरणीय बहुपदों के लिए मानदंड

उपरोक्त परिकल्पनाओं का उपयोग करते हुए, यदि हम अलघुकरणीय बहुपद पर विचार करते हैं

f(x)=a_{0}+a_{1}x+\cdots +a_{n}x^{n}\in K[X]

ऐसा है कि $a_{0},a_{n}\neq 0$ , तब

|f|=\max\{|a_{0}|,|a_{n}|\}

विशेष रूप से, के लिए $f(X)=X^{6}+10X-1$ , हम में पाते हैं $\mathbb {Q} _{2}[X]$

{\begin{aligned}|f(X)|&=\max\{|a_{0}|,\ldots ,|a_{n}|\}\\&=\max\{0,1,0\}=1\end{aligned}}

लेकिन $\max\{|a_{0}|,|a_{n}|\}=0$ , इसलिए बहुपद अलघुकरणीय नहीं हो सकता। जबकि में $\mathbb {Q} _{7}[X]$ हमारे पास दोनों मूल्य सहमत हैं, जिसका अर्थ है कि बहुपद अप्रासंगिक हो सकता है। इरेड्यूसबिलिटी निर्धारित करने के लिए, न्यूटन बहुभुज को नियोजित किया जाना चाहिए।^[2]^{पृष्ठ 144}

फ्रोबेनियस

ध्यान दें कि दिया गया है $a\in \mathbb {F} _{p}$ फ्रोबेनियस एंडोमोर्फिज्म $(-)\mapsto (-)^{p}$ बहुपद देता है $x^{p}-a$ जिसका हमेशा शून्य व्युत्पन्न होता है

{\begin{aligned}{\frac {d}{dx}}x^{p}-a&=p\cdot x^{p-1}\\&\equiv 0\cdot x^{p-1}{\bmod {p}}\\&\equiv 0{\bmod {p}}\end{aligned}}

इसलिए p-th की जड़ें $a$ में मौजूद नहीं है $\mathbb {Z} _{p}$ . के लिए $a=1$ , यह संकेत करता है $\mathbb {Z} _{p}$ एकता की जड़ नहीं हो सकती $\mu _{p}$ .

एकता की जड़ें

हालांकि $p$ -एकता की जड़ें निहित नहीं हैं $\mathbb {F} _{p}$ , के समाधान हैं $x^{p}-x=x(x^{p-1}-1)$ . टिप्पणी

{\begin{aligned}{\frac {d}{dx}}x^{p}-x&=px^{p-1}-1\\&\equiv -1{\bmod {p}}\end{aligned}}

कभी भी शून्य नहीं होता है, इसलिए यदि कोई समाधान मौजूद है, तो यह आवश्यक रूप से उठा लेता है $\mathbb {Z} _{p}$ . क्योंकि फ्रोबेनियस देता है $a^{p}=a,$ सभी गैर-शून्य तत्व $\mathbb {F} _{p}^{\times }$ समाधान हैं। वास्तव में एकता के यही मूल हैं $\mathbb {Q} _{p}$ .^[3]

हेन्सेल लिफ्टिंग

लेम्मा का उपयोग करके, कोई व्यक्ति बहुपद f modulo p का मूल r उठा सकता है^k से नए रूट s modulo p^k+1 जैसे कि r ≡ s mod p^k (m = 1 लेकर; बड़ा m लेकर प्रेरण द्वारा अनुसरण करता है)। वास्तव में, रूट मॉड्यूल पी^k+1 भी रूट मोडुलो p है^k, इसलिए रूट मॉड्यूल p^k+1 वास्तव में रूट्स मॉड्यूलो p की लिफ्टिंग हैं^{क</सुप>. नया रूट s r मॉड्यूलो p के सर्वांगसम है, इसलिए नया रूट भी संतुष्ट करता है $f'(s)\equiv f'(r)\not \equiv 0{\bmod {p}}.$ तो उठाने को दोहराया जा सकता है, और समाधान आर से शुरू हो सकता है_kका $f(x)\equiv 0{\bmod {p}}^{k}$ हम समाधान आर का क्रम प्राप्त कर सकते हैं_k+1, आर_k+2, ... p की उत्तरोत्तर उच्च घातों के लिए समान सर्वांगसमता प्रदान करता है $f'(r_{k})\not \equiv 0{\bmod {p}}$ प्रारंभिक रूट आर के लिए_k. इससे यह भी पता चलता है कि f के मूल mod p की संख्या समान है^k p के विरुद्ध^k+1, p के विरुद्ध ^k+2, या p की कोई अन्य उच्च शक्ति, f mod p के मूल प्रदान करती है^k सभी सरल हैं।}

इस प्रक्रिया का क्या होता है यदि आर साधारण रूट मोड पी नहीं है? कल्पना करना

f(r)\equiv 0{\bmod {p}}^{k}\quad {\text{and}}\quad f'(r)\equiv 0{\bmod {p}}.

तब $s\equiv r{\bmod {p}}^{k}$ तात्पर्य $f(s)\equiv f(r){\bmod {p}}^{k+1}.$ वह है, $f(r+tp^{k})\equiv f(r){\bmod {p}}^{k+1}$ सभी पूर्णांकों के लिए टी। इसलिए, हमारे पास दो मामले हैं:

अगर $f(r)\not \equiv 0{\bmod {p}}^{k+1}$ फिर f(x) modulo p की जड़ में r का कोई उठाव नहीं है^के+1.
अगर $f(r)\equiv 0{\bmod {p}}^{k+1}$ फिर r से मापांक p तक की प्रत्येक लिफ्टिंग^k+1 f(x) modulo p का मूल है^के+1.

'उदाहरण।' दोनों मामलों को देखने के लिए हम पी = 2 के साथ दो अलग-अलग बहुपदों की जांच करते हैं:

$f(x)=x^{2}+1$ और आर = 1. फिर $f(1)\equiv 0{\bmod {2}}$ और $f'(1)\equiv 0{\bmod {2}}.$ अपने पास $f(1)\not \equiv 0{\bmod {4}}$ जिसका मतलब है कि मॉड्यूल 4 में 1 की कोई लिफ्टिंग एफ (एक्स) मॉड्यूलो 4 की जड़ नहीं है।

$g(x)=x^{2}-17$ और आर = 1. फिर $g(1)\equiv 0{\bmod {2}}$ और $g'(1)\equiv 0{\bmod {2}}.$ हालाँकि, तब से $g(1)\equiv 0{\bmod {4}},$ हम अपने समाधान को मॉड्यूलस 4 तक उठा सकते हैं और दोनों लिफ्ट (यानी 1, 3) समाधान हैं। व्युत्पन्न अभी भी 0 मॉड्यूल 2 है, इसलिए प्राथमिकता हम नहीं जानते कि क्या हम उन्हें मॉड्यूल 8 तक उठा सकते हैं, लेकिन वास्तव में हम कर सकते हैं, क्योंकि जी (1) 0 मॉड 8 है और जी (3) 0 मॉड 8 है, 1, 3, 5, और 7 mod 8 पर समाधान दे रहे हैं। इनमें से केवल g(1) और g(7) 0 mod 16 हैं, हम केवल 1 और 7 को modulo 16 तक उठा सकते हैं, 1, 7, 9 और दे रहे हैं। 15 mod 16. इनमें से केवल 7 और 9 g(x) = 0 mod 32 देते हैं, इसलिए इन्हें 7, 9, 23, और 25 mod 32 देते हुए उठाया जा सकता है। यह पता चला है कि प्रत्येक पूर्णांक k ≥ 3 के लिए, वहाँ जी (एक्स) मॉड 2 की जड़ में 1 मॉड 2 की चार लिफ्टिंग हैं^{क</सुप>.}

पी-एडिक नंबरों के लिए हेन्सेल लेम्मा

में $p$ -ऐडिक संख्याएँ, जहाँ हम p की परिमेय संख्या मॉड्यूलो शक्तियों का बोध करा सकते हैं जब तक कि भाजक p का गुणज न हो, r से पुनरावर्तन_k(रूट्स मॉड पी^k) से r_k+1 (रूट्स मॉड पी^k+1) बहुत अधिक सहज तरीके से व्यक्त किया जा सकता है। t को एक(y) पूर्णांक चुनने के बजाय जो सर्वांगसमता को हल करता है

tf'(r_{k})\equiv -(f(r_{k})/p^{k}){\bmod {p}}^{m},

मान लीजिए कि t परिमेय संख्या है (p^k यहाँ वास्तव में हर नहीं है क्योंकि f(r_k) p से विभाज्य है^{के </सुप>):}

-(f(r_{k})/p^{k})/f'(r_{k}).

फिर सेट करें

r_{k+1}=r_{k}+tp^{k}=r_{k}-{\frac {f(r_{k})}{f'(r_{k})}}.

यह भिन्न पूर्णांक नहीं हो सकता है, लेकिन यह है $p$ -adic पूर्णांक, और संख्याओं का क्रम r_kमें विलीन हो जाता है $p$ -ऐडिक पूर्णांक f(x) = 0 की जड़ के लिए। इसके अलावा, (नई) संख्या r के लिए प्रदर्शित पुनरावर्ती सूत्र_k+1 आर के संदर्भ में_kवास्तविक संख्याओं में समीकरणों के मूल ज्ञात करने के लिए सटीक रूप से न्यूटन की विधि है।

में सीधे काम करके $p$ -एडिक्स और पी-एडिक वैल्यूएशन#पी-एडिक एब्सोल्यूट वैल्यू का उपयोग| $p$ -आदिक निरपेक्ष मान, हेन्सेल के लेम्मा का संस्करण है जिसे तब भी लागू किया जा सकता है जब हम f(a) ≡ 0 mod p के समाधान से शुरू करते हैं जैसे कि $f'(a)\equiv 0{\bmod {p}}.$ हमें केवल संख्या सुनिश्चित करने की आवश्यकता है $f'(a)$ बिल्कुल 0 नहीं है। यह अधिक सामान्य संस्करण इस प्रकार है: यदि कोई पूर्णांक a है जो संतुष्ट करता है:

|f(a)|_{p}<|f'(a)|_{p}^{2},

फिर अनूठा है $p$ -adic पूर्णांक b ऐसे f(b) = 0 और $|b-a|_{p}<|f'(a)|_{p}.$ बी का निर्माण यह दिखाने के बराबर है कि न्यूटन की विधि से प्रारंभिक मान के साथ पुनरावर्तन a में अभिसरित होता है $p$ -adics और हम b को सीमा मानते हैं। शर्त के अनुकूल जड़ के रूप में b की विशिष्टता $|b-a|_{p}<|f'(a)|_{p}$ अतिरिक्त काम की जरूरत है।

ऊपर दिया गया हेंसल लेम्मा का कथन (लेकर $m=1$ ) इस अधिक सामान्य संस्करण का विशेष मामला है, क्योंकि शर्तें हैं कि f(a) ≡ 0 mod p और $f'(a)\not \equiv 0{\bmod {p}}$ कहते हैं कि $|f(a)|_{p}<1$ और $|f'(a)|_{p}=1.$

उदाहरण

मान लीजिए कि p विषम अभाज्य संख्या है और a गैर-शून्य द्विघात अवशेष सापेक्ष p है। तब हेंसल की प्रमेयिका का अर्थ है कि a के वलय में वर्गमूल है $p$ -ऐडिक पूर्णांक $\mathbb {Z} _{p}.$ वास्तव में, चलो $f(x)=x^{2}-a.$ यदि आर मॉड्यूल पी का वर्ग रूट है तो:

f(r)=r^{2}-a\equiv 0{\bmod {p}}\quad {\text{and}}\quad f'(r)=2r\not \equiv 0{\bmod {p}},

जहां दूसरी स्थिति इस तथ्य पर निर्भर करती है कि p विषम है। हेंसल की लेम्मा का मूल संस्करण हमें बताता है कि r से शुरू होता है₁ = आर हम पुनरावर्ती रूप से पूर्णांकों के अनुक्रम का निर्माण कर सकते हैं $\{r_{k}\}$ ऐसा है कि:

r_{k+1}\equiv r_{k}{\bmod {p}}^{k},\quad r_{k}^{2}\equiv a{\bmod {p}}^{k}.

यह क्रम कुछ में परिवर्तित होता है $p$ -adic पूर्णांक b जो b को संतुष्ट करता है² = ए। वास्तव में, b, a का अद्वितीय वर्गमूल है $\mathbb {Z} _{p}$ आर के अनुरूप₁ मोडुलो पी। इसके विपरीत, यदि a पूर्ण वर्ग है $\mathbb {Z} _{p}$ और यह p से विभाज्य नहीं है तो यह अशून्य द्विघात अवशेष mod p है। ध्यान दें कि द्विघात पारस्परिकता कानून किसी को आसानी से परीक्षण करने की अनुमति देता है कि क्या गैर-शून्य द्विघात अवशेष मॉड पी है, इस प्रकार हमें यह निर्धारित करने का व्यावहारिक तरीका मिलता है कि कौन सा $p$ -adic नंबर (पी विषम के लिए) है $p$ -एडिक वर्गमूल, और हेन्सल के लेम्मा के अधिक सामान्य संस्करण का उपयोग करके केस p = 2 को कवर करने के लिए इसे बढ़ाया जा सकता है (17 के 2-एडिक वर्गमूल के साथ उदाहरण बाद में दिया गया है)।

उपरोक्त चर्चा को और अधिक स्पष्ट करने के लिए, आइए हम 2 का वर्गमूल (इसका हल) ज्ञात करें $x^{2}-2=0$ ) 7-एडिक पूर्णांकों में। मोडुलो 7 समाधान 3 है (हम 4 भी ले सकते हैं), इसलिए हम सेट करते हैं $r_{1}=3$ . हेन्सेल की लेम्मा तब हमें खोजने की अनुमति देती है $r_{2}$ निम्नलिखित नुसार:

{\begin{aligned}f(r_{1})&=3^{2}-2=7\\f(r_{1})/p^{1}&=7/7=1\\f'(r_{1})&=2r_{1}=6\end{aligned}}

जिसके आधार पर अभिव्यक्ति

tf'(r_{1})\equiv -(f(r_{1})/p^{k}){\bmod {p}},

में बदल जाता हुँ:

t\cdot 6\equiv -1{\bmod {7}}

जो ये दर्शाता हे $t=1.$ अब:

r_{2}=r_{1}+tp^{1}=3+1\cdot 7=10=13_{7}.

और यकीन मानिए, $10^{2}\equiv 2{\bmod {7}}^{2}.$ (यदि हमने 7-एडिक्स में सीधे न्यूटन विधि पुनरावर्तन का उपयोग किया था, तब $r_{2}=r_{1}-f(r_{1})/f'(r_{1})=3-7/6=11/6,$ और $11/6\equiv 10{\bmod {7}}^{2}.$ )

हम जारी रख सकते हैं और खोज सकते हैं $r_{3}=108=3+7+2\cdot 7^{2}=213_{7}$ . हर बार जब हम गणना करते हैं (अर्थात, k के प्रत्येक क्रमिक मान के लिए), 7 की अगली उच्च शक्ति के लिए और आधार 7 अंक जोड़ा जाता है। 7-एडिक पूर्णांकों में यह क्रम अभिसरित होता है, और सीमा वर्ग है। 2 इंच की जड़ $\mathbb {Z} _{7}$ जिसका प्रारंभिक 7-एडिक विस्तार है

3+7+2\cdot 7^{2}+6\cdot 7^{3}+7^{4}+2\cdot 7^{5}+7^{6}+2\cdot 7^{7}+4\cdot 7^{8}+\cdots .

अगर हमने शुरुआती पसंद से शुरुआत की $r_{1}=4$ तो हेन्सेल की लेम्मा 2 इंच का वर्गमूल उत्पन्न करेगी $\mathbb {Z} _{7}$ जो 3 (mod 7) के बजाय 4 (mod 7) के अनुरूप है और वास्तव में यह दूसरा वर्गमूल पहले वर्गमूल का ऋणात्मक होगा (जो 4 = −3 mod 7 के अनुरूप है)।

उदाहरण के रूप में जहां हेंसल के लेम्मा का मूल संस्करण मान्य नहीं है, लेकिन अधिक सामान्य है, चलो $f(x)=x^{2}-17$ और $a=1.$ तब $f(a)=-16$ और $f'(a)=2,$ इसलिए

|f(a)|_{2}<|f'(a)|_{2}^{2},

जिसका अर्थ है कि अद्वितीय 2-एडिक पूर्णांक बी संतोषजनक है

b^{2}=17\quad {\text{and}}\quad |b-a|_{2}<|f'(a)|_{2}={\frac {1}{2}},

यानी, b ≡ 1 mod 4. 2-adic पूर्णांकों में 17 के दो वर्गमूल हैं, जो चिह्न से भिन्न हैं, और हालांकि वे सर्वांगसम mod 2 हैं, वे सर्वांगसम mod 4 नहीं हैं। यह हेन्सेल के सामान्य संस्करण के अनुरूप है लेम्मा हमें केवल 17 का अद्वितीय 2-एडिक वर्गमूल दे रही है जो मॉड 2 के बजाय 1 मॉड 4 के अनुरूप है। यदि हमने शुरुआती अनुमानित रूट a = 3 के साथ शुरू किया था तो हम खोजने के लिए अधिक सामान्य हेन्सेल लेम्मा को फिर से लागू कर सकते हैं। 17 का अनोखा 2-एडिक वर्गमूल जो 3 मॉड 4 के अनुरूप है। यह 17 का अन्य 2-एडिक वर्गमूल है।

की जड़ों को उठाने के मामले में $x^{2}-17$ मापांक 2 से^{क</सुप> से 2^k+1, रूट 1 मॉड 2 से शुरू होने वाली लिफ्ट इस प्रकार हैं:}

1 मॉड 2 → 1, 3 मॉड 4

1 मॉड 4 → 1, 5 मॉड 8 और 3 मॉड 4 → 3, 7 मॉड 8

1 मॉड 8 → 1, 9 मॉड 16 और 7 मॉड 8 → 7, 15 मॉड 16, जबकि 3 मॉड 8 और 5 मॉड 8 रूट मॉड 16 तक नहीं उठाते हैं

9 mod 16 → 9, 25 mod 32 और 7 mod 16 → 7, 23 mod 16, जबकि 1 mod 16 और 15 mod 16 रूट्स mod 32 तक नहीं उठाते हैं।

प्रत्येक k के लिए कम से कम 3, x के चार मूल होते हैं² − 17 बनाम 2^k, लेकिन अगर हम उनके 2-एडिक विस्तारों को देखें तो हम देख सकते हैं कि जोड़ियों में वे केवल दो 2-एडिक सीमाओं में अभिसरण कर रहे हैं। उदाहरण के लिए, चार जड़ें मॉड 32 दो जोड़ी जड़ों में टूट जाती हैं, जिनमें से प्रत्येक ही मॉड 16 दिखती है:

9 = 1 + 2³ और 25 = 1 + 2³ + 2^{4</उप>।}

7 = 1 + 2 + 2² और 23 = 1 + 2 + 2² + 2^{4</उप>।}

17 के 2-ऐडिक वर्गमूलों का विस्तार है

1+2^{3}+2^{5}+2^{6}+2^{7}+2^{9}+2^{10}+\cdots

1+2+2^{2}+2^{4}+2^{8}+2^{11}+\cdots

और उदाहरण जहां हम हेंसल लेम्मा के अधिक सामान्य संस्करण का उपयोग कर सकते हैं, लेकिन मूल संस्करण का नहीं, यह प्रमाण है कि कोई भी 3-एडिक पूर्णांक c ≡ 1 mod 9 घन है $\mathbb {Z} _{3}.$ होने देना $f(x)=x^{3}-c$ और प्रारंभिक सन्निकटन a = 1 लें। मूलभूत हेन्सेल लेम्मा का उपयोग f(x) की जड़ों को खोजने के लिए नहीं किया जा सकता है क्योंकि $f'(r)\equiv 0{\bmod {3}}$ हर आर के लिए। हेंसल के लेम्मा के सामान्य संस्करण को लागू करने के लिए हम चाहते हैं $|f(1)|_{3}<|f'(1)|_{3}^{2},$ मतलब $c\equiv 1{\bmod {2}}7.$ अर्थात, यदि c ≡ 1 mod 27 है तो सामान्य हेन्सेल की लेम्मा हमें बताती है कि f(x) में 3-एडिक रूट है, इसलिए c 3-एडिक क्यूब है। हालाँकि, हम इस परिणाम को कमजोर स्थिति के तहत चाहते थे कि c ≡ 1 mod 9. यदि c ≡ 1 mod 9 तो c ≡ 1, 10, या 19 mod 27। हम मूल्य के आधार पर सामान्य हेन्सेल के लेम्मा को तीन बार लागू कर सकते हैं। सी मॉड 27 का: यदि सी ≡ 1 मॉड 27 तो ए = 1 का उपयोग करें, यदि सी ≡ 10 मॉड 27 तो ए = 4 का उपयोग करें (चूंकि 4 एफ (एक्स) मॉड 27 की जड़ है), और यदि सी ≡ 19 मॉड 27 फिर a = 7 का उपयोग करें। (यह सच नहीं है कि प्रत्येक c ≡ 1 mod 3 3-एडिक क्यूब है, उदाहरण के लिए, 4 3-एडिक क्यूब नहीं है क्योंकि यह क्यूब मॉड 9 नहीं है।)

इसी तरह, कुछ प्रारंभिक कार्य के बाद, हेंसल की प्रमेयिका का उपयोग यह दिखाने के लिए किया जा सकता है कि किसी भी विषम अभाज्य संख्या p के लिए, कोई भी $p$ -अर्थात् पूर्णांक c 1 सापेक्ष p के सर्वांगसम है² p-वें घात है $\mathbb {Z} _{p}.$ (यह p = 2 के लिए असत्य है।)

सामान्यीकरण

मान लीजिए A क्रमविनिमेय वलय है, आदर्श के संबंध में वलय का पूरा होना (अंगूठी सिद्धांत) ${\mathfrak {m}},$ और जाने $f(x)\in A[x].$ a ∈ A को f का सन्निकट मूल कहा जाता है, यदि

f(a)\equiv 0{\bmod {f}}'(a)^{2}{\mathfrak {m}}.

यदि f का अनुमानित मूल है तो इसका सटीक मूल b ∈ A है जो a के निकट है; वह है,

f(b)=0\quad {\text{and}}\quad b\equiv a{\bmod {\mathfrak {m}}}.

इसके अलावा, अगर $f'(a)$ शून्य-भाजक नहीं है तो b अद्वितीय है।

इस परिणाम को निम्नानुसार कई चरों के लिए सामान्यीकृत किया जा सकता है:

'प्रमेय।' मान लीजिए A क्रमविनिमेय वलय है जो आदर्श के संबंध में पूर्ण है

{\mathfrak {m}}\subset A.

होने देना

f_{1},\ldots ,f_{n}\in A[x_{1},\ldots ,x_{n}]

ए पर एन चर में एन बहुपदों की प्रणाली बनें। देखें

\mathbf {f} =(f_{1},\ldots ,f_{n}),

ए से मानचित्रण के रूप मेंⁿ खुद के लिए, और जाने दो

J_{\mathbf {f} }(\mathbf {x} )

इसके जैकबियन मैट्रिक्स को निरूपित करें। मान लीजिए = (ए₁, ..., ए_n) ∈ एⁿ इस अर्थ में 'f' = '0' का अनुमानित समाधान है

f_{i}(\mathbf {a} )\equiv 0{\bmod {(}}\det J_{\mathbf {f} }(a))^{2}{\mathfrak {m}},\qquad 1\leqslant i\leqslant n.

तो कुछ है b = (b₁, ..., बी_n) ∈ एⁿ संतोषजनक 'f'('b') = '0', यानी,

f_{i}(\mathbf {b} )=0,\qquad 1\leqslant i\leqslant n.

इसके अलावा यह समाधान इस अर्थ में करीब है कि

b_{i}\equiv a_{i}{\bmod {\det }}J_{\mathbf {f} }(a){\mathfrak {m}},\qquad 1\leqslant i\leqslant n.

विशेष मामले के रूप में, यदि $f_{i}(\mathbf {a} )\equiv 0{\bmod {\mathfrak {m}}}$ मैं और सभी के लिए $\det J_{\mathbf {f} }(\mathbf {a} )$ ए में इकाई है तो 'एफ'('बी') = '0' के साथ समाधान है $b_{i}\equiv a_{i}{\bmod {\mathfrak {m}}}$ सभी के लिए मैं

जब n = 1, 'a' = a, A का अवयव है और $J_{\mathbf {f} }(\mathbf {a} )=J_{f}(a)=f'(a).$ इस बहुभिन्नरूपी हेन्सेल के लेम्मा की परिकल्पना उन लोगों को कम करती है जो एक-चर हेन्सेल के लेम्मा में बताए गए थे।

यह भी देखें

हस्से-मिन्कोव्स्की प्रमेय
न्यूटन बहुभुज
स्थानीय रूप से कॉम्पैक्ट क्षेत्र
लिफ्टिंग-द-एक्सपोनेंट लेम्मा

संदर्भ

↑ Gras, Georges (2003). Class field theory : from theory to practice. Berlin. ISBN 978-3-662-11323-3. OCLC 883382066.{{cite book}}: CS1 maint: location missing publisher (link)
↑ Neukirch, Jürgen (1999). बीजगणितीय संख्या सिद्धांत. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 978-3-662-03983-0. OCLC 851391469.
↑ Conrad, Keith. "Hensel's Lemma" (PDF). p. 4.{{cite web}}: CS1 maint: url-status (link)

Eisenbud, David (1995), Commutative algebra, Graduate Texts in Mathematics, vol. 150, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4612-5350-1, ISBN 978-0-387-94269-8, MR 1322960
Milne, J. G. (1980), Étale cohomology, Princeton University Press, ISBN 978-0-691-08238-7

[:0-1] Gras, Georges (2003). Class field theory : from theory to practice. Berlin. ISBN 978-3-662-11323-3. OCLC 883382066.{{cite book}}: CS1 maint: location missing publisher (link)

[:1-2] Neukirch, Jürgen (1999). बीजगणितीय संख्या सिद्धांत. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 978-3-662-03983-0. OCLC 851391469.

[3] Conrad, Keith. "Hensel's Lemma" (PDF). p. 4.{{cite web}}: CS1 maint: url-status (link)

[1]

[2]

[3]

Anonymous

Search

हेंसल की लेम्मा: Difference between revisions

Namespaces

More

Page actions

Revision as of 07:08, 25 May 2023

Contents

मॉड्यूलर कमी और उठाना

कथन

सरल जड़ों को उठाना

आदि पूर्णता के लिए उठाना

प्रमाण

रैखिक भारोत्तोलन

विशिष्टता

द्विघात भारोत्तोलन

स्पष्ट उदाहरण

जड़ें उठाने के लिए डेरिवेटिव का उपयोग करना

व्युत्पत्ति

अवलोकन

अलघुकरणीय बहुपदों के लिए मानदंड

फ्रोबेनियस

एकता की जड़ें

हेन्सेल लिफ्टिंग

पी-एडिक नंबरों के लिए हेन्सेल लेम्मा

उदाहरण

सामान्यीकरण

संबंधित अवधारणाएं

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
-गणित में, हेंसल की लेम्मा, जिसे हेंसल की लिफ्टिंग लेम्मा के रूप में भी जाना जाता है, [[कर्ट हेन्सेल]] के नाम पर, [[मॉड्यूलर अंकगणित]] में एक परिणाम है, जिसमें कहा गया है कि यदि एक अविभाजित बहुपद में एक साधारण रूट मॉड्यूलो एक [[अभाज्य संख्या]] है {{math|''p''}}, तो इस रूट को किसी भी उच्च शक्ति के अद्वितीय रूट मोडुलो तक उठाया जा सकता है {{math|''p''}}. अधिक आम तौर पर, यदि बहुपद कारकों मॉड्यूलो {{math|''p''}} दो सह-अभाज्य बहुपदों में, इस गुणनखंडन को किसी भी उच्च घात के गुणनखंडन मोडुलो तक उठाया जा सकता है {{math|''p''}} (जड़ों का मामला डिग्री के मामले से मेल खाता है {{math|1}} कारकों में से एक के लिए)।
+गणित में, हेंसल की लेम्मा, जिसे हेंसल की लिफ्टिंग लेम्मा के रूप में भी जाना जाता है, [[कर्ट हेन्सेल]] के नाम पर, [[मॉड्यूलर अंकगणित]] में  परिणाम है, जिसमें कहा गया है कि यदि  अविभाजित बहुपद में  साधारण रूट मॉड्यूलो  [[अभाज्य संख्या]] है {{math|''p''}}, तो इस रूट को किसी भी उच्च शक्ति के अद्वितीय रूट मोडुलो तक उठाया जा सकता है {{math|''p''}}. अधिक आम तौर पर, यदि बहुपद कारकों मॉड्यूलो {{math|''p''}} दो सह-अभाज्य बहुपदों में, इस गुणनखंडन को किसी भी उच्च घात के गुणनखंडन मोडुलो तक उठाया जा सकता है {{math|''p''}} (जड़ों का मामला डिग्री के मामले से मेल खाता है {{math|1}} कारकों में से  के लिए)।
-सीमा तक जाने से (वास्तव में यह एक [[उलटा सीमा]] है) जब की शक्ति {{mvar|p}} अनंत की ओर जाता है, यह इस प्रकार है कि एक जड़ या एक गुणनखंड है {{mvar|p}} को मूल तक उठाया जा सकता है या p-adic पूर्णांक पर गुणनखंड किया जा सकता है{{mvar|p}}-ऐडिक पूर्णांक।
+सीमा तक जाने से (वास्तव में यह  [[उलटा सीमा]] है) जब की शक्ति {{mvar|p}} अनंत की ओर जाता है, यह इस प्रकार है कि  जड़ या  गुणनखंड है {{mvar|p}} को मूल तक उठाया जा सकता है या p-adic पूर्णांक पर गुणनखंड किया जा सकता है{{mvar|p}}-ऐडिक पूर्णांक।
-इन परिणामों को एक ही नाम के तहत व्यापक रूप से सामान्यीकृत किया गया है, बहुपदों के मामले में एक मनमाने ढंग से [[ क्रमविनिमेय अंगूठी ]] पर, जहां {{mvar|p}} को एक आदर्श (रिंग थ्योरी) द्वारा प्रतिस्थापित किया जाता है, और कोप्राइम बहुपद का मतलब बहुपद होता है जो एक आदर्श युक्त उत्पन्न करता है {{math|1}} .
+इन परिणामों को  ही नाम के तहत व्यापक रूप से सामान्यीकृत किया गया है, बहुपदों के मामले में  मनमाने ढंग से [[ क्रमविनिमेय अंगूठी ]] पर, जहां {{mvar|p}} को  आदर्श (रिंग थ्योरी) द्वारा प्रतिस्थापित किया जाता है, और कोप्राइम बहुपद का मतलब बहुपद होता है जो  आदर्श युक्त उत्पन्न करता है {{math|1}} .
-पी-एडिक विश्लेषण में हेंसल की लेम्मा मौलिक है{{mvar|p}}-ऐडिक विश्लेषण, [[विश्लेषणात्मक संख्या सिद्धांत]] की एक शाखा।
+पी-एडिक विश्लेषण में हेंसल की लेम्मा मौलिक है{{mvar|p}}-ऐडिक विश्लेषण, [[विश्लेषणात्मक संख्या सिद्धांत]] की  शाखा।
-हेन्सेल के लेम्मा का सबूत [[रचनात्मक प्रमाण]] है, और हेन्सेल उठाने के लिए एक कुशल एल्गोरिदम की ओर जाता है, जो बहुपद कारककरण के लिए मौलिक है, और [[तर्कसंगत संख्या]]ओं पर सटीक रैखिक बीजगणित के लिए सबसे कुशल ज्ञात एल्गोरिदम देता है।
+हेन्सेल के लेम्मा का सबूत [[रचनात्मक प्रमाण]] है, और हेन्सेल उठाने के लिए  कुशल एल्गोरिदम की ओर जाता है, जो बहुपद कारककरण के लिए मौलिक है, और [[तर्कसंगत संख्या]]ओं पर सटीक रैखिक बीजगणित के लिए सबसे कुशल ज्ञात एल्गोरिदम देता है।
 == मॉड्यूलर कमी और उठाना ==
-हेन्सेल की मूल लेम्मा पूर्णांकों पर बहुपद गुणनखंडन और पूर्णांकों पर मॉड्यूलर अंकगणितीय अभाज्य संख्या के बीच संबंध से संबंधित है। {{mvar|p}} और इसकी शक्तियाँ। इसे सीधे उस मामले तक बढ़ाया जा सकता है जहां पूर्णांकों को किसी क्रमविनिमेय वलय द्वारा प्रतिस्थापित किया जाता है, और {{mvar|p}} को किसी भी [[अधिकतम आदर्श]] द्वारा प्रतिस्थापित किया जाता है (वास्तव में, के अधिकतम आदर्श <math>\Z</math> रूप है <math>p\Z,</math> कहाँ {{mvar|p}} एक अभाज्य संख्या है)।
+हेन्सेल की मूल लेम्मा पूर्णांकों पर बहुपद गुणनखंडन और पूर्णांकों पर मॉड्यूलर अंकगणितीय अभाज्य संख्या के बीच संबंध से संबंधित है। {{mvar|p}} और इसकी शक्तियाँ। इसे सीधे उस मामले तक बढ़ाया जा सकता है जहां पूर्णांकों को किसी क्रमविनिमेय वलय द्वारा प्रतिस्थापित किया जाता है, और {{mvar|p}} को किसी भी [[अधिकतम आदर्श]] द्वारा प्रतिस्थापित किया जाता है (वास्तव में, के अधिकतम आदर्श <math>\Z</math> रूप है <math>p\Z,</math> कहाँ {{mvar|p}}  अभाज्य संख्या है)।
 इसे सटीक बनाने के लिए सामान्य मॉड्यूलर अंकगणित के सामान्यीकरण की आवश्यकता होती है, और इसलिए इस संदर्भ में आमतौर पर उपयोग की जाने वाली शब्दावली को सटीक रूप से परिभाषित करना उपयोगी होता है।
-होने देना {{mvar|R}} क्रमविनिमेय वलय हो, और {{mvar|I}} का एक आदर्श (रिंग थ्योरी)। {{mvar|R}}. न्यूनीकरण मॉड्यूल {{mvar|I}} के प्रत्येक तत्व के प्रतिस्थापन को संदर्भित करता है {{mvar|R}} विहित मानचित्र के अंतर्गत इसकी छवि द्वारा <math>R\to R/I.</math> उदाहरण के लिए, अगर <math>f\in R[X]</math> में गुणांकों वाला एक [[बहुपद]] है {{mvar|R}}, इसका कमी मोडुलो {{mvar|I}}, निरूपित <math>f \bmod I,</math> में बहुपद है <math>(R/I)[X]=R[X]/IR[X]</math> के गुणांकों को प्रतिस्थापित करके प्राप्त किया गया {{mvar|f}} उनकी छवि द्वारा <math>R/I.</math> दो बहुपद {{mvar|f}} और {{mvar|g}} में <math>R[X]</math> मॉड्यूल के अनुसार हैं {{mvar|I}}, निरूपित <math DISPLAY=inline>f\equiv g \pmod I</math> यदि उनके गुणांक मॉड्यूल समान हैं {{mvar|I}}, वह है अगर <math>f-g\in IR[X].</math> अगर <math>h\in R[X],</math> का गुणनखंडन {{mvar|h}} मापांक {{mvar|I}} में दो (या अधिक) बहुपद होते हैं {{mvar|f, g}} में <math>R[X]</math> ऐसा है कि <math DISPLAY=inline>h\equiv fg \pmod I.</math>
+होने देना {{mvar|R}} क्रमविनिमेय वलय हो, और {{mvar|I}} का  आदर्श (रिंग थ्योरी)। {{mvar|R}}. न्यूनीकरण मॉड्यूल {{mvar|I}} के प्रत्येक तत्व के प्रतिस्थापन को संदर्भित करता है {{mvar|R}} विहित मानचित्र के अंतर्गत इसकी छवि द्वारा <math>R\to R/I.</math> उदाहरण के लिए, अगर <math>f\in R[X]</math> में गुणांकों वाला  [[बहुपद]] है {{mvar|R}}, इसका कमी मोडुलो {{mvar|I}}, निरूपित <math>f \bmod I,</math> में बहुपद है <math>(R/I)[X]=R[X]/IR[X]</math> के गुणांकों को प्रतिस्थापित करके प्राप्त किया गया {{mvar|f}} उनकी छवि द्वारा <math>R/I.</math> दो बहुपद {{mvar|f}} और {{mvar|g}} में <math>R[X]</math> मॉड्यूल के अनुसार हैं {{mvar|I}}, निरूपित <math DISPLAY=inline>f\equiv g \pmod I</math> यदि उनके गुणांक मॉड्यूल समान हैं {{mvar|I}}, वह है अगर <math>f-g\in IR[X].</math> अगर <math>h\in R[X],</math> का गुणनखंडन {{mvar|h}} मापांक {{mvar|I}} में दो (या अधिक) बहुपद होते हैं {{mvar|f, g}} में <math>R[X]</math> ऐसा है कि <math DISPLAY=inline>h\equiv fg \pmod I.</math>
 उठाने की प्रक्रिया कमी के विपरीत है। अर्थात्, दी गई [[गणितीय वस्तु]] के तत्वों पर निर्भर करती है <math>R/I,</math> उठाने की प्रक्रिया इन तत्वों को तत्वों से बदल देती है <math>R</math> (या का <math>R/I^k</math> कुछ के लिए {{math|''k'' > 1}}) जो उन्हें इस तरह से मैप करता है जो वस्तुओं के गुणों को बनाए रखता है।
-उदाहरण के लिए, एक बहुपद दिया <math>h\in R[X]</math> और एक गुणनखंड मॉड्यूल {{mvar|I}} इसके रूप में बताया गया <math DISPLAY=inline>h\equiv fg \pmod I,</math> इस गुणनखंड मॉड्यूल को उठाना <math>I^k</math> बहुपद खोजने के होते हैं <math>f',g'\in R[X]</math> ऐसा है कि <math DISPLAY=inline>f'\equiv f \pmod I,</math> <math DISPLAY=inline>g'\equiv g \pmod I,</math> और <math DISPLAY=inline>h\equiv f'g' \pmod {I^k}.</math> हेंसल की लेम्मा का दावा है कि हल्की परिस्थितियों में इस तरह की लिफ्टिंग हमेशा संभव है; अगला भाग देखें।
+उदाहरण के लिए,  बहुपद दिया <math>h\in R[X]</math> और  गुणनखंड मॉड्यूल {{mvar|I}} इसके रूप में बताया गया <math DISPLAY=inline>h\equiv fg \pmod I,</math> इस गुणनखंड मॉड्यूल को उठाना <math>I^k</math> बहुपद खोजने के होते हैं <math>f',g'\in R[X]</math> ऐसा है कि <math DISPLAY=inline>f'\equiv f \pmod I,</math> <math DISPLAY=inline>g'\equiv g \pmod I,</math> और <math DISPLAY=inline>h\equiv f'g' \pmod {I^k}.</math> हेंसल की लेम्मा का दावा है कि हल्की परिस्थितियों में इस तरह की लिफ्टिंग हमेशा संभव है; अगला भाग देखें।
 == कथन ==
-मूल रूप से, हेंसल की लेम्मा को एक बहुपद गुणनखंडन मॉड्यूल को एक अभाज्य संख्या उठाने के लिए कहा गया था (और सिद्ध किया गया था) {{mvar|p}पूर्णांकों पर किसी बहुपद का गुणनखंडन मॉड्यूलो की किसी भी शक्ति का {{mvar|p}} और p-adic पूर्णांक पर गुणनखंड करने के लिए |{{mvar|p}}-ऐडिक पूर्णांक। इसे आसानी से सामान्यीकृत किया जा सकता है, उसी प्रमाण के साथ जहां पूर्णांक को किसी भी कम्यूटेटिव रिंग से बदल दिया जाता है, अभाज्य संख्या को एक अधिकतम आदर्श द्वारा बदल दिया जाता है, और {{mvar|p}}-ऐडिक पूर्णांकों को अधिकतम आदर्श के संबंध में एक रिंग के पूरा होने से बदल दिया जाता है। यह सामान्यीकरण है, जिसका व्यापक रूप से उपयोग भी किया जाता है, जिसे यहां प्रस्तुत किया गया है।
+<nowiki>मूल रूप से, हेंसल की लेम्मा को  बहुपद गुणनखंडन मॉड्यूल को  अभाज्य संख्या उठाने के लिए कहा गया था (और सिद्ध किया गया था) {{mvar|p}पूर्णांकों पर किसी बहुपद का गुणनखंडन मॉड्यूलो की किसी भी शक्ति का </nowiki>{{mvar|p}} और p-adic पूर्णांक पर गुणनखंड करने के लिए |{{mvar|p}}-ऐडिक पूर्णांक। इसे आसानी से सामान्यीकृत किया जा सकता है, उसी प्रमाण के साथ जहां पूर्णांक को किसी भी कम्यूटेटिव रिंग से बदल दिया जाता है, अभाज्य संख्या को  अधिकतम आदर्श द्वारा बदल दिया जाता है, और {{mvar|p}}-ऐडिक पूर्णांकों को अधिकतम आदर्श के संबंध में  रिंग के पूरा होने से बदल दिया जाता है। यह सामान्यीकरण है, जिसका व्यापक रूप से उपयोग भी किया जाता है, जिसे यहां प्रस्तुत किया गया है।
-होने देना <math>\mathfrak m</math> क्रमविनिमेय वलय का एक उच्चिष्ठ आदर्श हो {{mvar|R}}, और
+होने देना <math>\mathfrak m</math> क्रमविनिमेय वलय का  उच्चिष्ठ आदर्श हो {{mvar|R}}, और
 :<math>h=\alpha_0X^n+\cdots +\alpha_{n-1}X+\alpha_n</math>
-में एक बहुपद हो <math>R[X]</math> अग्रणी गुणांक के साथ <math>\alpha_0</math> अंदर नही <math>\mathfrak m.</math>
+में  बहुपद हो <math>R[X]</math> अग्रणी गुणांक के साथ <math>\alpha_0</math> अंदर नही <math>\mathfrak m.</math>
-तब से <math>\mathfrak m</math> एक अधिकतम आदर्श, भागफल वलय है <math>R/\mathfrak m</math> एक [[क्षेत्र (गणित)]] है, और <math>(R/\mathfrak m)[X]</math> एक [[प्रमुख आदर्श डोमेन]] है, और, विशेष रूप से, एक [[अद्वितीय गुणनखंड डोमेन]], जिसका अर्थ है कि प्रत्येक शून्येतर बहुपद <math>(R/\mathfrak m)[X]</math> के एक अशून्य तत्व के उत्पाद के रूप में एक अनोखे तरीके से गुणनखंडित किया जा सकता है <math>(R/\mathfrak m)</math> और [[अलघुकरणीय बहुपद]] जो एकात्मक बहुपद हैं (अर्थात, उनके प्रमुख गुणांक 1 हैं)।
+तब से <math>\mathfrak m</math>  अधिकतम आदर्श, भागफल वलय है <math>R/\mathfrak m</math>  [[क्षेत्र (गणित)]] है, और <math>(R/\mathfrak m)[X]</math>  [[प्रमुख आदर्श डोमेन]] है, और, विशेष रूप से,  [[अद्वितीय गुणनखंड डोमेन]], जिसका अर्थ है कि प्रत्येक शून्येतर बहुपद <math>(R/\mathfrak m)[X]</math> के  अशून्य तत्व के उत्पाद के रूप में  अनोखे तरीके से गुणनखंडित किया जा सकता है <math>(R/\mathfrak m)</math> और [[अलघुकरणीय बहुपद]] जो एकात्मक बहुपद हैं (अर्थात, उनके प्रमुख गुणांक 1 हैं)।
-हेंसल की लेम्मा का दावा है कि का हर गुणनखंड {{mvar|h}} मापांक <math>\mathfrak m</math> कोप्राइम बहुपदों में एक अनोखे तरीके से गुणनखंड मोडुलो में उठाया जा सकता है <math>\mathfrak m^k</math> हरएक के लिए {{mvar|k}}.
+हेंसल की लेम्मा का दावा है कि का हर गुणनखंड {{mvar|h}} मापांक <math>\mathfrak m</math> कोप्राइम बहुपदों में  अनोखे तरीके से गुणनखंड मोडुलो में उठाया जा सकता है <math>\mathfrak m^k</math> हर के लिए {{mvar|k}}.
 अधिक सटीक रूप से, उपरोक्त परिकल्पनाओं के साथ, यदि <math DISPLAY=inline>h\equiv \alpha_0 fg\pmod \mathfrak m,</math> कहाँ {{mvar|f}} और {{mvar|g}} मोनिक और कोप्राइम बहुपद सापेक्ष हैं <math>\mathfrak m,</math> फिर, प्रत्येक सकारात्मक पूर्णांक के लिए {{mvar|k}} मोनिक बहुपद हैं <math>f_k</math> और <math>g_k</math> ऐसा है कि
@@ Line 36: / Line 36: @@
 \end{align}</math>
 और <math>f_k</math> और <math>g_k</math> अद्वितीय हैं (इन गुणों के साथ) सापेक्ष <math>\mathfrak m^k.</math>
 ===सरल जड़ों को उठाना===
-एक महत्वपूर्ण विशेष मामला है जब <math>f=X-r.</math> इस मामले में कोप्रिमेलिटी परिकल्पना का अर्थ है {{mvar|r}} का सरल मूल है <math>h \bmod \mathfrak m.</math> यह हेन्सेल की लेम्मा का निम्नलिखित विशेष मामला देता है, जिसे अक्सर हेन्सेल की लेम्मा भी कहा जाता है।
+महत्वपूर्ण विशेष मामला है जब <math>f=X-r.</math> इस मामले में कोप्रिमेलिटी परिकल्पना का अर्थ है {{mvar|r}} का सरल मूल है <math>h \bmod \mathfrak m.</math> यह हेन्सेल की लेम्मा का निम्नलिखित विशेष मामला देता है, जिसे अक्सर हेन्सेल की लेम्मा भी कहा जाता है।
-उपरोक्त परिकल्पनाओं और नोटेशन के साथ, यदि {{mvar|r}} का सरल मूल है <math>h \bmod \mathfrak m,</math> तब {{mvar|r}} की एक साधारण जड़ के लिए एक अनोखे तरीके से उठाया जा सकता है <math>h \bmod {\mathfrak m^n}</math> प्रत्येक सकारात्मक पूर्णांक के लिए {{mvar|n}}. स्पष्ट रूप से, प्रत्येक सकारात्मक पूर्णांक के लिए {{mvar|n}}, एक अनूठा है <math>r_n\in R/{\mathfrak m}^n</math> ऐसा है कि <math DISPLAY=inline>r_n\equiv r \pmod \mathfrak m </math> और <math>r_n</math> की सरल जड़ है <math>h \bmod \mathfrak m^n.</math>
+उपरोक्त परिकल्पनाओं और नोटेशन के साथ, यदि {{mvar|r}} का सरल मूल है <math>h \bmod \mathfrak m,</math> तब {{mvar|r}} की  साधारण जड़ के लिए  अनोखे तरीके से उठाया जा सकता है <math>h \bmod {\mathfrak m^n}</math> प्रत्येक सकारात्मक पूर्णांक के लिए {{mvar|n}}. स्पष्ट रूप से, प्रत्येक सकारात्मक पूर्णांक के लिए {{mvar|n}},  अनूठा है <math>r_n\in R/{\mathfrak m}^n</math> ऐसा है कि <math DISPLAY=inline>r_n\equiv r \pmod \mathfrak m </math> और <math>r_n</math> की सरल जड़ है <math>h \bmod \mathfrak m^n.</math>
 === आदि पूर्णता के लिए उठाना ===
-तथ्य यह है कि कोई उठा सकता है <math>R/\mathfrak m^n</math> प्रत्येक सकारात्मक पूर्णांक के लिए {{mvar|n}} जब सीमा तक जाने का सुझाव देता है {{mvar|n}} अनंत की ओर जाता है। यह p-adic पूर्णांक को प्रस्तुत करने के लिए मुख्य प्रेरणाओं में से एक था{{mvar|p}}-ऐडिक पूर्णांक।
+तथ्य यह है कि कोई उठा सकता है <math>R/\mathfrak m^n</math> प्रत्येक सकारात्मक पूर्णांक के लिए {{mvar|n}} जब सीमा तक जाने का सुझाव देता है {{mvar|n}} अनंत की ओर जाता है। यह p-adic पूर्णांक को प्रस्तुत करने के लिए मुख्य प्रेरणाओं में से  था{{mvar|p}}-ऐडिक पूर्णांक।
-एक अधिकतम आदर्श दिया <math>\mathfrak m</math> एक क्रमविनिमेय अंगूठी की {{mvar|R}}, की शक्तियाँ <math>\mathfrak m</math> एक [[टोपोलॉजी (संरचना)]] के लिए खुले पड़ोस का आधार तैयार करें {{mvar|R}} कहा जाता है <math>\mathfrak m</math>-[[एडिक टोपोलॉजी]]। इस टोपोलॉजी की पूर्णता (मीट्रिक स्थान) को एक रिंग के पूरा होने से पहचाना जा सकता है <math>R_\mathfrak m,</math> और उलटा सीमा के साथ <math>\lim_\leftarrow R/\mathfrak m^n.</math> यह पूर्णता एक पूर्ण स्थानीय वलय है, जिसे आमतौर पर निरूपित किया जाता है <math>\widehat R_\mathfrak m.</math> कब {{mvar|R}} पूर्णांकों का वलय है, और <math>\mathfrak m=p\Z,</math> कहाँ {{mvar|p}} एक अभाज्य संख्या है, यह पूर्णता का वलय है {{mvar|p}}-ऐडिक पूर्णांक <math>\Z_p.</math>
-व्युत्क्रम सीमा के रूप में पूर्णता की परिभाषा, और हेन्सेल लेम्मा के उपरोक्त कथन का अर्थ है कि जोड़ीदार कोप्राइम बहुपद मॉड्यूलो में प्रत्येक गुणनखंड <math>\mathfrak m</math> एक बहुपद का <math>h\in R[X]</math> की छवि के गुणनखंड के लिए विशिष्ट रूप से उठाया जा सकता है {{mvar|h}} में <math>\widehat R_\mathfrak m[X].</math> इसी तरह, की हर साधारण जड़ {{mvar|h}} मापांक <math>\mathfrak m</math> की छवि की एक साधारण जड़ तक उठाया जा सकता है {{mvar|h}} में <math>\widehat R_\mathfrak m[X].</math>
+अधिकतम आदर्श दिया <math>\mathfrak m</math>  क्रमविनिमेय अंगूठी की {{mvar|R}}, की शक्तियाँ <math>\mathfrak m</math>  [[टोपोलॉजी (संरचना)]] के लिए खुले पड़ोस का आधार तैयार करें {{mvar|R}} कहा जाता है <math>\mathfrak m</math>-[[एडिक टोपोलॉजी]]। इस टोपोलॉजी की पूर्णता (मीट्रिक स्थान) को  रिंग के पूरा होने से पहचाना जा सकता है <math>R_\mathfrak m,</math> और उलटा सीमा के साथ <math>\lim_\leftarrow R/\mathfrak m^n.</math> यह पूर्णता  पूर्ण स्थानीय वलय है, जिसे आमतौर पर निरूपित किया जाता है <math>\widehat R_\mathfrak m.</math> कब {{mvar|R}} पूर्णांकों का वलय है, और <math>\mathfrak m=p\Z,</math> कहाँ {{mvar|p}}  अभाज्य संख्या है, यह पूर्णता का वलय है {{mvar|p}}-ऐडिक पूर्णांक <math>\Z_p.</math>
+व्युत्क्रम सीमा के रूप में पूर्णता की परिभाषा, और हेन्सेल लेम्मा के उपरोक्त कथन का अर्थ है कि जोड़ीदार कोप्राइम बहुपद मॉड्यूलो में प्रत्येक गुणनखंड <math>\mathfrak m</math>  बहुपद का <math>h\in R[X]</math> की छवि के गुणनखंड के लिए विशिष्ट रूप से उठाया जा सकता है {{mvar|h}} में <math>\widehat R_\mathfrak m[X].</math> इसी तरह, की हर साधारण जड़ {{mvar|h}} मापांक <math>\mathfrak m</math> की छवि की  साधारण जड़ तक उठाया जा सकता है {{mvar|h}} में <math>\widehat R_\mathfrak m[X].</math>
 == प्रमाण ==
-हेन्सेल की लेम्मा आम तौर पर एक कारककरण को ऊपर उठाकर वृद्धिशील रूप से सिद्ध होती है <math>R/\mathfrak m^n</math> या तो एक गुणनखंड खत्म करने के लिए <math>R/\mathfrak m^{n+1}</math> (# रेखीय भारोत्तोलन), या एक गुणनखंड खत्म <math>R/\mathfrak m^{2n}</math> (#द्विघात भारोत्तोलन)।
+हेन्सेल की लेम्मा आम तौर पर  कारककरण को ऊपर उठाकर वृद्धिशील रूप से सिद्ध होती है <math>R/\mathfrak m^n</math> या तो  गुणनखंड खत्म करने के लिए <math>R/\mathfrak m^{n+1}</math> (# रेखीय भारोत्तोलन), या  गुणनखंड खत्म <math>R/\mathfrak m^{2n}</math> (#द्विघात भारोत्तोलन)।
-सबूत का मुख्य घटक यह है कि एक क्षेत्र पर सहप्रमुख बहुपद बेज़ाउट की पहचान को संतुष्ट करते हैं। यानी अगर {{mvar|f}} और {{mvar|g}} एक क्षेत्र (गणित) पर सहप्रमुख अविभाज्य बहुपद हैं (यहाँ <math>R/\mathfrak m</math>), बहुपद हैं {{mvar|a}} और {{mvar|b}} ऐसा है कि <math>\deg a <\deg g,</math> <math>\deg b <\deg f,</math> और
+सबूत का मुख्य घटक यह है कि  क्षेत्र पर सहप्रमुख बहुपद बेज़ाउट की पहचान को संतुष्ट करते हैं। यानी अगर {{mvar|f}} और {{mvar|g}}  क्षेत्र (गणित) पर सहप्रमुख अविभाज्य बहुपद हैं (यहाँ <math>R/\mathfrak m</math>), बहुपद हैं {{mvar|a}} और {{mvar|b}} ऐसा है कि <math>\deg a <\deg g,</math> <math>\deg b <\deg f,</math> और
 :<math>af+bg=1.</math>
-बेज़ाउट की पहचान कोप्राइम बहुपदों को परिभाषित करने और हेंसल के लेम्मा को साबित करने की अनुमति देती है, भले ही आदर्श <math>\mathfrak m</math> अधिकतम नहीं है। इसलिए, निम्नलिखित उपपत्तियों में, एक क्रमविनिमेय वलय से प्रारंभ होता है {{mvar|R}}, एक आदर्श (रिंग थ्योरी) {{mvar|I}}, एक बहुपद <math>h\in R[X]</math> जिसका एक प्रमुख गुणांक है जो उलटा सापेक्ष है {{mvar|I}} (यही इसकी छवि है <math>R/I</math> में एक इकाई (रिंग थ्योरी) है <math>R/I</math>), और के [[बहुपदों का गुणनखंडन]] {{mvar|h}} मापांक {{mvar|I}} या मॉड्यूलो की शक्ति {{mvar|I}}, जैसे कि कारक बेज़ाउट के पहचान मॉड्यूल को संतुष्ट करते हैं {{mvar|I}}. इन प्रमाणों में, <math DISPLAY=inline> A\equiv B \pmod I</math> साधन <math>A-B\in IR[X].</math>
+बेज़ाउट की पहचान कोप्राइम बहुपदों को परिभाषित करने और हेंसल के लेम्मा को साबित करने की अनुमति देती है, भले ही आदर्श <math>\mathfrak m</math> अधिकतम नहीं है। इसलिए, निम्नलिखित उपपत्तियों में,  क्रमविनिमेय वलय से प्रारंभ होता है {{mvar|R}},  आदर्श (रिंग थ्योरी) {{mvar|I}},  बहुपद <math>h\in R[X]</math> जिसका  प्रमुख गुणांक है जो उलटा सापेक्ष है {{mvar|I}} (यही इसकी छवि है <math>R/I</math> में  इकाई (रिंग थ्योरी) है <math>R/I</math>), और के [[बहुपदों का गुणनखंडन]] {{mvar|h}} मापांक {{mvar|I}} या मॉड्यूलो की शक्ति {{mvar|I}}, जैसे कि कारक बेज़ाउट के पहचान मॉड्यूल को संतुष्ट करते हैं {{mvar|I}}. इन प्रमाणों में, <math DISPLAY=inline> A\equiv B \pmod I</math> साधन <math>A-B\in IR[X].</math>
 === रैखिक भारोत्तोलन ===
-होने देना {{mvar|I}} क्रमविनिमेय वलय का एक आदर्श (अंगूठी सिद्धांत) हो {{mvar|R}}, और <math>h\in R[X]</math> में गुणांक के साथ एक अविभाज्य बहुपद हो {{mvar|R}} जिसका एक प्रमुख गुणांक है <math>\alpha</math> वह उलटा मॉड्यूलो है {{mvar|I}} (यानी, की छवि <math>\alpha</math> में <math>R/I</math> में एक इकाई (रिंग थ्योरी) है <math>R/I</math>).
+होने देना {{mvar|I}} क्रमविनिमेय वलय का  आदर्श (अंगूठी सिद्धांत) हो {{mvar|R}}, और <math>h\in R[X]</math> में गुणांक के साथ  अविभाज्य बहुपद हो {{mvar|R}} जिसका  प्रमुख गुणांक है <math>\alpha</math> वह उलटा मॉड्यूलो है {{mvar|I}} (यानी, की छवि <math>\alpha</math> में <math>R/I</math> में  इकाई (रिंग थ्योरी) है <math>R/I</math>).
-मान लीजिए कि किसी सकारात्मक पूर्णांक के लिए {{mvar|k}} एक गुणनखंड है
+मान लीजिए कि किसी सकारात्मक पूर्णांक के लिए {{mvar|k}}  गुणनखंड है
 :<math>h\equiv \alpha fg \pmod {I^k},</math> ऐसा है कि {{mvar|f}} और {{mvar|g}} मोनिक बहुपद हैं जो कोप्राइम मोडुलो हैं {{mvar|I}}, इस अर्थ में कि वहाँ मौजूद है <math>a,b \in R[X],</math> ऐसा है कि <math DISPLAY=inline> af+bg\equiv 1\pmod I.</math> फिर, बहुपद हैं <math>\delta_f, \delta_g\in I^k R[X],</math> ऐसा है कि <math>\deg \delta_f <\deg f,</math> <math>\deg \delta_g <\deg g,</math> और
 :<math>h\equiv \alpha(f+\delta_f)(g+\delta_g) \pmod {I^{k+1}}.</math>
@@ Line 74: / Line 66: @@
 :<math>\delta_h\equiv h-\alpha fg \pmod{I^{k+1}}.</math> (कोई चुन सकता है <math>\delta_h=h-\alpha fg,</math> लेकिन अन्य विकल्पों से सरल संगणनाएँ हो सकती हैं। उदाहरण के लिए, यदि <math>R=\Z</math> और <math>I=p\Z,</math> यह संभव है और चुनना बेहतर है <math>\delta_h=p^k\delta'_h</math> जहां के गुणांक <math>\delta'_h</math> अंतराल में पूर्णांक हैं {{nowrap|<math>[0,p-1].</math>)}}
-जैसा {{mvar|g}} मोनिक है, के [[बहुपदों का यूक्लिडियन विभाजन]] <math>a\delta_h</math> द्वारा {{mvar|g}} परिभाषित है, और प्रदान करता है {{mvar|q}} और {{mvar|c}} ऐसा है कि <math>a\delta_h = qg+c,</math> और <math>\deg c <\deg g.</math> इसके अलावा दोनों {{mvar|q}} और {{mvar|c}} में हैं <math>I^{k} R[X].</math> इसी तरह, चलो <math>b\delta_h = q'f+d,</math> साथ <math>\deg d <\deg f,</math> और <math>q', d\in I^{k} R[X].</math> किसी के पास <math>q+q'\in I^{k+1}R[X].</math> वास्तव में, एक है
+जैसा {{mvar|g}} मोनिक है, के [[बहुपदों का यूक्लिडियन विभाजन]] <math>a\delta_h</math> द्वारा {{mvar|g}} परिभाषित है, और प्रदान करता है {{mvar|q}} और {{mvar|c}} ऐसा है कि <math>a\delta_h = qg+c,</math> और <math>\deg c <\deg g.</math> इसके अलावा दोनों {{mvar|q}} और {{mvar|c}} में हैं <math>I^{k} R[X].</math> इसी तरह, चलो <math>b\delta_h = q'f+d,</math> साथ <math>\deg d <\deg f,</math> और <math>q', d\in I^{k} R[X].</math> किसी के पास <math>q+q'\in I^{k+1}R[X].</math> वास्तव में,  है
 :<math>fc+gd=af\delta_h +bg\delta_h -fg(q+q')\equiv \delta_h-fg(q+q') \pmod{I^{k+1}}.</math>
 जैसा <math>fg</math> मोनिक है, डिग्री मोडुलो <math>I^{k+1}</math> का <math>fg(q+q')</math> से कम हो सकता है <math>\deg fg</math> केवल <math>q+q'\in I^{k+1}R[X].</math>
@@ Line 86: / Line 78: @@
 तो, अस्तित्व के दावे के साथ सत्यापित किया गया है
 :<math>\delta_f=\beta d, \qquad \delta_g=\beta c.</math>
 === विशिष्टता ===
 होने देना {{mvar|R}}, {{mvar|I}}, {{mvar|h}} और <math>\alpha</math> पिछले खंड में के रूप में। होने देना
 :<math>h\equiv \alpha fg {\pmod I}</math>
-कोप्राइम बहुपदों (उपरोक्त अर्थों में) में एक गुणनखंड हो, जैसे <math>\deg f_0+\deg g_0=\deg h.</math> के लिए रैखिक उठाने का आवेदन <math>k=1, 2, \ldots, n-1 \ldots,</math> का अस्तित्व दर्शाता है <math>\delta_f</math> और <math>\delta_g</math> ऐसा है कि <math>\deg \delta_f <\deg f,</math> <math>\deg \delta_g <\deg g,</math> और
+कोप्राइम बहुपदों (उपरोक्त अर्थों में) में  गुणनखंड हो, जैसे <math>\deg f_0+\deg g_0=\deg h.</math> के लिए रैखिक उठाने का आवेदन <math>k=1, 2, \ldots, n-1 \ldots,</math> का अस्तित्व दर्शाता है <math>\delta_f</math> और <math>\delta_g</math> ऐसा है कि <math>\deg \delta_f <\deg f,</math> <math>\deg \delta_g <\deg g,</math> और
 :<math>h\equiv \alpha (f+\delta_f)(g+\delta_g) \pmod{I^n}.</math>
-बहुपद <math>\delta_f</math> और <math>\delta_g</math> विशिष्ट रूप से परिभाषित मॉड्यूलो हैं <math>I^n.</math> इसका मतलब यह है कि, अगर एक और जोड़ी <math>(\delta'_f, \delta'_g)</math> उन्हीं शर्तों को पूरा करता है, तो उसके पास है
+बहुपद <math>\delta_f</math> और <math>\delta_g</math> विशिष्ट रूप से परिभाषित मॉड्यूलो हैं <math>I^n.</math> इसका मतलब यह है कि, अगर  और जोड़ी <math>(\delta'_f, \delta'_g)</math> उन्हीं शर्तों को पूरा करता है, तो उसके पास है
 :<math>\delta'_f\equiv \delta_f \pmod{I^n}\qquad\text{and}\qquad \delta'_g\equiv \delta_g \pmod{I^n}.</math>
-उपपत्ति: चूंकि एक सर्वांगसमता मॉड्यूल है <math>I^n</math> समान समरूपता मॉड्यूलो का तात्पर्य है <math>I^{n-1},</math> कोई भी [[गणितीय प्रेरण]] द्वारा आगे बढ़ सकता है और मान सकता है कि अद्वितीयता सिद्ध हो चुकी है {{math|''n'' − 1}}, मामला {{math|1=''n'' = 0}} तुच्छ होना। यानी ऐसा माना जा सकता है
+उपपत्ति: चूंकि  सर्वांगसमता मॉड्यूल है <math>I^n</math> समान समरूपता मॉड्यूलो का तात्पर्य है <math>I^{n-1},</math> कोई भी [[गणितीय प्रेरण]] द्वारा आगे बढ़ सकता है और मान सकता है कि अद्वितीयता सिद्ध हो चुकी है {{math|''n'' − 1}}, मामला {{math|1=''n'' = 0}} तुच्छ होना। यानी ऐसा माना जा सकता है
 :<math>\delta_f- \delta'_f \in I^{n-1} R[X]\qquad\text{and}\qquad \delta_g - \delta'_g  \in I^{n-1} R[X].</math>
 परिकल्पना द्वारा, है
@@ Line 111: / Line 101: @@
 प्रेरण परिकल्पना का फिर से उपयोग करना।
-कोप्रिमेलिटी मॉड्यूलो {{mvar|I}} के अस्तित्व का तात्पर्य है <math>a,b\in R[X]</math> ऐसा है कि <math Display=inline>1\equiv af+bg\pmod I.</math> आगमन परिकल्पना का एक बार फिर प्रयोग करने पर, एक प्राप्त होता है
+कोप्रिमेलिटी मॉड्यूलो {{mvar|I}} के अस्तित्व का तात्पर्य है <math>a,b\in R[X]</math> ऐसा है कि <math Display=inline>1\equiv af+bg\pmod I.</math> आगमन परिकल्पना का  बार फिर प्रयोग करने पर,  प्राप्त होता है
 :<math>\begin{align}
 \delta_g-\delta'_g &\equiv (af+bg)(\delta_g-\delta'_g)\\
@@ Line 119: / Line 109: @@
 === द्विघात भारोत्तोलन ===
-रैखिक भारोत्तोलन एक गुणनखंड मॉड्यूल को उठाने की अनुमति देता है <math>I^n</math> एक गुणनखंड के लिए <math>I^{n+1}.</math> द्विघात भारोत्तोलन सीधे एक गुणनखंड मोडुलो को उठाने की अनुमति देता है <math>I^{2n},</math> बेज़ाउट की पहचान और कंप्यूटिंग मोडुलो को उठाने की कीमत पर भी <math>I^n</math> मॉड्यूलो के बजाय {{mvar|I}} (यदि कोई रैखिक उठाने के उपरोक्त विवरण का उपयोग करता है)।
+रैखिक भारोत्तोलन  गुणनखंड मॉड्यूल को उठाने की अनुमति देता है <math>I^n</math>  गुणनखंड के लिए <math>I^{n+1}.</math> द्विघात भारोत्तोलन सीधे  गुणनखंड मोडुलो को उठाने की अनुमति देता है <math>I^{2n},</math> बेज़ाउट की पहचान और कंप्यूटिंग मोडुलो को उठाने की कीमत पर भी <math>I^n</math> मॉड्यूलो के बजाय {{mvar|I}} (यदि कोई रैखिक उठाने के उपरोक्त विवरण का उपयोग करता है)।
-मॉड्यूलो तक उठाने के लिए <math>I^N</math> बड़े के लिए {{mvar|N}} कोई भी विधि का उपयोग कर सकता है। अगर, कहो, <math>N=2^k,</math> एक गुणनखंड मॉड्यूल <math>I^N</math> आवश्यक है {{math|''N'' − 1}} रैखिक उठाने के चरण या केवल {{math|''k'' − 1}} द्विघात भारोत्तोलन के चरण। हालांकि, बाद के मामले में गणना के दौरान हेरफेर किए जाने वाले गुणांक के आकार में वृद्धि हुई है। इसका तात्पर्य है कि सबसे अच्छा उठाने का तरीका संदर्भ पर निर्भर करता है (के मूल्य {{mvar|N}}, इसकी प्रकृति {{mvar|R}}, गुणन एल्गोरिथम जिसका उपयोग किया जाता है, [[कंप्यूटर हार्डवेयर]] विशिष्टताएं, आदि)।{{cn|date=July 2021}}
+मॉड्यूलो तक उठाने के लिए <math>I^N</math> बड़े के लिए {{mvar|N}} कोई भी विधि का उपयोग कर सकता है। अगर, कहो, <math>N=2^k,</math>  गुणनखंड मॉड्यूल <math>I^N</math> आवश्यक है {{math|''N'' − 1}} रैखिक उठाने के चरण या केवल {{math|''k'' − 1}} द्विघात भारोत्तोलन के चरण। हालांकि, बाद के मामले में गणना के दौरान हेरफेर किए जाने वाले गुणांक के आकार में वृद्धि हुई है। इसका तात्पर्य है कि सबसे अच्छा उठाने का तरीका संदर्भ पर निर्भर करता है (के मूल्य {{mvar|N}}, इसकी प्रकृति {{mvar|R}}, गुणन एल्गोरिथम जिसका उपयोग किया जाता है, [[कंप्यूटर हार्डवेयर]] विशिष्टताएं, आदि)।{{cn|date=July 2021}}
 द्विघात भारोत्तोलन निम्नलिखित संपत्ति पर आधारित है।
-मान लीजिए कि किसी सकारात्मक पूर्णांक के लिए {{mvar|k}} एक गुणनखंड है
+मान लीजिए कि किसी सकारात्मक पूर्णांक के लिए {{mvar|k}}  गुणनखंड है
 :<math>h\equiv \alpha fg \pmod {I^k},</math> ऐसा है कि {{mvar|f}} और {{mvar|g}} मोनिक बहुपद हैं जो कोप्राइम मोडुलो हैं {{mvar|I}}, इस अर्थ में कि वहाँ मौजूद है <math>a,b \in R[X],</math> ऐसा है कि <math DISPLAY=inline> af+bg\equiv 1\pmod {I^k}.</math> फिर, बहुपद हैं <math>\delta_f, \delta_g\in I^k R[X],</math> ऐसा है कि <math>\deg \delta_f <\deg f,</math> <math>\deg \delta_g <\deg g,</math> और
 :<math>h\equiv \alpha(f+\delta_f)(g+\delta_g) \pmod {I^{2k}}.</math>
@@ Line 137: / Line 127: @@
 कहाँ
 :<math>\Delta=\alpha+a\delta_f+b\delta_g\in I^k R[X].</math>
-सेटिंग <math>\delta_a=-a\Delta</math> और <math>\delta_b=-b\Delta,</math> एक मिलता है
+सेटिंग <math>\delta_a=-a\Delta</math> और <math>\delta_b=-b\Delta,</math>  मिलता है
 :<math>(a+\delta_a)(f+\delta_f)+(b+\delta_b)(g+\delta_g)=1-\Delta^2\in I^{2k} R[X],</math>
 जो दूसरे कथन को सिद्ध करता है।
@@ Line 145: / Line 135: @@
 मॉडुलो 2, हेंसल की लेम्मा को कम करने के बाद से लागू नहीं किया जा सकता है <math>f(X)</math> मॉड्यूलो 2 बस है<ref name=":0">{{Cite book|last=Gras|first=Georges|url=https://www.worldcat.org/oclc/883382066|title=Class field theory : from theory to practice|date=2003|isbn=978-3-662-11323-3|location=Berlin|oclc=883382066}}</ref><sup>पृष्ठ 15-16</sup>
 :<math>\bar{f}(X) = X^6 - \overline{2} = X^6</math>
-कारकों के साथ <math>X</math> एक दूसरे के लिए अपेक्षाकृत प्रमुख नहीं होना। आइज़ेंस्टीन की कसौटी से, हालांकि, यह निष्कर्ष निकाला जा सकता है कि बहुपद <math>f(X)</math> में अपूरणीय है <math>\Q_2[X] .</math><br>
+कारकों के साथ <math>X</math>  दूसरे के लिए अपेक्षाकृत प्रमुख नहीं होना। आइज़ेंस्टीन की कसौटी से, हालांकि, यह निष्कर्ष निकाला जा सकता है कि बहुपद <math>f(X)</math> में अपूरणीय है <math>\Q_2[X] .</math><br>
-ऊपर <math>k = \mathbb{F}_7</math>, दूसरी ओर, एक है
+ऊपर <math>k = \mathbb{F}_7</math>, दूसरी ओर,  है
 :<math>\bar{f}(X) = X^6 - \overline{2} = X^6 - \overline{16} = (X^3 - \overline{4})\;(X^3 + \overline{4})</math>
-कहाँ <math>4</math> 2 इंच का वर्गमूल है <math>\mathbb{F}_7</math>. क्योंकि 4 एक घन नहीं है <math>\mathbb F_7,</math> ये दो कारक खत्म हो गए हैं <math>\mathbb F_7</math>. इसलिए का पूर्ण गुणनखंड <math>X^6-2</math> में <math>\Z_7[X]</math> और <math>\Q_7[X]</math> है
+कहाँ <math>4</math> 2 इंच का वर्गमूल है <math>\mathbb{F}_7</math>. क्योंकि 4  घन नहीं है <math>\mathbb F_7,</math> ये दो कारक खत्म हो गए हैं <math>\mathbb F_7</math>. इसलिए का पूर्ण गुणनखंड <math>X^6-2</math> में <math>\Z_7[X]</math> और <math>\Q_7[X]</math> है
 :<math>f(X) = X^6 - 2 = (X^3-\alpha)\;(X^3 + \alpha),</math>
 कहाँ <math>\alpha = \ldots 450\,454_7</math> 2 इंच का वर्गमूल है <math>\Z_7</math> जिसे ऊपर दिए गए फ़ैक्टराइज़ेशन को हटाकर प्राप्त किया जा सकता है।<br>
 अंत में, में <math>\mathbb F_{727}[X]</math> बहुपद विभाजित हो जाता है
 :<math>\bar{f}(X) = X^6 - \overline{2} = (X-\overline{3})\;(X-\overline{116})\;(X-\overline{119})\;(X-\overline{608})\;(X-\overline{611})\;(X-\overline{724})</math>
-सभी कारकों के साथ एक दूसरे के लिए अपेक्षाकृत प्रमुख हैं, ताकि अंदर <math>\Z_{727}[X] </math> और <math>\Q_{727}[X] </math> 6 कारक हैं <math>X - \beta </math> (गैर-तर्कसंगत) 727-adic पूर्णांकों के साथ
+सभी कारकों के साथ  दूसरे के लिए अपेक्षाकृत प्रमुख हैं, ताकि अंदर <math>\Z_{727}[X] </math> और <math>\Q_{727}[X] </math> 6 कारक हैं <math>X - \beta </math> (गैर-तर्कसंगत) 727-adic पूर्णांकों के साथ
 :<math>\beta = \left\{ \begin{array}{rrr} 3 \; +& \!\!\! 545\cdot 727 \; +& \!\!\! 537 \cdot 727^2 \,+& \!\!\! 161 \cdot 727^3 +\ldots \\116\; +& \!\!\! 48\cdot 727\; +& \!\!\! 130\cdot 727^2 \,+& \!\!\! 498 \cdot 727^3 +\ldots \\119\; +& \!\!\! 593\cdot 727\; +& \!\!\! 667\cdot 727^2 \,+& \!\!\! 659 \cdot 727^3 +\ldots \\608\; +& \!\!\! 133\cdot 727\; +& \!\!\! 59 \cdot 727^2 \,+& \!\!\! 67 \cdot 727^3 +\ldots \\611\; +& \!\!\! 678\cdot 727\; +& \!\!\! 596\cdot 727^2 \,+& \!\!\! 228 \cdot 727^3 +\ldots \\724\; +& \!\!\!181 \cdot 727\; +& \!\!\! 189\cdot 727^2 \,+& \!\!\! 565 \cdot 727^3 +\ldots \end{array} \right. </math>
 == जड़ें उठाने के लिए डेरिवेटिव का उपयोग करना ==
-होने देना <math>f(x)</math> [[पूर्णांक]] के साथ एक बहुपद हो (या {{mvar|p}}-adic पूर्णांक) गुणांक, और मान लीजिए कि m, k सकारात्मक पूर्णांक हैं जैसे कि m ≤ k। यदि r एक पूर्णांक है जैसे कि
+होने देना <math>f(x)</math> [[पूर्णांक]] के साथ  बहुपद हो (या {{mvar|p}}-adic पूर्णांक) गुणांक, और मान लीजिए कि m, k सकारात्मक पूर्णांक हैं जैसे कि m ≤ k। यदि r  पूर्णांक है जैसे कि
 :<math>f(r) \equiv 0 \bmod p^k \quad \text{and} \quad f'(r) \not\equiv 0 \bmod p</math>
-फिर, प्रत्येक के लिए <math>m>0</math> वहाँ एक पूर्णांक एस मौजूद है जैसे कि
+फिर, प्रत्येक के लिए <math>m>0</math> वहाँ  पूर्णांक एस मौजूद है जैसे कि
 :<math>f(s) \equiv 0 \bmod p^{k+m} \quad \text{and} \quad r \equiv s \bmod p^k.</math>
@@ Line 167: / Line 155: @@
 :<math>s = r - f(r)\cdot a,</math>
-कहाँ <math>a</math> एक पूर्णांक संतोषजनक है
+कहाँ <math>a</math>  पूर्णांक संतोषजनक है
 :<math>a \equiv [f'(r)]^{-1} \bmod p^m.</math>
-ध्यान दें कि <math>f(r) \equiv 0 \bmod p^k </math> ताकि हालत <math>s \equiv r \bmod p^k </math> मिला है। एक तरफ, अगर <math>f'(r) \equiv 0 \bmod p</math>, तब 0, 1, या कई s मौजूद हो सकते हैं (नीचे हेन्सल लिफ्टिंग देखें)।
+ध्यान दें कि <math>f(r) \equiv 0 \bmod p^k </math> ताकि हालत <math>s \equiv r \bmod p^k </math> मिला है।  तरफ, अगर <math>f'(r) \equiv 0 \bmod p</math>, तब 0, 1, या कई s मौजूद हो सकते हैं (नीचे हेन्सल लिफ्टिंग देखें)।
 === व्युत्पत्ति ===
@@ Line 193: / Line 181: @@
                               &\Longleftrightarrow t \equiv -z [f'(r)]^{-1} \bmod p^m && p \nmid f'(r)
 \end{align}</math>
-धारणा है कि <math>f'(r)</math> p से विभाज्य नहीं है यह सुनिश्चित करता है <math>f'(r)</math> एक उलटा मोड है <math>p^m</math> जो अनिवार्य रूप से अद्वितीय है। इसलिए टी के लिए एक समाधान अद्वितीय रूप से मौजूद है <math>p^m,</math> और एस विशिष्ट मॉड्यूलो मौजूद है <math>p^{k+m}.</math>
+धारणा है कि <math>f'(r)</math> p से विभाज्य नहीं है यह सुनिश्चित करता है <math>f'(r)</math>  उलटा मोड है <math>p^m</math> जो अनिवार्य रूप से अद्वितीय है। इसलिए टी के लिए  समाधान अद्वितीय रूप से मौजूद है <math>p^m,</math> और एस विशिष्ट मॉड्यूलो मौजूद है <math>p^{k+m}.</math>
 == अवलोकन ==
 === अलघुकरणीय बहुपदों के लिए मानदंड ===
-उपरोक्त परिकल्पनाओं का उपयोग करते हुए, यदि हम एक अलघुकरणीय बहुपद पर विचार करते हैं
+उपरोक्त परिकल्पनाओं का उपयोग करते हुए, यदि हम  अलघुकरणीय बहुपद पर विचार करते हैं
 : <math>f(x) = a_0+a_1x + \cdots + a_nx^n \in K[X]</math>
 ऐसा है कि <math>a_0,a_n \neq 0</math>, तब
@@ Line 211: / Line 197: @@
 === फ्रोबेनियस ===
-ध्यान दें कि एक दिया गया है <math>a \in \mathbb{F}_p</math> [[फ्रोबेनियस एंडोमोर्फिज्म]] <math>(-) \mapsto (-)^p</math> एक बहुपद देता है <math>x^p - a</math> जिसका हमेशा शून्य व्युत्पन्न होता है
+ध्यान दें कि  दिया गया है <math>a \in \mathbb{F}_p</math> [[फ्रोबेनियस एंडोमोर्फिज्म]] <math>(-) \mapsto (-)^p</math>  बहुपद देता है <math>x^p - a</math> जिसका हमेशा शून्य व्युत्पन्न होता है
 : <math>\begin{align}
 \frac{d}{dx}x^p - a &= p\cdot x^{p-1} \\
@@ Line 229: / Line 215: @@
 == हेन्सेल लिफ्टिंग ==
-लेम्मा का उपयोग करके, कोई व्यक्ति बहुपद f modulo p का मूल r उठा सकता है<sup>k</sup> से नए रूट s modulo p<sup>k+1</sup> जैसे कि r ≡ s mod p<sup>k</sup> (m = 1 लेकर; बड़ा m लेकर प्रेरण द्वारा अनुसरण करता है)। वास्तव में, एक रूट मॉड्यूल पी<sup>k+1</sup> भी एक रूट मोडुलो p है<sup>k</sup>, इसलिए रूट मॉड्यूल p<sup>k+1</sup> वास्तव में रूट्स मॉड्यूलो p की लिफ्टिंग हैं<sup>क</सुप>. नया रूट s r मॉड्यूलो p के सर्वांगसम है, इसलिए नया रूट भी संतुष्ट करता है <math>f'(s) \equiv f'(r) \not\equiv 0 \bmod p.</math> तो उठाने को दोहराया जा सकता है, और समाधान आर से शुरू हो सकता है<sub>k</sub>का <math>f(x) \equiv 0 \bmod p^k</math> हम समाधान आर का एक क्रम प्राप्त कर सकते हैं<sub>''k''+1</sub>, आर<sub>''k''+2</sub>, ... p की उत्तरोत्तर उच्च घातों के लिए समान सर्वांगसमता प्रदान करता है <math>f'(r_k) \not\equiv 0 \bmod p</math> प्रारंभिक रूट आर के लिए<sub>k</sub>. इससे यह भी पता चलता है कि f के मूल mod p की संख्या समान है<sup>k</sup> p के विरुद्ध<sup>k+1</sup>, p के विरुद्ध <sup>k+2</sup>, या p की कोई अन्य उच्च शक्ति, f mod p के मूल प्रदान करती है<sup>k</sup> सभी सरल हैं।
+लेम्मा का उपयोग करके, कोई व्यक्ति बहुपद f modulo p का मूल r उठा सकता है<sup>k</sup> से नए रूट s modulo p<sup>k+1</sup> जैसे कि r ≡ s mod p<sup>k</sup> (m = 1 लेकर; बड़ा m लेकर प्रेरण द्वारा अनुसरण करता है)। वास्तव में,  रूट मॉड्यूल पी<sup>k+1</sup> भी  रूट मोडुलो p है<sup>k</sup>, इसलिए रूट मॉड्यूल p<sup>k+1</sup> वास्तव में रूट्स मॉड्यूलो p की लिफ्टिंग हैं<sup>क</सुप>. नया रूट s r मॉड्यूलो p के सर्वांगसम है, इसलिए नया रूट भी संतुष्ट करता है <math>f'(s) \equiv f'(r) \not\equiv 0 \bmod p.</math> तो उठाने को दोहराया जा सकता है, और समाधान आर से शुरू हो सकता है<sub>k</sub>का <math>f(x) \equiv 0 \bmod p^k</math> हम समाधान आर का  क्रम प्राप्त कर सकते हैं<sub>''k''+1</sub>, आर<sub>''k''+2</sub>, ... p की उत्तरोत्तर उच्च घातों के लिए समान सर्वांगसमता प्रदान करता है <math>f'(r_k) \not\equiv 0 \bmod p</math> प्रारंभिक रूट आर के लिए<sub>k</sub>. इससे यह भी पता चलता है कि f के मूल mod p की संख्या समान है<sup>k</sup> p के विरुद्ध<sup>k+1</sup>, p के विरुद्ध <sup>k+2</sup>, या p की कोई अन्य उच्च शक्ति, f mod p के मूल प्रदान करती है<sup>k</sup> सभी सरल हैं।
-इस प्रक्रिया का क्या होता है यदि आर एक साधारण रूट मोड पी नहीं है? कल्पना करना
+इस प्रक्रिया का क्या होता है यदि आर  साधारण रूट मोड पी नहीं है? कल्पना करना
 :<math>f(r) \equiv 0 \bmod p^k  \quad \text{and} \quad f'(r) \equiv 0 \bmod p.</math>
@@ Line 243: / Line 229: @@
 <math>f(x) = x^2 +1</math> और आर = 1. फिर <math>f(1)\equiv 0 \bmod 2</math> और <math>f'(1) \equiv 0 \bmod 2.</math> अपने पास <math>f(1) \not\equiv 0 \bmod 4</math> जिसका मतलब है कि मॉड्यूल 4 में 1 की कोई लिफ्टिंग एफ (एक्स) मॉड्यूलो 4 की जड़ नहीं है।
-<math>g(x) = x^2 -17</math> और आर = 1. फिर <math>g(1)\equiv 0 \bmod 2</math> और <math>g'(1) \equiv 0 \bmod 2.</math> हालाँकि, तब से <math>g(1) \equiv 0 \bmod 4,</math> हम अपने समाधान को मॉड्यूलस 4 तक उठा सकते हैं और दोनों लिफ्ट (यानी 1, 3) समाधान हैं। व्युत्पन्न अभी भी 0 मॉड्यूल 2 है, इसलिए एक प्राथमिकता हम नहीं जानते कि क्या हम उन्हें मॉड्यूल 8 तक उठा सकते हैं, लेकिन वास्तव में हम कर सकते हैं, क्योंकि जी (1) 0 मॉड 8 है और जी (3) 0 मॉड 8 है, 1, 3, 5, और 7 mod 8 पर समाधान दे रहे हैं। इनमें से केवल g(1) और g(7) 0 mod 16 हैं, हम केवल 1 और 7 को modulo 16 तक उठा सकते हैं, 1, 7, 9 और दे रहे हैं। 15 mod 16. इनमें से केवल 7 और 9 g(x) = 0 mod 32 देते हैं, इसलिए इन्हें 7, 9, 23, और 25 mod 32 देते हुए उठाया जा सकता है। यह पता चला है कि प्रत्येक पूर्णांक k ≥ 3 के लिए, वहाँ जी (एक्स) मॉड 2 की जड़ में 1 मॉड 2 की चार लिफ्टिंग हैं<sup>क</सुप>.
+<math>g(x) = x^2 -17</math> और आर = 1. फिर <math>g(1)\equiv 0 \bmod 2</math> और <math>g'(1) \equiv 0 \bmod 2.</math> हालाँकि, तब से <math>g(1) \equiv 0 \bmod 4,</math> हम अपने समाधान को मॉड्यूलस 4 तक उठा सकते हैं और दोनों लिफ्ट (यानी 1, 3) समाधान हैं। व्युत्पन्न अभी भी 0 मॉड्यूल 2 है, इसलिए  प्राथमिकता हम नहीं जानते कि क्या हम उन्हें मॉड्यूल 8 तक उठा सकते हैं, लेकिन वास्तव में हम कर सकते हैं, क्योंकि जी (1) 0 मॉड 8 है और जी (3) 0 मॉड 8 है, 1, 3, 5, और 7 mod 8 पर समाधान दे रहे हैं। इनमें से केवल g(1) और g(7) 0 mod 16 हैं, हम केवल 1 और 7 को modulo 16 तक उठा सकते हैं, 1, 7, 9 और दे रहे हैं। 15 mod 16. इनमें से केवल 7 और 9 g(x) = 0 mod 32 देते हैं, इसलिए इन्हें 7, 9, 23, और 25 mod 32 देते हुए उठाया जा सकता है। यह पता चला है कि प्रत्येक पूर्णांक k ≥ 3 के लिए, वहाँ जी (एक्स) मॉड 2 की जड़ में 1 मॉड 2 की चार लिफ्टिंग हैं<sup>क</सुप>.
 == पी-एडिक नंबरों के लिए हेन्सेल लेम्मा ==
@@ Line 255: / Line 241: @@
 :<math>r_{k+1} = r_k + tp^k = r_k - \frac{f(r_k)}{f'(r_k)}.</math>
-यह भिन्न पूर्णांक नहीं हो सकता है, लेकिन यह एक है {{mvar|p}}-adic पूर्णांक, और संख्याओं का क्रम r<sub>k</sub>में विलीन हो जाता है {{mvar|p}}-ऐडिक पूर्णांक f(x) = 0 की जड़ के लिए। इसके अलावा, (नई) संख्या r के लिए प्रदर्शित पुनरावर्ती सूत्र<sub>''k''+1</sub> आर के संदर्भ में<sub>k</sub>वास्तविक संख्याओं में समीकरणों के मूल ज्ञात करने के लिए सटीक रूप से न्यूटन की विधि है।
+यह भिन्न पूर्णांक नहीं हो सकता है, लेकिन यह  है {{mvar|p}}-adic पूर्णांक, और संख्याओं का क्रम r<sub>k</sub>में विलीन हो जाता है {{mvar|p}}-ऐडिक पूर्णांक f(x) = 0 की जड़ के लिए। इसके अलावा, (नई) संख्या r के लिए प्रदर्शित पुनरावर्ती सूत्र<sub>''k''+1</sub> आर के संदर्भ में<sub>k</sub>वास्तविक संख्याओं में समीकरणों के मूल ज्ञात करने के लिए सटीक रूप से न्यूटन की विधि है।
-में सीधे काम करके {{mvar|p}}-एडिक्स और पी-एडिक वैल्यूएशन#पी-एडिक एब्सोल्यूट वैल्यू का उपयोग|{{mvar|p}}-आदिक निरपेक्ष मान, हेन्सेल के लेम्मा का एक संस्करण है जिसे तब भी लागू किया जा सकता है जब हम f(a) ≡ 0 mod p के समाधान से शुरू करते हैं जैसे कि <math>f'(a)\equiv 0 \bmod p.</math> हमें केवल संख्या सुनिश्चित करने की आवश्यकता है <math>f'(a)</math> बिल्कुल 0 नहीं है। यह अधिक सामान्य संस्करण इस प्रकार है: यदि कोई पूर्णांक a है जो संतुष्ट करता है:
+में सीधे काम करके {{mvar|p}}-एडिक्स और पी-एडिक वैल्यूएशन#पी-एडिक एब्सोल्यूट वैल्यू का उपयोग|{{mvar|p}}-आदिक निरपेक्ष मान, हेन्सेल के लेम्मा का  संस्करण है जिसे तब भी लागू किया जा सकता है जब हम f(a) ≡ 0 mod p के समाधान से शुरू करते हैं जैसे कि <math>f'(a)\equiv 0 \bmod p.</math> हमें केवल संख्या सुनिश्चित करने की आवश्यकता है <math>f'(a)</math> बिल्कुल 0 नहीं है। यह अधिक सामान्य संस्करण इस प्रकार है: यदि कोई पूर्णांक a है जो संतुष्ट करता है:
 :<math>|f(a)|_p < |f'(a)|_p^2,</math>
-फिर एक अनूठा है {{mvar|p}}-adic पूर्णांक b ऐसे f(b) = 0 और <math>|b-a|_p <|f'(a)|_p.</math> बी का निर्माण यह दिखाने के बराबर है कि न्यूटन की विधि से प्रारंभिक मान के साथ पुनरावर्तन a में अभिसरित होता है {{mvar|p}}-adics और हम b को सीमा मानते हैं। शर्त के अनुकूल जड़ के रूप में b की विशिष्टता <math>|b-a|_p <|f'(a)|_p</math> अतिरिक्त काम की जरूरत है।
+फिर  अनूठा है {{mvar|p}}-adic पूर्णांक b ऐसे f(b) = 0 और <math>|b-a|_p <|f'(a)|_p.</math> बी का निर्माण यह दिखाने के बराबर है कि न्यूटन की विधि से प्रारंभिक मान के साथ पुनरावर्तन a में अभिसरित होता है {{mvar|p}}-adics और हम b को सीमा मानते हैं। शर्त के अनुकूल जड़ के रूप में b की विशिष्टता <math>|b-a|_p <|f'(a)|_p</math> अतिरिक्त काम की जरूरत है।
-ऊपर दिया गया हेंसल लेम्मा का कथन (लेकर <math>m=1</math>) इस अधिक सामान्य संस्करण का एक विशेष मामला है, क्योंकि शर्तें हैं कि f(a) ≡ 0 mod p और <math>f'(a)\not\equiv 0 \bmod p</math> कहते हैं कि <math>|f(a)|_p < 1</math> और <math>|f'(a)|_p = 1.</math>
+ऊपर दिया गया हेंसल लेम्मा का कथन (लेकर <math>m=1</math>) इस अधिक सामान्य संस्करण का  विशेष मामला है, क्योंकि शर्तें हैं कि f(a) ≡ 0 mod p और <math>f'(a)\not\equiv 0 \bmod p</math> कहते हैं कि <math>|f(a)|_p < 1</math> और <math>|f'(a)|_p = 1.</math>
 == उदाहरण ==
-मान लीजिए कि p एक विषम अभाज्य संख्या है और a एक गैर-शून्य [[द्विघात अवशेष]] सापेक्ष p है। तब हेंसल की प्रमेयिका का अर्थ है कि a के वलय में एक वर्गमूल है {{mvar|p}}-ऐडिक पूर्णांक <math>\Z_p.</math> वास्तव में, चलो <math>f(x)=x^2-a.</math> यदि आर मॉड्यूल पी का वर्ग रूट है तो:
+मान लीजिए कि p  विषम अभाज्य संख्या है और a  गैर-शून्य [[द्विघात अवशेष]] सापेक्ष p है। तब हेंसल की प्रमेयिका का अर्थ है कि a के वलय में  वर्गमूल है {{mvar|p}}-ऐडिक पूर्णांक <math>\Z_p.</math> वास्तव में, चलो <math>f(x)=x^2-a.</math> यदि आर मॉड्यूल पी का वर्ग रूट है तो:
 : <math>f(r) = r^2 - a \equiv 0 \bmod p \quad \text{and} \quad f'(r) = 2r \not\equiv 0 \bmod p,</math>
@@ Line 272: / Line 256: @@
 : <math>r_{k+1} \equiv r_k \bmod p^k, \quad r_k^2 \equiv a \bmod p^k. </math>
-यह क्रम कुछ में परिवर्तित होता है {{mvar|p}}-adic पूर्णांक b जो b को संतुष्ट करता है<sup>2</sup> = ए। वास्तव में, b, a का अद्वितीय वर्गमूल है <math>\Z_p</math> आर के अनुरूप<sub>1</sub> मोडुलो पी। इसके विपरीत, यदि a एक पूर्ण वर्ग है <math>\Z_p</math> और यह p से विभाज्य नहीं है तो यह एक अशून्य द्विघात अवशेष mod p है। ध्यान दें कि [[द्विघात पारस्परिकता कानून]] किसी को आसानी से परीक्षण करने की अनुमति देता है कि क्या एक गैर-शून्य द्विघात अवशेष मॉड पी है, इस प्रकार हमें यह निर्धारित करने का एक व्यावहारिक तरीका मिलता है कि कौन सा {{mvar|p}}-adic नंबर (पी विषम के लिए) एक है {{mvar|p}}-एडिक वर्गमूल, और हेन्सल के लेम्मा के अधिक सामान्य संस्करण का उपयोग करके केस p = 2 को कवर करने के लिए इसे बढ़ाया जा सकता है (17 के 2-एडिक वर्गमूल के साथ एक उदाहरण बाद में दिया गया है)।
+यह क्रम कुछ में परिवर्तित होता है {{mvar|p}}-adic पूर्णांक b जो b को संतुष्ट करता है<sup>2</sup> = ए। वास्तव में, b, a का अद्वितीय वर्गमूल है <math>\Z_p</math> आर के अनुरूप<sub>1</sub> मोडुलो पी। इसके विपरीत, यदि a  पूर्ण वर्ग है <math>\Z_p</math> और यह p से विभाज्य नहीं है तो यह  अशून्य द्विघात अवशेष mod p है। ध्यान दें कि [[द्विघात पारस्परिकता कानून]] किसी को आसानी से परीक्षण करने की अनुमति देता है कि क्या  गैर-शून्य द्विघात अवशेष मॉड पी है, इस प्रकार हमें यह निर्धारित करने का  व्यावहारिक तरीका मिलता है कि कौन सा {{mvar|p}}-adic नंबर (पी विषम के लिए)  है {{mvar|p}}-एडिक वर्गमूल, और हेन्सल के लेम्मा के अधिक सामान्य संस्करण का उपयोग करके केस p = 2 को कवर करने के लिए इसे बढ़ाया जा सकता है (17 के 2-एडिक वर्गमूल के साथ  उदाहरण बाद में दिया गया है)।
-उपरोक्त चर्चा को और अधिक स्पष्ट करने के लिए, आइए हम 2 का एक वर्गमूल (इसका हल) ज्ञात करें <math>x^2-2=0</math>) 7-एडिक पूर्णांकों में। मोडुलो 7 एक समाधान 3 है (हम 4 भी ले सकते हैं), इसलिए हम सेट करते हैं <math>r_1 = 3</math>. हेन्सेल की लेम्मा तब हमें खोजने की अनुमति देती है <math>r_2</math> निम्नलिखित नुसार:
+उपरोक्त चर्चा को और अधिक स्पष्ट करने के लिए, आइए हम 2 का  वर्गमूल (इसका हल) ज्ञात करें <math>x^2-2=0</math>) 7-एडिक पूर्णांकों में। मोडुलो 7  समाधान 3 है (हम 4 भी ले सकते हैं), इसलिए हम सेट करते हैं <math>r_1 = 3</math>. हेन्सेल की लेम्मा तब हमें खोजने की अनुमति देती है <math>r_2</math> निम्नलिखित नुसार:
 :<math>\begin{align}
@@ Line 292: / Line 276: @@
 और यकीन मानिए, <math>10^2\equiv 2\bmod 7^2.</math> (यदि हमने 7-एडिक्स में सीधे न्यूटन विधि पुनरावर्तन का उपयोग किया था, तब <math>r_2 = r_1 - f(r_1)/f'(r_1) = 3 - 7/6 = 11/6,</math> और <math>11/6 \equiv 10 \bmod 7^2.</math>)
-हम जारी रख सकते हैं और खोज सकते हैं <math>r_3 = 108 = 3 + 7 + 2\cdot 7^2 = 213_7</math>. हर बार जब हम गणना करते हैं (अर्थात, k के प्रत्येक क्रमिक मान के लिए), 7 की अगली उच्च शक्ति के लिए एक और आधार 7 अंक जोड़ा जाता है। 7-एडिक पूर्णांकों में यह क्रम अभिसरित होता है, और सीमा एक वर्ग है। 2 इंच की जड़ <math>\Z_7</math> जिसका प्रारंभिक 7-एडिक विस्तार है
+हम जारी रख सकते हैं और खोज सकते हैं <math>r_3 = 108 = 3 + 7 + 2\cdot 7^2 = 213_7</math>. हर बार जब हम गणना करते हैं (अर्थात, k के प्रत्येक क्रमिक मान के लिए), 7 की अगली उच्च शक्ति के लिए  और आधार 7 अंक जोड़ा जाता है। 7-एडिक पूर्णांकों में यह क्रम अभिसरित होता है, और सीमा  वर्ग है। 2 इंच की जड़ <math>\Z_7</math> जिसका प्रारंभिक 7-एडिक विस्तार है
 :<math>3 + 7 + 2\cdot7^2 + 6\cdot 7^3 + 7^4 + 2\cdot 7^5 + 7^6 + 2\cdot 7^7 + 4\cdot 7^8 + \cdots.</math>
-अगर हमने शुरुआती पसंद से शुरुआत की <math>r_1 = 4</math> तो हेन्सेल की लेम्मा 2 इंच का एक वर्गमूल उत्पन्न करेगी <math>\Z_7</math> जो 3 (mod 7) के बजाय 4 (mod 7) के अनुरूप है और वास्तव में यह दूसरा वर्गमूल पहले वर्गमूल का ऋणात्मक होगा (जो 4 = −3 mod 7 के अनुरूप है)।
+अगर हमने शुरुआती पसंद से शुरुआत की <math>r_1 = 4</math> तो हेन्सेल की लेम्मा 2 इंच का  वर्गमूल उत्पन्न करेगी <math>\Z_7</math> जो 3 (mod 7) के बजाय 4 (mod 7) के अनुरूप है और वास्तव में यह दूसरा वर्गमूल पहले वर्गमूल का ऋणात्मक होगा (जो 4 = −3 mod 7 के अनुरूप है)।
-एक उदाहरण के रूप में जहां हेंसल के लेम्मा का मूल संस्करण मान्य नहीं है, लेकिन अधिक सामान्य है, चलो <math>f(x) = x^2-17</math> और <math>a=1.</math> तब <math>f(a) =-16</math> और <math>f'(a) = 2,</math> इसलिए
+उदाहरण के रूप में जहां हेंसल के लेम्मा का मूल संस्करण मान्य नहीं है, लेकिन अधिक सामान्य है, चलो <math>f(x) = x^2-17</math> और <math>a=1.</math> तब <math>f(a) =-16</math> और <math>f'(a) = 2,</math> इसलिए
 :<math>|f(a)|_2 < |f'(a)|_2^2,</math>
-जिसका अर्थ है कि एक अद्वितीय 2-एडिक पूर्णांक बी संतोषजनक है
+जिसका अर्थ है कि  अद्वितीय 2-एडिक पूर्णांक बी संतोषजनक है
 :<math>b^2 = 17 \quad \text{and} \quad |b-a|_2 < |f'(a)|_2 = \frac{1}{2},</math>
-यानी, b ≡ 1 mod 4. 2-adic पूर्णांकों में 17 के दो वर्गमूल हैं, जो एक चिह्न से भिन्न हैं, और हालांकि वे सर्वांगसम mod 2 हैं, वे सर्वांगसम mod 4 नहीं हैं। यह हेन्सेल के सामान्य संस्करण के अनुरूप है लेम्मा हमें केवल 17 का एक अद्वितीय 2-एडिक वर्गमूल दे रही है जो मॉड 2 के बजाय 1 मॉड 4 के अनुरूप है। यदि हमने शुरुआती अनुमानित रूट a = 3 के साथ शुरू किया था तो हम खोजने के लिए अधिक सामान्य हेन्सेल लेम्मा को फिर से लागू कर सकते हैं। 17 का अनोखा 2-एडिक वर्गमूल जो 3 मॉड 4 के अनुरूप है। यह 17 का अन्य 2-एडिक वर्गमूल है।
+यानी, b ≡ 1 mod 4. 2-adic पूर्णांकों में 17 के दो वर्गमूल हैं, जो  चिह्न से भिन्न हैं, और हालांकि वे सर्वांगसम mod 2 हैं, वे सर्वांगसम mod 4 नहीं हैं। यह हेन्सेल के सामान्य संस्करण के अनुरूप है लेम्मा हमें केवल 17 का  अद्वितीय 2-एडिक वर्गमूल दे रही है जो मॉड 2 के बजाय 1 मॉड 4 के अनुरूप है। यदि हमने शुरुआती अनुमानित रूट a = 3 के साथ शुरू किया था तो हम खोजने के लिए अधिक सामान्य हेन्सेल लेम्मा को फिर से लागू कर सकते हैं। 17 का अनोखा 2-एडिक वर्गमूल जो 3 मॉड 4 के अनुरूप है। यह 17 का अन्य 2-एडिक वर्गमूल है।
 की जड़ों को उठाने के मामले में <math>x^2-17</math> मापांक 2 से<sup>क</सुप> से 2<sup>k+1</sup>, रूट 1 मॉड 2 से शुरू होने वाली लिफ्ट इस प्रकार हैं:
@@ Line 312: / Line 296: @@
 :9 mod 16 → 9, 25 mod 32 और 7 mod 16 → 7, 23 mod 16, जबकि 1 mod 16 और 15 mod 16 रूट्स mod 32 तक नहीं उठाते हैं।
-प्रत्येक k के लिए कम से कम 3, x के चार मूल होते हैं<sup>2</sup> − 17 बनाम 2<sup>k</sup>, लेकिन अगर हम उनके 2-एडिक विस्तारों को देखें तो हम देख सकते हैं कि जोड़ियों में वे केवल दो 2-एडिक सीमाओं में अभिसरण कर रहे हैं। उदाहरण के लिए, चार जड़ें मॉड 32 दो जोड़ी जड़ों में टूट जाती हैं, जिनमें से प्रत्येक एक ही मॉड 16 दिखती है:
+प्रत्येक k के लिए कम से कम 3, x के चार मूल होते हैं<sup>2</sup> − 17 बनाम 2<sup>k</sup>, लेकिन अगर हम उनके 2-एडिक विस्तारों को देखें तो हम देख सकते हैं कि जोड़ियों में वे केवल दो 2-एडिक सीमाओं में अभिसरण कर रहे हैं। उदाहरण के लिए, चार जड़ें मॉड 32 दो जोड़ी जड़ों में टूट जाती हैं, जिनमें से प्रत्येक  ही मॉड 16 दिखती है:
 : 9 = 1 + 2<sup>3</sup> और 25 = 1 + 2<sup>3</sup> + 2<sup>4</उप>।
@@ Line 321: / Line 305: @@
 :<math>1 + 2^3 +2^5 +2^6 +2^7 +2^9 + 2^{10} + \cdots </math>
 :<math>1 + 2 + 2^2 + 2^4 + 2^8 + 2^{11} + \cdots </math>
-एक और उदाहरण जहां हम हेंसल लेम्मा के अधिक सामान्य संस्करण का उपयोग कर सकते हैं, लेकिन मूल संस्करण का नहीं, यह एक प्रमाण है कि कोई भी 3-एडिक पूर्णांक c ≡ 1 mod 9 एक घन है <math>\Z_3.</math> होने देना <math>f(x) =x^3-c</math> और प्रारंभिक सन्निकटन a = 1 लें। मूलभूत हेन्सेल लेम्मा का उपयोग f(x) की जड़ों को खोजने के लिए नहीं किया जा सकता है क्योंकि <math>f'(r)\equiv 0 \bmod 3</math> हर आर के लिए। हेंसल के लेम्मा के सामान्य संस्करण को लागू करने के लिए हम चाहते हैं <math>|f(1)|_3 <|f'(1)|_3^2,</math> मतलब <math>c\equiv 1 \bmod 27.</math> अर्थात, यदि c ≡ 1 mod 27 है तो सामान्य हेन्सेल की लेम्मा हमें बताती है कि f(x) में 3-एडिक रूट है, इसलिए c 3-एडिक क्यूब है। हालाँकि, हम इस परिणाम को कमजोर स्थिति के तहत चाहते थे कि c ≡ 1 mod 9. यदि c ≡ 1 mod 9 तो c ≡ 1, 10, या 19 mod 27। हम मूल्य के आधार पर सामान्य हेन्सेल के लेम्मा को तीन बार लागू कर सकते हैं। सी मॉड 27 का: यदि सी ≡ 1 मॉड 27 तो ए = 1 का उपयोग करें, यदि सी ≡ 10 मॉड 27 तो ए = 4 का उपयोग करें (चूंकि 4 एफ (एक्स) मॉड 27 की जड़ है), और यदि सी ≡ 19 मॉड 27 फिर a = 7 का उपयोग करें। (यह सच नहीं है कि प्रत्येक c ≡ 1 mod 3 एक 3-एडिक क्यूब है, उदाहरण के लिए, 4 3-एडिक क्यूब नहीं है क्योंकि यह क्यूब मॉड 9 नहीं है।)
+और उदाहरण जहां हम हेंसल लेम्मा के अधिक सामान्य संस्करण का उपयोग कर सकते हैं, लेकिन मूल संस्करण का नहीं, यह  प्रमाण है कि कोई भी 3-एडिक पूर्णांक c ≡ 1 mod 9  घन है <math>\Z_3.</math> होने देना <math>f(x) =x^3-c</math> और प्रारंभिक सन्निकटन a = 1 लें। मूलभूत हेन्सेल लेम्मा का उपयोग f(x) की जड़ों को खोजने के लिए नहीं किया जा सकता है क्योंकि <math>f'(r)\equiv 0 \bmod 3</math> हर आर के लिए। हेंसल के लेम्मा के सामान्य संस्करण को लागू करने के लिए हम चाहते हैं <math>|f(1)|_3 <|f'(1)|_3^2,</math> मतलब <math>c\equiv 1 \bmod 27.</math> अर्थात, यदि c ≡ 1 mod 27 है तो सामान्य हेन्सेल की लेम्मा हमें बताती है कि f(x) में 3-एडिक रूट है, इसलिए c 3-एडिक क्यूब है। हालाँकि, हम इस परिणाम को कमजोर स्थिति के तहत चाहते थे कि c ≡ 1 mod 9. यदि c ≡ 1 mod 9 तो c ≡ 1, 10, या 19 mod 27। हम मूल्य के आधार पर सामान्य हेन्सेल के लेम्मा को तीन बार लागू कर सकते हैं। सी मॉड 27 का: यदि सी ≡ 1 मॉड 27 तो ए = 1 का उपयोग करें, यदि सी ≡ 10 मॉड 27 तो ए = 4 का उपयोग करें (चूंकि 4 एफ (एक्स) मॉड 27 की जड़ है), और यदि सी ≡ 19 मॉड 27 फिर a = 7 का उपयोग करें। (यह सच नहीं है कि प्रत्येक c ≡ 1 mod 3  3-एडिक क्यूब है, उदाहरण के लिए, 4 3-एडिक क्यूब नहीं है क्योंकि यह क्यूब मॉड 9 नहीं है।)
-इसी तरह, कुछ प्रारंभिक कार्य के बाद, हेंसल की प्रमेयिका का उपयोग यह दिखाने के लिए किया जा सकता है कि किसी भी विषम अभाज्य संख्या p के लिए, कोई भी {{mvar|p}}-अर्थात् पूर्णांक c 1 सापेक्ष p के सर्वांगसम है<sup>2</sup> एक p-वें घात है <math>\Z_p.</math> (यह p = 2 के लिए असत्य है।)
+इसी तरह, कुछ प्रारंभिक कार्य के बाद, हेंसल की प्रमेयिका का उपयोग यह दिखाने के लिए किया जा सकता है कि किसी भी विषम अभाज्य संख्या p के लिए, कोई भी {{mvar|p}}-अर्थात् पूर्णांक c 1 सापेक्ष p के सर्वांगसम है<sup>2</sup>  p-वें घात है <math>\Z_p.</math> (यह p = 2 के लिए असत्य है।)
 == सामान्यीकरण ==
-मान लीजिए A एक क्रमविनिमेय वलय है, एक आदर्श के संबंध में एक वलय का पूरा होना (अंगूठी सिद्धांत) <math>\mathfrak{m},</math> और जाने <math>f(x) \in A[x].</math> a ∈ A को f का सन्निकट मूल कहा जाता है, यदि
+मान लीजिए A  क्रमविनिमेय वलय है,  आदर्श के संबंध में  वलय का पूरा होना (अंगूठी सिद्धांत) <math>\mathfrak{m},</math> और जाने <math>f(x) \in A[x].</math> a ∈ A को f का सन्निकट मूल कहा जाता है, यदि
 :<math> f(a) \equiv 0 \bmod f'(a)^2 \mathfrak{m}.</math>
-यदि f का एक अनुमानित मूल है तो इसका सटीक मूल b ∈ A है जो a के निकट है; वह है,
+यदि f का  अनुमानित मूल है तो इसका सटीक मूल b ∈ A है जो a के निकट है; वह है,
 :<math>f(b) = 0 \quad \text{and} \quad b \equiv a \bmod{\mathfrak m}.</math>
@@ Line 336: / Line 320: @@
 इस परिणाम को निम्नानुसार कई चरों के लिए सामान्यीकृत किया जा सकता है:
-: 'प्रमेय।' मान लीजिए A एक क्रमविनिमेय वलय है जो आदर्श के संबंध में पूर्ण है <math>\mathfrak{m} \subset A.</math> होने देना <math>f_1, \ldots, f_n \in A[x_1, \ldots, x_n]</math> ए पर एन चर में एन बहुपदों की एक प्रणाली बनें। देखें <math>\mathbf{f} = (f_1, \ldots, f_n),</math> ए से मानचित्रण के रूप में<sup>n</sup> खुद के लिए, और जाने दो <math>J_{\mathbf{f}}(\mathbf{x})</math> इसके [[जैकबियन मैट्रिक्स]] को निरूपित करें। मान लीजिए एक = (''ए''<sub>1</sub>, ..., ए<sub>''n''</sub>) ∈ ए<sup>n</sup> इस अर्थ में 'f' = '0' का एक अनुमानित समाधान है
+: 'प्रमेय।' मान लीजिए A  क्रमविनिमेय वलय है जो आदर्श के संबंध में पूर्ण है <math>\mathfrak{m} \subset A.</math> होने देना <math>f_1, \ldots, f_n \in A[x_1, \ldots, x_n]</math> ए पर एन चर में एन बहुपदों की  प्रणाली बनें। देखें <math>\mathbf{f} = (f_1, \ldots, f_n),</math> ए से मानचित्रण के रूप में<sup>n</sup> खुद के लिए, और जाने दो <math>J_{\mathbf{f}}(\mathbf{x})</math> इसके [[जैकबियन मैट्रिक्स]] को निरूपित करें। मान लीजिए  = (''ए''<sub>1</sub>, ..., ए<sub>''n''</sub>) ∈ ए<sup>n</sup> इस अर्थ में 'f' = '0' का  अनुमानित समाधान है
 ::<math>f_i(\mathbf{a}) \equiv 0 \bmod (\det J_{\mathbf{f}}(a))^2 \mathfrak{m}, \qquad 1 \leqslant i \leqslant n.</math>
@@ Line 345: / Line 329: @@
 ::<math>b_i \equiv a_i \bmod \det J_{\mathbf{f}}(a) \mathfrak{m}, \qquad 1 \leqslant i \leqslant n.</math>
-एक विशेष मामले के रूप में, यदि <math>f_i(\mathbf{a}) \equiv 0 \bmod \mathfrak{m}</math> मैं और सभी के लिए <math>\det J_{\mathbf{f}}(\mathbf{a})</math> ए में एक इकाई है तो 'एफ'('बी') = '0' के साथ एक समाधान है <math>b_i \equiv a_i \bmod \mathfrak{m}</math> सभी के लिए मैं
+विशेष मामले के रूप में, यदि <math>f_i(\mathbf{a}) \equiv 0 \bmod \mathfrak{m}</math> मैं और सभी के लिए <math>\det J_{\mathbf{f}}(\mathbf{a})</math> ए में  इकाई है तो 'एफ'('बी') = '0' के साथ  समाधान है <math>b_i \equiv a_i \bmod \mathfrak{m}</math> सभी के लिए मैं
-जब n = 1, 'a' = a, A का एक अवयव है और <math>J_{\mathbf{f}}(\mathbf{a}) = J_f(a)=f'(a).</math> इस बहुभिन्नरूपी हेन्सेल के लेम्मा की परिकल्पना उन लोगों को कम करती है जो एक-चर हेन्सेल के लेम्मा में बताए गए थे।
+जब n = 1, 'a' = a, A का  अवयव है और <math>J_{\mathbf{f}}(\mathbf{a}) = J_f(a)=f'(a).</math> इस बहुभिन्नरूपी हेन्सेल के लेम्मा की परिकल्पना उन लोगों को कम करती है जो एक-चर हेन्सेल के लेम्मा में बताए गए थे।
 == संबंधित अवधारणाएं ==
-हेन्सेलियन संपत्ति होने के लिए रिंग का पूरा होना एक आवश्यक शर्त नहीं है: 1950 में [[गोरो आर्बर]] ने [[हेंसेलियन रिंग]] होने के लिए अधिकतम आदर्श एम के लिए हेन्सेलियन संपत्ति को संतुष्ट करने वाले एक कम्यूटेटिव [[ स्थानीय अंगूठी ]] को परिभाषित किया।
+हेन्सेलियन संपत्ति होने के लिए रिंग का पूरा होना  आवश्यक शर्त नहीं है: 1950 में [[गोरो आर्बर]] ने [[हेंसेलियन रिंग]] होने के लिए अधिकतम आदर्श एम के लिए हेन्सेलियन संपत्ति को संतुष्ट करने वाले  कम्यूटेटिव [[ स्थानीय अंगूठी ]] को परिभाषित किया।
-[[न्यायमूर्ति नगाटा]] ने 1950 के दशक में साबित किया कि किसी भी क्रमविनिमेय स्थानीय रिंग ''ए'' के लिए अधिकतम आदर्श एम के साथ हमेशा एक छोटी रिंग ''ए'' मौजूद होती है।<sup>h</sup> जिसमें A ऐसा हो कि A<sup>m''A'' के सन्दर्भ में h</sup> हेन्सेलियन है<sup>ज</सुप>. इस एक<sup>h</sup> को ''A'' का [[हेन्सेलाइज़ेशन]] कहा जाता है। अगर ''ए'' [[नोथेरियन रिंग]] है, ''ए''<sup>h</sup> भी नोथेरियन होगा, और A<sup>h</sup> स्पष्ट रूप से बीजगणितीय है क्योंकि इसे étale topology|étale पड़ोस की सीमा के रूप में बनाया गया है। इसका मतलब है कि ए<sup>h</sup> आमतौर पर पूरा होने की तुलना में बहुत छोटा होता है Â अभी भी हेन्सेलियन संपत्ति को बनाए रखते हुए और उसी श्रेणी के सिद्धांत में शेष है{{clarify|date=November 2017}}.
+[[न्यायमूर्ति नगाटा]] ने 1950 के दशक में साबित किया कि किसी भी क्रमविनिमेय स्थानीय रिंग ''ए'' के लिए अधिकतम आदर्श एम के साथ हमेशा  छोटी रिंग ''ए'' मौजूद होती है।<sup>h</sup> जिसमें A ऐसा हो कि A<sup>m''A'' के सन्दर्भ में h</sup> हेन्सेलियन है<sup>ज</सुप>. इस एक<sup>h</sup> को ''A'' का [[हेन्सेलाइज़ेशन]] कहा जाता है। अगर ''ए'' [[नोथेरियन रिंग]] है, ''ए''<sup>h</sup> भी नोथेरियन होगा, और A<sup>h</sup> स्पष्ट रूप से बीजगणितीय है क्योंकि इसे étale topology|étale पड़ोस की सीमा के रूप में बनाया गया है। इसका मतलब है कि ए<sup>h</sup> आमतौर पर पूरा होने की तुलना में बहुत छोटा होता है Â अभी भी हेन्सेलियन संपत्ति को बनाए रखते हुए और उसी श्रेणी के सिद्धांत में शेष है{{clarify|date=November 2017}}.
 == यह भी देखें ==

Anonymous

Search

हेंसल की लेम्मा: Difference between revisions

Revision as of 07:08, 25 May 2023

मॉड्यूलर कमी और उठाना

कथन

सरल जड़ों को उठाना

आदि पूर्णता के लिए उठाना

प्रमाण

रैखिक भारोत्तोलन

विशिष्टता

द्विघात भारोत्तोलन

स्पष्ट उदाहरण

जड़ें उठाने के लिए डेरिवेटिव का उपयोग करना

व्युत्पत्ति

अवलोकन

अलघुकरणीय बहुपदों के लिए मानदंड

फ्रोबेनियस

एकता की जड़ें

हेन्सेल लिफ्टिंग

पी-एडिक नंबरों के लिए हेन्सेल लेम्मा

उदाहरण

सामान्यीकरण

संबंधित अवधारणाएं

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories