चतुर्थक पारस्परिकता

चतुर्थक या संख्या सिद्धांत पारस्परिकता प्राथमिक और बीजगणितीय संख्या सिद्धांत में प्रमेयों का एक संग्रह है जो उन स्थितियों को दर्शाता है जिनके तहत सर्वांगसम संबंध x⁴ ≡ p (mod q) हल करने योग्य है; शब्द "पारस्परिकता" इनमें से कुछ प्रमेयों के रूप से दर्शाया गया है, जिसमें वे सर्वांगसमता x⁴ ≡ p (mod q) की सॉल्वेबिलिटी को x⁴ ≡ q (mod p) से जोड़ते हैं।

इतिहास

लियोनहार्ड यूलर ने द्विघात पारस्परिकता के पश्चात प्रतम अनुमान लगाया था। जिसे कार्ल फ्रेडरिक गॉस ने द्विघात पारस्परिकता पर दो मोनोग्राफ प्रकाशित किए थे। प्रथम भाग (1828) में उन्होंने 2 के द्विघात स्वरूप के पश्चात में यूलर के अनुमान को सिद्ध किया था। और दूसरे भाग (1832) में उन्होंने गॉसियन पूर्णांकों के लिए द्विघात पारस्परिकता नियम बताया और पूरक सूत्रों को सिद्ध किया गया था। उन्होंने कहा कि सामान्य प्रमेय के प्रमाण के साथ तीसरा मोनोग्राफ आने वाला था, किन्तु यह कभी सामने नहीं आया था। जैकोबी ने 1836-37 के अपने कोनिग्सबर्ग व्याख्यान में प्रमाण प्रस्तुत किये। रेफरी>लेमरमेयर, पी। 200</ref> सर्वप्रथम प्रकाशित प्रमाण आइज़ेंस्टीन द्वारा थे। रेफरी>आइसेंस्टीन, लोइस डी पारस्परिकता</ref>

इस प्रकार से मौलिक (गाऊसी) संस्करण के अनेक अन्य प्रमाण मिले हैं, और साथ ही वैकल्पिक कथन भी प्राप्त किये गए है। लेमरमेयर का कथन यह है कि 1970 के दशक से रैशनल रेसीप्रोसिटी लॉ में रुचि का विस्फोट हुआ है।

पूर्णांक

इस प्रकार से चतुर्थक या द्विघात अवशेष (mod p) पूर्णांक (mod p) की चौथी घात के अनुरूप कोई भी संख्या है। यदि x⁴ ≡ a (mod p) का कोई पूर्णांक समाधान नहीं है, तब a 'चतुर्थक' या 'द्विघात गैर-अवशेष' (mod p) है।

जैसा कि संख्या सिद्धांत में अक्सर होता है, मॉड्यूलो अभाज्य संख्याओं पर कार्य करना अधिक सरल है, इसलिए इस खंड में सभी मॉड्यूल p, q, आदि को धनात्मक ,विषम अभाज्य माना जाता है।।

गॉस

इस प्रकार से पूर्णांकों के वलय Z के अन्दर कार्य करते समय ध्यान देने वाली महत्वपूर्ण तथ्य यह है कि यदि अभाज्य संख्या q ≡ 3 (mod 4) है तो अवशेष r द्विघात अवशेष (mod q) है ) यदि और केवल यदि यह द्विघात अवशेष (mod q) है। इसके अतिरिक्त, द्विघात पारस्परिकता के पहले पूरक में कहा गया है कि -1 द्विघात गैर-अवशेष (mod q) है, इसलिए किसी भी पूर्णांक x के लिए, x और -x में से द्विघात अवशेष है और दूसरा गैर-अवशेष है। इस प्रकार, यदि r ≡ a² (mod q) द्विघात अवशेष है, यदि a ≡ b² है, इस प्रकार से अवशेष है, r ≡ a² ≡ b⁴ (mod q) द्विघात अवशेष है, और यदि a गैर-अवशेष है, तो −a अवशेष है, −a ≡ b², और फिर, r ≡ (−a)² ≡ b⁴ (mod q) द्विघात अवशेष है।

इसलिए, एकमात्र रोचक स्तिथि तब है जब मापांक p ≡ 1 (mod 4) है।

