रचना बीजगणित: Difference between revisions
No edit summary |
No edit summary |
||
| Line 10: | Line 10: | ||
== संरचना प्रमेय == | == संरचना प्रमेय == | ||
क्षेत्र {{mvar|K}} पर प्रत्येक इकाई बीजगणित रचना बीजगणित को केली-डिक्सन निर्माण के बार-बार अनुप्रयोग द्वारा प्राप्त किया जा सकता है, जो {{mvar|K}} (यदि {{mvar|K}} की [[विशेषता (बीजगणित)]] {{math|2}} से भिन्न) या 2-आयामी रचना उप बीजगणित (यदि {{math|1=char(''K'') = 2}}) से आरंभ होता है। रचना बीजगणित के संभावित आयाम {{math|1}}, {{math|2}}, {{math|4}}, और {{math|8}} हैं। <ref name=NJ/><ref name=GR08>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]], {{ISBN|978-0-8218-4459-5}}</ref><ref>{{cite book |first = Richard D. | |||
|last = Schafer | |last = Schafer | ||
|year = 1995 | |year = 1995 | ||
| Line 21: | Line 21: | ||
|url = https://archive.org/details/introductiontono0000scha/page/72 | |url = https://archive.org/details/introductiontono0000scha/page/72 | ||
}}</ref> | }}</ref> | ||
*एक आयामी रचना बीजगणित तभी अस्तित्व में आता है जब {{math|char(''K'') ≠ 2}}. | *एक-आयामी रचना बीजगणित तभी अस्तित्व में आता है जब {{math|char(''K'') ≠ 2}}. | ||
*आयाम 1 और 2 के संघटन बीजगणित क्रमविनिमेय और साहचर्य हैं। | *आयाम 1 और 2 के संघटन बीजगणित क्रमविनिमेय और साहचर्य हैं। | ||
*आयाम 2 के संघटन बीजगणित या तो [[द्विघात क्षेत्र विस्तार]] हैं | *आयाम 2 के संघटन बीजगणित या तो {{mvar|K}} के [[द्विघात क्षेत्र विस्तार]] हैं या {{math|''K'' ⊕ ''K''}} के समरूपी हैं। | ||
*आयाम 4 के संघटन बीजगणित को [[चतुष्कोणीय बीजगणित]] कहा जाता है। वे साहचर्य हैं लेकिन क्रमविनिमेय नहीं हैं। | *आयाम 4 के संघटन बीजगणित को [[चतुष्कोणीय बीजगणित]] कहा जाता है। वे साहचर्य हैं लेकिन क्रमविनिमेय नहीं हैं। | ||
*आयाम 8 के संयोजन बीजगणित को [[ऑक्टोनियन बीजगणित]] कहा जाता है। वे न तो साहचर्य हैं और न ही | *आयाम 8 के संयोजन बीजगणित को [[ऑक्टोनियन बीजगणित|अष्टकैक बीजगणित]] कहा जाता है। वे न तो साहचर्य हैं और न ही क्रमविनिमेय हैं। | ||
सुसंगत शब्दावली के लिए, आयाम 1 के बीजगणित को अनारियन कहा गया है, और आयाम 2 को बिनेरियन कहा गया हैं।<ref name=KMC/> | |||
== उदाहरण और उपयोग == | == उदाहरण और उपयोग == | ||
जब मैदान {{mvar|K}} को सम्मिश्र संख्याएँ माना जाता है {{math|'''C'''}} और द्विघात रूप {{math|''z''<sup>2</sup>}}, फिर चार रचना बीजगणित समाप्त {{math|'''C'''}} हैं {{math|'''C''' itself}}, [[द्विजटिल संख्या]]एं, द्विचतुर्भुज (आइसोमॉर्फिक टू द {{gaps|2|×|2}} जटिल [[मैट्रिक्स रिंग]] {{math|M(2, '''C''')}}), और [[bioctonion]] {{math|'''C''' ⊗ '''O'''}}, जिन्हें जटिल ऑक्टोनियन भी कहा जाता है। | जब मैदान {{mvar|K}} को सम्मिश्र संख्याएँ माना जाता है {{math|'''C'''}} और द्विघात रूप {{math|''z''<sup>2</sup>}}, फिर चार रचना बीजगणित समाप्त {{math|'''C'''}} हैं {{math|'''C''' itself}}, [[द्विजटिल संख्या]]एं, द्विचतुर्भुज (आइसोमॉर्फिक टू द {{gaps|2|×|2}} जटिल [[मैट्रिक्स रिंग]] {{math|M(2, '''C''')}}), और [[bioctonion]] {{math|'''C''' ⊗ '''O'''}}, जिन्हें जटिल ऑक्टोनियन भी कहा जाता है। | ||
Revision as of 22:31, 26 April 2023
| Algebraic structures |
|---|
गणित में, एक रचना बीजगणित A एक क्षेत्र पर (गणित) K एक क्षेत्र के ऊपर एक गैर-सहयोगी बीजगणित बीजगणित है K एक साथ पतित रूप द्विघात रूप के साथ N जो संतुष्ट करता है
सभी के लिए x और y में A.
एक रचना बीजगणित में एक संयुग्मन (गणित) शामिल होता है जिसे संयुग्मन कहा जाता है: द्विघात रूप बीजगणित का आदर्श कहा जाता है।
एक रचना बीजगणित (ए, ∗, एन) या तो एक विभाजन बीजगणित या एक विभाजित बीजगणित है, जो ए में गैर-शून्य वी के अस्तित्व पर निर्भर करता है, जैसे कि N(v) = 0, एक अशक्त वेक्टर कहा जाता है।[1] जब x एक शून्य सदिश नहीं है, तो x का गुणक प्रतिलोम है . जब एक गैर-शून्य अशक्त वेक्टर होता है, N एक समदैशिक द्विघात रूप होता है, और बीजगणित विभाजित होता है।
संरचना प्रमेय
क्षेत्र K पर प्रत्येक इकाई बीजगणित रचना बीजगणित को केली-डिक्सन निर्माण के बार-बार अनुप्रयोग द्वारा प्राप्त किया जा सकता है, जो K (यदि K की विशेषता (बीजगणित) 2 से भिन्न) या 2-आयामी रचना उप बीजगणित (यदि char(K) = 2) से आरंभ होता है। रचना बीजगणित के संभावित आयाम 1, 2, 4, और 8 हैं। [2][3][4]
- एक-आयामी रचना बीजगणित तभी अस्तित्व में आता है जब char(K) ≠ 2.
- आयाम 1 और 2 के संघटन बीजगणित क्रमविनिमेय और साहचर्य हैं।
- आयाम 2 के संघटन बीजगणित या तो K के द्विघात क्षेत्र विस्तार हैं या K ⊕ K के समरूपी हैं।
- आयाम 4 के संघटन बीजगणित को चतुष्कोणीय बीजगणित कहा जाता है। वे साहचर्य हैं लेकिन क्रमविनिमेय नहीं हैं।
- आयाम 8 के संयोजन बीजगणित को अष्टकैक बीजगणित कहा जाता है। वे न तो साहचर्य हैं और न ही क्रमविनिमेय हैं।
सुसंगत शब्दावली के लिए, आयाम 1 के बीजगणित को अनारियन कहा गया है, और आयाम 2 को बिनेरियन कहा गया हैं।[5]
उदाहरण और उपयोग
जब मैदान K को सम्मिश्र संख्याएँ माना जाता है C और द्विघात रूप z2, फिर चार रचना बीजगणित समाप्त C हैं C itself, द्विजटिल संख्याएं, द्विचतुर्भुज (आइसोमॉर्फिक टू द 2×2 जटिल मैट्रिक्स रिंग M(2, C)), और bioctonion C ⊗ O, जिन्हें जटिल ऑक्टोनियन भी कहा जाता है।
मैट्रिक्स रिंग M(2, C) लंबे समय से रुचि का विषय रहा है, सबसे पहले द्विभाजित के रूप में विलियम रोवन हैमिल्टन (1853), बाद में आइसोमॉर्फिक मैट्रिक्स रूप में और विशेष रूप से पाउली बीजगणित के रूप में।
वर्ग (बीजगणित) N(x) = x2 वास्तविक संख्या क्षेत्र पर मौलिक रचना बीजगणित बनाता है। जब मैदान K को वास्तविक संख्या के रूप में लिया जाता है R, तो बस छह अन्य वास्तविक रचना बीजगणित हैं।[3]: 166 दो, चार और आठ आयामों में विभाजन बीजगणित और विभाजित बीजगणित दोनों होते हैं:
- द्विभाजक: द्विघात रूप वाली सम्मिश्र संख्याएँ x2 + y2 और विभाजन-जटिल संख्या द्विघात रूप के साथ x2 − y2,
- चतुर्भुज और विभाजन-चतुर्भुज,
- ऑक्टोनियन और विभाजन-octonion
प्रत्येक संघटन बीजगणित का एक संबद्ध द्विरेखीय रूप B(x,y) होता है जो मानदंड N और एक ध्रुवीकरण पहचान के साथ निर्मित होता है:
इतिहास
कई प्रारंभिक लेखकों द्वारा वर्गों के योगों की संरचना का उल्लेख किया गया था। डायोफैंटस को दो वर्गों के योग से जुड़ी पहचान के बारे में पता था, जिसे अब ब्रह्मगुप्त-फाइबोनैचि पहचान कहा जाता है, जिसे गुणा करने पर जटिल संख्याओं के यूक्लिडियन मानदंडों की विशेशता के रूप में भी व्यक्त किया जाता है। लियोनहार्ड यूलर ने 1748 में चार-वर्ग की पहचान पर चर्चा की, और इसने डब्ल्यू.आर. हैमिल्टन को चतुष्कोणों के अपने चार-आयामी बीजगणित का निर्माण करने के लिए प्रेरित किया।[5]: 62 1848 में टेसरीन का वर्णन किया गया था जो द्विजटिल संख्याओं पर पहला प्रकाश डालती है।
1818 के आस-पास में डेनिश विद्वान फर्डिनेंड डेगेन ने डेगेन की आठ-वर्ग पहचान प्रदर्शित की, जो बाद में अष्टकैक (ऑक्टोनियन) बीजगणित के तत्वों के मानदंडों से जुड़ा था:
- ऐतिहासिक रूप से, पहला गैर-सहयोगी बीजगणित, केली संख्या... रचना की अनुमति देने वाले द्विघात रूपों की संख्या-सैद्धांतिक समस्या के संदर्भ में उत्पन्न हुआ ... यह संख्या-सैद्धांतिक प्रश्न कुछ बीजगणितीय प्रणालियों, रचना बीजगणित से संबंधित प्रश्न में परिवर्तित हो सकता है...[5]: 61
1919 में लियोनार्ड डिक्सन ने हुरविट्ज़ समस्या के अध्ययन को उस तिथि तक के प्रयासों के सर्वेक्षण के साथ आगे बढ़ाया, और केली नंबर प्राप्त करने के लिए चतुष्कोणों को दोगुना करने की विधि का प्रदर्शन किया। उन्होंने एक नई काल्पनिक इकाई e का प्रारंभ किया, और चतुष्कोणों q और Q के लिए केली संख्या q + Qe लिखते हैं। q′ द्वारा चतुर्भुज संयुग्म को दर्शाते हुए, दो केली नंबरों का गुणनफल है:[7]
केली संख्या का संयुग्मी q' – Qe है, और द्विघात रूप qq′ + QQ′ है, जो संख्या को उसके संयुग्म से गुणा करके प्राप्त किया जाता है। दोहरीकरण विधि को केली-डिक्सन निर्माण कहा जाने लगा है।
1923 में सकारात्मक निश्चित रूपों वाले वास्तविक बीजगणित के वस्तुस्थिति को हुरविट्ज़ के प्रमेय (रचना बीजगणित) द्वारा सीमांकित किया गया था।
1931 में मैक्स ज़ोर्न ने विभाजन-ऑक्टोनियंस उत्पन्न करने के लिए डिक्सन निर्माण में गुणन नियम में गामा (γ) प्रस्तावित किया।[8] एड्रियन अल्बर्ट ने भी 1942 में गामा का उपयोग किया जब उन्होंने दिखाया कि डिक्सन दोहरीकरण को किसी भी क्षेत्र (गणित) में वर्ग फलन (बीजगणित) के साथ उनके द्विघात रूपों के साथ द्विचरता, क्वाटरनियन और ऑक्टोनियन बीजगणित बनाने के लिए अनुप्रयुक्त किया जा सकता है।[9] नाथन जैकबसन ने 1958 में रचना बीजगणित के स्वसमाकृतिकता का वर्णन किया।[2]
R और C पर शास्त्रीय रचना बीजगणित इकाई बीजगणित हैं। एच.पी.पीटरसन (पीटरसन बीजगणित) और सुसुमु ओकुबो (ओकुबो बीजगणित) और अन्य लोगों द्वारा गुणनात्मक पहचान के बिना संरचना बीजगणित पाए गए। [10]: 463–81
यह भी देखें
- फ्रायडेंथल मैजिक स्क्वायर
- फिस्टर रूप
- परीक्षण
संदर्भ
- ↑ Springer, T. A.; F. D. Veldkamp (2000). Octonions, Jordan Algebras and Exceptional Groups. Springer-Verlag. p. 18. ISBN 3-540-66337-1.
- ↑ 2.0 2.1 Jacobson, Nathan (1958). "रचना बीजगणित और उनके ऑटोमोर्फिज्म". Rendiconti del Circolo Matematico di Palermo. 7: 55–80. doi:10.1007/bf02854388. Zbl 0083.02702.
- ↑ 3.0 3.1 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, ISBN 978-0-8218-4459-5
- ↑ Schafer, Richard D. (1995) [1966]. An introduction to nonassociative algebras. Dover Publications. pp. 72–75. ISBN 0-486-68813-5. Zbl 0145.25601.
- ↑ 5.0 5.1 5.2 Kevin McCrimmon (2004) A Taste of Jordan Algebras, Universitext, Springer ISBN 0-387-95447-3 MR2014924
- ↑ Arthur A. Sagle & Ralph E. Walde (1973) Introduction to Lie Groups and Lie Algebras, pages 194−200, Academic Press
- ↑ Dickson, L. E. (1919), "On Quaternions and Their Generalization and the History of the Eight Square Theorem", Annals of Mathematics, Second Series, Annals of Mathematics, 20 (3): 155–171, doi:10.2307/1967865, ISSN 0003-486X, JSTOR 1967865
- ↑ Max Zorn (1931) "Alternativekörper und quadratische Systeme", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 9(3/4): 395–402
- ↑ Albert, Adrian (1942). "रचना की अनुमति देने वाले द्विघात रूप". Annals of Mathematics. 43 (1): 161–177. doi:10.2307/1968887. JSTOR 1968887. Zbl 0060.04003.
- ↑ Max-Albert Knus, Alexander Merkurjev, Markus Rost, Jean-Pierre Tignol (1998) "Composition and Triality", chapter 8 in The Book of Involutions, pp. 451–511, Colloquium Publications v 44, American Mathematical Society ISBN 0-8218-0904-0
अग्रिम पठन
- Faraut, Jacques; Korányi, Adam (1994). Analysis on symmetric cones. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York. pp. 81–86. ISBN 0-19-853477-9. MR 1446489.
- Lam, Tsit-Yuen (2005). Introduction to Quadratic Forms over Fields. Graduate Studies in Mathematics. Vol. 67. American Mathematical Society. ISBN 0-8218-1095-2. Zbl 1068.11023.
- Harvey, F. Reese (1990). Spinors and Calibrations. Perspectives in Mathematics. Vol. 9. San Diego: Academic Press. ISBN 0-12-329650-1. Zbl 0694.53002.
