रामीकरण (गणित): Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Branching out of a mathematical structure}} {{Other uses|Ramification (disambiguation){{!}}Ramification}} Image:Schematic depiction of ramification.svg|r...")
 
No edit summary
 
(9 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|Ramification (disambiguation){{!}}Ramification}}
{{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|Branch point}}
{{see also|शाखा बिंदु}}
[[File:Riemann surface sqrt.svg|thumb|वर्गमूल की [[रीमैन सतह]] का उपयोग करना]][[जटिल विश्लेषण]] में, मूल मॉडल को z → z के रूप में लिया जा सकता है<sup>n</sup>जटिल तल में मानचित्रण, z=0 के निकट। यह रीमैन सतह सिद्धांत में क्रम n के प्रभाव का मानक स्थानीय चित्र है। यह उदाहरण के लिए [[जीनस (गणित)]] पर मैपिंग के प्रभाव के लिए रीमैन-हर्विट्ज़ सूत्र में होता है।
[[File:Riemann surface sqrt.svg|thumb|वर्गमूल की [[रीमैन सतह]] का उपयोग करना]][[जटिल विश्लेषण]] में, मूल मॉडल को z = 0 के पास जटिल तल में z → z<sup>n</sup> माप के रूप में लिया जा सकता है। यह रीमैन सतह सिद्धांत में क्रम n के प्रभाव का मानक स्थानीय चित्र है। यह उदाहरण के लिए [[जीनस (गणित)]] पर माप के प्रभाव के लिए रीमैन-हर्विट्ज़ सूत्र में होता है।


==बीजगणितीय टोपोलॉजी में==
==बीजगणितीय टोपोलॉजी में==


एक कवरिंग मानचित्र में यूलर-पोंकारे विशेषता को शीटों की संख्या से गुणा किया जाना चाहिए; इसलिए उसमें से कुछ गिरावट से प्रभाव का पता लगाया जा सकता है। z → z<sup>n</sup> मैपिंग इसे एक स्थानीय पैटर्न के रूप में दिखाती है: यदि हम 0 को बाहर करते हैं, तो 0 को देखते हुए < |z| <1 कहते हैं, हमारे पास (समरूप दृष्टिकोण से) एन-वें पावर मैप (यूलर-पोंकारे विशेषता 0) द्वारा खुद को मैप किया गया [[घेरा]] है, लेकिन संपूर्ण [[डिस्क (गणित)]] के साथ यूलर-पोंकारे विशेषता 1 है, n – 1 'खोए हुए' अंक हैं क्योंकि n शीट z = 0 पर एक साथ आते हैं।
एक कवरिंग माप में यूलर-पोंकारे विशेषता को शीटों की संख्या से गुणा किया जाना चाहिए; इसलिए उसमें से कुछ गिरावट से प्रभाव का पता लगाया जा सकता है। z → z<sup>n</sup> माप इसे एक स्थानीय प्रारूप के रूप में दिखाती है: यदि हम 0 यदि हम 0 < |''z''| < 1 को देखते हुए 0 को बाहर कर देते हैं, तो मान लें कि हमारे पास (समरूप दृष्टिकोण से) n-वें पावर मैप (यूलर-पोंकारे विशेषता 0) द्वारा स्वयं को मैप किया गया वलय है, किन्तु संपूर्ण [[डिस्क (गणित)]] के साथ यूलर-पोंकारे विशेषता 1 है, n – 1 'लुप्त हुए' बिन्दु हैं क्योंकि n शीट z = 0 पर एक साथ आते हैं।