इस प्रकार से गॉस ने सिद्ध किया है, कि यदि p ≡ 1 (mod 4) तो गैर-शून्य अवशेष वर्ग (mod p) को चतुर्थ समुच्चय में विभाजित किया जा सकता है, प्रत्येक में (p−1)/4 संख्याएं होती हैं। मान लीजिए कि e एक द्विघात अअवशेष है। प्रथम समुच्चय चतुर्थक पारस्परिकता है; दूसरा है प्रथम समुच्चय की संख्याओं का e गुना, तृतीय है प्रथम समुच्चय की संख्याओं का e² गुना और चौथा है प्रथम समुच्चय की संख्याओं का e³ गुना है। इस विभाजन का वर्णन करने का दूसरा विधि यह है कि g को एक आदिम मूल (mod p) मान लिया जाए; तो प्रथम समुच्चय वे सभी संख्याएँ हैं जिनके सूचकांक इस मूल के संबंध में ≡ 0 (mod 4) हैं, दूसरा समुच्चय वे सभी संख्याएँ हैं जिनके सूचकांक ≡ 1 (mod 4) आदि हैं। समूह सिद्धांत की शब्दावली में, प्रथम समुच्चय सूचकांक 4 (गुणक समूह Z/pZ^× का) का एक उपसमूह है, और अन्य तीन इसके सहसमुच्चय हैं।

प्रथम समुच्चय द्विघात अवशेष है, तृतीय समुच्चय द्विघात अवशेष है जो चतुर्थक पारस्परिकता नहीं हैं, और दूसरा और चौथा समुच्चय द्विघात गैर-अवशेष हैं। इस प्रकार से गॉस ने प्रमाणित किया कि -1 द्विघात अवशेष है यदि p ≡ 1 (mod 8) और द्विघात है, किन्तु द्विघात नहीं, जब p ≡ 5 (mod 8) है।

2 द्विघात अवशेष mod p है यदि और केवल यदि p ≡ ±1 (mod 8)। चूँकि p भी ≡ 1 (mod 4) है, अतः तथ्य है p ≡ 1 (mod 8)। इस प्रकार से प्रत्येक अभाज्य वर्ग और दोगुने वर्ग का योग होता है।

रेफरी> गॉस, डीए आर्ट। 182</ref>

इस प्रकार से गॉस ने सिद्ध किया है,

मान लीजिए q = a² + 2b² ≡ 1 (mod 8) अभाज्य संख्या हो। फिर

2 द्विघात अवशेष (mod क्यू) है यदि और केवल यदि a ≡ ±1 (mod 8), और

2 द्विघात है, किन्तु द्विघात नहीं, अवशेष (mod q) यदि और केवल यदि a ≡ ±3 (mod 8)।

प्रत्येक अभाज्य p ≡ 1 (mod 4) दो वर्गों का योग है। यदि p = a² + b² जहां a विषम है और b सम है, गॉस द्वारा प्रमाणित किया गया है,

2 ऊपर परिभाषित प्रथम (क्रमशः दूसरे, तीसरे या चौथे) वर्ग से संबंधित है यदि और केवल यदि b ≡ 0 (सम्मान 2, 4, या 6) (mod 8)। इसका प्रथम स्तिथि यूलर के अनुमानों में से है:

'2 अभाज्य p ≡ 1 (mod 4) का द्विघात अवशेष है यदि और केवल यदि p = a² + 64b².

डिरिचलेट

इस प्रकार से विषम अभाज्य संख्या p और द्विघात अवशेष a (mod p) के लिए, यूलर का मानदंड बताता है कि $a^{\frac {p-1}{2}}\equiv 1{\pmod {p}},$ तो यदि p ≡ 1 (mod 4),, $a^{\frac {p-1}{4}}\equiv \pm 1{\pmod {p}}.$

अभाज्य p ≡ 1 (mod 4) और द्विघात अवशेष a (mod p), के लिए तर्कसंगत चतुर्थक पारस्परिकता प्रतीक को इस प्रकार परिभाषित करें ${\Bigg (}{\frac {a}{p}}{\Bigg )}_{4}=\pm 1\equiv a^{\frac {p-1}{4}}{\pmod {p}}.$ यह सिद्ध करना सरल है कि a द्विघात अवशेष (mod p) है यदि और केवल यदि ${\Bigg (}{\frac {a}{p}}{\Bigg )}_{4}=1.$

डिरिचलेट 2 के द्विघात स्वरूप के गॉस के प्रमाण को सरल बनाया (उनके प्रमाण के लिए केवल पूर्णांकों के लिए द्विघात पारस्परिकता की आवश्यकता होती है) और परिणाम को निम्नलिखित रूप में रखा गया:

मान लीजिए p = a² + b² ≡ 1 (mod 4) अभाज्य हो, और मान लीजिए i ≡ b/a (mod p)। तब

${\Bigg (}{\frac {2}{p}}{\Bigg )}_{4}\equiv i^{\frac {ab}{2}}{\pmod {p}}.$(ध्यान दें कि i² ≡ −1 (mod p).)

वास्तव में, मान लीजिये p = a² + b² = c² + 2d² = e² − 2f² ≡ 1 (mod 8) अभाज्य हो, और मान लीजिये कि a विषम है। तब

