स्थानीय क्षेत्र

गणित में, क्षेत्र K को (गैर-आर्किमिडीयन) 'स्थानीय क्षेत्र ' कहा जाता है, यदि यह अलग मूल्यांकन v से प्रेरित संस्थितिक के संबंध में पूर्ण शेष स्थान है और यदि मूल्यांकन k का इसका अवशेष क्षेत्र परिमित है। समान रूप से, स्थानीय क्षेत्र अअसतत स्थान टोपोलॉजी के संबंध में स्थानीय रूप से सघन संस्थितिक क्षेत्र है। कभी-कभी, वास्तविक संख्या R, और जटिल संख्या C (उनके मानक संस्थितिक के साथ) को स्थानीय क्षेत्र के रूप में भी परिभाषित किया जाता है; यह वह फलन है जिसे हम नीचे अपनाएंगे। स्थानीय क्षेत्र को देखते हुए, उस पर परिभाषित मूल्यांकन (बीजगणित) दो प्रकार का हो सकता है, प्रत्येक दो मूल प्रकार के स्थानीय क्षेत्रों में से एक इस मिलता है: वे जिनमें मूल्यांकन आर्किमिडीयन गुण है और वे जिनमें यह नहीं है। पहले अर्थ में, कोई स्थानीय क्षेत्र को आर्किमिडीयन स्थानीय क्षेत्र कहता है, दूसरे अर्थ में, कोई इसे गैर-आर्किमिडीयन स्थानीय क्षेत्र कहता है। संख्या सिद्धांत में व्यापक क्षेत्रों की पूर्णता के रूप में स्थानीय क्षेत्र स्वाभाविक रूप से उत्पन्न होते हैं।

जबकि आर्किमिडीयन स्थानीय क्षेत्र कम से कम 250 वर्षों से गणित में काफी प्रसिद्ध हैं, गैर-आर्किमिडीयन स्थानीय क्षेत्रों के पहले उदाहरण, धनात्मक अभाज्य पूर्णांक पी के लिए p-एडिक संख्याओं के क्षेत्र, कर्ट हेंसल द्वारा 19 वीं सदी के अंत में प्रस्तुत किए गए थे।

प्रत्येक स्थानीय क्षेत्र निम्नलिखित में से किसी एक के लिए समरूपी (संस्थितिकी क्षेत्र के रूप में) है:


 * आर्किमिडीयन स्थानीय क्षेत्र (विशेषता (बीजगणित) शून्य): वास्तविक संख्या R, और जटिल संख्या C है।
 * विशेषता शून्य के गैर-आर्किमिडीयन स्थानीय क्षेत्र: p-एडिक संख्या Qpके परिमित विस्तार (जहाँ p कोई अभाज्य संख्या है)।
 * विशेषता p के गैर-आर्किमिडीयन स्थानीय क्षेत्र (किसी भी अभाज्य संख्या p के लिए): अकारिक लॉरेंट श्रृंखला Fq((T)) क्षेत्र एक परिमित क्षेत्र Fq पर, जहां q, p का घातांक है।

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

प्रेरित निरपेक्ष मान
क्षेत्र K पर ऐसे निरपेक्ष मान को देखते हुए, निम्नलिखित संथितिकी को K पर परिभाषित किया जा सकता है: धनात्मक वास्तविक संख्या m के लिए, उपसमुच्चय Bm को परिभाषित करना है।
 * $$B_m:=\{ a\in K:|a|\leq m\}.$$

फिर, b+Bm K में b का आस-पास आधार बनाएं।

इसके विपरीत, अलग-अलग स्थानीय रूप से सघन संस्थितिकी वाले संस्थितिकी क्षेत्र में इसकी संस्थितिकी को परिभाषित करने वाला पूर्ण मूल्य होता है। इसका निर्माण क्षेत्र के हार माप (गणित) क्षेत्र की बीजगणितीय संरचनाओं का उपयोग करके किया जा सकता है।

