केंद्रीय सरल बीजगणित: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Finite dimensional algebra over a field whose central elements are that field}}
{{Short description|Finite dimensional algebra over a field whose central elements are that field}}
[[ अंगूठी सिद्धांत ]] और गणित के संबंधित क्षेत्रों में एक [[क्षेत्र (गणित)]] पर एक केंद्रीय [[सरल बीजगणित]] (CSA) ''K'' एक परिमित-आयामी साहचर्य बीजगणित है | साहचर्य ''K''-बीजगणित ''A'' जो सरल है बीजगणित, और जिसके लिए केंद्र (रिंग थ्योरी) बिल्कुल 'के' है। (ध्यान दें कि ''नहीं'' प्रत्येक सरल बीजगणित अपने केंद्र पर एक केंद्रीय सरल बीजगणित है: उदाहरण के लिए, यदि ''K'' विशेषता 0 का क्षेत्र है, तो [[वेइल बीजगणित]] <math>K[X,\partial_X]</math> केंद्र K के साथ एक साधारण बीजगणित है, लेकिन K के ऊपर एक केंद्रीय सरल बीजगणित नहीं है क्योंकि इसमें K-मॉड्यूल के रूप में अनंत आयाम हैं।)
[[ अंगूठी सिद्धांत ]] और गणित के संबंधित क्षेत्रों में एक [[क्षेत्र (गणित)]] पर एक केंद्रीय [[सरल बीजगणित]] (सीएसए) ''के'' एक परिमित-आयामी साहचर्य बीजगणित है | साहचर्य ''के''-बीजगणित '<nowiki/>''ए'<nowiki/>'' जो सरल है बीजगणित, और जिसके लिए केंद्र (रिंग थ्योरी) बिल्कुल 'के' है। (ध्यान दें कि ''नहीं'' प्रत्येक सरल बीजगणित अपने केंद्र पर एक केंद्रीय सरल बीजगणित है: उदाहरण के लिए, यदि '<nowiki/>''के'<nowiki/>'' विशेषता 0 का क्षेत्र है, तो [[वेइल बीजगणित]] <math>K[X,\partial_X]</math> केंद्र '<nowiki/>''के'<nowiki/>'' के साथ एक साधारण बीजगणित है, किन्तु '<nowiki/>''के''' के ऊपर एक केंद्रीय सरल बीजगणित नहीं है क्योंकि इसमें ''के''-मॉड्यूल के रूप में अनंत आयाम हैं।)


उदाहरण के लिए, सम्मिश्र संख्या 'C' अपने ऊपर एक CSA बनाती है, लेकिन [[वास्तविक संख्या]] 'R' पर नहीं ('C' का केंद्र 'C' का है, न कि केवल 'R' का)। Quaternions 'H' 'R' के ऊपर एक 4-आयामी CSA बनाता है, और वास्तव में वास्तविक के Brauer समूह के एकमात्र गैर-तुच्छ तत्व का प्रतिनिधित्व करता है (नीचे देखें)।
उदाहरण के लिए, सम्मिश्र संख्या 'सी' अपने ऊपर एक सीएसए बनाती है, किन्तु [[वास्तविक संख्या]] 'आर' पर नहीं ('सी' का केंद्र 'सी' का है, न कि केवल 'आर' का)। कूटर्नियंस 'एच' 'आर' के ऊपर एक 4-आयामी सीएसए बनाता है, और वास्तव में वास्तविक के ब्राउर समूह के एकमात्र गैर-तुच्छ तत्व का प्रतिनिधित्व करता है (नीचे देखें)।