${\Bigg (}{\frac {2}{p}}{\Bigg )}_{4}=\left(-1\right)^{\frac {b}{4}}={\Bigg (}{\frac {2}{c}}{\Bigg )}=\left(-1\right)^{n+{\frac {d}{2}}}={\Bigg (}{\frac {-2}{e}}{\Bigg )},$जहाँ $({\tfrac {x}{q}})$ साधारण लीजेंड्रे प्रतीक है।

2 के स्वरूप से आगे बढ़ते हुए, मान लीजिए कि अभाज्य p = a² + b² जहां b सम है, और मान लीजिए कि q अभाज्य है जैसे कि $({\tfrac {p}{q}})=1.$ द्विघात पारस्परिकता यह दर्शाया है की $({\tfrac {q^{*}}{p}})=1,$ जहाँ $q^{*}=(-1)^{\frac {q-1}{2}}q.$ मान लीजिए σ² ≡ p (mod q). तब

${\Bigg (}{\frac {q^{*}}{p}}{\Bigg )}_{4}={\Bigg (}{\frac {\sigma (b+\sigma )}{q}}{\Bigg )}.$ यह संकेत करता है तब

${\Bigg (}{\frac {q^{*}}{p}}{\Bigg )}_{4}=1{\mbox{ if and only if }}{\begin{cases}b\equiv 0{\pmod {q}};&{\mbox{ or }}\\a\equiv 0{\pmod {q}}{\mbox{ and }}\left({\frac {2}{q}}\right)=1;&{\mbox{ or }}\\a\equiv \mu b,\;\;\mu ^{2}+1\equiv \lambda ^{2}{\pmod {q}}{\mbox{, and }}\left({\frac {\lambda (\lambda +1)}{q}}\right)=1.\end{cases}}$

इस प्रकार से कुछ उदाहरण हैं:

${\begin{aligned}\left({\frac {-3}{p}}\right)_{4}=1&{\mbox{ if and only if }}&b&\equiv 0{\pmod {3}}\\\left({\frac {5}{p}}\right)_{4}=1&{\mbox{ if and only if }}&b&\equiv 0{\pmod {5}}\\\left({\frac {-7}{p}}\right)_{4}=1&{\mbox{ if and only if }}&ab&\equiv 0{\pmod {7}}\\\left({\frac {-11}{p}}\right)_{4}=1&{\mbox{ if and only if }}&b(b^{2}-3a^{2})&\equiv 0{\pmod {11}}\\\left({\frac {13}{p}}\right)_{4}=1&{\mbox{ if and only if }}&b(b^{2}-3a^{2})&\equiv 0{\pmod {13}}\\\left({\frac {17}{p}}\right)_{4}=1&{\mbox{ if and only if }}\;\;\;\;&ab(b^{2}-a^{2})&\equiv 0{\pmod {17}}.\\\end{aligned}}$

यूलर ने 2, −3 और 5 के लिए नियमों का अनुमान लगाया था, किन्तु उनमें से किसी को सिद्ध नहीं किया है।

डिरिचलेट यह भी सिद्ध किया कि यदि p ≡ 1 (mod 4) अभाज्य है और $({\tfrac {17}{p}})=1$ तब

${\Bigg (}{\frac {17}{p}}{\Bigg )}_{4}{\Bigg (}{\frac {p}{17}}{\Bigg )}_{4}={\begin{cases}+1{\mbox{ if and only if }}\;\;p=x^{2}+17y^{2}\\-1{\mbox{ if and only if }}2p=x^{2}+17y^{2}\end{cases}}$

ब्राउन और लेहमर द्वारा इसे 17 से बढ़ाकर 17, 73, 97 और 193 कर दिया गया है।

बर्डे

बर्डे के तर्कसंगत द्विघात पारस्परिकता लॉ को बताने के अनेक समकक्ष विधि हैं।

वे सभी यह मानते हैं कि p = a² + b² और q = c² + d² अभाज्य संख्याएँ हैं जहाँ b और d सम हैं, और वह $({\tfrac {p}{q}})=1.$

गॉसमुच्चय का संस्करण है:${\Bigg (}{\frac {q}{p}}{\Bigg )}_{4}\equiv {\Bigg (}{\frac {a/b-c/d}{a/b+c/d}}{\Bigg )}^{\frac {q-1}{4}}{\pmod {q}}.$

मान लीजिए i² ≡ −1 (mod p) और j² ≡ −1 (mod q), फ्रोलिच का नियम है

${\Bigg (}{\frac {q}{p}}{\Bigg )}_{4}{\Bigg (}{\frac {p}{q}}{\Bigg )}_{4}={\Bigg (}{\frac {a+bj}{q}}{\Bigg )}={\Bigg (}{\frac {c+di}{p}}{\Bigg )}.$

बर्डे ने इस रूप में अपने विचार प्रस्तुत किये है:

${\Bigg (}{\frac {q}{p}}{\Bigg )}_{4}{\Bigg (}{\frac {p}{q}}{\Bigg )}_{4}={\Bigg (}{\frac {ac-bd}{q}}{\Bigg )}.$

ध्यान दें कि

${\Bigg (}{\frac {ac+bd}{p}}{\Bigg )}={\Bigg (}{\frac {p}{q}}{\Bigg )}{\Bigg (}{\frac {ac-bd}{p}}{\Bigg )}.$

विविध

मान लीजिए कि p ≡ q ≡ 1 (mod 4) अभाज्य है और मान लीजिए $({\tfrac {p}{q}})=1$. फिर e² = p f² + q g² में गैर-नगण्य पूर्णांक समाधान हैं, तब

${\Bigg (}{\frac {p}{q}}{\Bigg )}_{4}{\Bigg (}{\frac {q}{p}}{\Bigg )}_{4}=\left(-1\right)^{\frac {fg}{2}}\left({\frac {-1}{e}}\right).$

मान लीजिए किp ≡ q ≡ 1 (mod 4) अभाज्य है और मान लीजिए कि p = r² + q s² है.तब

${\Bigg (}{\frac {p}{q}}{\Bigg )}_{4}{\Bigg (}{\frac {q}{p}}{\Bigg )}_{4}=\left({\frac {2}{q}}\right)^{s}.$

माना p = 1 + 4x²अभाज्य हो, मान लीजिए a कोई विषम संख्या है जो x को विभाजित करती है, और मान लीजिए $a^{*}=\left(-1\right)^{\frac {a-1}{2}}a.$ तब जहाँ a^* द्विघात अवशेष (mod p) है।

मान लीजिए p = a² + 4b² = c² + 2d² ≡ 1 (mod 8) अभाज्य है। तब इस प्रकार से सभी विभाजक c⁴ − p a² द्विघात अवशेष (mod p) हैं। इस तथ्य के अनुसार d⁴ − p b² के सभी विभाजकों के लिए भी सत्य है।.

गाऊसी पूर्णांक

पृष्ठभूमि

द्विघात पारस्परिकता पर अपने दूसरे मोनोग्राफ में गॉस ने कुछ उदाहरण प्रदर्शित किए हैं और अनुमान लगाए हैं जो लघु अभाज्य संख्याओं के द्विघात स्वरूप के लिए ऊपर सूचीबद्ध प्रमेयों का संकेत देते हैं। वह कुछ सामान्य टिप्पणियाँ करता है, और स्वीकार करता है कि कार्य में कोई स्पष्ट सामान्य नियम नहीं दर्शाया गया है।

चूंकि द्विघात अवशेषों पर प्रमेय अधिक उच्च सरलता और वास्तविक छवि के साथ तभी प्रकाशित करते हैं जब अंकगणित का क्षेत्र काल्पनिक संख्याओं तक बढ़ाया जाता है, जिससे बिना किसी प्रतिबंध के a + bi रूप की संख्याएं बन सकें अध्ययन की वस्तु बन जाएं ...... हम ऐसी संख्याओं को अभिन्न सम्मिश्र संख्याएँ कहते हैं।

इन संख्याओं को अब गॉसियन पूर्णांकों का वलय (गणित) कहा जाता है, जिन्हें Z[i] द्वारा दर्शाया जाता है। ध्यान दें कि i 1 का चौथा मूल है।

इस प्रकार से फ़ुटनोट में दर्शाया गया हैं

घन अवशेषों का सिद्धांत इसी प्रकार a + bh के रूप की संख्याओं के विचार पर आधारित होना चाहिए जहां h समीकरण h का काल्पनिक मूल है जहाँ h³ = 1 ... और इसी प्रकार उच्च घात के अवशेषों का सिद्धांत अन्य काल्पनिक मात्राओं के परिचय की ओर ले जाता है।

एकता के घनमूल से बनी संख्याओं को अब आइज़ेंस्टीन पूर्णांक का वलय कहा जाता है। उच्च घात के अवशेषों के सिद्धांत के लिए आवश्यक अन्य काल्पनिक मात्राएँ साइक्लोटोमिक क्षेत्र के पूर्णांकों की वलय हैं; गॉसियन और आइज़ेंस्टीन पूर्णांक इनके सबसे सरल उदाहरण हैं।

तथ्य और शब्दावली

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

इकाइयाँ वे संख्याएँ हैं जो 1 को विभाजित करती हैं। वे 1, i, −1, and −i. हैं। वे सामान्य पूर्णांकों में 1 और −1 के समान हैं, जिसमें वे प्रत्येक संख्या को विभाजित करते हैं। इकाइयाँ i की घात हैं।