गैर-आर्किमिडीयन स्थानीय क्षेत्रों की बुनियादी विशेषताएं
गैर-आर्किमिडीयन स्थानीय क्षेत्र F के लिए (|·| द्वारा दर्शाए गए निरपेक्ष मान के साथ), निम्नलिखित ऑब्जेक्ट्स महत्वपूर्ण हैं:
 * यह  'पूर्णांकों का वलय' है $$\mathcal{O} = \{a\in F: |a|\leq 1\}$$ जो अलग मूल्यांकन रिंग है, F की बंद एकल गेंद है, और सघन स्थान है;
 * इसके पूर्णांकों के वलय में  'इकाइयाँ' $$\mathcal{O}^\times = \{a\in F: |a|= 1\}$$ जो समूह (गणित) बनाता है और F का इकाई क्षेत्र है;
 * अद्वितीय अशून्य प्रमुख आदर्श $$\mathfrak{m}$$ इसके पूर्णांकों के वलय में जो इसकी खुली इकाई गेंद $$\{a\in F: |a|< 1\}$$ है;
 * प्रमुख आदर्श $$\varpi$$ का $$\mathfrak{m}$$ का $$F$$ एकरूपकारक कहा जाता है;
 * इसका शेष क्षेत्र $$k=\mathcal{O}/\mathfrak{m}$$ जो परिमित है (चूँकि यह सघन और असतत स्थान है)।

F के प्रत्येक अशून्य तत्व a को a = ϖnu के साथ इकाई के रूप में लिखा जा सकता है, और n के साथ अद्वितीय पूर्णांक है। F का  'सामान्यीकृत मूल्यांकन' विशेषण फलन v : F → 'Z' ∪ {∞} है जिसे अद्वितीय पूर्णांक n पर अशून्य a भेजकर परिभाषित किया गया है जैसे कि a = ϖnu के साथ u एक इकाई, और 0 को ∞ भेजकर होता है। यदि q शेष क्षेत्र की प्रमुखता है, तो स्थानीय क्षेत्र के रूप में इसकी संरचना से प्रेरित F पर निरपेक्ष मान इस प्रकार दिया गया है:
 * $$|a|=q^{-v(a)}.$$

गैर-आर्किमिडीयन स्थानीय क्षेत्र की समतुल्य और बहुत महत्वपूर्ण परिभाषा यह है कि यह एक ऐसा क्षेत्र है जो पूर्ण मूल्यवान क्षेत्र है और जिसका शेष क्षेत्र परिमित है।

उदाहरण

 * 1) p-एडिक संख्याएँ: Q p के पूर्णांकों का वलय p-एडिक पूर्णांकों का वलय 'Z' होता हैp. इसका प्रमुख आदर्श p 'Z ' हैp और इसका अवशेष क्षेत्र Z/pZ है। Qp का प्रत्येक अशून्य तत्व u pn के रूप में लिखा जा सकता है | जहां Zpमें u एक इकाई है और n पूर्णांक है, तो v(u pn) = n सामान्यीकृत मूल्यांकन के लिए होता है ।
 * 2) परिमित क्षेत्र पर अकारिक लॉरेंट श्रृंखला: Fq((T)) के पूर्णांक की रिंग अकारिक शक्ति श्रृंखला Fqका वलय T है | इसका अधिक  त  म आदर्श (T) है (अर्थात शक्ति श्रृंखला जिसका स्थिर पद शून्य है) और इसका शेष क्षेत्र Fq है | इसका सामान्यीकृत मूल्यांकन अकारिक लॉरेंट श्रृंखला की (निचली) डिग्री से निम्नानुसार संबंधित है:
 * $$v\left(\sum_{i=-m}^\infty a_iT^i\right) = -m$$ (जहाँ a&minus;m अशून्य है)।
 * 1) सम्मिश्र संख्याओं पर अकारिक लॉरेंट श्रृंखला कोई स्थानीय क्षेत्र नहीं है। उदाहरण के लिए, इसका शेष क्षेत्र C T  /  (T) = C है, जो परिमित नहीं है।

  उच्च इकाई समूह
तब गैर-आर्कमिडियन स्थानीय क्षेत्र का उच्च इकाई समूह F है |
 * $$U^{(n)}=1+\mathfrak{m}^n=\left\{u\in\mathcal{O}^\times:u\equiv1\, (\mathrm{mod}\,\mathfrak{m}^n)\right\}$$

