रामीकरण (गणित): Difference between revisions
No edit summary |
No edit summary |
||
(8 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Branching out of a mathematical structure}} | {{Short description|Branching out of a mathematical structure}} | ||
{{Other uses| | {{Other uses|रामीकरण (बहुविकल्पी){{!}}रामीकरण}} | ||
[[Image:Schematic depiction of ramification.svg|right|thumb|300px|प्रभाव का योजनाबद्ध चित्रण: नीचे Y में लगभग सभी बिंदुओं के फाइबर्स में तीन बिंदु होते हैं, Y में बिंदुओं से चिह्नित दो बिंदुओं को छोड़कर, जहां फाइबर्स में क्रमशः एक और दो बिंदु (काले रंग में चिह्नित) होते हैं। कहा जाता है कि माप f, Y के इन बिंदुओं में फैला हुआ है।]][[ज्यामिति]] में, प्रभावीकरण 'शाखाओं का बाहर निकलना' है, जिस प्रकार से [[जटिल संख्या]] | [[Image:Schematic depiction of ramification.svg|right|thumb|300px|प्रभाव का योजनाबद्ध चित्रण: नीचे Y में लगभग सभी बिंदुओं के फाइबर्स में तीन बिंदु होते हैं, Y में बिंदुओं से चिह्नित दो बिंदुओं को छोड़कर, जहां फाइबर्स में क्रमशः एक और दो बिंदु (काले रंग में चिह्नित) होते हैं। कहा जाता है कि माप f, Y के इन बिंदुओं में फैला हुआ है।]][[ज्यामिति]] में, प्रभावीकरण 'शाखाओं का बाहर निकलना' है, जिस प्रकार से [[जटिल संख्या|जटिल संख्याओं]] के लिए [[वर्गमूल]] फलन में दो ''शाखाओं'' के चिह्न में भिन्नता देखी जा सकता है। इस शब्द का उपयोग विपरीत परिप्रेक्ष्य (शाखाओं के एक साथ आने) से भी किया जाता है, जैसे कि जब किसी स्थान के एक बिंदु पर माप अधोगमन (गणित) को कवर किया जाता है, तो माप के फाइबर्स के कुछ निपात के साथ विकृत हो जाता है। | ||
==जटिल विश्लेषण में== | ==जटिल विश्लेषण में== | ||
{{see also| | {{see also|शाखा बिंदु}} | ||
[[File:Riemann surface sqrt.svg|thumb|वर्गमूल की [[रीमैन सतह]] का उपयोग करना]][[जटिल विश्लेषण]] में, मूल मॉडल को z → z | [[File:Riemann surface sqrt.svg|thumb|वर्गमूल की [[रीमैन सतह]] का उपयोग करना]][[जटिल विश्लेषण]] में, मूल मॉडल को z = 0 के पास जटिल तल में z → z<sup>n</sup> माप के रूप में लिया जा सकता है। यह रीमैन सतह सिद्धांत में क्रम n के प्रभाव का मानक स्थानीय चित्र है। यह उदाहरण के लिए [[जीनस (गणित)]] पर माप के प्रभाव के लिए रीमैन-हर्विट्ज़ सूत्र में होता है। | ||
==बीजगणितीय टोपोलॉजी में== | ==बीजगणितीय टोपोलॉजी में== | ||
एक कवरिंग माप में यूलर-पोंकारे विशेषता को शीटों की संख्या से गुणा किया जाना चाहिए; इसलिए उसमें से कुछ गिरावट से प्रभाव का पता लगाया जा सकता है। z → z<sup>n</sup> | एक कवरिंग माप में यूलर-पोंकारे विशेषता को शीटों की संख्या से गुणा किया जाना चाहिए; इसलिए उसमें से कुछ गिरावट से प्रभाव का पता लगाया जा सकता है। z → z<sup>n</sup> माप इसे एक स्थानीय प्रारूप के रूप में दिखाती है: यदि हम 0 यदि हम 0 < |''z''| < 1 को देखते हुए 0 को बाहर कर देते हैं, तो मान लें कि हमारे पास (समरूप दृष्टिकोण से) n-वें पावर मैप (यूलर-पोंकारे विशेषता 0) द्वारा स्वयं को मैप किया गया वलय है, किन्तु संपूर्ण [[डिस्क (गणित)]] के साथ यूलर-पोंकारे विशेषता 1 है, n – 1 'लुप्त हुए' बिन्दु हैं क्योंकि n शीट z = 0 पर एक साथ आते हैं। | ||
ज्यामितीय शब्दों में, प्रभाव कुछ ऐसा है जो कोडिमेंशन दो | ज्यामितीय शब्दों में, प्रभाव कुछ ऐसा है जो कोडिमेंशन दो (जैसे गाँठ सिद्धांत, और [[मोनोड्रोमी]]) में होता है; चूंकि वास्तविक कोडिमेंशन दो जटिल कोडिमेंशन एक है, स्थानीय जटिल उदाहरण उच्च-आयामी जटिल मैनिफोल्ड्स के लिए प्रारूप सेट करता है। जटिल विश्लेषण में, शीट को केवल एक रेखा (एक वेरिएबल) के साथ मोड़ा नहीं जा सकता है, या सामान्य स्थिति में एक उप-स्थान को कोडित नहीं किया जा सकता है। रेमिफिकेशन सेट (आधार पर शाखा स्थान, ऊपर दोहरा बिंदु सेट) परिवेश के [[कई गुना]] से कम दो वास्तविक आयाम होंगे, और इसलिए इसे दो 'पक्षों' में अलग नहीं किया जाएगा, स्थानीय रूप से - ऐसे पथ होंगे जो शाखा स्थान के चारों ओर घूमते हैं , जैसा कि उदाहरण में है। किसी भी क्षेत्र (गणित) पर [[बीजगणितीय ज्यामिति]] में, सादृश्य द्वारा, यह बीजगणितीय आयाम एक में भी होता है। | ||
==बीजगणितीय संख्या सिद्धांत में== | ==बीजगणितीय संख्या सिद्धांत में== | ||
=== परिमेय संख्याओं के बीजगणितीय विस्तार में === | === परिमेय संख्याओं के बीजगणितीय विस्तार में === | ||
{{see also| | {{see also|गैलोज़ एक्सटेंशन में प्रमुख आदर्शों का विभाजन}} | ||
[[बीजगणितीय संख्या सिद्धांत]] में रामीकरण का अर्थ है किसी विस्तार में एक अभाज्य आदर्श गुणनखंडन | [[बीजगणितीय संख्या सिद्धांत]] में रामीकरण का अर्थ है किसी विस्तार में एक अभाज्य आदर्श गुणनखंडन जिससे कुछ दोहराए गए अभाज्य आदर्श गुणनखंड दिए जा सकें। अर्थात्, मान लीजिए कि <math>\mathcal{O}_K</math> एक बीजगणितीय संख्या क्षेत्र <math>K</math> के पूर्णांकों का वलय बनें, और <math>\mathfrak{p}</math> <math>\mathcal{O}_K</math> का एक [[प्रमुख आदर्श]] है। फ़ील्ड एक्सटेंशन <math>L/K</math> के लिए हम पूर्णांक <math>\mathcal{O}_L</math> की रिंग (जो <math>L</math> में <math>\mathcal{O}_K</math> का [[अभिन्न समापन]] है) और <math>\mathcal{O}_L</math> के आदर्श <math>\mathfrak{p}\mathcal{O}_L</math> पर विचार कर सकते हैं। यह आदर्श अभाज्य हो भी सकता है और नहीं भी, लेकिन परिमित <math>[L:K]</math> के लिए, इसका अभाज्य आदर्शों में गुणनखंडन होता है: | ||
:<math>\mathfrak{p}\cdot \mathcal{O}_L = \mathfrak{p}_1^{e_1}\cdots\mathfrak{p}_k^{e_k}</math> | :<math>\mathfrak{p}\cdot \mathcal{O}_L = \mathfrak{p}_1^{e_1}\cdots\mathfrak{p}_k^{e_k}</math> | ||
जहां <math>\mathfrak{p}_i</math> | जहां <math>\mathfrak{p}_i</math> <math>\mathcal{O}_L</math> के विशिष्ट अभाज्य आदर्श हैं। तब कहा जाता है कि <math>\mathfrak{p}</math> का प्रभाव <math>L</math> में पड़ता है यदि <math>e_i > 1</math> कुछ <math>i</math> के लिए; अन्यथा यह अप्रभावित है. दूसरे शब्दों में, यदि प्रभाव सूचकांक <math>e_i</math> कुछ <math>\mathfrak{p}_i</math> के लिए एक से अधिक है, तो <math>\mathfrak{p}</math> <math>L</math> में प्रभाव डालता है। एक समतुल्य शर्त यह है कि <math>\mathcal{O}_L/\mathfrak{p}\mathcal{O}_L</math> में एक गैर-शून्य [[निलपोटेंट]] तत्व है: यह [[परिमित क्षेत्र|परिमित क्षेत्रों]] का उत्पाद नहीं है। रीमैन सतह स्थिति के साथ सादृश्य उन्नीसवीं सदी में [[रिचर्ड डेडेकाइंड]] और हेनरिक एम. वेबर द्वारा पहले ही बताया गया था। | ||
प्रभाव को | प्रभाव को <math>K</math> में [[सापेक्ष विभेदक]] द्वारा और <math>L</math> में सापेक्ष भिन्न द्वारा एन्कोड किया गया है। पहला <math>\mathcal{O}_K</math> का एक आदर्श है और यह <math>\mathfrak{p}</math> से विभाज्य है यदि और केवल तभी जब <math>\mathcal{O}_L</math> को विभाजित करने वाले कुछ आदर्श <math>\mathfrak{p}_i</math> को विभाजित किया जाता है। उत्तरार्द्ध <math>\mathcal{O}_L</math> का एक आदर्श है और यह ठीक उसी समय <math>\mathcal{O}_L</math>के मुख्य आदर्श <math>\mathfrak{p}_i</math>से विभाज्य होता है, जब <math>\mathfrak{p}_i</math> का प्रभाव होता है। | ||
प्रभाव तब शांत होता है जब प्रभाव सूचकांक <math>e_i</math> सभी पी के अवशेष विशेषता P के लिए <math>\mathfrak{p}</math> अपेक्षाकृत प्रमुख होते हैं, अन्यथा अनियंत्रित होते हैं। [[गैलोज़ मापांक|गैलोज़ मॉड्यूल]] सिद्धांत में यह स्थिति महत्वपूर्ण है। डेडेकाइंड डोमेन का एक सीमित सामान्य रूप से ईटेल एक्सटेंशन <math>B/A</math> अनुकूल में है यदि और केवल यदि ट्रेस <math>\operatorname{Tr}: B \to A</math> विशेषण है। | |||
===स्थानीय क्षेत्रों में=== | ===स्थानीय क्षेत्रों में=== | ||
{{main| | {{main|स्थानीय क्षेत्रों का रामीकरण}} | ||
संख्या क्षेत्रों में प्रभाव का अधिक विस्तृत विश्लेषण | संख्या क्षेत्रों में प्रभाव का अधिक विस्तृत विश्लेषण P-एडिक संख्याओं के एक्सटेंशन का उपयोग करके किया जा सकता है, क्योंकि यह एक स्थानीय प्रश्न है। उस स्थिति में [[गैलोज़ विस्तार|गैलोज़ एक्सटेंशन]] के लिए प्रभाव का एक मात्रात्मक माप मूल रूप से यह पूछकर परिभाषित किया जाता है कि गैलोज़ समूह मीट्रिक के संबंध में फ़ील्ड तत्वों को कितनी दूर तक ले जाता है। [[प्रभाव समूह|प्रभाव समूहों]] का एक क्रम परिभाषित किया गया है, जो (अन्य बातों के अतिरिक्त) अनियंत्रित (गैर-अनुकूल) प्रभाव को दर्शाता है। यह ज्यामितीय एनालॉग से आगे जाता है। | ||
==बीजगणित में== | ==बीजगणित में== | ||
{{main| | {{main|मूल्यांकन का रामीकरण सिद्धांत}} | ||
[[मूल्यांकन सिद्धांत]] में, [[मूल्यांकन का प्रभाव सिद्धांत]] एक क्षेत्र (गणित) K के [[मूल्यांकन (बीजगणित)]] के मूल्यांकन के विस्तार के सेट का K के [[विस्तार क्षेत्र]] तक अध्ययन करता है। यह बीजगणितीय संख्या सिद्धांत, स्थानीय क्षेत्रों और में धारणाओं को सामान्य बनाता है। | [[मूल्यांकन सिद्धांत]] में, [[मूल्यांकन का प्रभाव सिद्धांत]] एक क्षेत्र (गणित) K के [[मूल्यांकन (बीजगणित)]] के मूल्यांकन के विस्तार के सेट का K के [[विस्तार क्षेत्र]] तक अध्ययन करता है। यह बीजगणितीय संख्या सिद्धांत, स्थानीय क्षेत्रों और डेडेकाइंड डोमेन में धारणाओं को सामान्य बनाता है। | ||
==बीजगणितीय ज्यामिति में== | ==बीजगणितीय ज्यामिति में== | ||
बीजगणितीय ज्यामिति में | बीजगणितीय ज्यामिति में असंबद्ध रूपवाद की संगत धारणा भी है। यह ईटेल आकारिकी को परिभाषित करने का कार्य करता है। | ||
मान लीजिए कि <math>f: X \to Y</math> योजनाओं का एक रूप बनें। क्वासिकोहेरेंट शीफ <math>\Omega_{X/Y}</math> के समर्थन को <math>f</math> का शाखा स्थान कहा जाता है और शाखा स्थान, <math>f\left( \operatorname{Supp} \Omega_{X/Y} \right)</math>, की छवि को <math>f</math> का शाखा स्थान कहा जाता है। यदि <math>\Omega_{X/Y}=0</math> हम ऐसा कहते हैं <math>f</math> औपचारिक रूप से असंबद्ध है और यदि <math>f</math> भी स्थानीय रूप से परिमित प्रस्तुति का है तो हम कहते हैं कि <math>f</math> असंबद्ध रूपवाद है। ({{harvnb|वकील|2017}} देखें) | |||
== यह भी देखें == | == यह भी देखें == | ||
Line 56: | Line 55: | ||
== बाहरी संबंध == | == बाहरी संबंध == | ||
* {{planetmath_reference|urlname=SplittingAndRamificationInNumberFieldsAndGaloisExtensions|title=Splitting and ramification in number fields and Galois extensions}} | * {{planetmath_reference|urlname=SplittingAndRamificationInNumberFieldsAndGaloisExtensions|title=Splitting and ramification in number fields and Galois extensions}} | ||
[[Category:Articles containing German-language text]] | |||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category: | |||
[[Category:Created On 10/07/2023]] | [[Category:Created On 10/07/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:जटिल विश्लेषण]] | |||
[[Category:बीजगणितीय टोपोलॉजी]] | |||
[[Category:बीजगणितीय संख्या सिद्धांत]] |
Latest revision as of 15:22, 31 July 2023
ज्यामिति में, प्रभावीकरण 'शाखाओं का बाहर निकलना' है, जिस प्रकार से जटिल संख्याओं के लिए वर्गमूल फलन में दो शाखाओं के चिह्न में भिन्नता देखी जा सकता है। इस शब्द का उपयोग विपरीत परिप्रेक्ष्य (शाखाओं के एक साथ आने) से भी किया जाता है, जैसे कि जब किसी स्थान के एक बिंदु पर माप अधोगमन (गणित) को कवर किया जाता है, तो माप के फाइबर्स के कुछ निपात के साथ विकृत हो जाता है।
जटिल विश्लेषण में
जटिल विश्लेषण में, मूल मॉडल को z = 0 के पास जटिल तल में z → zn माप के रूप में लिया जा सकता है। यह रीमैन सतह सिद्धांत में क्रम n के प्रभाव का मानक स्थानीय चित्र है। यह उदाहरण के लिए जीनस (गणित) पर माप के प्रभाव के लिए रीमैन-हर्विट्ज़ सूत्र में होता है।
बीजगणितीय टोपोलॉजी में
एक कवरिंग माप में यूलर-पोंकारे विशेषता को शीटों की संख्या से गुणा किया जाना चाहिए; इसलिए उसमें से कुछ गिरावट से प्रभाव का पता लगाया जा सकता है। z → zn माप इसे एक स्थानीय प्रारूप के रूप में दिखाती है: यदि हम 0 यदि हम 0 < |z| < 1 को देखते हुए 0 को बाहर कर देते हैं, तो मान लें कि हमारे पास (समरूप दृष्टिकोण से) n-वें पावर मैप (यूलर-पोंकारे विशेषता 0) द्वारा स्वयं को मैप किया गया वलय है, किन्तु संपूर्ण डिस्क (गणित) के साथ यूलर-पोंकारे विशेषता 1 है, n – 1 'लुप्त हुए' बिन्दु हैं क्योंकि n शीट z = 0 पर एक साथ आते हैं।
ज्यामितीय शब्दों में, प्रभाव कुछ ऐसा है जो कोडिमेंशन दो (जैसे गाँठ सिद्धांत, और मोनोड्रोमी) में होता है; चूंकि वास्तविक कोडिमेंशन दो जटिल कोडिमेंशन एक है, स्थानीय जटिल उदाहरण उच्च-आयामी जटिल मैनिफोल्ड्स के लिए प्रारूप सेट करता है। जटिल विश्लेषण में, शीट को केवल एक रेखा (एक वेरिएबल) के साथ मोड़ा नहीं जा सकता है, या सामान्य स्थिति में एक उप-स्थान को कोडित नहीं किया जा सकता है। रेमिफिकेशन सेट (आधार पर शाखा स्थान, ऊपर दोहरा बिंदु सेट) परिवेश के कई गुना से कम दो वास्तविक आयाम होंगे, और इसलिए इसे दो 'पक्षों' में अलग नहीं किया जाएगा, स्थानीय रूप से - ऐसे पथ होंगे जो शाखा स्थान के चारों ओर घूमते हैं , जैसा कि उदाहरण में है। किसी भी क्षेत्र (गणित) पर बीजगणितीय ज्यामिति में, सादृश्य द्वारा, यह बीजगणितीय आयाम एक में भी होता है।
बीजगणितीय संख्या सिद्धांत में
परिमेय संख्याओं के बीजगणितीय विस्तार में
बीजगणितीय संख्या सिद्धांत में रामीकरण का अर्थ है किसी विस्तार में एक अभाज्य आदर्श गुणनखंडन जिससे कुछ दोहराए गए अभाज्य आदर्श गुणनखंड दिए जा सकें। अर्थात्, मान लीजिए कि एक बीजगणितीय संख्या क्षेत्र के पूर्णांकों का वलय बनें, और का एक प्रमुख आदर्श है। फ़ील्ड एक्सटेंशन के लिए हम पूर्णांक की रिंग (जो में का अभिन्न समापन है) और के आदर्श पर विचार कर सकते हैं। यह आदर्श अभाज्य हो भी सकता है और नहीं भी, लेकिन परिमित के लिए, इसका अभाज्य आदर्शों में गुणनखंडन होता है:
जहां के विशिष्ट अभाज्य आदर्श हैं। तब कहा जाता है कि का प्रभाव में पड़ता है यदि कुछ के लिए; अन्यथा यह अप्रभावित है. दूसरे शब्दों में, यदि प्रभाव सूचकांक कुछ के लिए एक से अधिक है, तो में प्रभाव डालता है। एक समतुल्य शर्त यह है कि में एक गैर-शून्य निलपोटेंट तत्व है: यह परिमित क्षेत्रों का उत्पाद नहीं है। रीमैन सतह स्थिति के साथ सादृश्य उन्नीसवीं सदी में रिचर्ड डेडेकाइंड और हेनरिक एम. वेबर द्वारा पहले ही बताया गया था।
प्रभाव को में सापेक्ष विभेदक द्वारा और में सापेक्ष भिन्न द्वारा एन्कोड किया गया है। पहला का एक आदर्श है और यह से विभाज्य है यदि और केवल तभी जब को विभाजित करने वाले कुछ आदर्श को विभाजित किया जाता है। उत्तरार्द्ध का एक आदर्श है और यह ठीक उसी समय के मुख्य आदर्श से विभाज्य होता है, जब का प्रभाव होता है।
प्रभाव तब शांत होता है जब प्रभाव सूचकांक सभी पी के अवशेष विशेषता P के लिए अपेक्षाकृत प्रमुख होते हैं, अन्यथा अनियंत्रित होते हैं। गैलोज़ मॉड्यूल सिद्धांत में यह स्थिति महत्वपूर्ण है। डेडेकाइंड डोमेन का एक सीमित सामान्य रूप से ईटेल एक्सटेंशन अनुकूल में है यदि और केवल यदि ट्रेस विशेषण है।
स्थानीय क्षेत्रों में
संख्या क्षेत्रों में प्रभाव का अधिक विस्तृत विश्लेषण P-एडिक संख्याओं के एक्सटेंशन का उपयोग करके किया जा सकता है, क्योंकि यह एक स्थानीय प्रश्न है। उस स्थिति में गैलोज़ एक्सटेंशन के लिए प्रभाव का एक मात्रात्मक माप मूल रूप से यह पूछकर परिभाषित किया जाता है कि गैलोज़ समूह मीट्रिक के संबंध में फ़ील्ड तत्वों को कितनी दूर तक ले जाता है। प्रभाव समूहों का एक क्रम परिभाषित किया गया है, जो (अन्य बातों के अतिरिक्त) अनियंत्रित (गैर-अनुकूल) प्रभाव को दर्शाता है। यह ज्यामितीय एनालॉग से आगे जाता है।
बीजगणित में
मूल्यांकन सिद्धांत में, मूल्यांकन का प्रभाव सिद्धांत एक क्षेत्र (गणित) K के मूल्यांकन (बीजगणित) के मूल्यांकन के विस्तार के सेट का K के विस्तार क्षेत्र तक अध्ययन करता है। यह बीजगणितीय संख्या सिद्धांत, स्थानीय क्षेत्रों और डेडेकाइंड डोमेन में धारणाओं को सामान्य बनाता है।
बीजगणितीय ज्यामिति में
बीजगणितीय ज्यामिति में असंबद्ध रूपवाद की संगत धारणा भी है। यह ईटेल आकारिकी को परिभाषित करने का कार्य करता है।
मान लीजिए कि योजनाओं का एक रूप बनें। क्वासिकोहेरेंट शीफ के समर्थन को का शाखा स्थान कहा जाता है और शाखा स्थान, , की छवि को का शाखा स्थान कहा जाता है। यदि हम ऐसा कहते हैं औपचारिक रूप से असंबद्ध है और यदि भी स्थानीय रूप से परिमित प्रस्तुति का है तो हम कहते हैं कि असंबद्ध रूपवाद है। (वकील 2017 देखें)
यह भी देखें
संदर्भ
- Neukirch, Jürgen (1999). Algebraische Zahlentheorie. Grundlehren der mathematischen Wissenschaften. Vol. 322. Berlin: Springer-Verlag. ISBN 978-3-540-65399-8. MR 1697859. Zbl 0956.11021.
- Vakil, Ravi (18 November 2017). The Rising Sea: Foundations of algebraic geometry (PDF). Retrieved 5 June 2019.