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

From Vigyanwiki
No edit summary
No edit summary
 
(86 intermediate revisions by 5 users not shown)
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-एडिक पूर्णांक पर गुणनखंड किया जा सकता है।


इन परिणामों को ही नाम के तहत व्यापक रूप से सामान्यीकृत किया गया है, बहुपदों के मामले में मनमाने ढंग से [[ क्रमविनिमेय अंगूठी ]] पर, जहां {{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>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> हेंसल की लेम्मा का प्रमाणित है कि हल्की परिस्थितियों में इस प्रकार की लिफ्टिंग सदैव संभव है; अगला भाग देखें।


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


हेंसल की लेम्मा का दावा है कि का हर गुणनखंड {{mvar|h}} मापांक <math>\mathfrak m</math> कोप्राइम बहुपदों में  अनोखे तरीके से गुणनखंड मोडुलो में उठाया जा सकता है <math>\mathfrak m^k</math> हर के लिए {{mvar|k}}.
तब से <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 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> ऐसा है कि
हेंसल की लेम्मा प्रमाणित करती है कि {{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> ऐसा है कि:
:<math>\begin{align}
:<math>\begin{align}
h&\equiv \alpha_0 f_kg_k \pmod{\mathfrak m^k},\\
h&\equiv \alpha_0 f_kg_k \pmod{\mathfrak m^k},\\
Line 35: Line 37:
g_k&\equiv g\pmod{\mathfrak m},
g_k&\equiv g\pmod{\mathfrak m},
\end{align}</math>
\end{align}</math>
और <math>f_k</math> और <math>g_k</math> अद्वितीय हैं (इन गुणों के साथ) सापेक्ष <math>\mathfrak m^k.</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-एडिक पूर्णांक को प्रस्तुत करने के लिए मुख्य प्रेरणाओं में से था।


अधिकतम आदर्श दिया <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>
अधिकतम आदर्श क्रमविनिमेय वलय {{mvar|R}} का <math>\mathfrak m</math> की घात <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>\mathfrak m</math> को {{mvar|h}} की छवि  के सरल मूल {{mvar|h}} में <math>\widehat R_\mathfrak m[X]</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>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> में इकाई है), और {{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 fg \pmod {I^k}</math>  
:<math>h\equiv \alpha(f+\delta_f)(g+\delta_g) \pmod {I^{k+1}}.</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>\delta_f</math> और <math>\delta_g</math> अद्वितीय मॉड्यूलो हैं <math>I^{k+1}R[X].</math>
:<math>h\equiv \alpha(f+\delta_f)(g+\delta_g) \pmod {I^{k+1}}</math>
इसके अतिरिक्त, <math>f+\delta_f</math> और <math>g+\delta_g</math> बेज़ाउट की पहचान को संतुष्ट करें {{mvar|f}} और {{mvar|g}}, वह है, <math DISPLAY=block> a(f+\delta_f)+b(g+\delta_g)\equiv 1\pmod I.</math> यह पूर्ववर्ती अभिकथनों से तुरंत अनुसरण करता है, लेकिन के बढ़ते मूल्यों के साथ परिणाम को पुनरावृत्त रूप से लागू करने के लिए आवश्यक है {{mvar|k}}.
इन नियमों के अंर्तगत, <math>\delta_f</math> और <math>\delta_g</math> अद्वितीय मॉड्यूलो <math>I^{k+1}R[X]</math> हैं,
इसके अतिरिक्त, <math>f+\delta_f</math> और <math>g+\delta_g</math> बेज़ाउट की पहचान {{mvar|f}} और {{mvar|g}} को संतुष्ट करते हैं, वह है, <math DISPLAY=block> a(f+\delta_f)+b(g+\delta_g)\equiv 1\pmod I.</math> यह पूर्ववर्ती अभिकथनों से तुरंत अनुसरण करता है, किन्तु {{mvar|k}} के बढ़ते मूल्यों के साथ परिणाम को पुनरावृत्त रूप से प्रारम्भ करने के लिए आवश्यक है।
 
निम्नलिखित प्रमाण कंप्यूटिंग के लिए लिखा गया है <math>\delta_f</math> और <math>\delta_g</math> में गुणांक वाले केवल बहुपदों का उपयोग करके <math>R/I</math> या <math>I^k/I^{k+1}</math> है। जब <math>R=\Z</math> और <math>I=p\Z</math> यह केवल पूर्णांक मॉड्यूलो {{mvar|p}} में परिवर्तन करने की अनुमति देता है।
 
प्रमाण: परिकल्पना द्वारा, <math>\alpha</math> विपरीत मॉड्यूलो {{mvar|I}} है। इसका तात्पर्य है कि <math>\beta\in R</math> और <math>\gamma\in IR[X]</math> उपस्थित है, जैसे कि <math>\alpha\beta=1-\gamma</math> है।


निम्नलिखित प्रमाण कंप्यूटिंग के लिए लिखा गया है <math>\delta_f</math> और <math>\delta_g</math> में गुणांक वाले केवल बहुपदों का उपयोग करके <math>R/I</math> या <math>I^k/I^{k+1}.</math> कब <math>R=\Z</math> और <math>I=p\Z,</math> यह केवल पूर्णांक मॉड्यूलो में हेरफेर करने की अनुमति देता है {{mvar|p}}.
मान लीजिये <math>\delta_h\in I^kR[X]</math> डिग्री से अल्प <math>\deg h</math> है कि
:<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>}} हैं।)


प्रमाण: परिकल्पना द्वारा, <math>\alpha</math> उलटा मॉड्यूलो है {{mvar|I}}. इसका मतलब है कि मौजूद है <math>\beta\in R</math> और <math>\gamma\in IR[X]</math> ऐसा है कि <math>\alpha\beta=1-\gamma.</math> होने देना <math>\delta_h\in I^kR[X],</math> डिग्री से कम <math>\deg h,</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>\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>)}}
:<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> है।


जैसा {{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>I^{k+1}</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>
इस प्रकार, सर्वांगसमता मॉड्यूल पर विचार करते हुए <math>I^{k+1},</math> किसी के पास
:<math>\begin{align}
:<math>\begin{align}
\alpha(f+\beta d)&(g+\beta c)-h\\
\alpha(f+\beta d)&(g+\beta c)-h\\
Line 76: Line 82:
&\equiv 0 \pmod{I^{k+1}}.
&\equiv 0 \pmod{I^{k+1}}.
\end{align}</math>
\end{align}</math>
तो, अस्तित्व के दावे के साथ सत्यापित किया गया है
तो, अस्तित्व के प्रमाण के साथ सत्यापित किया गया है:
:<math>\delta_f=\beta d, \qquad \delta_g=\beta c.</math>
:<math>\delta_f=\beta d, \qquad \delta_g=\beta c.</math>
=== विशिष्टता ===
=== विशिष्टता ===
होने देना {{mvar|R}}, {{mvar|I}}, {{mvar|h}} और <math>\alpha</math> पिछले खंड में के रूप में। होने देना
मान लीजिये {{mvar|R}}, {{mvar|I}}, {{mvar|h}} और <math>\alpha</math> पूर्व खंड में के रूप में है। मान लीजिये
:<math>h\equiv \alpha fg {\pmod I}</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>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>\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>
:<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>
परिकल्पना द्वारा, है
परिकल्पना द्वारा, है
:<math>h\equiv \alpha(f+\delta_f)(g+\delta_g) \equiv \alpha(f+\delta'_f)(g+\delta'_g)\pmod {I^n},</math>
:<math>h\equiv \alpha(f+\delta_f)(g+\delta_g) \equiv \alpha(f+\delta'_f)(g+\delta'_g)\pmod {I^n},</math>
और इस तरह
और इस प्रकार है:
:<math>\begin{align}
:<math>\begin{align}
\alpha(f+\delta_f)(g+\delta_g) &- \alpha(f+\delta'_f)(g+\delta'_g)\\
\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].
&= \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{align}</math>
\end{align}</math>
प्रेरण परिकल्पना द्वारा, बाद के योग का दूसरा पद संबंधित है <math>I^n,</math> और इस प्रकार पहले कार्यकाल के लिए भी यही सच है। जैसा <math>\alpha</math> उलटा मॉड्यूलो है {{mvar|I}}, वहां है <math>\beta\in R</math> और <math>\gamma \in I</math> ऐसा है कि <math>\alpha\beta=1+\gamma.</math> इस प्रकार
प्रेरण परिकल्पना द्वारा, पश्चात के योग का दूसरा पद संबंधित <math>I^n</math> है, और इस प्रकार पूर्व कार्यकाल के लिए भी यही सत्य है। जैसा <math>\alpha</math> विपरीत मॉड्यूलो {{mvar|I}} है, वहां <math>\beta\in R</math> और <math>\gamma \in I</math> है ऐसा है कि <math>\alpha\beta=1+\gamma.</math> इस प्रकार
:<math>\begin{align}
:<math>\begin{align}
f(\delta_g-\delta'_g) &+g(\delta_f-\delta'_f)\\
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],
&= \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{align}</math>
\end{align}</math>
प्रेरण परिकल्पना का फिर से उपयोग करना।
प्रेरण परिकल्पना का पुनः उपयोग करना।