n ≥ 1 के लिए. समूह U(1) प्रमुख इकाइयों के समूह को कहते हैं तथा इसके किसी भी तत्व को प्रमुख इकाई कहते हैं। पूर्ण इकाई समूह $$\mathcal{O}^\times$$ U(0)से दर्शाया जाता है.

उच्च इकाई समूह इकाई समूह का घटता हुआ निस्पंदन (गणित) बनाते हैं
 * $$\mathcal{O}^\times\supseteq U^{(1)}\supseteq U^{(2)}\supseteq\cdots$$

जिसका भागफल समूह द्वारा दिया गया है
 * $$\mathcal{O}^\times/U^{(n)}\cong\left(\mathcal{O}/\mathfrak{m}^n\right)^\times\text{ and }\,U^{(n)}/U^{(n+1)}\approx\mathcal{O}/\mathfrak{m}$$

n ≥ 1 के लिए है। (यहाँ$$\approx$$इसका अर्थ अविहित समरूपता है।)

इकाई समूह की संरचना
गैर-आर्किमिडीयन स्थानीय क्षेत्र F के अशून्य तत्वों का गुणक समूह समरूपी है
 * $$F^\times\cong(\varpi)\times\mu_{q-1}\times U^{(1)}$$

जहां q शेष क्षेत्र का क्रम है, और μq−1 एकता (F) की (q−1)st जड़ों का समूह है। एबेलियन समूह के रूप में इसकी संरचना इसकी विशेषता (बीजगणित) पर निर्भर करती है:
 * यदि F में धनात्मक विशेषता p है, तो
 * $$F^\times\cong\mathbf{Z}\oplus\mathbf{Z}/{(q-1)}\oplus\mathbf{Z}_p^\mathbf{N}$$
 * जहाँ N प्राकृतिक संख्याओं को दर्शाता है;


 * यदि F में विशेषता शून्य है (अर्थात यह Qp डिग्री का d का सीमित विस्तार है), फिर
 * $$F^\times\cong\mathbf{Z}\oplus\mathbf{Z}/(q-1)\oplus\mathbf{Z}/p^a\oplus\mathbf{Z}_p^d$$
 * जहाँ a ≥ 0 को परिभाषित किया गया है जिससे कि F $$\mu_{p^a}$$ में एकता की p-शक्ति जड़ों का समूह हो |

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

उच्च-आयामी स्थानीय फ़ील्ड
स्थानीय क्षेत्र को कभी-कभी एक-आयामी स्थानीय क्षेत्र कहा जाता है।

गैर-आर्किमिडीयन स्थानीय क्षेत्र को उस व्युत्क्रमणीय बिंदु पर स्थान 1 की एक-आयामी अंकगणितीय योजना के स्थानीय रिंग के पूरा होने के अंशों के क्षेत्र के रूप में देखा जा सकता है।

अऋणात्मक पूर्णांक n के लिए, एक n-आयामी स्थानीय क्षेत्र पूर्ण असतत मूल्यांकन क्षेत्र है जिसका शेष क्षेत्र एक (n - 1)-आयामी स्थानीय क्षेत्र है। स्थानीय क्षेत्र की परिभाषा के आधार पर, शून्य-आयामी स्थानीय क्षेत्र या तो एक सीमित क्षेत्र होता है (इस लेख में प्रयुक्त परिभाषा के साथ), या धनात्मक विशेषता वाला आदर्श क्षेत्र होता है।

ज्यामितीय दृष्टिकोण से, अंतिम परिमित अवशेष क्षेत्र वाले n-आयामी स्थानीय क्षेत्र स्वाभाविक रूप से n-आयामी अंकगणितीय योजना की उप-योजनाओं के पूर्ण संकेत से जुड़े होते हैं।

यह भी देखें

 * हेंसल की लेम्मा
 * रामीकरण समूह
 * स्थानीय वर्ग क्षेत्र सिद्धांत
 * उच्च स्थानीय क्षेत्र