संख्या λ = a + bi, दी गई है, इसका 'संयुग्म' a − bi है और इसके 'सहयोगी' चार संख्याएँ हैं

λ = +a + bi

iλ = −b + ai

−λ = −a − bi

−iλ = +b − ai

यदि λ = a + bi, तो λ का मान, जिसे Nλ लिखा जाता है, संख्या a² + b² . यदि λ और μ दो गाऊसी पूर्णांक हैं, तो Nλμ = Nλ Nμ; दूसरे शब्दों में, मानदंड गुणक है। शून्य का मानदण्ड शून्य होता है, किसी अन्य संख्या का मानदण्ड धनात्मक पूर्णांक होता है। जहाँ ε इकाई है यदि और केवल यदि Nε = 1. λ के मानदंड का वर्गमूल, गैर-ऋणात्मक वास्तविक संख्या जो गॉसियन पूर्णांक नहीं हो सकती है, लैम्ब्डा का पूर्ण मान है।

गॉस प्रमाणित करता है कि Z[i] अद्वितीय गुणनखंडन डोमेन है और दिखाता है कि अभाज्य संख्याएँ तीन वर्गों में आती हैं:

• 2 विशेष स्तिथि है: जहाँ 2 = i³ (1 + i)². यह Z का एकमात्र अभाज्य है जो Z[i] के अभाज्य के वर्ग से विभाज्य है। बीजगणितीय संख्या सिद्धांत में, 2 को Z[i] में विस्तारित कहा जाता है।
• Z ≡ 3 (mod 4) में धनात्मक अभाज्य संख्याएँ Z[i] में भी अभाज्य संख्याएँ हैं। बीजगणितीय संख्या सिद्धांत में, कहा जाता है कि ये अभाज्य संख्याएँ Z[i] में निष्क्रिय रहती हैं।
• Z ≡ 1 (mod 4) में धनात्मक अभाज्य संख्याएँ Z[i] में दो संयुग्मी अभाज्य संख्याओं का गुणनफल हैं। बीजगणितीय संख्या सिद्धांत में, इन अभाज्य संख्याओं को Z[i] में विभाजित करने के लिए कहा जाता है।

इस प्रकार, अक्रिय अभाज्य संख्याएँ 3, 7, 11, 19, ... हैं और विभाजित अभाज्य संख्याओं का गुणनखंडन है

  λ = +a + bi

 iλ = −b + ai

−λ = −a − bi

−iλ = +b − ai

अभाज्य के सहयोगी और संयुग्मक भी अभाज्य हैं।

ध्यान दें कि अक्रिय अभाज्य q का मानदंड Nq = q² ≡ 1 (mod 4) है; इस प्रकार 1 + i और उसके सहयोगियों को छोड़कर सभी अभाज्य अभाज्य संख्याओं का मान ≡ 1 (mod 4) है।

गॉस 'Z'[i] में किसी संख्या को 'विषम' कहते हैं यदि उसका मानदंड विषम पूर्णांक है। इस प्रकार 1 + i और उसके सहयोगियों को छोड़कर सभी अभाज्य संख्याएँ विषम हैं। दो विषम संख्याओं का गुणनफल विषम होता है और विषम संख्या के संयुग्म और सहयोगी विषम होते हैं।

अद्वितीय गुणनखंडन प्रमेय को बताने के लिए, किसी संख्या के सहयोगियों में से किसी को अलग करने का विधि होना आवश्यक है। गॉस परिभाषित करता है विषम संख्या प्राथमिक होगी यदि यह ≡ 1 (mod (1 + i)³) है. यह दिखाना सरल है कि प्रत्येक विषम संख्या का प्राथमिक सहयोगी होता है। विषम संख्या λ = a + bi प्राथमिक है यदि a + b ≡ a − b ≡ 1 (mod 4); यानी, a ≡ 1 और b ≡ 0, या a ≡ 3 और b ≡ 2 (mod 4)। दो प्राथमिक संख्याओं का गुणनफल प्राथमिक होता है और प्राथमिक संख्या का संयुग्मन भी प्राथमिक होता है।

अद्वितीय गुणनखंडन प्रमेय Z[i] के लिए है: यदि λ ≠ 0, तब

$\lambda =i^{\mu }(1+i)^{\nu }\pi _{1}^{\alpha _{1}}\pi _{2}^{\alpha _{2}}\pi _{3}^{\alpha _{3}}\dots$

जहां 0 ≤ μ ≤ 3, ν ≥ 0, π_is प्राथमिक अभाज्य संख्याएँ और α_is ≥ 1 हैं, और यह प्रतिनिधित्व कारकों के क्रम तक अद्वितीय है।

