वैकल्पिक बीजगणित: Difference between revisions
(Created page with "अमूर्त बीजगणित में, एक वैकल्पिक बीजगणित एक क्षेत्र पर एक बीजगणित...") |
(TEXT) |
||
Line 1: | Line 1: | ||
[[अमूर्त बीजगणित]] में, एक वैकल्पिक बीजगणित | [[अमूर्त बीजगणित]] में, एक '''वैकल्पिक बीजगणित''' एक बीजगणित हैजिसमें गुणन को साहचर्य नहीं, केवल वैकल्पिक होना आवश्यक है। अर्थात, | ||
*<math>x(xy) = (xx)y</math> | *<math>x(xy) = (xx)y</math> | ||
*<math>(yx)x = y(xx)</math> | *<math>(yx)x = y(xx)</math> | ||
बीजगणित में सभी x और y के | बीजगणित में सभी ''x'' और ''y'' के लिए होना चाहिए। | ||
प्रत्येक [[साहचर्य बीजगणित]] स्पष्ट रूप से वैकल्पिक है, लेकिन [[ऑक्टोनियन]] जैसे कुछ पूर्णतः [[गैर- | प्रत्येक [[साहचर्य बीजगणित]] स्पष्ट रूप से वैकल्पिक है, लेकिन [[ऑक्टोनियन]] जैसे कुछ पूर्णतः [[गैर-साहचर्य बीजगणित]] भी वैकल्पिक हैं। | ||
== | ==सहयोगी == | ||
वैकल्पिक बीजगणित का नाम इसलिए रखा गया है क्योंकि वे ऐसे बीजगणित हैं जिनके लिए सहयोगी [[वैकल्पिक रूप]] है। सहयोगी द्वारा दिया गया एक [[त्रिरेखीय मानचित्र]] है | वैकल्पिक बीजगणित का नाम इसलिए रखा गया है क्योंकि वे ऐसे बीजगणित हैं जिनके लिए सहयोगी [[वैकल्पिक रूप|वैकल्पिक]] है। सहयोगी द्वारा दिया गया एक [[त्रिरेखीय मानचित्र]] है | ||
:<math>[x,y,z] = (xy)z - x(yz)</math>. | :<math>[x,y,z] = (xy)z - x(yz)</math>. | ||
परिभाषा के अनुसार, एक [[बहुरेखीय मानचित्र]] | परिभाषा के अनुसार, एक [[बहुरेखीय मानचित्र]] वैकल्पिक होता है जब उसके दो तर्क समान होने पर वह लुप्त हो जाता है। बीजगणित के लिए बाएँ और दाएँ वैकल्पिक सर्वसमिकाएँ समतुल्य हैं<ref name=Sch27>Schafer (1995) p. 27</ref> | ||
:<math>[x,x,y] = 0</math> | :<math>[x,x,y] = 0</math> | ||
:<math>[y,x,x] = 0.</math> | :<math>[y,x,x] = 0.</math> | ||
ये दोनों | ये दोनों सर्वसमिका मिलकर यही दर्शाती हैं | ||
:<math>[x,y,x] = [x, x, x] + [x, y, x] - [x, x+y, x+y] = [x, x+y, -y] = [x, x, -y] - [x, y, y] = 0</math> | :<math>[x,y,x] = [x, x, x] + [x, y, x] - [x, x+y, x+y] = [x, x+y, -y] = [x, x, -y] - [x, y, y] = 0</math> | ||
सभी | कि सभी <math>x</math> और <math>y</math> के लिए है। यह [[लचीली पहचान|नम्य सर्वसमिका]] के समतुल्य है<ref name=Sch28>Schafer (1995) p. 28</ref> | ||
:<math>(xy)x = x(yx).</math> | :<math>(xy)x = x(yx).</math> | ||
वैकल्पिक बीजगणित का सहयोगी प्रत्यावर्ती होता है। इसके विपरीत, कोई भी बीजगणित जिसका सहयोगी प्रत्यावर्ती है, स्पष्ट रूप से वैकल्पिक है। समरूपता द्वारा, कोई भी बीजगणित जो इनमें से किन्हीं दो को संतुष्ट करता है: | |||
*वैकल्पिक | *बाईं वैकल्पिक सर्वसमिका: <math>x(xy) = (xx)y</math> | ||
* | *दाहिनी वैकल्पिक सर्वसमिका: <math>(yx)x = y(xx)</math> | ||
* | *नम्य सर्वसमिका: <math>(xy)x = x(yx).</math> | ||
इसलिए तीनों वैकल्पिक सर्वसमिकाों को संतुष्ट करता है। | |||
एक प्रत्यावर्ती सहयोगी हमेशा पूरी तरह से विषम-सममित होता है। | एक प्रत्यावर्ती सहयोगी हमेशा पूरी तरह से विषम-सममित होता है। अर्थात, | ||
:<math>[x_{\sigma(1)}, x_{\sigma(2)}, x_{\sigma(3)}] = \sgn(\sigma)[x_1,x_2,x_3]</math> | :<math>[x_{\sigma(1)}, x_{\sigma(2)}, x_{\sigma(3)}] = \sgn(\sigma)[x_1,x_2,x_3]</math> | ||
किसी भी | किसी भी [[परिवर्तन|क्रमपरिवर्तन]] के लिए <math>\sigma</math> है। यह विपरीत तब तक उपयोजित रहता है जब तक आधार क्षेत्र (गणित) की [[विशेषता (बीजगणित)]] 2 नहीं होती है। | ||
==उदाहरण== | ==उदाहरण== | ||
* प्रत्येक साहचर्य बीजगणित वैकल्पिक है। | * प्रत्येक साहचर्य बीजगणित वैकल्पिक है। | ||
* ऑक्टोनियन एक गैर-सहयोगी वैकल्पिक बीजगणित बनाते हैं, [[वास्तविक संख्या]] | * ऑक्टोनियन एक गैर-सहयोगी वैकल्पिक बीजगणित बनाते हैं, [[वास्तविक संख्या|वास्तविक संख्याओं]] पर आयाम 8 का एक मानक विभाजन बीजगणित हैं।<ref>{{cite book | author-link=John Horton Conway | last1=Conway | first1=John Horton | last2=Smith | first2=Derek A. | year=2003 | title=On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry | publisher=A. K. Peters | isbn=1-56881-134-9 | zbl=1098.17001 }}</ref> | ||
* अधिक सामान्यतः, कोई भी [[ऑक्टोनियन बीजगणित]] वैकल्पिक है। | * अधिक सामान्यतः, कोई भी [[ऑक्टोनियन बीजगणित]] वैकल्पिक होता है। | ||
===गैर-उदाहरण=== | ===गैर-उदाहरण=== | ||
* [[ sedenion ]] और सभी | * [[ sedenion |सेडेनियन]] और सभी उच्च केली-डिक्सन बीजगणित वैकल्पिकता खो देते हैं। | ||
==गुण== | ==गुण== | ||
{{Redirect| | {{Redirect|आर्टिन का प्रमेय|पूर्वग अवयव पर आर्टिन का प्रमेय|पूर्वग अवयव प्रमेय}} | ||
आर्टिन | '''आर्टिन प्रमेय''' में कहा गया है कि वैकल्पिक बीजगणित में किन्हीं दो अवयव द्वारा उत्पन्न [[उपबीजगणित]] साहचर्य होता है।<ref name=Sch29>Schafer (1995) p. 29</ref> इसके विपरीत, कोई भी बीजगणित जिसके लिए यह सत्य है, स्पष्ट रूप से वैकल्पिक है। इससे यह निष्कर्ष निकलता है कि वैकल्पिक बीजगणित में केवल दो चर वाले व्यंजकों को बिना कोष्ठक के स्पष्ट रूप से लिखा जा सकता है। आर्टिन के प्रमेय के एक सामान्यीकरण में कहा गया है कि जब भी तीन अवयव <math>x,y,z</math> सहयोगी होते हैं (अर्थात, <math>[x,y,z] = 0</math>), तो उन अवयव द्वारा उत्पन्न उपबीजगणित सहयोगी होता है। | ||
मौफ़ांग | आर्टिन के प्रमेय का एक [[परिणाम]] यह है कि वैकल्पिक बीजगणित [[शक्ति-सहयोगी]] हैं, अर्थात, एक अवयव द्वारा उत्पन्न उपबीजगणित साहचर्य है।<ref name=Sch30>Schafer (1995) p. 30</ref> इसके विपरीत की आवश्यकता नहीं है: सेडेनियन शक्ति-सहयोगी हैं लेकिन वैकल्पिक नहीं हैं। | ||
मौफ़ांग सर्वसमिकाएं | |||
*<math>a(x(ay)) = (axa)y</math> | *<math>a(x(ay)) = (axa)y</math> | ||
*<math>((xa)y)a = x(aya)</math> | *<math>((xa)y)a = x(aya)</math> | ||
*<math>(ax)(ya) = a(xy)a</math> | *<math>(ax)(ya) = a(xy)a</math> | ||
किसी भी वैकल्पिक बीजगणित | किसी भी वैकल्पिक बीजगणित में उपयोजित होती हैं।<ref name=Sch28/> | ||
एकात्मक वैकल्पिक बीजगणित में, गुणात्मक व्युत्क्रम | एकात्मक वैकल्पिक बीजगणित में, गुणात्मक व्युत्क्रम जब भी उपस्तिथ होते हैं तो अद्वितीय होते हैं। इसके अलावा, किसी भी प्रतिलोम अवयव <math>x</math> और सभी <math>y</math> के लिए | ||
:<math>y = x^{-1}(xy).</math> | :<math>y = x^{-1}(xy).</math> | ||
यह | यह कहने के समान है कि ऐसे सभी <math>x</math> और <math>y</math> के लिए सहयोगी <math>[x^{-1},x,y]</math> लुप्त हो जाता हैं। | ||
अगर <math>x</math> और <math>y</math> व्युत्क्रमणीय हैं तो <math>xy</math> भी व्युत्क्रम के साथ व्युत्क्रमणीय <math>(xy)^{-1} = y^{-1}x^{-1}</math> हैं। सभी प्रतिलोम अवयव का समुच्चय गुणन के अंतर्गत बंद हो जाता है और एक [[मौफैंग लूप]] बनाता है। एक वैकल्पिक रिंग या बीजगणित में ''इकाइयों का लूप'' एक सहयोगी रिंग या बीजगणित में इकाइयों के समूह के अनुरूप है। | |||
क्लेनफेल्ड के प्रमेय में कहा गया है कि कोई भी सरल गैर-सहयोगी वैकल्पिक रिंग अपने [[केंद्र (रिंग सिद्धांत)]] पर एक सामान्यीकृत ऑक्टोनियन बीजगणित है।<ref name=ZSSS151>Zhevlakov, Slin'ko, Shestakov, Shirshov. (1982) p. 151</ref> वैकल्पिक रिंग का संरचना सिद्धांत ज़ेव्लाकोव, स्लिन्को, शेस्ताकोव और शिरशोव की पुस्तक ''रिंग्स दैट आर नियरली एसोसिएटिव'' में प्रस्तुत किया गया है।<ref name=ZSSS>Zhevlakov, Slin'ko, Shestakov, Shirshov (1982)</ref> | |||
==अनुप्रयोग== | ==अनुप्रयोग== | ||
किसी भी वैकल्पिक विभाजन | किसी भी वैकल्पिक विभाजन रिंग पर [[प्रक्षेप्य तल]] एक मौफैंग तल है। | ||
वैकल्पिक बीजगणित और [[रचना बीजगणित]] का घनिष्ठ संबंध गाइ रूस द्वारा 2008 में दिया गया था:<ref>Guy Roos (2008) "Exceptional symmetric domains", §1: Cayley algebras, in ''Symmetries in Complex Analysis'' by Bruce Gilligan & Guy Roos, volume 468 of ''Contemporary Mathematics'', [[American Mathematical Society]]</ref> वह (पृष्ठ 162) बीजगणित | वैकल्पिक बीजगणित और [[रचना बीजगणित]] का घनिष्ठ संबंध गाइ रूस द्वारा 2008 में दिया गया था:<ref>Guy Roos (2008) "Exceptional symmetric domains", §1: Cayley algebras, in ''Symmetries in Complex Analysis'' by Bruce Gilligan & Guy Roos, volume 468 of ''Contemporary Mathematics'', [[American Mathematical Society]]</ref> वह (पृष्ठ 162) बीजगणित A के लिए इकाई अवयव e और एक प्रति-स्वसमाकृतिकता <math>a \mapsto a^*</math> के साथ संबंध दिखाता है जैसे कि a + a* और aa*, A में सभी a के लिए e द्वारा [[रैखिक विस्तार]] रेखा पर हैं। संकेतन n(a) = aa* का प्रयोग करें। फिर यदि n, A के क्षेत्र में एक गैर-एकवचन मानचित्रण है, और A वैकल्पिक है, तो (A,n) एक रचना बीजगणित है। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 72: | Line 70: | ||
*{{Cite book | first = Richard D. | last = Schafer | author-link = Richard D. Schafer|title = An Introduction to Nonassociative Algebras | publisher = Dover Publications | location = New York | year = 1995 | isbn = 0-486-68813-5 | url = https://archive.org/details/introductiontono0000scha | zbl = 0145.25601 | url-access = registration }} | *{{Cite book | first = Richard D. | last = Schafer | author-link = Richard D. Schafer|title = An Introduction to Nonassociative Algebras | publisher = Dover Publications | location = New York | year = 1995 | isbn = 0-486-68813-5 | url = https://archive.org/details/introductiontono0000scha | zbl = 0145.25601 | url-access = registration }} | ||
* {{cite book | first1=K.A. | last1=Zhevlakov | first2=A.M.|last2= Slin'ko | first3= I.P. | last3= Shestakov |first4 =A.I. | last4= Shirshov |year=1982 | orig-year=1978 | zbl=0487.17001 |mr = 0518614 | title=Rings That Are Nearly Associative | publisher=[[Academic Press]] | isbn=0-12-779850-1 }} | * {{cite book | first1=K.A. | last1=Zhevlakov | first2=A.M.|last2= Slin'ko | first3= I.P. | last3= Shestakov |first4 =A.I. | last4= Shirshov |year=1982 | orig-year=1978 | zbl=0487.17001 |mr = 0518614 | title=Rings That Are Nearly Associative | publisher=[[Academic Press]] | isbn=0-12-779850-1 }} | ||
==बाहरी संबंध== | ==बाहरी संबंध== | ||
*{{SpringerEOM|id=Alternative_rings_and_algebras|first=K.A.|last= Zhevlakov|title=Alternative Rings and Algebras}} | *{{SpringerEOM|id=Alternative_rings_and_algebras|first=K.A.|last= Zhevlakov|title=Alternative Rings and Algebras}} |
Revision as of 14:30, 7 July 2023
अमूर्त बीजगणित में, एक वैकल्पिक बीजगणित एक बीजगणित हैजिसमें गुणन को साहचर्य नहीं, केवल वैकल्पिक होना आवश्यक है। अर्थात,
बीजगणित में सभी x और y के लिए होना चाहिए।
प्रत्येक साहचर्य बीजगणित स्पष्ट रूप से वैकल्पिक है, लेकिन ऑक्टोनियन जैसे कुछ पूर्णतः गैर-साहचर्य बीजगणित भी वैकल्पिक हैं।
सहयोगी
वैकल्पिक बीजगणित का नाम इसलिए रखा गया है क्योंकि वे ऐसे बीजगणित हैं जिनके लिए सहयोगी वैकल्पिक है। सहयोगी द्वारा दिया गया एक त्रिरेखीय मानचित्र है
- .
परिभाषा के अनुसार, एक बहुरेखीय मानचित्र वैकल्पिक होता है जब उसके दो तर्क समान होने पर वह लुप्त हो जाता है। बीजगणित के लिए बाएँ और दाएँ वैकल्पिक सर्वसमिकाएँ समतुल्य हैं[1]
ये दोनों सर्वसमिका मिलकर यही दर्शाती हैं
कि सभी और के लिए है। यह नम्य सर्वसमिका के समतुल्य है[2]
वैकल्पिक बीजगणित का सहयोगी प्रत्यावर्ती होता है। इसके विपरीत, कोई भी बीजगणित जिसका सहयोगी प्रत्यावर्ती है, स्पष्ट रूप से वैकल्पिक है। समरूपता द्वारा, कोई भी बीजगणित जो इनमें से किन्हीं दो को संतुष्ट करता है:
- बाईं वैकल्पिक सर्वसमिका:
- दाहिनी वैकल्पिक सर्वसमिका:
- नम्य सर्वसमिका:
इसलिए तीनों वैकल्पिक सर्वसमिकाों को संतुष्ट करता है।
एक प्रत्यावर्ती सहयोगी हमेशा पूरी तरह से विषम-सममित होता है। अर्थात,
किसी भी क्रमपरिवर्तन के लिए है। यह विपरीत तब तक उपयोजित रहता है जब तक आधार क्षेत्र (गणित) की विशेषता (बीजगणित) 2 नहीं होती है।
उदाहरण
- प्रत्येक साहचर्य बीजगणित वैकल्पिक है।
- ऑक्टोनियन एक गैर-सहयोगी वैकल्पिक बीजगणित बनाते हैं, वास्तविक संख्याओं पर आयाम 8 का एक मानक विभाजन बीजगणित हैं।[3]
- अधिक सामान्यतः, कोई भी ऑक्टोनियन बीजगणित वैकल्पिक होता है।
गैर-उदाहरण
- सेडेनियन और सभी उच्च केली-डिक्सन बीजगणित वैकल्पिकता खो देते हैं।
गुण
आर्टिन प्रमेय में कहा गया है कि वैकल्पिक बीजगणित में किन्हीं दो अवयव द्वारा उत्पन्न उपबीजगणित साहचर्य होता है।[4] इसके विपरीत, कोई भी बीजगणित जिसके लिए यह सत्य है, स्पष्ट रूप से वैकल्पिक है। इससे यह निष्कर्ष निकलता है कि वैकल्पिक बीजगणित में केवल दो चर वाले व्यंजकों को बिना कोष्ठक के स्पष्ट रूप से लिखा जा सकता है। आर्टिन के प्रमेय के एक सामान्यीकरण में कहा गया है कि जब भी तीन अवयव सहयोगी होते हैं (अर्थात, ), तो उन अवयव द्वारा उत्पन्न उपबीजगणित सहयोगी होता है।
आर्टिन के प्रमेय का एक परिणाम यह है कि वैकल्पिक बीजगणित शक्ति-सहयोगी हैं, अर्थात, एक अवयव द्वारा उत्पन्न उपबीजगणित साहचर्य है।[5] इसके विपरीत की आवश्यकता नहीं है: सेडेनियन शक्ति-सहयोगी हैं लेकिन वैकल्पिक नहीं हैं।
मौफ़ांग सर्वसमिकाएं
किसी भी वैकल्पिक बीजगणित में उपयोजित होती हैं।[2]
एकात्मक वैकल्पिक बीजगणित में, गुणात्मक व्युत्क्रम जब भी उपस्तिथ होते हैं तो अद्वितीय होते हैं। इसके अलावा, किसी भी प्रतिलोम अवयव और सभी के लिए
यह कहने के समान है कि ऐसे सभी और के लिए सहयोगी लुप्त हो जाता हैं।
अगर और व्युत्क्रमणीय हैं तो भी व्युत्क्रम के साथ व्युत्क्रमणीय हैं। सभी प्रतिलोम अवयव का समुच्चय गुणन के अंतर्गत बंद हो जाता है और एक मौफैंग लूप बनाता है। एक वैकल्पिक रिंग या बीजगणित में इकाइयों का लूप एक सहयोगी रिंग या बीजगणित में इकाइयों के समूह के अनुरूप है।
क्लेनफेल्ड के प्रमेय में कहा गया है कि कोई भी सरल गैर-सहयोगी वैकल्पिक रिंग अपने केंद्र (रिंग सिद्धांत) पर एक सामान्यीकृत ऑक्टोनियन बीजगणित है।[6] वैकल्पिक रिंग का संरचना सिद्धांत ज़ेव्लाकोव, स्लिन्को, शेस्ताकोव और शिरशोव की पुस्तक रिंग्स दैट आर नियरली एसोसिएटिव में प्रस्तुत किया गया है।[7]
अनुप्रयोग
किसी भी वैकल्पिक विभाजन रिंग पर प्रक्षेप्य तल एक मौफैंग तल है।
वैकल्पिक बीजगणित और रचना बीजगणित का घनिष्ठ संबंध गाइ रूस द्वारा 2008 में दिया गया था:[8] वह (पृष्ठ 162) बीजगणित A के लिए इकाई अवयव e और एक प्रति-स्वसमाकृतिकता के साथ संबंध दिखाता है जैसे कि a + a* और aa*, A में सभी a के लिए e द्वारा रैखिक विस्तार रेखा पर हैं। संकेतन n(a) = aa* का प्रयोग करें। फिर यदि n, A के क्षेत्र में एक गैर-एकवचन मानचित्रण है, और A वैकल्पिक है, तो (A,n) एक रचना बीजगणित है।
यह भी देखें
- एक क्षेत्र पर बीजगणित
- माल्टसेव बीजगणित
- ज़ोर्न रिंग
संदर्भ
- ↑ Schafer (1995) p. 27
- ↑ 2.0 2.1 Schafer (1995) p. 28
- ↑ Conway, John Horton; Smith, Derek A. (2003). On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry. A. K. Peters. ISBN 1-56881-134-9. Zbl 1098.17001.
- ↑ Schafer (1995) p. 29
- ↑ Schafer (1995) p. 30
- ↑ Zhevlakov, Slin'ko, Shestakov, Shirshov. (1982) p. 151
- ↑ Zhevlakov, Slin'ko, Shestakov, Shirshov (1982)
- ↑ Guy Roos (2008) "Exceptional symmetric domains", §1: Cayley algebras, in Symmetries in Complex Analysis by Bruce Gilligan & Guy Roos, volume 468 of Contemporary Mathematics, American Mathematical Society
- Schafer, Richard D. (1995). An Introduction to Nonassociative Algebras. New York: Dover Publications. ISBN 0-486-68813-5. Zbl 0145.25601.
- Zhevlakov, K.A.; Slin'ko, A.M.; Shestakov, I.P.; Shirshov, A.I. (1982) [1978]. Rings That Are Nearly Associative. Academic Press. ISBN 0-12-779850-1. MR 0518614. Zbl 0487.17001.
बाहरी संबंध
- Zhevlakov, K.A. (2001) [1994], "Alternative Rings and Algebras", Encyclopedia of Mathematics, EMS Press