ज्यामितीय शब्दों में, प्रभाव कुछ ऐसा है जो कोडिमेंशन दो में होता है (जैसे गाँठ सिद्धांत, और [[मोनोड्रोमी]]); चूंकि वास्तविक कोडिमेंशन दो जटिल कोडिमेंशन एक है, स्थानीय जटिल उदाहरण उच्च-आयामी जटिल मैनिफोल्ड्स के लिए पैटर्न सेट करता है। जटिल विश्लेषण में, शीट को केवल एक रेखा (एक चर) के साथ मोड़ा नहीं जा सकता है, या सामान्य मामले में एक उप-स्थान को कोडित नहीं किया जा सकता है। रेमिफिकेशन सेट (आधार पर शाखा स्थान, ऊपर दोहरा बिंदु सेट) परिवेश के [[कई गुना]] से कम दो वास्तविक आयाम होंगे, और इसलिए इसे दो 'पक्षों' में अलग नहीं किया जाएगा, स्थानीय रूप से - ऐसे पथ होंगे जो शाखा स्थान के चारों ओर घूमते हैं , जैसा कि उदाहरण में है। किसी भी क्षेत्र (गणित) पर [[बीजगणितीय ज्यामिति]] में, सादृश्य द्वारा, यह बीजगणितीय संहिता एक में भी होता है।
ज्यामितीय शब्दों में, प्रभाव कुछ ऐसा है जो कोडिमेंशन दो (जैसे गाँठ सिद्धांत, और [[मोनोड्रोमी]]) में होता है; चूंकि वास्तविक कोडिमेंशन दो जटिल कोडिमेंशन एक है, स्थानीय जटिल उदाहरण उच्च-आयामी जटिल मैनिफोल्ड्स के लिए प्रारूप सेट करता है। जटिल विश्लेषण में, शीट को केवल एक रेखा (एक वेरिएबल) के साथ मोड़ा नहीं जा सकता है, या सामान्य स्थिति में एक उप-स्थान को कोडित नहीं किया जा सकता है। रेमिफिकेशन सेट (आधार पर शाखा स्थान, ऊपर दोहरा बिंदु सेट) परिवेश के [[कई गुना]] से कम दो वास्तविक आयाम होंगे, और इसलिए इसे दो 'पक्षों' में अलग नहीं किया जाएगा, स्थानीय रूप से - ऐसे पथ होंगे जो शाखा स्थान के चारों ओर घूमते हैं , जैसा कि उदाहरण में है। किसी भी क्षेत्र (गणित) पर [[बीजगणितीय ज्यामिति]] में, सादृश्य द्वारा, यह बीजगणितीय आयाम एक में भी होता है।


==बीजगणितीय संख्या सिद्धांत में==
==बीजगणितीय संख्या सिद्धांत में==