सर्वांगसमता संबंध की धारणाएँ और सबसे बड़ा सामान्य भाजक Z[i] में उसी तरह से परिभाषित किया गया है जैसे वे सामान्य पूर्णांक Z के लिए हैं। क्योंकि इकाइयाँ सभी संख्याओं को विभाजित करती हैं, सर्वांगसमता (mod λ) λ के किसी भी सहयोगी और a के किसी भी सहयोगी के लिए भी सच है। जीसीडी भी जीसीडी है.

चतुर्थक पारस्परिकता स्वरूप

गॉस फ़र्मेट के छोटे प्रमेय के एनालॉग को प्रमाणित करता है फ़र्मेट का प्रमेय: यदि α विषम अभाज्य π से विभाज्य नहीं है, तब

$\alpha ^{N\pi -1}\equiv 1{\pmod {\pi }}$

चूँकि Nπ ≡ 1 (mod 4), $\alpha ^{\frac {N\pi -1}{4}}$ समझ में आता है, और $\alpha ^{\frac {N\pi -1}{4}}\equiv i^{k}{\pmod {\pi }}$ अद्वितीय इकाई के लिए i^k.

इस इकाई को α (mod π) का 'चतुर्थक' या 'द्विघातीय अवशेष वर्ण' कहा जाता है और इसे इसके द्वारा निरूपित किया जाता है

$\left[{\frac {\alpha }{\pi }}\right]=i^{k}\equiv \alpha ^{\frac {N\pi -1}{4}}{\pmod {\pi }}.$

इसमें लीजेंड्रे प्रतीक के समान औपचारिक गुण हैं।

सर्वांगसमता $x^{4}\equiv \alpha {\pmod {\pi }}$ Z[i] में हल करने योग्य है यदि और केवल यदि$\left[{\frac {\alpha }{\pi }}\right]=1.$

${\Bigg [}{\frac {\alpha \beta }{\pi }}{\Bigg ]}={\Bigg [}{\frac {\alpha }{\pi }}{\Bigg ]}{\Bigg [}{\frac {\beta }{\pi }}{\Bigg ]}$

${\overline {{\Bigg [}{\frac {\alpha }{\pi }}{\Bigg ]}}}={\Bigg [}{\frac {\overline {\alpha }}{\overline {\pi }}}{\Bigg ]}$ जहां बार समष्टि संयुग्मन को दर्शाता है।

यदि π और θ सहयोगी हैं,${\Bigg [}{\frac {\alpha }{\pi }}{\Bigg ]}={\Bigg [}{\frac {\alpha }{\theta }}{\Bigg ]}$

यदि α ≡ β (mod π),${\Bigg [}{\frac {\alpha }{\pi }}{\Bigg ]}={\Bigg [}{\frac {\beta }{\pi }}{\Bigg ]}$

द्विघात वर्ण को सभी में विषम भाज्य संख्याओं तक बढ़ाया जा सकता है, उसी प्रकार लीजेंड्रे प्रतीक को जैकोबी प्रतीक में सामान्यीकृत किया जाता है। उस स्थिति में, यदि सभी मिश्रित है, तो सर्वांगसमता को हल किए बिना प्रतीक के समान हो सकता है:

$\left[{\frac {\alpha }{\lambda }}\right]=\left[{\frac {\alpha }{\pi _{1}}}\right]^{\alpha _{1}}\left[{\frac {\alpha }{\pi _{2}}}\right]^{\alpha _{2}}\dots$जहाँ $\lambda =\pi _{1}^{\alpha _{1}}\pi _{2}^{\alpha _{2}}\pi _{3}^{\alpha _{3}}\dots$

यदि a और b साधारण पूर्णांक हैं, तो a ≠ 0, |b| > 1, जीसीडी(a, b) = 1, फिर    $\left[{\frac {a}{b}}\right]=1.$

प्रमेय के कथन

गॉस ने द्विघात पारस्परिकता के नियम को इस रूप में दर्शाया है:

मान लीजिए π और θ Z[i] के अलग-अलग प्राथमिक अभाज्य हैं। तब

यदि या तो π या θ या दोनों ≡ 1 (mod 4) हैं, तो ${\Bigg [}{\frac {\pi }{\theta }}{\Bigg ]}=\left[{\frac {\theta }{\pi }}\right],$ किन्तु

यदि π और θ दोनों ≡ 3 + 2i (mod 4) हैं, तो ${\Bigg [}{\frac {\pi }{\theta }}{\Bigg ]}=-\left[{\frac {\theta }{\pi }}\right].$

जिस प्रकार लीजेंड्रे प्रतीक के लिए द्विघात पारस्परिकता लॉ जैकोबी प्रतीक के लिए भी सत्य है, संख्याओं के अभाज्य होने की आवश्यकता नहीं है; यह पर्याप्त है कि वे विषम अपेक्षाकृत अभाज्य गैर-इकाइयाँ होती है। अतः संभवतः अधिक प्रसिद्ध कथन है:

मान लीजिए π और θ प्राथमिक अपेक्षाकृत अभाज्य गैरइकाइयाँ हैं। तब

${\Bigg [}{\frac {\pi }{\theta }}{\Bigg ]}\left[{\frac {\theta }{\pi }}\right]^{-1}=(-1)^{{\frac {N\pi -1}{4}}{\frac {N\theta -1}{4}}}.$

पूरक प्रमेय हैं इकाइयों और अर्ध-सम अभाज्य 1 + i के लिए।

यदि π = a + bi प्राथमिक अभाज्य है, तब

${\Bigg [}{\frac {i}{\pi }}{\Bigg ]}=i^{-{\frac {a-1}{2}}},\;\;\;{\Bigg [}{\frac {1+i}{\pi }}{\Bigg ]}=i^{\frac {a-b-1-b^{2}}{4}},$

और इस प्रकार

${\Bigg [}{\frac {-1}{\pi }}{\Bigg ]}=(-1)^{\frac {a-1}{2}},\;\;\;{\Bigg [}{\frac {2}{\pi }}{\Bigg ]}=i^{-{\frac {b}{2}}}.$

इसके अतिरिक्त, यदि π = a + bi प्राथमिक अभाज्य है, और b ≠ 0 है तो

${\Bigg [}{\frac {\overline {\pi }}{\pi }}{\Bigg ]}={\Bigg [}{\frac {-2}{\pi }}{\Bigg ]}(-1)^{\frac {a^{2}-1}{8}}$(यदि b = 0 तो प्रतीक 0 है)।

जैकोबी ने π = a + bi को प्राथमिक माना यदि a ≡ 1 (mod 4)। इस सामान्यीकरण के साथ, लॉ आकार लेता है

मान लीजिए α = a + bi और β = c + di जहां a ≡ c ≡ 1 (mod 4) और b और d अपेक्षाकृत अभाज्य गैर-इकाइयाँ भी हैं। तब

$\left[{\frac {\alpha }{\beta }}\right]\left[{\frac {\beta }{\alpha }}\right]^{-1}=(-1)^{\frac {bd}{4}}$

निम्नलिखित संस्करण गॉस की अप्रकाशित पांडुलिपियों में पाया गया था।

मान लीजिए α = a + 2bi और β = c + 2di जहां a और c विषम हैं, वे अपेक्षाकृत अभाज्य गैर-इकाइयाँ हैं। तब

$\left[{\frac {\alpha }{\beta }}\right]\left[{\frac {\beta }{\alpha }}\right]^{-1}=(-1)^{bd+{\frac {a-1}{2}}d+{\frac {c-1}{2}}b},\;\;\;\;\left[{\frac {1+i}{\alpha }}\right]=i^{{\frac {b(a-3b)}{2}}-{\frac {a^{2}-1}{8}}}$

लॉ को प्राथमिक की अवधारणा का उपयोग किए बिना दर्शाया जा सकता है:

यदि λ विषम है, तो मान लें कि ε(λ) λ के सर्वांगसम अद्वितीय इकाई है (mod (1 + i)³); अर्थात, ε(λ) = i^k ≡ λ (mod 2 + 2i), जहां 0 ≤ k ≤ 3. फिर विषम और अपेक्षाकृत अभाज्य α और β के लिए, कोई भी इकाई नहीं है,

$\left[{\frac {\alpha }{\beta }}\right]\left[{\frac {\beta }{\alpha }}\right]^{-1}=(-1)^{{\frac {N\alpha -1}{4}}{\frac {N\beta -1}{4}}}\epsilon (\alpha )^{\frac {N\beta -1}{4}}\epsilon (\beta )^{\frac {N\alpha -1}{4}}$

विषम λ के लिए, चलो $\lambda ^{*}=(-1)^{\frac {N\lambda -1}{4}}\lambda .$ फिर यदि λ और μ अपेक्षाकृत अभाज्य गैर-इकाइयाँ हैं, तो आइज़ेंस्टीन ने सिद्ध किया

$\left[{\frac {\lambda }{\mu }}\right]={\Bigg [}{\frac {\mu ^{*}}{\lambda }}{\Bigg ]}.$

यह भी देखें

• द्विघात पारस्परिकता
• घन पारस्परिकता
• ऑक्टिक पारस्परिकता
• आइसेनस्टीन पारस्परिकता
• आर्टिन पारस्परिकता

टिप्पणियाँ

• A.^ Here, "rational" means laws that are stated in terms of ordinary integers rather than in terms of the integers of some algebraic number field.

साहित्य

यूलर, डिरिचलेट और ईसेनस्टीन के मूल पत्रों के संदर्भ लेमरमेयर और कॉक्स की ग्रंथ सूची से कॉपी किए गए थे, और इस लेख की तैयारी में उनका उपयोग नहीं किया गया था।

