आइज़ेंस्टीन पूर्णांक: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Complex number whose mapping on a coordinate plane produces a triangular lattice}} | {{Short description|Complex number whose mapping on a coordinate plane produces a triangular lattice}} | ||
[[Image:Eisenstein integer lattice.png|thumb|191px|सम्मिश्र समतल में त्रिकोणीय जालक के प्रतिच्छेदन बिंदुओं के रूप में | [[Image:Eisenstein integer lattice.png|thumb|191px|सम्मिश्र समतल में त्रिकोणीय जालक के प्रतिच्छेदन बिंदुओं के रूप में आइज़ेंस्टीन पूर्णांक]]गणित में, आइज़ेंस्टीन पूर्णांक (गोथोल्ड आइज़ेंस्टीन के बाद नामित), कभी-कभी यूलेरियन पूर्णांकों ([[लियोनहार्ड यूलर]] के बाद) के रूप में भी जाने जाते हैं<ref name="euler-name" />, यह - | ||
:<math>z = a + b\omega ,</math> रूप की सम्मिश्र संख्याएँ हैं | :<math>z = a + b\omega ,</math> रूप की सम्मिश्र संख्याएँ हैं | ||
| Line 6: | Line 6: | ||
:<math>\omega = \frac{-1 + i\sqrt 3}{2} = e^{i2\pi/3}</math> | :<math>\omega = \frac{-1 + i\sqrt 3}{2} = e^{i2\pi/3}</math> | ||
[[एकता का घनमूल|एकता का]] एक प्रारंभिक (इसलिए अवास्तविक) [[एकता का घनमूल|घनमूल]] है। गौसियन पूर्णांकों के विपरीत, | [[एकता का घनमूल|एकता का]] एक प्रारंभिक (इसलिए अवास्तविक) [[एकता का घनमूल|घनमूल]] है। गौसियन पूर्णांकों के विपरीत, आइज़ेंस्टीन पूर्णांक [[जटिल विमान|सम्मिश्र समतल]] में [[त्रिकोणीय जाली|त्रिकोणीय जालक]] बनाते हैं, जो सम्मिश्र समतल में वर्ग जालक बनाते हैं। आइज़ेंस्टीन पूर्णांक [[गणनीय सेट|गणनीय रूप से अनंत सेट]] हैं। | ||
== गुण == | == गुण == | ||
आइज़ेंस्टीन पूर्णांक [[बीजगणितीय संख्या क्षेत्र]] <math>\mathbb{Q}(\omega)</math> - तीसरा [[साइक्लोटोमिक क्षेत्र|चक्रविक्षिप्त क्षेत्र]] में [[बीजगणितीय पूर्णांक|बीजगणितीय पूर्णांकों]] का क्रमविनिमेय वलय बनाते हैं। यह देखने के लिए कि आइज़ेंस्टीन पूर्णांक बीजगणितीय पूर्णांक हैं, ध्यान दें कि प्रत्येक{{nowrap| {{mvar| z {{=}} a + bω}} }} [[मोनिक बहुपद]] - | |||
:<math>z^2 - (2a - b)\;\!z + \left(a^2 - ab + b^2\right)~</math> का एक मूल है। | :<math>z^2 - (2a - b)\;\!z + \left(a^2 - ab + b^2\right)~</math> का एक मूल है। | ||
विशेष रूप से, {{mvar|ω}} समीकरण <math>\omega^2 + \omega + 1 = 0~</math> को संतुष्ट करता है। | विशेष रूप से, {{mvar|ω}} समीकरण <math>\omega^2 + \omega + 1 = 0~</math> को संतुष्ट करता है। | ||
दो | दो आइज़ेंस्टीन पूर्णांकों {{nowrap| {{mvar| a + bω}} }} और {{nowrap| {{mvar|c + dω}} }} का गुणनफल | ||
:<math>(a + b\;\!\omega) \;\! (c + d\;\!\omega)=(ac - bd) + (bc + ad - bd)\;\!\omega~</math> द्वारा स्पष्ट रूप से दिया गया है। | :<math>(a + b\;\!\omega) \;\! (c + d\;\!\omega)=(ac - bd) + (bc + ad - bd)\;\!\omega~</math> द्वारा स्पष्ट रूप से दिया गया है। | ||
आइज़ेंस्ताइन पूर्णांक का 2-मानक केवल इसका वर्गित मापांक है, और <math>{\left|a + b\;\!\omega\right|}^2 \,= \, {(a - \tfrac{1}{2} b)}^2 + \tfrac{3}{4} b^2 \, = \, a^2 - ab + b^2~,</math> द्वारा दिया जाता है, जो स्पष्ट रूप से धनात्मक साधारण (तर्कसंगत) पूर्णांक है। | आइज़ेंस्ताइन पूर्णांक का 2-मानक केवल इसका वर्गित मापांक है, और <math>{\left|a + b\;\!\omega\right|}^2 \,= \, {(a - \tfrac{1}{2} b)}^2 + \tfrac{3}{4} b^2 \, = \, a^2 - ab + b^2~,</math> द्वारा दिया जाता है, जो स्पष्ट रूप से धनात्मक साधारण (तर्कसंगत) पूर्णांक है। | ||
| Line 21: | Line 21: | ||
इस वलय में [[इकाइयों का समूह]] सम्मिश्र समतल: <math>\left\{\pm 1, \pm\omega , \pm\omega^2 \right\}~,</math> मानक 1 के आइज़ेंस्टीन पूर्णांक में एकता के छठे मूल द्वारा गठित [[चक्रीय समूह]] है। | इस वलय में [[इकाइयों का समूह]] सम्मिश्र समतल: <math>\left\{\pm 1, \pm\omega , \pm\omega^2 \right\}~,</math> मानक 1 के आइज़ेंस्टीन पूर्णांक में एकता के छठे मूल द्वारा गठित [[चक्रीय समूह]] है। | ||
== | == आइज़ेंस्टीन अभाज्य == | ||
[[Image:EisensteinPrimes-01.svg|right|thumb|सूक्ष्म आइज़ेंस्टीन अभाज्य।]]अगर {{math|''x''}} और {{math|''y''}} आइज़ेंस्टीन पूर्णांक हैं, हम कहते हैं कि {{math|''x''}} {{math|''y''}} को विभाजित करता है यदि कोई आइज़ेंस्टीन पूर्णांक {{math|''z''}} ऐसा है कि {{math|''y'' {{=}} ''zx''}} हो। गैर-इकाई आइज़ेंस्टीन पूर्णांक {{math|''x''}} को [[ईसेनस्टीन प्राइम| | [[Image:EisensteinPrimes-01.svg|right|thumb|सूक्ष्म आइज़ेंस्टीन अभाज्य।]]अगर {{math|''x''}} और {{math|''y''}} आइज़ेंस्टीन पूर्णांक हैं, हम कहते हैं कि {{math|''x''}} {{math|''y''}} को विभाजित करता है यदि कोई आइज़ेंस्टीन पूर्णांक {{math|''z''}} ऐसा है कि {{math|''y'' {{=}} ''zx''}} हो। गैर-इकाई आइज़ेंस्टीन पूर्णांक {{math|''x''}} को [[ईसेनस्टीन प्राइम|आइज़ेंस्टीन अभाज्य]] कहा जाता है अगर इसके केवल गैर-इकाई विभाजक {{math|''ux''}} के रूप में हों, जहाँ {{math|''u''}} छह इकाइयों में से कोई भी हो। | ||
आइज़ेंस्टीन अभाज्य दो प्रकार के होते हैं। सबसे पहले, साधारण [[अभाज्य संख्या]] (या परिमेय अभाज्य) जो 2 mod 3 के सर्वांगसम है, एक आइज़ेंस्टीन अभाज्य भी है। दूसरा, 3 और प्रत्येक परिमेय अभाज्य {{nowrap|1 mod 3}} के सर्वांगसम आइज़ेंस्टीन पूर्णांक {{math|''x'' + ''ωy''}} के मानक {{math|''x''<sup>2</sup> − ''xy'' + ''y''<sup>2</sup>}} के बराबर हैं। इस प्रकार, इस तरह के अभाज्य को {{math|(''x'' + ''ωy'')(''x'' + ''ω''<sup>2</sup>''y'')}} के रूप में गुणनखंड किया जा सकता है, और ये गुणनखंड आइज़ेंस्टीन अभाज्य हैं: ये सटीक रूप से आइज़ेंस्टीन पूर्णांक हैं जिनका मानदंड एक परिमेय अभाज्य है। | आइज़ेंस्टीन अभाज्य दो प्रकार के होते हैं। सबसे पहले, साधारण [[अभाज्य संख्या]] (या परिमेय अभाज्य) जो 2 mod 3 के सर्वांगसम है, एक आइज़ेंस्टीन अभाज्य भी है। दूसरा, 3 और प्रत्येक परिमेय अभाज्य {{nowrap|1 mod 3}} के सर्वांगसम आइज़ेंस्टीन पूर्णांक {{math|''x'' + ''ωy''}} के मानक {{math|''x''<sup>2</sup> − ''xy'' + ''y''<sup>2</sup>}} के बराबर हैं। इस प्रकार, इस तरह के अभाज्य को {{math|(''x'' + ''ωy'')(''x'' + ''ω''<sup>2</sup>''y'')}} के रूप में गुणनखंड किया जा सकता है, और ये गुणनखंड आइज़ेंस्टीन अभाज्य हैं: ये सटीक रूप से आइज़ेंस्टीन पूर्णांक हैं जिनका मानदंड एक परिमेय अभाज्य है। | ||
== [[यूक्लिडियन डोमेन]] == | == [[यूक्लिडियन डोमेन]] == | ||
आइज़ेंस्टीन पूर्णांकों का वलय एक यूक्लिडियन डोमेन बनाता है जिसका मानदंड {{math|''N''}} ऊपर के रूप में वर्ग मापांक द्वारा दिया गया है: | |||
:<math>N(a+b\,\omega) = a^2 - a b + b^2. </math> | :<math>N(a+b\,\omega) = a^2 - a b + b^2. </math> | ||
एक [[विभाजन एल्गोरिथ्म]], किसी भी लाभांश पर लागू होता है <math>\alpha</math> और भाजक <math>\beta\neq 0</math>, एक भागफल देता है | एक [[विभाजन एल्गोरिथ्म]], किसी भी लाभांश पर लागू होता है <math>\alpha</math> और भाजक <math>\beta\neq 0</math>, एक भागफल देता है | ||
| Line 42: | Line 42: | ||
यहाँ <math>\lfloor x\rceil</math> किसी भी मानक [[गोलाई]]-टू-इंटीजर फ़ंक्शन को निरूपित कर सकता है। | यहाँ <math>\lfloor x\rceil</math> किसी भी मानक [[गोलाई]]-टू-इंटीजर फ़ंक्शन को निरूपित कर सकता है। | ||
कारण यह संतुष्ट करता है <math>N(\rho) < N(\beta)</math>, जबकि अधिकांश अन्य [[द्विघात पूर्णांक]] रिंगों के लिए अनुरूप प्रक्रिया विफल हो जाती है, इस प्रकार है। आदर्श के लिए एक मौलिक डोमेन <math>\mathbb{Z}[\omega]\beta =\mathbb Z\beta+\mathbb Z\omega\beta</math>, जटिल तल पर अनुवाद द्वारा कार्य करना, 60°–120° समचतुर्भुज है जिसके शीर्ष हैं <math>0,\beta,\omega\beta, \beta+\omega\beta</math>. कोई भी | कारण यह संतुष्ट करता है <math>N(\rho) < N(\beta)</math>, जबकि अधिकांश अन्य [[द्विघात पूर्णांक]] रिंगों के लिए अनुरूप प्रक्रिया विफल हो जाती है, इस प्रकार है। आदर्श के लिए एक मौलिक डोमेन <math>\mathbb{Z}[\omega]\beta =\mathbb Z\beta+\mathbb Z\omega\beta</math>, जटिल तल पर अनुवाद द्वारा कार्य करना, 60°–120° समचतुर्भुज है जिसके शीर्ष हैं <math>0,\beta,\omega\beta, \beta+\omega\beta</math>. कोई भी आइज़ेंस्टीन पूर्णांक α इस समांतर चतुर्भुज के अनुवादों में से एक और भागफल के अंदर स्थित है <math>\kappa</math> इसके शीर्षों में से एक है। शेष α से इस शीर्ष तक वर्ग दूरी है, लेकिन हमारे एल्गोरिदम में अधिकतम संभव दूरी केवल है <math>\tfrac{\sqrt3}2 |\beta|</math>, इसलिए <math>|\rho| \leq \tfrac{\sqrt3}2 |\beta|< |\beta|</math>. (ρ का आकार लेकर थोड़ा कम किया जा सकता है <math>\kappa</math> निकटतम कोना होना।) | ||
== आइज़ेंस्टीन पूर्णांकों द्वारा {{math|C}} का भागफल == | == आइज़ेंस्टीन पूर्णांकों द्वारा {{math|C}} का भागफल == | ||
सभी | सभी आइज़ेंस्टीन पूर्णांक वाले [[जाली (समूह)|जालक (समूह)]] द्वारा सम्मिश्र समतल {{math|'''C'''}} का भागफल वास्तविक आयाम 2 का [[जटिल टोरस|जटिल टॉरस]] है। यह ऐसे सभी सम्मिश्र टोरी के बीच अधिकतम [[समरूपता]] वाले दो तोरी में से एक है। यह टॉरस नियमित षट्भुज के विपरीत किनारों के तीन जोड़े में से प्रत्येक की पहचान करके प्राप्त किया जा सकता है। (अन्य अधिकतम सममित टॉरस गॉसियन पूर्णांकों के योगात्मक जालक द्वारा सम्मिश्र समतल का भागफल है, और एक वर्ग मौलिक डोमेन के विपरीत पक्षों के दो जोड़े में से प्रत्येक की पहचान करके प्राप्त किया जा सकता है, जैसे कि {{nowrap|[0,1] × [0,1]}}.) | ||
== यह भी देखें == | == यह भी देखें == | ||
| Line 53: | Line 53: | ||
* हर्मिट स्थिरांक | * हर्मिट स्थिरांक | ||
* क्यूबिक पारस्परिकता | * क्यूबिक पारस्परिकता | ||
* लोनर की | * लोनर की टॉरस असमानता | ||
* [[हर्विट्ज़ चतुर्धातुक]] | * [[हर्विट्ज़ चतुर्धातुक]] | ||
* द्विघात पूर्णांक | * द्विघात पूर्णांक | ||
Revision as of 19:36, 15 February 2023
गणित में, आइज़ेंस्टीन पूर्णांक (गोथोल्ड आइज़ेंस्टीन के बाद नामित), कभी-कभी यूलेरियन पूर्णांकों (लियोनहार्ड यूलर के बाद) के रूप में भी जाने जाते हैं[1], यह -
- रूप की सम्मिश्र संख्याएँ हैं
जहां a और b पूर्णांक हैं और
एकता का एक प्रारंभिक (इसलिए अवास्तविक) घनमूल है। गौसियन पूर्णांकों के विपरीत, आइज़ेंस्टीन पूर्णांक सम्मिश्र समतल में त्रिकोणीय जालक बनाते हैं, जो सम्मिश्र समतल में वर्ग जालक बनाते हैं। आइज़ेंस्टीन पूर्णांक गणनीय रूप से अनंत सेट हैं।
गुण
आइज़ेंस्टीन पूर्णांक बीजगणितीय संख्या क्षेत्र - तीसरा चक्रविक्षिप्त क्षेत्र में बीजगणितीय पूर्णांकों का क्रमविनिमेय वलय बनाते हैं। यह देखने के लिए कि आइज़ेंस्टीन पूर्णांक बीजगणितीय पूर्णांक हैं, ध्यान दें कि प्रत्येक z = a + bω मोनिक बहुपद -
- का एक मूल है।
विशेष रूप से, ω समीकरण को संतुष्ट करता है।
दो आइज़ेंस्टीन पूर्णांकों a + bω और c + dω का गुणनफल
- द्वारा स्पष्ट रूप से दिया गया है।
आइज़ेंस्ताइन पूर्णांक का 2-मानक केवल इसका वर्गित मापांक है, और द्वारा दिया जाता है, जो स्पष्ट रूप से धनात्मक साधारण (तर्कसंगत) पूर्णांक है।
इसके अलावा, ω का सम्मिश्र संयुग्म को संतुष्ट करता है।
इस वलय में इकाइयों का समूह सम्मिश्र समतल: मानक 1 के आइज़ेंस्टीन पूर्णांक में एकता के छठे मूल द्वारा गठित चक्रीय समूह है।
आइज़ेंस्टीन अभाज्य
अगर x और y आइज़ेंस्टीन पूर्णांक हैं, हम कहते हैं कि x y को विभाजित करता है यदि कोई आइज़ेंस्टीन पूर्णांक z ऐसा है कि y = zx हो। गैर-इकाई आइज़ेंस्टीन पूर्णांक x को आइज़ेंस्टीन अभाज्य कहा जाता है अगर इसके केवल गैर-इकाई विभाजक ux के रूप में हों, जहाँ u छह इकाइयों में से कोई भी हो।
आइज़ेंस्टीन अभाज्य दो प्रकार के होते हैं। सबसे पहले, साधारण अभाज्य संख्या (या परिमेय अभाज्य) जो 2 mod 3 के सर्वांगसम है, एक आइज़ेंस्टीन अभाज्य भी है। दूसरा, 3 और प्रत्येक परिमेय अभाज्य 1 mod 3 के सर्वांगसम आइज़ेंस्टीन पूर्णांक x + ωy के मानक x2 − xy + y2 के बराबर हैं। इस प्रकार, इस तरह के अभाज्य को (x + ωy)(x + ω2y) के रूप में गुणनखंड किया जा सकता है, और ये गुणनखंड आइज़ेंस्टीन अभाज्य हैं: ये सटीक रूप से आइज़ेंस्टीन पूर्णांक हैं जिनका मानदंड एक परिमेय अभाज्य है।
यूक्लिडियन डोमेन
आइज़ेंस्टीन पूर्णांकों का वलय एक यूक्लिडियन डोमेन बनाता है जिसका मानदंड N ऊपर के रूप में वर्ग मापांक द्वारा दिया गया है:
एक विभाजन एल्गोरिथ्म, किसी भी लाभांश पर लागू होता है और भाजक , एक भागफल देता है
और एक शेष भाजक से छोटा, संतोषजनक:
यहाँ सभी आइज़ेंस्टीन पूर्णांक हैं। यह एल्गोरिथ्म यूक्लिडियन एल्गोरिथ्म का तात्पर्य है, जो यूक्लिड के लेम्मा और आइज़ेंस्टीन पूर्णांकों के अंकगणित के मौलिक प्रमेय को आइज़ेंस्टीन अभाज्य में सिद्ध करता है।
एक विभाजन एल्गोरिथ्म इस प्रकार है। पहले जटिल संख्याओं के क्षेत्र में विभाजन करें, और भागफल को ω के संदर्भ में लिखें:
तर्कसंगत के लिए . फिर परिमेय गुणांकों को निकटतम पूर्णांक पर गोल करके आइज़ेंस्टीन पूर्णांक भागफल प्राप्त करें:
यहाँ किसी भी मानक गोलाई-टू-इंटीजर फ़ंक्शन को निरूपित कर सकता है।
कारण यह संतुष्ट करता है , जबकि अधिकांश अन्य द्विघात पूर्णांक रिंगों के लिए अनुरूप प्रक्रिया विफल हो जाती है, इस प्रकार है। आदर्श के लिए एक मौलिक डोमेन , जटिल तल पर अनुवाद द्वारा कार्य करना, 60°–120° समचतुर्भुज है जिसके शीर्ष हैं . कोई भी आइज़ेंस्टीन पूर्णांक α इस समांतर चतुर्भुज के अनुवादों में से एक और भागफल के अंदर स्थित है इसके शीर्षों में से एक है। शेष α से इस शीर्ष तक वर्ग दूरी है, लेकिन हमारे एल्गोरिदम में अधिकतम संभव दूरी केवल है , इसलिए . (ρ का आकार लेकर थोड़ा कम किया जा सकता है निकटतम कोना होना।)
आइज़ेंस्टीन पूर्णांकों द्वारा C का भागफल
सभी आइज़ेंस्टीन पूर्णांक वाले जालक (समूह) द्वारा सम्मिश्र समतल C का भागफल वास्तविक आयाम 2 का जटिल टॉरस है। यह ऐसे सभी सम्मिश्र टोरी के बीच अधिकतम समरूपता वाले दो तोरी में से एक है। यह टॉरस नियमित षट्भुज के विपरीत किनारों के तीन जोड़े में से प्रत्येक की पहचान करके प्राप्त किया जा सकता है। (अन्य अधिकतम सममित टॉरस गॉसियन पूर्णांकों के योगात्मक जालक द्वारा सम्मिश्र समतल का भागफल है, और एक वर्ग मौलिक डोमेन के विपरीत पक्षों के दो जोड़े में से प्रत्येक की पहचान करके प्राप्त किया जा सकता है, जैसे कि [0,1] × [0,1].)
यह भी देखें
- गॉसियन पूर्णांक
- चक्रीय क्षेत्र
- सिस्टोलिक ज्यामिति
- हर्मिट स्थिरांक
- क्यूबिक पारस्परिकता
- लोनर की टॉरस असमानता
- हर्विट्ज़ चतुर्धातुक
- द्विघात पूर्णांक
- डिक्सन अण्डाकार कार्य
टिप्पणियाँ
- ↑ Both Surányi, László (1997). Algebra. TYPOTEX. p. 73. and Szalay, Mihály (1991). Számelmélet. Tankönyvkiadó. p. 75. call these numbers "Euler-egészek", that is, Eulerian integers. The latter claims Euler worked with them in a proof.
बाहरी संबंध
| |
...--> |