दो केंद्रीय सरल बीजगणित A ~ M(n,S) और B ~ M(m,T) एक ही फ़ील्ड F, A और B पर समान (या Brauer समकक्ष) कहलाते हैं यदि उनके विभाजन रिंग S और T आइसोमोर्फिक हैं। इस तुल्यता संबंध के तहत दिए गए फ़ील्ड F पर केंद्रीय सरल बीजगणित के सभी [[तुल्यता वर्ग]] का सेट, बीजगणित के टेंसर उत्पाद द्वारा दिए गए [[समूह संचालन]] से सुसज्जित किया जा सकता है। परिणामी समूह को फ़ील्ड F का [[Brauer group]] Br(F) कहा जाता है।<ref name=L159>Lorenz (2008) p.159</ref> यह हमेशा एक [[मरोड़ समूह]] है।<ref name=L194>Lorenz (2008) p.194</ref>
दो केंद्रीय सरल बीजगणित ''ए'' ~ एम (एन, एस)और बी ~ एम( एम,टी) एक ही फ़ील्ड एफ, ''ए'' और बी पर समान (या ब्राउर समकक्ष) कहलाते हैं यदि उनके विभाजन रिंग एस और टी आइसोमोर्फिक हैं। इस तुल्यता संबंध के अनुसार दिए गए फ़ील्ड एफ पर केंद्रीय सरल बीजगणित के सभी [[तुल्यता वर्ग]] का सेट, बीजगणित के टेंसर उत्पाद द्वारा दिए गए [[समूह संचालन]] से सुसज्जित किया जा सकता है। परिणामी समूह को फ़ील्ड एफ का


ब्राउर ग्रुप बीआर(एफ) कहा जाता है। <ref name="L159">Lorenz (2008) p.159</ref> यह हमेशा एक [[मरोड़ समूह]] है।<ref name="L194">Lorenz (2008) p.194</ref>
'''दो केंद्रीय सरल बीजगणित A ~ M(n,S) और B ~ M(m,T) एक ही फ़ील्ड F, A और B पर समान (या Brauer समकक्ष) कहलाते हैं यदि उनके विभाजन रिंग S और T आइसोमोर्फिक हैं। इस तुल्यता संबंध के अनुसार  द्वारा दिए गए [[समूह संचालन]] से सुसज्जित किया जा सकता है'''


'''दो केंद्रीय सरल बीजगणित A ~ M(n,S) और B ~ M(m,T) एक ही फ़ील्ड F, A और B पर समान (या Brauer समकक्ष) कहलाते हैं यदि उनके विभाजन रिंग S और T आइसोमोर्फिक हैं। इस तुल्यता संबंध के तहत  द्वारा दिए गए [[समूह संचालन]] से सुसज्जित किया जा सकता है'''
   
   