कोप्रिमेलिटी मॉड्यूलो {{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}
:<math>\begin{align}
\delta_g-\delta'_g &\equiv (af+bg)(\delta_g-\delta'_g)\\
\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}.
&\equiv g(b(\delta_g-\delta'_g) - a(\delta_f-\delta'_f))\pmod {I^n}.
\end{align}</math>
\end{align}</math>
इस प्रकार किसी के पास डिग्री से कम का बहुपद है <math>\deg g</math> वह सर्वांगसम मॉड्यूल है <math>I^n</math> मोनिक बहुपद के उत्पाद के लिए {{mvar|g}} और दूसरा बहुपद {{mvar|w}}. यह तभी संभव है जब <math>w\in I^n R[X],</math> और तात्पर्य है <math>\delta_g-\delta'_g \in I^n R[X].</math> इसी प्रकार, <math>\delta_f-\delta'_f </math> में भी है <math>I^n R[X],</math> और यह विशिष्टता साबित करता है।
इस प्रकार किसी के पास डिग्री से अल्प का बहुपद है <math>\deg g</math> वह सर्वांगसम मॉड्यूल <math>I^n</math> है मोनिक बहुपद के उत्पाद के लिए {{mvar|g}} और दूसरा बहुपद {{mvar|w}} है यह तभी संभव है जब <math>w\in I^n R[X]</math> और तात्पर्य है <math>\delta_g-\delta'_g \in I^n R[X]</math> इसी प्रकार, <math>\delta_f-\delta'_f </math> में भी है <math>I^n R[X]</math> और यह विशिष्टता प्रमाणित करता है।


=== द्विघात भारोत्तोलन ===
=== द्विघात भारोत्तोलन ===
रैखिक भारोत्तोलन गुणनखंड मॉड्यूल को उठाने की अनुमति देता है <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 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>
:<math>h\equiv \alpha(f+\delta_f)(g+\delta_g) \pmod {I^{2k}}.</math>
इसके अतिरिक्त, <math>f+\delta_f</math> और <math>g+\delta_g</math> बेज़ाउट के रूप की पहचान को संतुष्ट करें
इसके अतिरिक्त, <math>f+\delta_f</math> और <math>g+\delta_g</math> बेज़ाउट के रूप की पहचान को संतुष्ट करें:
:<math> (a+\delta_a)(f+\delta_f)+(b+\delta_b)(g+\delta_g)\equiv 1\pmod {I^{2k}}.</math> (यह द्विघात भारोत्तोलन की पुनरावृत्तियों की अनुमति देने के लिए आवश्यक है।)
:<math> (a+\delta_a)(f+\delta_f)+(b+\delta_b)(g+\delta_g)\equiv 1\pmod {I^{2k}}.</math> (यह द्विघात भारोत्तोलन की पुनरावृत्तियों की अनुमति देने के लिए आवश्यक है।)


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


होने देना <math>\alpha=af+bg-1\in I^k R[X].</math> किसी के पास
मान लीजिये <math>\alpha=af+bg-1\in I^k R[X]</math> होता है। किसी के निकट है।
:<math>a(f+\delta_f)+b(g+\delta_g)=1-\Delta,</math>
:<math>a(f+\delta_f)+b(g+\delta_g)=1-\Delta,</math>
कहाँ
जहाँ
:<math>\Delta=\alpha+a\delta_f+b\delta_g\in I^k R[X].</math>
:<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>
:<math>(a+\delta_a)(f+\delta_f)+(b+\delta_b)(g+\delta_g)=1-\Delta^2\in I^{2k} R[X],</math>
जो दूसरे कथन को सिद्ध करता है।
जो दूसरे कथन को सिद्ध करता है।


== स्पष्ट उदाहरण ==
== स्पष्ट उदाहरण ==
होने देना <math>f(X)= X^6 - 2 \in \mathbb{Q}[X].</math>
मान लीजिये <math>f(X)= X^6 - 2 \in \mathbb{Q}[X]</math> होता है।
मॉडुलो 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>
 
मॉडुलो 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>\bar{f}(X) = X^6 - \overline{2} = X^6</math>
6 कारकों के साथ <math>X</math> दूसरे के लिए अपेक्षाकृत प्रमुख नहीं होना। आइज़ेंस्टीन की कसौटी से, हालांकि, यह निष्कर्ष निकाला जा सकता है कि बहुपद <math>f(X)</math> में अपूरणीय है <math>\Q_2[X] .</math><br>
6 कारकों के साथ <math>X</math> एक दूसरे के लिए अपेक्षाकृत प्रमुख नहीं है।आइज़ेंस्टीन के परिक्षण से चूँकि, यह निष्कर्ष निकाला जा सकता है कि बहुपद <math>f(X)</math> में अलघुकरणीय <math>\Q_2[X]</math> है:
ऊपर <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>\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>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>\alpha = \ldots 450\,454_7</math> 2 इंच का वर्गमूल <math>\Z_7</math> है,  जिसे उपरोक्त गुणनखंड को विस्थापित करके प्राप्त किया जा सकता है।<br>अंत में, <math>\mathbb F_{727}[X]</math> बहुपद विभाजित हो जाता है:
अंत में, में <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>\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-एडिक पूर्णांकों के साथ है।
:<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>\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}}-एडिक पूर्णांक) के साथ गुणांक बहुपद है, और मान लीजिए कि 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>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> वहाँ पूर्णांक s उपस्थित है जैसे कि,


:<math>f(s) \equiv 0 \bmod p^{k+m} \quad \text{and} \quad r \equiv s \bmod p^k.</math>
:<math>f(s) \equiv 0 \bmod p^{k+m} \quad \text{and} \quad r \equiv s \bmod p^k.</math>
इसके अलावा, यह एस अद्वितीय मॉड्यूलो पी है<sup>k+m</sup>, और स्पष्ट रूप से पूर्णांक के रूप में गणना की जा सकती है
इसके अतिरिक्त, यह s अद्वितीय मॉड्यूलो ''p''<sup>k+m</sup> है, और स्पष्ट रूप से पूर्णांक के रूप में गणना की जा सकती है:


:<math>s = r - f(r)\cdot a,</math>
:<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>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 164: Line 171:


:<math>f(s) = \sum_{n=0}^N c_n (s-r)^n, \qquad c_n = f^{(n)}(r)/n!.</math>
:<math>f(s) = \sum_{n=0}^N c_n (s-r)^n, \qquad c_n = f^{(n)}(r)/n!.</math>
से <math>r \equiv s \bmod p^k,</math> हम देखते हैं कि s - r = tp<sup>k</sup> किसी पूर्णांक t के लिए। होने देना
<math>r \equiv s \bmod p^k,</math> हम देखते हैं कि s - r = tp<sup>k</sup> किसी पूर्णांक t के लिए होता है। मान लीजिये,