=== परिमेय संख्याओं के बीजगणितीय विस्तार में ===
=== परिमेय संख्याओं के बीजगणितीय विस्तार में ===
{{see also|Splitting of prime ideals in Galois extensions}}
{{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}_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>\mathcal{O}_L</math> (जो कि [[अभिन्न समापन]] है <math>\mathcal{O}_K</math> में <math>L</math>), और आदर्श <math>\mathfrak{p}\mathcal{O}_L</math> का <math>\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>\mathcal{O}_L</math>. तब <math>\mathfrak{p}</math> कहा जाता है कि इसमें प्रभाव पड़ता है <math>L</math> अगर <math>e_i > 1</math> कुछ के लिए <math>i</math>; अन्यथा यह है{{visible anchor|unramified}}. दूसरे शब्दों में, <math>\mathfrak{p}</math> में प्रभाव डालता है <math>L</math> यदि प्रभाव सूचकांक <math>e_i</math> कुछ के लिए एक से बड़ा है <math>\mathfrak{p}_i</math>. एक समतुल्य शर्त यह है <math>\mathcal{O}_L/\mathfrak{p}\mathcal{O}_L</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>\mathfrak{p}_i</math> का <math>\mathcal{O}_L</math> डिवाइडिंग <math>\mathfrak{p}</math> प्रभावित है. उत्तरार्द्ध का एक आदर्श है <math>\mathcal{O}_L</math> और प्रधान आदर्श से विभाज्य है <math>\mathfrak{p}_i</math> का <math>\mathcal{O}_L</math> बिल्कुल कब <math>\mathfrak{p}_i</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> सभी अवशेष विशेषता पी के लिए अपेक्षाकृत प्रमुख हैं <math>\mathfrak{p}</math>, अन्यथा जंगली। [[गैलोज़ मापांक]] सिद्धांत में यह स्थिति महत्वपूर्ण है। एक परिमित सामान्य रूप से étale विस्तार <math>B/A</math> [[डेडेकाइंड डोमेन]] का वश में है यदि और केवल यदि ट्रेस <math>\operatorname{Tr}: B \to A</math> विशेषण है.
प्रभाव तब शांत होता है जब प्रभाव सूचकांक <math>e_i</math> सभी पी के अवशेष विशेषता P के लिए <math>\mathfrak{p}</math> अपेक्षाकृत प्रमुख होते हैं, अन्यथा अनियंत्रित होते हैं। [[गैलोज़ मापांक|गैलोज़ मॉड्यूल]] सिद्धांत में यह स्थिति महत्वपूर्ण है। डेडेकाइंड डोमेन का एक सीमित सामान्य रूप से ईटेल एक्सटेंशन <math>B/A</math> अनुकूल में है यदि और केवल यदि ट्रेस <math>\operatorname{Tr}: B \to A</math> विशेषण है।


===स्थानीय क्षेत्रों में===
===स्थानीय क्षेत्रों में===
{{main|Ramification of local fields}}
{{main|स्थानीय क्षेत्रों का रामीकरण}}


संख्या क्षेत्रों में प्रभाव का अधिक विस्तृत विश्लेषण पी-एडिक संख्याओं के एक्सटेंशन का उपयोग करके किया जा सकता है, क्योंकि यह एक स्थानीय प्रश्न है। उस मामले में [[गैलोज़ विस्तार]] के लिए प्रभाव का एक मात्रात्मक माप परिभाषित किया गया है, मूल रूप से यह पूछकर कि गैलोज़ समूह मीट्रिक के संबंध में फ़ील्ड तत्वों को कितनी दूर तक ले जाता है। [[प्रभाव समूह]]ों का एक क्रम परिभाषित किया गया है, जो (अन्य बातों के अलावा) जंगली (गैर-वश) प्रभाव को दर्शाता है। यह ज्यामितीय एनालॉग से आगे जाता है।
संख्या क्षेत्रों में प्रभाव का अधिक विस्तृत विश्लेषण P-एडिक संख्याओं के एक्सटेंशन का उपयोग करके किया जा सकता है, क्योंकि यह एक स्थानीय प्रश्न है। उस स्थिति में [[गैलोज़ विस्तार|गैलोज़ एक्सटेंशन]] के लिए प्रभाव का एक मात्रात्मक माप मूल रूप से यह पूछकर परिभाषित किया जाता है कि गैलोज़ समूह मीट्रिक के संबंध में फ़ील्ड तत्वों को कितनी दूर तक ले जाता है। [[प्रभाव समूह|प्रभाव समूहों]] का एक क्रम परिभाषित किया गया है, जो (अन्य बातों के अतिरिक्त) अनियंत्रित (गैर-अनुकूल) प्रभाव को दर्शाता है। यह ज्यामितीय एनालॉग से आगे जाता है।


==बीजगणित में==
==बीजगणित में==
{{main|Ramification theory of valuations}}
{{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|Vakil|2017}}).
मान लीजिए कि <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: बीजगणितीय संख्या सिद्धांत]] [[Category: बीजगणितीय टोपोलॉजी]] [[Category: जटिल विश्लेषण]]


 
[[Category:Articles containing German-language text]]
 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category: Machine Translated Page]]
[[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

प्रभाव का योजनाबद्ध चित्रण: नीचे Y में लगभग सभी बिंदुओं के फाइबर्स में तीन बिंदु होते हैं, Y में बिंदुओं से चिह्नित दो बिंदुओं को छोड़कर, जहां फाइबर्स में क्रमशः एक और दो बिंदु (काले रंग में चिह्नित) होते हैं। कहा जाता है कि माप f, Y के इन बिंदुओं में फैला हुआ है।

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

जटिल विश्लेषण में

वर्गमूल की रीमैन सतह का उपयोग करना

जटिल विश्लेषण में, मूल मॉडल को 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.


बाहरी संबंध