Line 13: Line 16:
== गुण ==
== गुण ==
* आर्टिन-वेडरबर्न प्रमेय के अनुसार एक परिमित-आयामी सरल बीजगणित ए मैट्रिक्स बीजगणित मैट्रिक्स रिंग | एम (एन, एस) के लिए कुछ [[ विभाजन की अंगूठी ]] एस के लिए आइसोमोर्फिक है। इसलिए, प्रत्येक ब्राउर समकक्ष वर्ग में एक अद्वितीय विभाजन बीजगणित है।<ref name=L160>Lorenz (2008) p.160</ref>
* आर्टिन-वेडरबर्न प्रमेय के अनुसार एक परिमित-आयामी सरल बीजगणित ए मैट्रिक्स बीजगणित मैट्रिक्स रिंग | एम (एन, एस) के लिए कुछ [[ विभाजन की अंगूठी ]] एस के लिए आइसोमोर्फिक है। इसलिए, प्रत्येक ब्राउर समकक्ष वर्ग में एक अद्वितीय विभाजन बीजगणित है।<ref name=L160>Lorenz (2008) p.160</ref>
* एक केंद्रीय सरल बीजगणित का प्रत्येक [[ automorphism ]] एक [[आंतरिक ऑटोमोर्फिज्म]] है (यह स्कोलेम-नोथेर प्रमेय से अनुसरण करता है)।
* एक केंद्रीय सरल बीजगणित का प्रत्येक [[ automorphism | ऑटोमोर्फिज्म]] एक [[आंतरिक ऑटोमोर्फिज्म]] है (यह स्कोलेम-नोथेर प्रमेय से अनुसरण करता है)।
* एक केंद्रीय सरल बीजगणित का आयाम (वेक्टर स्पेस) इसके केंद्र पर एक वेक्टर स्पेस के रूप में हमेशा एक वर्ग होता है: डिग्री इस आयाम का वर्गमूल है।<ref name=GS21>Gille & Szamuely (2006) p.21</ref> केंद्रीय सरल बीजगणित का शूर सूचकांक समतुल्य विभाजन बीजगणित की डिग्री है:<ref name=L163>Lorenz (2008) p.163</ref> यह केवल बीजगणित के ब्राउर वर्ग पर निर्भर करता है।<ref name=GS100>Gille & Szamuely (2006) p.100</ref>
* एक केंद्रीय सरल बीजगणित का आयाम (वेक्टर स्पेस) इसके केंद्र पर एक वेक्टर स्पेस के रूप में हमेशा एक वर्ग होता है: डिग्री इस आयाम का वर्गमूल है। <ref name=GS21>Gille & Szamuely (2006) p.21</ref> केंद्रीय सरल बीजगणित का शूर सूचकांक समतुल्य विभाजन बीजगणित की डिग्री है: <ref name=L163>Lorenz (2008) p.163</ref> यह केवल बीजगणित के ब्राउर वर्ग पर निर्भर करता है। <ref name=GS100>Gille & Szamuely (2006) p.100</ref>
* एक केंद्रीय सरल बीजगणित की अवधि या प्रतिपादक, ब्राउर समूह के एक तत्व के रूप में इसके ब्राउर वर्ग का क्रम है। यह सूचकांक का भाजक है,<ref name=Jac60>Jacobson (1996) p.60</ref> और दो संख्याएँ समान अभाज्य गुणनखंडों से बनी हैं।<ref name=Jac61>Jacobson (1996) p.61</ref><ref name=GS104>Gille & Szamuely (2006) p.104</ref><ref>{{cite book | title=आगे बीजगणित और अनुप्रयोग| first=Paul M. | last=Cohn | publisher=[[Springer-Verlag]] | year=2003 | isbn=1852336676 | page=208 |url=https://books.google.com/books?id=2Z_OC6uGzkwC&q=%22central+simple%22}}</ref>
* एक केंद्रीय सरल बीजगणित की अवधि या प्रतिपादक, ब्राउर समूह के एक तत्व के रूप में इसके ब्राउर वर्ग का क्रम है। यह सूचकांक का भाजक है, <ref name=Jac60>Jacobson (1996) p.60</ref> और दो संख्याएँ समान अभाज्य गुणनखंडों से बनी हैं। <ref name=Jac61>Jacobson (1996) p.61</ref><ref name=GS104>Gille & Szamuely (2006) p.104</ref><ref>{{cite book | title=आगे बीजगणित और अनुप्रयोग| first=Paul M. | last=Cohn | publisher=[[Springer-Verlag]] | year=2003 | isbn=1852336676 | page=208 |url=https://books.google.com/books?id=2Z_OC6uGzkwC&q=%22central+simple%22}}</ref>
* यदि एस एक केंद्रीय सरल बीजगणित ए का एक सरल [[subalgebra]] है तो मंद<sub>''F''</sub>S मंद को विभाजित करता है<sub>''F''</sub>एक।
* यदि एस एक केंद्रीय सरल बीजगणित ए का एक सरल [[subalgebra|सबलगेब्रा]] है तो मंद<sub>''F''</sub>S मंद<sub>''F''</sub> ''A'' को विभाजित करता है।
* क्षेत्र F पर प्रत्येक 4-आयामी केंद्रीय सरल बीजगणित एक [[चतुष्कोणीय बीजगणित]] के लिए आइसोमोर्फिक है; वास्तव में, यह या तो दो-बटा-दो [[मैट्रिक्स बीजगणित]] है, या एक [[विभाजन बीजगणित]] है।
* क्षेत्र एफ पर प्रत्येक 4-आयामी केंद्रीय सरल बीजगणित एक [[चतुष्कोणीय बीजगणित]] के लिए आइसोमोर्फिक है; वास्तव में, यह या तो दो-बटा-दो [[मैट्रिक्स बीजगणित]] है, या एक [[विभाजन बीजगणित]] है।
* यदि D, K के ऊपर एक केंद्रीय विभाजन बीजगणित है, जिसके लिए सूचकांक का प्रमुख गुणनखंड है
* यदि डी, के के ऊपर एक केंद्रीय विभाजन बीजगणित है, जिसके लिए सूचकांक का प्रमुख गुणनखंड है
::<math>\mathrm{ind}(D) = \prod_{i=1}^r p_i^{m_i} \ </math>
::<math>\mathrm{ind}(D) = \prod_{i=1}^r p_i^{m_i} \ </math>
:तो डी एक टेंसर उत्पाद अपघटन है
:तो डी एक टेंसर उत्पाद अपघटन है
Line 26: Line 29:


== विभाजन क्षेत्र ==
== विभाजन क्षेत्र ==
हम फ़ील्ड E को K के ऊपर A के लिए स्प्लिटिंग फ़ील्ड कहते हैं यदि A⊗E E पर मैट्रिक्स रिंग के लिए आइसोमोर्फिक है। A का विभाजन क्षेत्र है। सामान्य तौर पर [[जोसेफ वेडरबर्न]] और कोएथे के प्रमेयों द्वारा एक विभाजन क्षेत्र होता है जो ए के सूचकांक के बराबर डिग्री के के का एक [[वियोज्य विस्तार]] होता है, और यह विभाजन क्षेत्र ए के एक उपक्षेत्र के लिए आइसोमॉर्फिक होता है।<ref name=Jac2728>Jacobson (1996) pp.27-28</ref><ref name=GS101>Gille & Szamuely (2006) p.101</ref> एक उदाहरण के रूप में, फ़ील्ड C चतुष्कोणीय बीजगणित H को R के साथ विभाजित करता है
हम फ़ील्ड को 'के' के ऊपर के लिए स्प्लिटिंग फ़ील्ड कहते हैं यदि ए⊗ई ई पर मैट्रिक्स रिंग के लिए आइसोमोर्फिक है। का विभाजन क्षेत्र है। सामान्यतः [[जोसेफ वेडरबर्न]] और कोएथे के प्रमेयों द्वारा एक विभाजन क्षेत्र होता है जो ए के सूचकांक के बराबर डिग्री के के का एक [[वियोज्य विस्तार]] होता है, और यह विभाजन क्षेत्र ए के एक उपक्षेत्र के लिए आइसोमॉर्फिक होता है।<ref name=Jac2728>Jacobson (1996) pp.27-28</ref><ref name=GS101>Gille & Szamuely (2006) p.101</ref> एक उदाहरण के रूप में, फ़ील्ड सी  चतुष्कोणीय बीजगणित एच को आर के साथ विभाजित करता है


:<math> t + x \mathbf{i} + y \mathbf{j} + z \mathbf{k} \leftrightarrow
:<math> t + x \mathbf{i} + y \mathbf{j} + z \mathbf{k} \leftrightarrow
\left({\begin{array}{*{20}c} t + x i & y + z i \\ -y + z i & t - x i \end{array}}\right) . </math>
\left({\begin{array}{*{20}c} t + x i & y + z i \\ -y + z i & t - x i \end{array}}\right) . </math>
हम सीएसए ''ए'' के लिए घटे हुए मानक और कम ट्रेस को परिभाषित करने के लिए विभाजन क्षेत्र के अस्तित्व का उपयोग कर सकते हैं।<ref name=GS378>Gille & Szamuely (2006) pp.37-38</ref> एक बंटवारे वाले क्षेत्र पर एक मैट्रिक्स रिंग के लिए मानचित्र ए और क्रमशः निर्धारक और ट्रेस के साथ इस मानचित्र के समग्र होने के लिए कम मानदंड और ट्रेस को परिभाषित करें। उदाहरण के लिए, चतुष्कोणीय बीजगणित 'एच' में, उपरोक्त विभाजन से पता चलता है कि तत्व टी + एक्स 'आई' + वाई 'जे' + जेड 'के' ने मानक टी को कम कर दिया है<sup>2</sup> + एक्स<sup>2</sup> + और<sup>2</sup> + के साथ<sup>2</sup> और ट्रेस 2t घटाया।
हम सीएसए ''ए'' के लिए घटे हुए मानक और कम ट्रेस को परिभाषित करने के लिए विभाजन क्षेत्र के अस्तित्व का उपयोग कर सकते हैं। <ref name=GS378>Gille & Szamuely (2006) pp.37-38</ref> एक बंटवारे वाले क्षेत्र पर एक मैट्रिक्स रिंग के लिए मानचित्र ए और क्रमशः निर्धारक और ट्रेस के साथ इस मानचित्र के समग्र होने के लिए कम मानदंड और ट्रेस को परिभाषित करें। उदाहरण के लिए, चतुष्कोणीय बीजगणित 'एच' में, उपरोक्त विभाजन से पता चलता है कि तत्व ''t'' + ''x'' '''i''' + ''y'' '''j''' + ''z'' '''k'''  ने मानक ''t''<sup>2</sup> + ''x''<sup>2</sup> + ''y''<sup>2</sup> + ''z''<sup>2</sup> को कम कर दिया है + एक्स<sup>2</sup> + और<sup>2</sup> + के  और ट्रेस 2t घटाया है।


घटा हुआ मान गुणक है और घटा हुआ निशान योगात्मक है। ए का एक तत्व व्युत्क्रमणीय है अगर और केवल गैर-शून्य में इसका कम मानदंड: इसलिए एक सीएसए एक विभाजन बीजगणित है अगर और केवल अगर कम मानदंड गैर-शून्य तत्वों पर गैर-शून्य है।<ref name=GS38>Gille & Szamuely (2006) p.38</ref>
घटा हुआ मान गुणक है और घटा हुआ निशान योगात्मक है। ए का एक तत्व व्युत्क्रमणीय है अगर और केवल गैर-शून्य में इसका कम मानदंड: इसलिए एक सीएसए एक विभाजन बीजगणित है अगर और केवल अगर कम मानदंड गैर-शून्य तत्वों पर गैर-शून्य है। <ref name=GS38>Gille & Szamuely (2006) p.38</ref>




== सामान्यीकरण ==
== सामान्यीकरण ==
एक क्षेत्र K पर CSAs K पर [[विस्तार क्षेत्र]]ों के लिए एक गैर-कम्यूटेटिव एनालॉग हैं - दोनों ही मामलों में, उनके पास कोई गैर-तुच्छ 2-पक्षीय आदर्श नहीं हैं, और उनके केंद्र में एक विशिष्ट क्षेत्र है, हालांकि एक CSA गैर-कम्यूटेटिव हो सकता है और व्युत्क्रम होने की आवश्यकता नहीं है (विभाजन बीजगणित होने की आवश्यकता नहीं है)। [[संख्या क्षेत्र]]ों के सामान्यीकरण (राशनिक 'क्यू' के विस्तार) के रूप में [[गैर-अनुक्रमिक संख्या सिद्धांत]] में यह विशेष रुचि है; गैर क्रमविनिमेय संख्या फ़ील्ड देखें।
एक क्षेत्र 'के' पर सीएसएs 'के' पर [[विस्तार क्षेत्र]] के लिए एक गैर-कम्यूटेटिव एनालॉग हैं - दोनों ही स्थितियों में, उनके पास कोई गैर-तुच्छ 2-पक्षीय आदर्श नहीं हैं, और उनके केंद्र में एक विशिष्ट क्षेत्र है, यद्यपि एक सीएसए गैर-कम्यूटेटिव हो सकता है और व्युत्क्रम होने की आवश्यकता नहीं है (विभाजन बीजगणित होने की आवश्यकता नहीं है)। [[संख्या क्षेत्र]] के सामान्यीकरण (राशनिक 'क्यू' के विस्तार) के रूप में [[गैर-अनुक्रमिक संख्या सिद्धांत]] में यह विशेष रुचि है; गैर क्रमविनिमेय संख्या फ़ील्ड देखें।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 13:46, 10 March 2023

अंगूठी सिद्धांत और गणित के संबंधित क्षेत्रों में एक क्षेत्र (गणित) पर एक केंद्रीय सरल बीजगणित (सीएसए) के एक परिमित-आयामी साहचर्य बीजगणित है | साहचर्य के-बीजगणित 'ए' जो सरल है बीजगणित, और जिसके लिए केंद्र (रिंग थ्योरी) बिल्कुल 'के' है। (ध्यान दें कि नहीं प्रत्येक सरल बीजगणित अपने केंद्र पर एक केंद्रीय सरल बीजगणित है: उदाहरण के लिए, यदि 'के' विशेषता 0 का क्षेत्र है, तो वेइल बीजगणित केंद्र 'के' के साथ एक साधारण बीजगणित है, किन्तु 'के' के ऊपर एक केंद्रीय सरल बीजगणित नहीं है क्योंकि इसमें के-मॉड्यूल के रूप में अनंत आयाम हैं।)

उदाहरण के लिए, सम्मिश्र संख्या 'सी' अपने ऊपर एक सीएसए बनाती है, किन्तु वास्तविक संख्या 'आर' पर नहीं ('सी' का केंद्र 'सी' का है, न कि केवल 'आर' का)। कूटर्नियंस 'एच' 'आर' के ऊपर एक 4-आयामी सीएसए बनाता है, और वास्तव में वास्तविक के ब्राउर समूह के एकमात्र गैर-तुच्छ तत्व का प्रतिनिधित्व करता है (नीचे देखें)।

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

ब्राउर ग्रुप बीआर(एफ) कहा जाता है। [1] यह हमेशा एक मरोड़ समूह है।[2]


दो केंद्रीय सरल बीजगणित A ~ M(n,S) और B ~ M(m,T) एक ही फ़ील्ड F, A और B पर समान (या Brauer समकक्ष) कहलाते हैं यदि उनके विभाजन रिंग S और T आइसोमोर्फिक हैं। इस तुल्यता संबंध के अनुसार द्वारा दिए गए समूह संचालन से सुसज्जित किया जा सकता है



गुण

  • आर्टिन-वेडरबर्न प्रमेय के अनुसार एक परिमित-आयामी सरल बीजगणित ए मैट्रिक्स बीजगणित मैट्रिक्स रिंग | एम (एन, एस) के लिए कुछ विभाजन की अंगूठी एस के लिए आइसोमोर्फिक है। इसलिए, प्रत्येक ब्राउर समकक्ष वर्ग में एक अद्वितीय विभाजन बीजगणित है।[3]
  • एक केंद्रीय सरल बीजगणित का प्रत्येक ऑटोमोर्फिज्म एक आंतरिक ऑटोमोर्फिज्म है (यह स्कोलेम-नोथेर प्रमेय से अनुसरण करता है)।
  • एक केंद्रीय सरल बीजगणित का आयाम (वेक्टर स्पेस) इसके केंद्र पर एक वेक्टर स्पेस के रूप में हमेशा एक वर्ग होता है: डिग्री इस आयाम का वर्गमूल है। [4] केंद्रीय सरल बीजगणित का शूर सूचकांक समतुल्य विभाजन बीजगणित की डिग्री है: [5] यह केवल बीजगणित के ब्राउर वर्ग पर निर्भर करता है। [6]
  • एक केंद्रीय सरल बीजगणित की अवधि या प्रतिपादक, ब्राउर समूह के एक तत्व के रूप में इसके ब्राउर वर्ग का क्रम है। यह सूचकांक का भाजक है, [7] और दो संख्याएँ समान अभाज्य गुणनखंडों से बनी हैं। [8][9][10]
  • यदि एस एक केंद्रीय सरल बीजगणित ए का एक सरल सबलगेब्रा है तो मंदFS मंदF A को विभाजित करता है।
  • क्षेत्र एफ पर प्रत्येक 4-आयामी केंद्रीय सरल बीजगणित एक चतुष्कोणीय बीजगणित के लिए आइसोमोर्फिक है; वास्तव में, यह या तो दो-बटा-दो मैट्रिक्स बीजगणित है, या एक विभाजन बीजगणित है।
  • यदि डी, के के ऊपर एक केंद्रीय विभाजन बीजगणित है, जिसके लिए सूचकांक का प्रमुख गुणनखंड है
तो डी एक टेंसर उत्पाद अपघटन है
जहां प्रत्येक घटक डीi सूचकांक का एक केंद्रीय विभाजन बीजगणित है , और घटक विशिष्ट रूप से समरूपता तक निर्धारित होते हैं।[11]


विभाजन क्षेत्र

हम फ़ील्ड ई को 'के' के ऊपर ए के लिए स्प्लिटिंग फ़ील्ड कहते हैं यदि ए⊗ई ई पर मैट्रिक्स रिंग के लिए आइसोमोर्फिक है। ए का विभाजन क्षेत्र है। सामान्यतः जोसेफ वेडरबर्न और कोएथे के प्रमेयों द्वारा एक विभाजन क्षेत्र होता है जो ए के सूचकांक के बराबर डिग्री के के का एक वियोज्य विस्तार होता है, और यह विभाजन क्षेत्र ए के एक उपक्षेत्र के लिए आइसोमॉर्फिक होता है।[12][13] एक उदाहरण के रूप में, फ़ील्ड सी चतुष्कोणीय बीजगणित एच को आर के साथ विभाजित करता है

हम सीएसए के लिए घटे हुए मानक और कम ट्रेस को परिभाषित करने के लिए विभाजन क्षेत्र के अस्तित्व का उपयोग कर सकते हैं। [14] एक बंटवारे वाले क्षेत्र पर एक मैट्रिक्स रिंग के लिए मानचित्र ए और क्रमशः निर्धारक और ट्रेस के साथ इस मानचित्र के समग्र होने के लिए कम मानदंड और ट्रेस को परिभाषित करें। उदाहरण के लिए, चतुष्कोणीय बीजगणित 'एच' में, उपरोक्त विभाजन से पता चलता है कि तत्व t + x i + y j + z k ने मानक t2 + x2 + y2 + z2 को कम कर दिया है + एक्स2 + और2 + के और ट्रेस 2t घटाया है।

घटा हुआ मान गुणक है और घटा हुआ निशान योगात्मक है। ए का एक तत्व व्युत्क्रमणीय है अगर और केवल गैर-शून्य में इसका कम मानदंड: इसलिए एक सीएसए एक विभाजन बीजगणित है अगर और केवल अगर कम मानदंड गैर-शून्य तत्वों पर गैर-शून्य है। [15]


सामान्यीकरण

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

यह भी देखें

  • अज़ुमाया बीजगणित, सीएसए का सामान्यीकरण जहां आधार क्षेत्र को एक कम्यूटेटिव लोकल रिंग से बदल दिया जाता है
  • सेवेरी-ब्राउर किस्म
  • पॉसनर प्रमेय

संदर्भ

  1. Lorenz (2008) p.159
  2. Lorenz (2008) p.194
  3. Lorenz (2008) p.160
  4. Gille & Szamuely (2006) p.21
  5. Lorenz (2008) p.163
  6. Gille & Szamuely (2006) p.100
  7. Jacobson (1996) p.60
  8. Jacobson (1996) p.61
  9. Gille & Szamuely (2006) p.104
  10. Cohn, Paul M. (2003). आगे बीजगणित और अनुप्रयोग. Springer-Verlag. p. 208. ISBN 1852336676.
  11. Gille & Szamuely (2006) p.105
  12. Jacobson (1996) pp.27-28
  13. Gille & Szamuely (2006) p.101
  14. Gille & Szamuely (2006) pp.37-38
  15. Gille & Szamuely (2006) p.38



अग्रिम पठन