:<math>\begin{align}
:<math>\begin{align}
Line 173: Line 180:
     &= (z+tf'(r)) p^k + p^{2k}t^2g(t)
     &= (z+tf'(r)) p^k + p^{2k}t^2g(t)
\end{align}</math>
\end{align}</math>
के लिए <math>m \leqslant k,</math> अपने पास:
के लिए <math>m \leqslant k,</math> इस प्रकार है:


:<math>\begin{align}
:<math>\begin{align}
Line 181: Line 188:
                             &\Longleftrightarrow t \equiv -z [f'(r)]^{-1} \bmod p^m && p \nmid f'(r)
                             &\Longleftrightarrow t \equiv -z [f'(r)]^{-1} \bmod p^m && p \nmid f'(r)
\end{align}</math>
\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> जो अनिवार्य रूप से अद्वितीय है। इसलिए t के लिए समाधान <math>p^m</math>अद्वितीय रूप से उपस्थित है, और ''s'' विशिष्ट मॉड्यूलो <math>p^{k+m}</math> अद्वितीय रूप से उपस्थित है।
== अवलोकन ==
== अवलोकन ==


=== अलघुकरणीय बहुपदों के लिए मानदंड ===
=== अलघुकरणीय बहुपदों के लिए मानदंड ===
उपरोक्त परिकल्पनाओं का उपयोग करते हुए, यदि हम अलघुकरणीय बहुपद पर विचार करते हैं
उपरोक्त परिकल्पनाओं का उपयोग करते हुए, यदि हम अलघुकरणीय बहुपद पर विचार करते हैं:
: <math>f(x) = a_0+a_1x + \cdots + a_nx^n \in K[X]</math>
: <math>f(x) = a_0+a_1x + \cdots + a_nx^n \in K[X]</math>
ऐसा है कि <math>a_0,a_n \neq 0</math>, तब
ऐसा है कि <math>a_0,a_n \neq 0</math>, तब
: <math>|f| = \max\{|a_0|, |a_n|\}</math>
: <math>|f| = \max\{|a_0|, |a_n|\}</math>
विशेष रूप से, के लिए <math>f(X) = X^6 + 10X - 1</math>, हम में पाते हैं <math>\mathbb{Q}_2[X]</math>
विशेष रूप से, <math>f(X) = X^6 + 10X - 1</math> के लिए, हम <math>\mathbb{Q}_2[X]</math> प्राप्त करते है:
: <math>\begin{align}
: <math>\begin{align}
|f(X)| &= \max\{|a_0|,\ldots,|a_n|\} \\
|f(X)| &= \max\{|a_0|,\ldots,|a_n|\} \\
&= \max\{0,1,0 \} = 1
&= \max\{0,1,0 \} = 1
\end{align}</math>
\end{align}</math>
लेकिन <math>\max\{|a_0|, |a_n|\} = 0</math>, इसलिए बहुपद अलघुकरणीय नहीं हो सकता। जबकि में <math>\mathbb{Q}_7[X]</math> हमारे पास दोनों मूल्य सहमत हैं, जिसका अर्थ है कि बहुपद अप्रासंगिक हो सकता है। इरेड्यूसबिलिटी निर्धारित करने के लिए, न्यूटन बहुभुज को नियोजित किया जाना चाहिए।<ref name=":1">{{Cite book|last=Neukirch|first=Jürgen|url=https://www.worldcat.org/oclc/851391469|title=बीजगणितीय संख्या सिद्धांत|date=1999|publisher=Springer Berlin Heidelberg|isbn=978-3-662-03983-0|location=Berlin, Heidelberg|oclc=851391469}}</ref><sup>पृष्ठ 144</sup>
किन्तु  <math>\max\{|a_0|, |a_n|\} = 0</math>, इसलिए बहुपद अलघुकरणीय नहीं हो सकता। जबकि <math>\mathbb{Q}_7[X]</math> में हमारे निकट दोनों मूल्य सहमत हैं, जिसका अर्थ है कि बहुपद अप्रासंगिक हो सकता है। इरेड्यूसबिलिटी निर्धारित करने के लिए, न्यूटन बहुभुज को नियोजित किया जाना चाहिए।<ref name=":1">{{Cite book|last=Neukirch|first=Jürgen|url=https://www.worldcat.org/oclc/851391469|title=बीजगणितीय संख्या सिद्धांत|date=1999|publisher=Springer Berlin Heidelberg|isbn=978-3-662-03983-0|location=Berlin, Heidelberg|oclc=851391469}}</ref><sup>पृष्ठ 144</sup>


=== फ्रोबेनियस ===
=== फ्रोबेनियस ===
ध्यान दें कि दिया गया है <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}
: <math>\begin{align}
\frac{d}{dx}x^p - a &= p\cdot x^{p-1} \\
\frac{d}{dx}x^p - a &= p\cdot x^{p-1} \\
Line 203: Line 210:
& \equiv 0 \bmod p
& \equiv 0 \bmod p
\end{align}</math>
\end{align}</math>
इसलिए p-th की जड़ें <math>a</math> में मौजूद नहीं है <math>\mathbb{Z}_p</math>. के लिए <math>a = 1</math>, यह संकेत करता है <math>\mathbb{Z}_p</math> [[एकता की जड़]] नहीं हो सकती <math>\mu_p</math>.
इसलिए p-वें मूल <math>a</math> में उपस्थित नहीं है <math>\mathbb{Z}_p</math> के लिए <math>a = 1</math> है, यह संकेत करता है <math>\mathbb{Z}_p</math> [[एकता की जड़|एकता का मूल]] <math>\mu_p</math> नहीं हो सकता है।


=== एकता की जड़ें ===
=== एकता का मूल ===
हालांकि <math>p</math>-एकता की जड़ें निहित नहीं हैं <math>\mathbb{F}_p</math>, के समाधान हैं <math>x^p - x = x(x^{p-1} - 1)</math>. टिप्पणी
चूँकि एकता <math>p</math>-वें मूल में निहित नहीं हैं, <math>\mathbb{F}_p</math> के समाधान <math>x^p - x = x(x^{p-1} - 1)</math>हैं, टिप्पणी
: <math>\begin{align}
: <math>\begin{align}
\frac{d}{dx} x^p - x &= px^{p-1} - 1 \\
\frac{d}{dx} x^p - x &= px^{p-1} - 1 \\
&\equiv -1 \bmod p
&\equiv -1 \bmod p
\end{align}</math>
\end{align}</math>
कभी भी शून्य नहीं होता है, इसलिए यदि कोई समाधान मौजूद है, तो यह आवश्यक रूप से उठा लेता है <math>\mathbb{Z}_p</math>. क्योंकि फ्रोबेनियस देता है <math>a^p = a ,</math> सभी गैर-शून्य तत्व <math>\mathbb{F}_p^\times</math> समाधान हैं। वास्तव में एकता के यही मूल हैं {{nowrap|<math>\mathbb{Q}_p</math>.<ref>{{Cite web|title=Hensel's Lemma|url=https://kconrad.math.uconn.edu/blurbs/gradnumthy/hensel.pdf|last=Conrad|first=Keith|date=|website=|page=4|url-status=live|archive-url=|archive-date=|access-date=}}</ref>}}
कभी भी शून्य नहीं होता है, इसलिए यदि कोई समाधान उपस्थित है, तो यह आवश्यक रूप से <math>\mathbb{Z}_p</math> का उपयोग करता है। क्योंकि फ्रोबेनियस <math>a^p = a</math> देता है, सभी गैर-शून्य तत्व <math>\mathbb{F}_p^\times</math> समाधान हैं। वास्तव में एकता के यही मूल {{nowrap|<math>\mathbb{Q}_p</math>.<ref>{{Cite web|title=Hensel's Lemma|url=https://kconrad.math.uconn.edu/blurbs/gradnumthy/hensel.pdf|last=Conrad|first=Keith|date=|website=|page=4|url-status=live|archive-url=|archive-date=|access-date=}}</ref>}} हैं।


== हेन्सेल लिफ्टिंग ==
== हेन्सेल भारोत्तोलन ==


लेम्मा का उपयोग करके, कोई व्यक्ति बहुपद 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 मॉड्यूलो p<sup>k</sup> के मूल r को नए मूल s मॉड्यूलो p<sup>k+1</sup> में "लिफ्ट" किया जा सकता है, जैसे कि r ≡ s मॉड p<sup>k</sup> है (m = 1 लेकर; बड़ा m लेकर प्रेरण द्वारा अनुसरण करता है)। वास्तव में, मूल मॉड्यूल p<sup>k+1</sup> भी मूल मोडुलो p<sup>k</sup> है, इसलिए मूल मॉड्यूल p<sup>k+1</sup> वास्तव में मूल मॉड्यूलो p<sup>k</sup> की लिफ्टिंग हैं। नया मूल s r मॉड्यूलो p के सर्वांगसम है, इसलिए नया मूल <math>f'(s) \equiv f'(r) \not\equiv 0 \bmod p</math> भी संतुष्ट करता है। तो उठाने को दोहराया जा सकता है, और समाधान ''r<sub>k</sub>''  से प्रारंभ होता है <math>f(x) \equiv 0 \bmod p^k</math> हम समाधान ''rk''+1, ''rk''+2, ... का अनुक्रम प्राप्त कर सकते हैं, जो p की उत्तरोत्तर उच्च घातों के लिए समान सर्वांगसमता प्रदान करता है <math>f'(r_k) \not\equiv 0 \bmod p</math> प्रारंभिक मूल ''r''<sub>k</sub> के लिए है, इससे यह भी ज्ञात होता है कि f में मॉड p<sup>k की मूल संख्या उतनी ही है जितनी मॉड <sup>p<sup>k+1</sup> मॉड <sup>p<sup>k+2 या p की कोई अन्य उच्च शक्ति f मॉड p<sup>k के मूल सभी सरल हैं<sup><sup>।इस प्रक्रिया का क्या होता है यदि ''r'' साधारण मूल मॉड p नहीं है?
 
इस प्रक्रिया का क्या होता है यदि आर  साधारण रूट मोड पी नहीं है? कल्पना करना


:<math>f(r) \equiv 0 \bmod p^k  \quad \text{and} \quad f'(r) \equiv 0 \bmod p.</math>
:<math>f(r) \equiv 0 \bmod p^k  \quad \text{and} \quad f'(r) \equiv 0 \bmod p.</math>
तब <math>s \equiv r \bmod p^k </math> तात्पर्य <math>f(s) \equiv f(r) \bmod p^{k+1}.</math> वह है, <math>f(r + tp^k) \equiv f(r)\bmod p^{k+1} </math> सभी पूर्णांकों के लिए टी। इसलिए, हमारे पास दो मामले हैं:
तब <math>s \equiv r \bmod p^k </math> का तात्पर्य <math>f(s) \equiv f(r) \bmod p^{k+1}</math> है, वह <math>f(r + tp^k) \equiv f(r)\bmod p^{k+1} </math> सभी पूर्णांकों t के लिए है। इसलिए, हमारे निकट दो स्थिति हैं:


*अगर <math> f(r) \not\equiv 0 \bmod p^{k+1} </math> फिर f(x) modulo p की जड़ में r का कोई उठाव नहीं है<sup>के+1</sup>.
*यदि <math> f(r) \not\equiv 0 \bmod p^{k+1} </math> तब f(x) मॉडुलो p<sup>k+1</sup> के मूल में r का कोई उत्थान नहीं है।
*अगर <math>f(r) \equiv 0 \bmod p^{k+1} </math> फिर r से मापांक p तक की प्रत्येक लिफ्टिंग<sup>k+1</sup> f(x) modulo p का मूल है<sup>के+1</sup>.
*यदि <math>f(r) \equiv 0 \bmod p^{k+1} </math> तब r से मॉडुलो p<sup>k+1</sup> तक की प्रत्येक लिफ्टिंग f(x) मॉडुलो p<sup>k+1</sup> का मूल है।


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


<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>f(x) = x^2 +1</math> और ''r'' = 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 की कोई लिफ्टिंग ''f''(''x'') मॉड्यूलो 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> और ''r''  = 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 तक उपयोग कर सकते हैं, किन्तु वास्तव में हम कर सकते हैं, क्योंकि ''g''(1) 0 मॉड 8 है और ''g''(3) 0 मॉड 8 है, 1, 3, 5, और 7 मॉड 8 पर समाधान दे रहे हैं। इनमें से केवल g(1) और g(7) 0 मॉड 16 हैं, हम केवल 1 और 7 को मॉडुलो 16 तक उपयोग कर सकते हैं, 1, 7, 9 और 15 मॉड 16 दे रहे हैं। इनमें से केवल 7 और 9 g(x) = 0 मॉड 32 देते हैं, इसलिए इन्हें 7, 9, 23, और 25 मॉड 32 देते हुए उपयोग किया जा सकता है। यह ज्ञात हुआ है कि प्रत्येक पूर्णांक k ≥ 3 के लिए है। वहाँ ''g''(''x'') मॉड 2<sup>k</sup> की मूल में 1 मॉड 2 की चार लिफ्टिंग हैं।


== पी-एडिक नंबरों के लिए हेन्सेल लेम्मा ==
== ''p''-एडिक संख्याओं के लिए हेन्सेल लेम्मा ==
में {{mvar|p}}-ऐडिक संख्याएँ, जहाँ हम p की परिमेय संख्या मॉड्यूलो शक्तियों का बोध करा सकते हैं जब तक कि भाजक p का गुणज न हो, r से पुनरावर्तन<sub>k</sub>(रूट्स मॉड पी<sup>k</sup>) से r<sub>''k''+1</sub> (रूट्स मॉड पी<sup>k+1</sup>) बहुत अधिक सहज तरीके से व्यक्त किया जा सकता है। t को एक(y) पूर्णांक चुनने के बजाय जो सर्वांगसमता को हल करता है
{{mvar|p}}-ऐडिक संख्याओं में, जहाँ हम p की परिमेय संख्या मॉड्यूलो शक्तियों का बोध करा सकते हैं जब तक कि भाजक p का गुणज न हो, r<sub>k</sub> (मूल मॉड p<sup>k</sup>) से r<sub>''k''+1</sub> (मूल मॉड p<sup>k+1</sup>) तक पुनरावर्तन अत्यधिक सरल प्रकार से व्यक्त किया जा सकता है। t को (y) पूर्णांक चयन करने के अतिरिक्त जो सर्वांगसमता का समाधान करता है:


:<math>tf'(r_k) \equiv -(f(r_k)/p^{k})\bmod p^m,</math>
:<math>tf'(r_k) \equiv -(f(r_k)/p^{k})\bmod p^m,</math>
मान लीजिए कि t परिमेय संख्या है (p<sup>k</sup> यहाँ वास्तव में हर नहीं है क्योंकि f(r<sub>k</sub>) p से विभाज्य है<sup>के </सुप>):
मान लीजिए कि t परिमेय संख्या है (यहाँ p<sup>k</sup> वास्तव में भाजक नहीं है क्योंकि f(r<sub>k</sub>) p से विभाज्य है:


:<math>-(f(r_k)/p^{k})/f'(r_k).</math>
:<math>-(f(r_k)/p^{k})/f'(r_k).</math>
फिर सेट करें
तब व्यवस्थित करें:


:<math>r_{k+1} = r_k + tp^k = r_k - \frac{f(r_k)}{f'(r_k)}.</math>
:<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}}-एडिक पूर्णांक है, और संख्याओं का क्रम r<sub>k</sub> {{mvar|p}}-ऐडिक पूर्णांक f(x) = 0 की मूल में परिवर्तित हो जाता है। इसके अतिरिक्त, r<sub>k</sub> के संदर्भ में (नई) संख्या r<sub>''k''+1</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}}-एडिक्स में सीधे कार्य करके और पी-एडिक निरपेक्ष मान का उपयोग करके, हेन्सेल के लेम्मा का संस्करण है जिसे तब भी प्रारम्भ किया जा सकता है जब हम f(a) ≡ 0 मॉड p के समाधान से प्रारंभ करते हैं जैसे कि <math>f'(a)\equiv 0 \bmod p.</math> हमें केवल संख्या सुनिश्चित करने की आवश्यकता है <math>f'(a)</math> बिल्कुल 0 नहीं है। यह अधिक सामान्य संस्करण इस प्रकार है: यदि कोई पूर्णांक a है जो संतुष्ट करता है:


:<math>|f(a)|_p < |f'(a)|_p^2,</math>
:<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}}-एडिक पूर्णांक b ऐसे f(b) = 0 और <math>|b-a|_p <|f'(a)|_p.</math> है। b का निर्माण यह दिखाने के समान है कि न्यूटन की विधि से प्रारंभिक मान के साथ पुनरावर्तन a में अभिसरित होता है {{mvar|p}}-एडिक और हम 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 मॉड 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> है। यदि ''r'' मॉड्यूल ''p'' का वर्ग मूल है तो:


: <math>f(r) = r^2 - a \equiv 0 \bmod p \quad \text{and} \quad f'(r) = 2r \not\equiv 0 \bmod p,</math>
: <math>f(r) = r^2 - a \equiv 0 \bmod p \quad \text{and} \quad f'(r) = 2r \not\equiv 0 \bmod p,</math>
जहां दूसरी स्थिति इस तथ्य पर निर्भर करती है कि p विषम है। हेंसल की लेम्मा का मूल संस्करण हमें बताता है कि r से शुरू होता है<sub>1</sub> = आर हम पुनरावर्ती रूप से पूर्णांकों के अनुक्रम का निर्माण कर सकते हैं <math>\{r_k\}</math> ऐसा है कि:
जहां दूसरी स्थिति इस तथ्य पर निर्भर करती है कि p विषम है। हेंसल की लेम्मा का मूल संस्करण हमें बताता है कि r<sub>1</sub> = r से प्रारंभ करके हम पुनरावर्ती रूप से पूर्णांकों <math>\{r_k\}</math> के अनुक्रम का निर्माण कर सकते हैं, जैसे:


: <math>r_{k+1} \equiv r_k \bmod p^k, \quad r_k^2 \equiv a \bmod p^k. </math>
: <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}}-ऐडिक पूर्णांक b में परिवर्तित होता है जो b<sup>2</sup> = a को संतुष्ट करता है। वास्तव में, b, a का अद्वितीय वर्गमूल <math>\Z_p</math> है, ''r''<sub>1</sub> मॉडुलो ''p'' के अनुरूप है। इसके विपरीत, यदि a का पूर्ण वर्ग <math>\Z_p</math> है और यह p से विभाज्य नहीं है तो यह अशून्य द्विघात अवशेष मॉड p है। ध्यान दें कि [[द्विघात पारस्परिकता कानून|द्विघात पारस्परिकता नियम]] किसी को सरलता से परीक्षण करने की अनुमति देता है कि क्या गैर-शून्य द्विघात अवशेष मॉड p है, इस प्रकार हमें यह निर्धारित करने का व्यावहारिक प्रकार मिलता है कि कौन सा {{mvar|p}}-एडिक संख्या (p विषम के लिए) में {{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}
:<math>\begin{align}
Line 265: Line 270:
f'(r_1) &=2r_1=6  
f'(r_1) &=2r_1=6  
\end{align}</math>
\end{align}</math>
जिसके आधार पर अभिव्यक्ति
जिसके आधार पर अभिव्यक्ति,


:<math>tf'(r_1) \equiv -(f(r_1)/p^k)\bmod p,</math>
:<math>tf'(r_1) \equiv -(f(r_1)/p^k)\bmod p,</math>
में बदल जाता हुँ:
में परिवर्तित हो जाती है:


:<math>t\cdot 6 \equiv -1\bmod 7</math>
:<math>t\cdot 6 \equiv -1\bmod 7</math>
जो ये दर्शाता हे <math>t = 1.</math> अब:
जो <math>t = 1</math> दर्शाता है, अब:


:<math>r_2 = r_1 + tp^1 = 3+1 \cdot 7 = 10 = 13_7.</math>
:<math>r_2 = r_1 + tp^1 = 3+1 \cdot 7 = 10 = 13_7.</math>
और यकीन मानिए, <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>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>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 (मॉड 7) के अतिरिक्त 4 (मॉड 7) के अनुरूप है और वास्तव में यह दूसरा वर्गमूल पूर्व वर्गमूल का ऋणात्मक होगा (जो 4 = −3 मॉड 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>
:<math>|f(a)|_2 < |f'(a)|_2^2,</math>
जिसका अर्थ है कि अद्वितीय 2-एडिक पूर्णांक बी संतोषजनक है
जिसका अर्थ है कि अद्वितीय 2-एडिक पूर्णांक ''b'' संतोषजनक है:


:<math>b^2 = 17 \quad \text{and} \quad |b-a|_2 < |f'(a)|_2 = \frac{1}{2},</math>
:<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 मॉड 4. 2-एडिक पूर्णांकों में 17 के दो वर्गमूल हैं, जो चिह्न से भिन्न हैं, और चूँकि वे सर्वांगसम मॉड 2 हैं, वे सर्वांगसम मॉड 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 से शुरू होने वाली लिफ्ट इस प्रकार हैं:
मूलों की लिफ्टिंग की स्थिति में <math>x^2-17</math> मापांक 2 से<sup>k 2<sup>k<sup>+1  तक, मूल 1 मॉड 2 से प्रारंभ  होने वाली लिफ्ट इस प्रकार हैं:


: 1 मॉड 2 → 1, 3 मॉड 4
: 1 मॉड 2 → 1, 3 मॉड 4
: 1 मॉड 4 → 1, 5 मॉड 8 और 3 मॉड 4 → 3, 7 मॉड 8
: 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 तक नहीं उठाते हैं
: 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 तक नहीं उठाते हैं।
:9 मॉड 16 → 9, 25 मॉड 32 और 7 मॉड 16 → 7, 23 मॉड 16, जबकि 1 मॉड 16 और 15 मॉड 16 मूल मॉड 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</उप>।
: 9 = 1 + 2<sup>3</sup> और 25 = 1 + 2<sup>3</sup> + 2<sup>4
: 7 = 1 + 2 + 2<sup>2</sup> और 23 = 1 + 2 + 2<sup>2</sup> + 2<sup>4</उप>।
: 7 = 1 + 2 + 2<sup>2</sup> और 23 = 1 + 2 + 2<sup>2</sup> + 2<sup>4


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


:<math>1 + 2^3 +2^5 +2^6 +2^7 +2^9 + 2^{10} + \cdots </math>
:<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>
:<math>1 + 2 + 2^2 + 2^4 + 2^8 + 2^{11} + \cdots </math>
और उदाहरण जहां हम हेंसल लेम्मा के अधिक सामान्य संस्करण का उपयोग कर सकते हैं, लेकिन मूल संस्करण का नहीं, यह प्रमाण है कि कोई भी 3-एडिक पूर्णांक c ≡ 1 mod घन है <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 मॉड 9  <math>\Z_3</math>घन है।मान लीजिये  <math>f(x) =x^3-c</math> और प्रारंभिक सन्निकटन a = 1 लें। मूलभूत हेन्सेल लेम्मा का उपयोग f(x) के मूलों का शोध करने के लिए नहीं किया जा सकता है क्योंकि <math>f'(r)\equiv 0 \bmod 3</math> प्रत्येक ''r'' के लिए हैं। हेंसल के लेम्मा के सामान्य संस्करण को प्रस्तावित करने के लिए हम चाहते हैं <math>|f(1)|_3 <|f'(1)|_3^2,</math> तात्पर्य <math>c\equiv 1 \bmod 27.</math> अर्थात, यदि c ≡ 1 मॉड 27 है तो सामान्य हेन्सेल की लेम्मा हमें बताती है कि f(x) में 3-एडिक मूल है, इसलिए c 3-एडिक क्यूब है। चूँकि , हम इस परिणाम को कमजोर स्थिति के तहत चाहते थे कि c ≡ 1 मॉड 9 यदि c ≡ 1 मॉड 9 तो c ≡ 1, 10, या 19 मॉड 27 है। हम मूल्य के आधार पर सामान्य हेन्सेल के लेम्मा को तीन बार प्रस्तावित कर सकते हैं। c मॉड 27 : यदि c ≡ 1 मॉड 27 तो a = 1 का उपयोग करें, यदि c ≡ 10 मॉड 27 तो a = 4 का उपयोग करें (चूंकि 4 ''f''(''x'') मॉड 27 की मूल है), और यदि ''c'' ≡ 19 मॉड 27 फिर a = 7 का उपयोग करें। (यह सत्य नहीं है कि प्रत्येक c ≡ 1 मॉड 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>
:<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>
:<math>f(b) = 0 \quad \text{and} \quad b \equiv a \bmod{\mathfrak m}.</math>
इसके अलावा, अगर <math>f'(a)</math> शून्य-भाजक नहीं है तो b अद्वितीय है।
इसके अतिरिक्त, यदि <math>f'(a)</math> शून्य-भाजक नहीं है तो b अद्वितीय है।


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


: 'प्रमेय।' मान लीजिए 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> ''A'' पर ''n'' चर में ''n'' बहुपदों की प्रणाली हो। देखें <math>\mathbf{f} = (f_1, \ldots, f_n),</math> ''A<sup>n</sup>'' से स्वयं के मानचित्रण के रूप में, और मान लीजिए <math>J_{\mathbf{f}}(\mathbf{x})</math> इसके [[जैकबियन मैट्रिक्स|जैकबियन आव्यूह]] को दर्शाता है। मान लीजिए a = (''a''<sub>1</sub>, ..., a<sub>''n''</sub>) ∈ A<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>
::<math>f_i(\mathbf{a}) \equiv 0 \bmod (\det J_{\mathbf{f}}(a))^2 \mathfrak{m}, \qquad 1 \leqslant i \leqslant n.</math>
: तो कुछ है b = (''b''<sub>1</sub>, ..., बी<sub>''n''</sub>) ∈ <sup>n</sup> संतोषजनक 'f'('b') = '0', यानी,
: तो कुछ b = (''b''<sub>1</sub>, ..., ''b''<sub>''n''</sub>) ∈ A<sup>n</sup> संतोषजनक 'f'('b') = '0' है, अर्थात,


::<math>f_i(\mathbf{b}) =0, \qquad 1 \leqslant i \leqslant n.</math>
::<math>f_i(\mathbf{b}) =0, \qquad 1 \leqslant i \leqslant n.</math>
: इसके अलावा यह समाधान इस अर्थ में करीब है कि
: इसके अतिरिक्त  यह समाधान इस अर्थ में है कि,


::<math>b_i \equiv a_i \bmod \det J_{\mathbf{f}}(a) \mathfrak{m}, \qquad 1 \leqslant i \leqslant n.</math>
::<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> सभी i के लिए <math>\det J_{\mathbf{f}}(\mathbf{a})</math> A में इकाई है तो '<nowiki/>'''f'''<nowiki/>'(''''b'''<nowiki/>') = '0' के साथ  समाधान है, सभी i के लिए <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 में [[गोरो आर्बर|गोरो अज़ुमाया]] ने [[हेंसेलियन रिंग|हेंसेलियन वलय]] होने के लिए अधिकतम आदर्श '''m''' के लिए हेन्सेलियन संपत्ति को संतुष्ट करने वाले क्रमविनिमेय [[ स्थानीय अंगूठी |स्थानीय वलय]] को परिभाषित किया।


[[न्यायमूर्ति नगाटा]] ने 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 के दशक में प्रमाणित किया कि अधिकतम आदर्श '''m''' के साथ किसी भी क्रमविनिमेय स्थानीय वलय ''A'' के लिए सदैव छोटा वलय ''A''<sup>h</sup> होता है जिसमें A होता है जैसे कि ''A<sup>h</sup>'' '''m'''''A''<sup>h</sup> के संबंध में हेन्सेलियन है। यदि ''A'' [[नोथेरियन रिंग|नोथेरियन]] है।


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


Line 348: Line 353:
* {{Citation | last=Eisenbud | first=David | authorlink=David Eisenbud | title=Commutative algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94269-8 |mr=1322960 | year=1995 | volume=150 | doi=10.1007/978-1-4612-5350-1}}
* {{Citation | last=Eisenbud | first=David | authorlink=David Eisenbud | title=Commutative algebra | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-94269-8 |mr=1322960 | year=1995 | volume=150 | doi=10.1007/978-1-4612-5350-1}}
* {{Citation | last=Milne | first=J. G. | title=Étale cohomology | publisher=[[Princeton University Press]] | isbn=978-0-691-08238-7 | year=1980 | url-access=registration | url=https://archive.org/details/etalecohomology00miln }}
* {{Citation | last=Milne | first=J. G. | title=Étale cohomology | publisher=[[Princeton University Press]] | isbn=978-0-691-08238-7 | year=1980 | url-access=registration | url=https://archive.org/details/etalecohomology00miln }}
[[Category: मॉड्यूलर अंकगणित]] [[Category: क्रमविनिमेय बीजगणित]] [[Category: बीजगणित में नींबू]]


[[Category: Machine Translated Page]]
[[Category:All articles with unsourced statements]]
[[Category:Articles with unsourced statements from July 2021]]
[[Category:CS1 maint]]
[[Category:Created On 18/05/2023]]
[[Category:Created On 18/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:क्रमविनिमेय बीजगणित]]
[[Category:बीजगणित में नींबू]]
[[Category:मॉड्यूलर अंकगणित]]

Latest revision as of 16:26, 30 October 2023

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

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

इन परिणामों को व्यापक रूप से सामान्यीकृत किया गया है, एक ही नाम के अनुसार, बहुपदों की स्थिति में इच्छानुसार रूप से क्रमविनिमेय वलय पर, जहां p को आदर्श द्वारा प्रतिस्थापित किया जाता है, और सहअभाज्य बहुपद का तात्पर्य बहुपद होता है जो आदर्श युक्त 1 उत्पन्न करते हैं।

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

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

मॉड्यूलर अल्पता और भारोत्तोलन

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

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

मान लीजिये R क्रमविनिमेय वलय है, और I, R आदर्श है। न्यूनीकरण मॉड्यूल I, के प्रत्येक तत्व को विहित मानचित्र के अंतर्गत इसकी छवि द्वारा प्रतिस्थापित करने के लिए संदर्भित करता है R उदाहरण के लिए, यदि में गुणांकों वाला बहुपद R है, इसका अल्पता मोडुलो I, निरूपित में बहुपद है। f के गुणांकों को उनकी छवि प्रतिस्थापित करके प्राप्त किया गया। दो बहुपद f और g में सर्वांगसम मॉड्यूल I हैं, जिन्हें द्वारा निरूपित किया गया है यदि उनके गुणांक मॉड्यूल I समान हैं, अर्थात यदि है। यदि का गुणनखंडन h मापांक I में दो (या अधिक) बहुपद f, g होते हैं जैसे कि हैं।

लिफ्टिंग की प्रक्रिया अल्पता के विपरीत है। अर्थात्, दी गई गणितीय वस्तु के तत्वों पर निर्भर करती है लिफ्टिंग की प्रक्रिया इन तत्वों को तत्वों द्वारा प्रतिस्थापित करती है (या का कुछ के लिए k > 1) जो उन्हें इस प्रकार से मानचित्र करता है जो वस्तुओं के गुणों को बनाए रखता है।

उदाहरण के लिए, बहुपद दिया और गुणनखंड मॉड्यूल I इसके रूप में बताया गया इस गुणनखंड मॉड्यूल को उठाना बहुपद शोध करने के लिए होते हैं ऐसा है कि और हेंसल की लेम्मा का प्रमाणित है कि हल्की परिस्थितियों में इस प्रकार की लिफ्टिंग सदैव संभव है; अगला भाग देखें।

कथन

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

मान लीजिये क्रमविनिमेय वलय R का उच्चिष्ठ आदर्श हो, और

में बहुपद हो। अग्रणी गुणांक के साथ के अंदर नही है।

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

हेंसल की लेम्मा प्रमाणित करती है कि h मोडुलो का प्रत्येक गुणनखंड सहअभाज्य बहुपदों में विभिन्न प्रकार से गुणनखंड मॉड्यूल में उपयोग किया जा सकता है। प्रत्येक के लिए k है।

अधिक त्रुटिहीन रूप से, उपरोक्त परिकल्पनाओं के साथ, यदि जहाँ f और g मोनिक और सहअभाज्य बहुपद मोडुलो हैं, तो प्रत्येक सकारात्मक पूर्णांक k के लिए मोनिक बहुपद होते हैं और ऐसा है कि:

और और अद्वितीय हैं (इन गुणों के साथ) मोडुलो होता है।

सरल मूल भारोत्तोलन

महत्वपूर्ण विशेष स्थिति है जब होता है। इस स्थिति में कोप्रिमेलिटी परिकल्पना का अर्थ है कि r सरल मूल है। यह हेन्सेल की लेम्मा की निम्नलिखित विशेष स्थिति है, जिसे प्रायः हेन्सेल की लेम्मा भी कहा जाता है।

उपरोक्त परिकल्पनाओं और नोटेशन के साथ, यदि r सरल मूल है। तब r का विभिन्न प्रकार से सरल मूल तक उपयोग किया जा सकता है। प्रत्येक सकारात्मक पूर्णांक n के लिए होता है। स्पष्ट रूप से, प्रत्येक सकारात्मक पूर्णांक n के लिए, अद्वितीय होता है ऐसा है कि और का सरल मूल होता है।

आदि पूर्णता के लिए भारोत्तोलन

तथ्य यह है कि कोई उपयोग किया जा सकता है। प्रत्येक सकारात्मक पूर्णांक के लिए n सीमा तक जाने का सुझाव देता है जब n अनंत की ओर जाता है। यह p-एडिक पूर्णांक को प्रस्तुत करने के लिए मुख्य प्रेरणाओं में से था।

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

प्रमाण

हेन्सेल की लेम्मा सामान्यतः कारककरण को ऊपर उठाकर वृद्धिशील रूप से सिद्ध होती है या तो गुणनखंड समाप्त करने के लिए (रेखीय भारोत्तोलन) या गुणनखंड खत्म (द्विघात भारोत्तोलन) होता है।

प्रमाण का मुख्य घटक यह है कि क्षेत्र पर सह प्रमुख बहुपद बेज़ाउट की पहचान को संतुष्ट करते हैं। अर्थात यदि f और g क्षेत्र पर सहप्रमुख अविभाज्य बहुपद हैं (यहाँ ), बहुपद हैं a और b ऐसा है कि और

बेज़ाउट की पहचान सहअभाज्य बहुपदों को परिभाषित करने और हेंसल के लेम्मा को प्रमाणित करने की अनुमति देता है, भले ही आदर्श अधिकतम नहीं है। इसलिए, निम्नलिखित उपपत्तियों में, क्रमविनिमेय वलय R आदर्श I, बहुपद से प्रारंभ होता है, जिसमें प्रमुख गुणांक है जो विपरीत मॉड्यूलो I है (जो कि इसकी छवि है में इकाई है), और h मॉड्यूलो I या मॉड्यूलो की शक्ति I का गुणनखंडन, जैसे कि कारक बेज़ाउट की पहचान मॉड्यूल I को संतुष्ट करते हैं। इन प्रमाणों में, का तात्पर्य है।

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

मान लीजिये I क्रमविनिमेय वलय R का आदर्श है, और R में गुणांकों के साथ अविभाजित बहुपद हो जिसका प्रमुख गुणांक है जो विपरीत मॉड्यूलो I है(अर्थात, छवि में इकाई है ).

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

ऐसा है कि f और g मोनिक बहुपद हैं जो सहअभाज्य मोडुलो I हैं, इस अर्थ में कि वहाँ उपस्थित है जैसे कि तब, बहुपद हैं, जैसे कि और

इन नियमों के अंर्तगत, और अद्वितीय मॉड्यूलो हैं, इसके अतिरिक्त, और बेज़ाउट की पहचान f और g को संतुष्ट करते हैं, वह है,

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

निम्नलिखित प्रमाण कंप्यूटिंग के लिए लिखा गया है और में गुणांक वाले केवल बहुपदों का उपयोग करके या है। जब और यह केवल पूर्णांक मॉड्यूलो p में परिवर्तन करने की अनुमति देता है।

प्रमाण: परिकल्पना द्वारा, विपरीत मॉड्यूलो I है। इसका तात्पर्य है कि और उपस्थित है, जैसे कि है।

मान लीजिये डिग्री से अल्प है कि

(कोई चयन कर सकता है, किन्तु अन्य विकल्पों से सरल संगणनाएँ हो सकती हैं। उदाहरण के लिए, यदि और यह संभव है और चयन करना उत्तम है जहां के गुणांक अंतराल में पूर्णांक हैं।)

जैसा g मोनिक है, बहुपदों का यूक्लिडियन विभाजन द्वारा g परिभाषित है, और q और c प्रदान करता है जैसे कि और है, इसके अतिरिक्त दोनों q और c में हैं। इसी प्रकार, मान लीजिये साथ और किसी के निकट वास्तव में है:

जैसा मोनिक है, डिग्री मोडुलो का से अल्प हो सकता है केवल यदि है।

इस प्रकार, सर्वांगसमता मॉड्यूल पर विचार करते हुए किसी के निकट है।

तो, अस्तित्व के प्रमाण के साथ सत्यापित किया गया है:

विशिष्टता

मान लीजिये R, I, h और पूर्व खंड में के रूप में है। मान लीजिये

सहअभाज्य बहुपदों (उपरोक्त अर्थों में) में गुणनखंड हो, जैसे के लिए रैखिक उठाने का आवेदन का अस्तित्व दर्शाता है और ऐसा है कि और

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

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

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

और इस प्रकार है:

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

प्रेरण परिकल्पना का पुनः उपयोग करना।

कोप्रिमेलिटी मॉड्यूलो I के अस्तित्व का तात्पर्य है ऐसा है कि आगमन परिकल्पना का फिर प्रयोग करने पर, प्राप्त होता है:

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

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

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

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

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

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

ऐसा है कि f और g मोनिक बहुपद हैं जो सहअभाज्य मोडुलो हैं I, इस अर्थ में कि वहाँ उपस्थित है ऐसा है कि फिर, बहुपद हैं ऐसा है कि और

इसके अतिरिक्त, और बेज़ाउट के रूप की पहचान को संतुष्ट करें:

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

प्रमाण: प्रथम अभिकथन वास्तव में आदर्श के लिए k = 1 के साथ प्रस्तावित रैखिक उत्तोलन होता है I के अतिरिक्त है।

मान लीजिये होता है। किसी के निकट है।

जहाँ

सेटिंग और मिलता है।

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

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

मान लीजिये होता है।

मॉडुलो 2, हेंसल की लेम्मा को अल्प करने के पश्चात से प्रारम्भ नहीं किया जा सकता है मॉड्यूलो 2 है।[1]पृष्ठ 15-16

6 कारकों के साथ एक दूसरे के लिए अपेक्षाकृत प्रमुख नहीं है।आइज़ेंस्टीन के परिक्षण से चूँकि, यह निष्कर्ष निकाला जा सकता है कि बहुपद में अलघुकरणीय है:

ऊपर , दूसरी ओर है:

जहाँ 2 इंच का वर्गमूल है। क्योंकि 4 घन नहीं है ये दो कारक समाप्त हो गए हैं। इसलिए का पूर्ण गुणनखंड में और है।

जहाँ 2 इंच का वर्गमूल है, जिसे उपरोक्त गुणनखंड को विस्थापित करके प्राप्त किया जा सकता है।
अंत में, बहुपद विभाजित हो जाता है:

सभी कारकों के साथ एक दूसरे के लिए अपेक्षाकृत प्रमुख हैं, जिससे कि अंदर और 6 कारक हैं (गैर-तर्कसंगत) 727-एडिक पूर्णांकों के साथ है।

मूल भारोत्तोलन के लिए डेरिवेटिव का उपयोग करना

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

तब, प्रत्येक के लिए वहाँ पूर्णांक s उपस्थित है जैसे कि,

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

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

ध्यान दें कि जिससे कि प्राप्त हुआ है। यदि , तब 0, 1, या कई s उपस्थित हो सकते हैं (नीचे हेन्सल लिफ्टिंग देखें)।

व्युत्पत्ति

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

हम देखते हैं कि s - r = tpk किसी पूर्णांक t के लिए होता है। मान लीजिये,

के लिए इस प्रकार है:

धारणा है कि p से विभाज्य नहीं है यह सुनिश्चित करता है विपरीत मोड है जो अनिवार्य रूप से अद्वितीय है। इसलिए t के लिए समाधान अद्वितीय रूप से उपस्थित है, और s विशिष्ट मॉड्यूलो अद्वितीय रूप से उपस्थित है।

अवलोकन

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

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

ऐसा है कि , तब

विशेष रूप से, के लिए, हम प्राप्त करते है:

किन्तु , इसलिए बहुपद अलघुकरणीय नहीं हो सकता। जबकि में हमारे निकट दोनों मूल्य सहमत हैं, जिसका अर्थ है कि बहुपद अप्रासंगिक हो सकता है। इरेड्यूसबिलिटी निर्धारित करने के लिए, न्यूटन बहुभुज को नियोजित किया जाना चाहिए।[2]पृष्ठ 144

फ्रोबेनियस

ध्यान दें कि दिया गया है फ्रोबेनियस एंडोमोर्फिज्म बहुपद देता है जिसका सदैव शून्य व्युत्पन्न होता है:

इसलिए p-वें मूल में उपस्थित नहीं है के लिए है, यह संकेत करता है एकता का मूल नहीं हो सकता है।

एकता का मूल

चूँकि एकता -वें मूल में निहित नहीं हैं, के समाधान हैं, टिप्पणी

कभी भी शून्य नहीं होता है, इसलिए यदि कोई समाधान उपस्थित है, तो यह आवश्यक रूप से का उपयोग करता है। क्योंकि फ्रोबेनियस देता है, सभी गैर-शून्य तत्व समाधान हैं। वास्तव में एकता के यही मूल .[3] हैं।

हेन्सेल भारोत्तोलन

लेम्मा का उपयोग करके, बहुपद f मॉड्यूलो pk के मूल r को नए मूल s मॉड्यूलो pk+1 में "लिफ्ट" किया जा सकता है, जैसे कि r ≡ s मॉड pk है (m = 1 लेकर; बड़ा m लेकर प्रेरण द्वारा अनुसरण करता है)। वास्तव में, मूल मॉड्यूल pk+1 भी मूल मोडुलो pk है, इसलिए मूल मॉड्यूल pk+1 वास्तव में मूल मॉड्यूलो pk की लिफ्टिंग हैं। नया मूल s r मॉड्यूलो p के सर्वांगसम है, इसलिए नया मूल भी संतुष्ट करता है। तो उठाने को दोहराया जा सकता है, और समाधान rk से प्रारंभ होता है हम समाधान rk+1, rk+2, ... का अनुक्रम प्राप्त कर सकते हैं, जो p की उत्तरोत्तर उच्च घातों के लिए समान सर्वांगसमता प्रदान करता है प्रारंभिक मूल rk के लिए है, इससे यह भी ज्ञात होता है कि f में मॉड pk की मूल संख्या उतनी ही है जितनी मॉड pk+1 मॉड pk+2 या p की कोई अन्य उच्च शक्ति f मॉड pk के मूल सभी सरल हैं।इस प्रक्रिया का क्या होता है यदि r साधारण मूल मॉड p नहीं है?

तब का तात्पर्य है, वह सभी पूर्णांकों t के लिए है। इसलिए, हमारे निकट दो स्थिति हैं:

  • यदि तब f(x) मॉडुलो pk+1 के मूल में r का कोई उत्थान नहीं है।
  • यदि तब r से मॉडुलो pk+1 तक की प्रत्येक लिफ्टिंग f(x) मॉडुलो pk+1 का मूल है।

'उदाहरण'- दोनों स्थितियों को देखने के लिए हम p = 2 के साथ दो भिन्न-भिन्न बहुपदों का परिक्षण करते हैं:

और r = 1 तब और है। जिसका तात्पर्य है कि मॉड्यूल 4 में 1 की कोई लिफ्टिंग f(x) मॉड्यूलो 4 की मूल नहीं है।

और r = 1 तब और है। चूँकि, तब से हम अपने समाधान को मॉड्यूलस 4 तक उपयोग कर सकते हैं और दोनों लिफ्ट (अर्थात 1, 3) समाधान हैं। व्युत्पन्न अभी भी 0 मॉड्यूल 2 है, इसलिए प्राथमिकता हम नहीं जानते कि क्या हम उन्हें मॉड्यूल 8 तक उपयोग कर सकते हैं, किन्तु वास्तव में हम कर सकते हैं, क्योंकि g(1) 0 मॉड 8 है और g(3) 0 मॉड 8 है, 1, 3, 5, और 7 मॉड 8 पर समाधान दे रहे हैं। इनमें से केवल g(1) और g(7) 0 मॉड 16 हैं, हम केवल 1 और 7 को मॉडुलो 16 तक उपयोग कर सकते हैं, 1, 7, 9 और 15 मॉड 16 दे रहे हैं। इनमें से केवल 7 और 9 g(x) = 0 मॉड 32 देते हैं, इसलिए इन्हें 7, 9, 23, और 25 मॉड 32 देते हुए उपयोग किया जा सकता है। यह ज्ञात हुआ है कि प्रत्येक पूर्णांक k ≥ 3 के लिए है। वहाँ g(x) मॉड 2k की मूल में 1 मॉड 2 की चार लिफ्टिंग हैं।

p-एडिक संख्याओं के लिए हेन्सेल लेम्मा

p-ऐडिक संख्याओं में, जहाँ हम p की परिमेय संख्या मॉड्यूलो शक्तियों का बोध करा सकते हैं जब तक कि भाजक p का गुणज न हो, rk (मूल मॉड pk) से rk+1 (मूल मॉड pk+1) तक पुनरावर्तन अत्यधिक सरल प्रकार से व्यक्त किया जा सकता है। t को (y) पूर्णांक चयन करने के अतिरिक्त जो सर्वांगसमता का समाधान करता है:

मान लीजिए कि t परिमेय संख्या है (यहाँ pk वास्तव में भाजक नहीं है क्योंकि f(rk) p से विभाज्य है:

तब व्यवस्थित करें:

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

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

तो अद्वितीय p-एडिक पूर्णांक b ऐसे f(b) = 0 और है। b का निर्माण यह दिखाने के समान है कि न्यूटन की विधि से प्रारंभिक मान के साथ पुनरावर्तन a में अभिसरित होता है p-एडिक और हम b को सीमा मानते हैं। नियम के अनुकूल मूल के रूप में b की विशिष्टता अतिरिक्त कार्य की आवश्यकता है।

ऊपर दिया गया हेंसल लेम्मा का कथन () इस अधिक सामान्य संस्करण की विशेष स्थिति है, क्योंकि नियम हैं कि f(a) ≡ 0 मॉड p और , और है।

उदाहरण

मान लीजिए कि p विषम अभाज्य संख्या है और a गैर-शून्य द्विघात अवशेष सापेक्ष p है। तब हेंसल की लेम्मा का अर्थ है कि a का p-ऐडिक पूर्णांक के वलय में वर्गमूल है। वास्तव में, मान लीजिये है। यदि r मॉड्यूल p का वर्ग मूल है तो:

जहां दूसरी स्थिति इस तथ्य पर निर्भर करती है कि p विषम है। हेंसल की लेम्मा का मूल संस्करण हमें बताता है कि r1 = r से प्रारंभ करके हम पुनरावर्ती रूप से पूर्णांकों के अनुक्रम का निर्माण कर सकते हैं, जैसे:

यह क्रम किसी p-ऐडिक पूर्णांक b में परिवर्तित होता है जो b2 = a को संतुष्ट करता है। वास्तव में, b, a का अद्वितीय वर्गमूल है, r1 मॉडुलो p के अनुरूप है। इसके विपरीत, यदि a का पूर्ण वर्ग है और यह p से विभाज्य नहीं है तो यह अशून्य द्विघात अवशेष मॉड p है। ध्यान दें कि द्विघात पारस्परिकता नियम किसी को सरलता से परीक्षण करने की अनुमति देता है कि क्या गैर-शून्य द्विघात अवशेष मॉड p है, इस प्रकार हमें यह निर्धारित करने का व्यावहारिक प्रकार मिलता है कि कौन सा p-एडिक संख्या (p विषम के लिए) में p-एडिक वर्गमूल है, और हेन्सल के लेम्मा के अधिक सामान्य संस्करण का उपयोग करके केस p = 2 को कवर करने के लिए इसे बढ़ाया जा सकता है (17 के 2-एडिक वर्गमूल के साथ उदाहरण अंत में दिया गया है)।

उपरोक्त वर्णन को और अधिक स्पष्ट करने के लिए, आइए हम 2 का वर्गमूल (इसका समाधान) ) 7-एडिक पूर्णांकों में ज्ञात करें। मोडुलो 7 समाधान 3 है (हम 4 भी ले सकते हैं), इसलिए हम व्यवस्थित करते हैं। हेन्सेल की लेम्मा तब हमें ज्ञात करने की अनुमति देती है, जब इस प्रकार है:

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

में परिवर्तित हो जाती है:

जो दर्शाता है, अब:

और मान लीजिये होता है। (यदि हमने 7-एडिक्स में सीधे न्यूटन विधि पुनरावर्तन का उपयोग किया था, तब और होता है।)

हम निरंतर रख सकते हैं और ज्ञात कर सकते हैं, प्रत्येक बार जब हम गणना करते हैं (अर्थात, k के प्रत्येक क्रमिक मान के लिए), 7 की अगली उच्च शक्ति के लिए और आधार 7 अंक जोड़ा जाता है। 7-एडिक पूर्णांकों में यह क्रम अभिसरित होता है, और सीमा 2 इंच का वर्गमूल है। जिसमें प्रारंभिक 7-एडिक विस्तार है:

यदि हमने प्रारंभिक रूचि से प्रारंभ की है, तो हेन्सेल की लेम्मा 2 इंच का वर्गमूल उत्पन्न करेगी जो 3 (मॉड 7) के अतिरिक्त 4 (मॉड 7) के अनुरूप है और वास्तव में यह दूसरा वर्गमूल पूर्व वर्गमूल का ऋणात्मक होगा (जो 4 = −3 मॉड 7 के अनुरूप है)।

उदाहरण के रूप में जहां हेंसल के लेम्मा का मूल संस्करण मान्य नहीं है, किन्तु अधिक सामान्य है, मान लीजिये और होता है, तब और है, इसलिए:

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

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

मूलों की लिफ्टिंग की स्थिति में मापांक 2 सेk 2k+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 मॉड 16 → 9, 25 मॉड 32 और 7 मॉड 16 → 7, 23 मॉड 16, जबकि 1 मॉड 16 और 15 मॉड 16 मूल मॉड 32 तक नहीं उठाते हैं।

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

9 = 1 + 23 और 25 = 1 + 23 + 24
7 = 1 + 2 + 22 और 23 = 1 + 2 + 22 + 24

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

और उदाहरण जहां हम हेंसल लेम्मा के अधिक सामान्य संस्करण का उपयोग कर सकते हैं, किन्तु मूल संस्करण का नहीं, यह प्रमाण है कि कोई भी 3-एडिक पूर्णांक c ≡ 1 मॉड 9 घन है।मान लीजिये और प्रारंभिक सन्निकटन a = 1 लें। मूलभूत हेन्सेल लेम्मा का उपयोग f(x) के मूलों का शोध करने के लिए नहीं किया जा सकता है क्योंकि प्रत्येक r के लिए हैं। हेंसल के लेम्मा के सामान्य संस्करण को प्रस्तावित करने के लिए हम चाहते हैं तात्पर्य अर्थात, यदि c ≡ 1 मॉड 27 है तो सामान्य हेन्सेल की लेम्मा हमें बताती है कि f(x) में 3-एडिक मूल है, इसलिए c 3-एडिक क्यूब है। चूँकि , हम इस परिणाम को कमजोर स्थिति के तहत चाहते थे कि c ≡ 1 मॉड 9 यदि c ≡ 1 मॉड 9 तो c ≡ 1, 10, या 19 मॉड 27 है। हम मूल्य के आधार पर सामान्य हेन्सेल के लेम्मा को तीन बार प्रस्तावित कर सकते हैं। c मॉड 27 : यदि c ≡ 1 मॉड 27 तो a = 1 का उपयोग करें, यदि c ≡ 10 मॉड 27 तो a = 4 का उपयोग करें (चूंकि 4 f(x) मॉड 27 की मूल है), और यदि c ≡ 19 मॉड 27 फिर a = 7 का उपयोग करें। (यह सत्य नहीं है कि प्रत्येक c ≡ 1 मॉड 3 3-एडिक क्यूब है, उदाहरण के लिए, 4 3-एडिक क्यूब नहीं है क्योंकि यह क्यूब मॉड 9 नहीं है।)

इसी प्रकार, कुछ प्रारंभिक कार्य के पश्चात, हेंसल की लेम्मा का उपयोग यह दिखाने के लिए किया जा सकता है कि किसी भी विषम अभाज्य संख्या p के लिए, कोई भी p-एडिक पूर्णांक c 1 मॉडुलो p2 के सर्वांगसम है p-वें घात है। (यह p = 2 के लिए असत्य है।)

सामान्यीकरण

मान लीजिए A क्रमविनिमेय वलय है, जो आदर्श के संबंध में पूर्ण है, और होता है, a ∈ A को f का अनुमानित मूल कहा जाता है, यदि

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

इसके अतिरिक्त, यदि शून्य-भाजक नहीं है तो b अद्वितीय है।

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

'प्रमेय' मान लीजिए A क्रमविनिमेय वलय है जो आदर्श के संबंध में पूर्ण है, मान लीजिये A पर n चर में n बहुपदों की प्रणाली हो। देखें An से स्वयं के मानचित्रण के रूप में, और मान लीजिए इसके जैकबियन आव्यूह को दर्शाता है। मान लीजिए a = (a1, ..., an) ∈ An, 'f' = '0' का अनुमानित समाधान इस अर्थ में है:
तो कुछ b = (b1, ..., bn) ∈ An संतोषजनक 'f'('b') = '0' है, अर्थात,
इसके अतिरिक्त यह समाधान इस अर्थ में है कि,

विशेष स्थिति के रूप में, यदि सभी i के लिए A में इकाई है तो 'f'('b') = '0' के साथ समाधान है, सभी i के लिए होता है।

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

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

हेन्सेलियन संपत्ति होने के लिए वलय का पूर्ण होना आवश्यक नियम नहीं है: 1950 में गोरो अज़ुमाया ने हेंसेलियन वलय होने के लिए अधिकतम आदर्श m के लिए हेन्सेलियन संपत्ति को संतुष्ट करने वाले क्रमविनिमेय स्थानीय वलय को परिभाषित किया।

मासायोशी नगाटा ने 1950 के दशक में प्रमाणित किया कि अधिकतम आदर्श m के साथ किसी भी क्रमविनिमेय स्थानीय वलय A के लिए सदैव छोटा वलय Ah होता है जिसमें A होता है जैसे कि Ah mAh के संबंध में हेन्सेलियन है। यदि A नोथेरियन है।

यह भी देखें

संदर्भ

  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)
  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)