यूलर

• Euler, Leonhard (1849), Tractatus de numeroroum doctrina capita sedecim quae supersunt, Comment. Arithmet. 2

यह वास्तव में 1748-1750 में लिखा गया था, किन्तु केवल मरणोपरांत प्रकाशित किया गया था; यह खंड V, पृष्ठ 182-283 में है

• Euler, Leonhard (1911–1944), Opera Omnia, Series prima, Vols I–V, Leipzig & Berlin: Teubner

गॉस

द्विघात पारस्परिकता पर गॉस द्वारा प्रकाशित दो मोनोग्राफ में लगातार क्रमांकित खंड हैं: पहले में §§ 1-23 और दूसरे में §§ 24-76 हैं। इन्हें संदर्भित करने वाले फ़ुटनोट गॉस, बीक्यू, § एन के रूप में हैं। डिस्क्विज़िशन अरिथमेटिके को संदर्भित करने वाले फ़ुटनोट गॉस, डीए, आर्ट के रूप में हैं। एन ।

• Gauss, Carl Friedrich (1828), Theoria residuorum biquadraticorum, Commentatio prima, Göttingen: Comment. Soc. regiae sci, Göttingen 6

• Gauss, Carl Friedrich (1832), Theoria residuorum biquadraticorum, Commentatio secunda, Göttingen: Comment. Soc. regiae sci, Göttingen 7 }

ये गॉस वर्क, खंड II, पृष्ठ 107-1 में हैं 65-92 और 93-148

जर्मन अनुवाद पीपी में हैं। निम्नलिखित अध्याय के 511-533 और 534-586, जिसमें संख्या सिद्धांत पर अंकगणितीय विवेचन और गॉस के अन्य पेपर भी शामिल हैं।

• Gauss, Carl Friedrich; Maser, H. (translator into German) (1965), Untersuchungen uber hohere Arithmetik (Disquisitiones Arithmeticae & other papers on number theory) (Second edition), New York: Chelsea, ISBN 0-8284-0191-8 {{citation}}: |first2= has generic name (help)

आइसेनस्टीन

• Eisenstein, Ferdinand Gotthold (1844), "Lois de réciprocité", Journal für die reine und angewandte Mathematik (Crelle's Journal), J. Reine Angew. Math. 28, pp. 53–67 (Crelle's Journal), 1844 (28): 53–67, doi:10.1515/crll.1844.28.53, S2CID 120713971

• Eisenstein, Ferdinand Gotthold (1844), Einfacher Beweis und Verallgemeinerung des Fundamentaltheorems für die biquadratischen Reste, J. Reine Angew. Math. 28 pp. 223–245 (Crelle's Journal)

• Eisenstein, Ferdinand Gotthold (1845), Application de l'algèbre à l'arithmétique transcendante, J. Reine Angew. Math. 29 pp. 177–184 (Crelle's Journal)

• Eisenstein, Ferdinand Gotthold (1846), Beiträge zur Theorie der elliptischen Funktionen I: Ableitung des biquadratischen Fundalmentaltheorems aus der Theorie der Lemniskatenfunctionen, nebst Bemerkungen zu den Multiplications- und Transformationsformeln, J. Reine Angew. Math. 30 pp. 185–210 (Crelle's Journal)

ये सभी कागजात उनके वर्के के खंड I में हैं।

डिरिचलेट

• Dirichlet, Pierre Gustave LeJeune (1832), Démonstration d'une propriété analogue à la loi de Réciprocité qui existe entre deux nombres premiers quelconques, J. Reine Angew. Math. 9 pp. 379–389 (Crelle's Journal)

• Dirichlet, Pierre Gustave LeJeune (1833), Untersuchungen über die Theorie der quadratischen Formen, Abh. Königl. Preuss. Akad. Wiss. pp. 101–121

ये दोनों उनके वर्के के खंड I में हैं।

आधुनिक लेखक

• Cox, David A. (1989), Primes of the form x² + n y², New York: Wiley, ISBN 0-471-50654-0

• Ireland, Kenneth; Rosen, Michael (1990), A Classical Introduction to Modern Number Theory (Second edition), New York: Springer, ISBN 0-387-97329-X

• Lemmermeyer, Franz (2000), Reciprocity Laws: from Euler to Eisenstein, Springer Monographs in Mathematics, Berlin: Springer, doi:10.1007/978-3-662-12893-0, ISBN 3-540-66957-4

बाहरी संबंध

• Weisstein, Eric W. "Biquadratic Reciprocity Theorem". MathWorld.

These two papers by Franz Lemmermeyer contain proofs of Burde's law and related results:

• Rational Quartic Reciprocity
• Rational Quartic Reciprocity II