बर्नसाइड रिंग: Difference between revisions
(Created page with "{{no footnotes|date=May 2018}} गणित में, एक परिमित समूह का बर्नसाइड रिंग एक बीजगणिती...") |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, [[परिमित समूह]] का बर्नसाइड रिंग बीजगणितीय निर्माण है जो विभिन्न तरीकों को कूटबद्ध करता है समूह परिमित सेटों पर [[समूह क्रिया (गणित)]] कर सकता है। उन्नीसवीं शताब्दी के अंत में [[विलियम बर्नसाइड]] द्वारा विचार पेश किए गए थे। सोलोमन (1967) के कारण बीजगणितीय वलय (गणित) और हालिया विकास है। | |||
गणित में, | |||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
एक परिमित समूह जी को देखते हुए, इसके बर्नसाइड रिंग Ω(जी) के जनरेटर परिमित समूह क्रिया (गणित) | जी-सेट के समरूपता वर्गों के औपचारिक योग हैं। रिंग (गणित) के लिए, जी-सेट के असंयुक्त मिलन और उनके कार्टेशियन उत्पाद द्वारा गुणन द्वारा योग दिया जाता है। | एक परिमित समूह जी को देखते हुए, इसके बर्नसाइड रिंग Ω(जी) के जनरेटर परिमित समूह क्रिया (गणित) | जी-सेट के समरूपता वर्गों के औपचारिक योग हैं। रिंग (गणित) के लिए, जी-सेट के असंयुक्त मिलन और उनके कार्टेशियन उत्पाद द्वारा गुणन द्वारा योग दिया जाता है। | ||
बर्नसाइड रिंग | बर्नसाइड रिंग मुक्त 'जेड'-[[मॉड्यूल (गणित)]] है, जिसके जनरेटर जी के समूह क्रिया (गणित) के (समरूपता वर्ग) हैं। | ||
यदि G परिमित समुच्चय X पर कार्य करता है, तो कोई लिख सकता है <math display="inline">X = \bigcup_i X_i</math> (विच्छिन्न संघ), जहां प्रत्येक X<sub>''i''</sub> | यदि G परिमित समुच्चय X पर कार्य करता है, तो कोई लिख सकता है <math display="inline">X = \bigcup_i X_i</math> (विच्छिन्न संघ), जहां प्रत्येक X<sub>''i''</sub> एकल जी-ऑर्बिट है। किसी भी अवयव x को चुनना<sub>''i''</sub> एक्स में<sub>i</sub> समरूपता G/G बनाता है<sub>''i''</sub> → एक्स<sub>''i''</sub>, जहां जी<sub>i</sub>x पर G का स्टेबलाइज़र (आइसोट्रॉपी) उपसमूह है<sub>''i''</sub>. प्रतिनिधि वाई की अलग पसंद<sub>''i''</sub> एक्स में<sub>''i''</sub> G को संयुग्मित उपसमूह देता है<sub>''i''</sub> स्टेबलाइजर के रूप में। इससे पता चलता है कि 'जेड' मॉड्यूल के रूप में Ω(जी) के जनरेटर जी के उपसमूहों के [[संयुग्मन वर्ग]]ों पर एच के रूप में जी/एच की कक्षाएँ हैं। | ||
दूसरे शब्दों में, Ω(G) का | दूसरे शब्दों में, Ω(G) का विशिष्ट तत्व है | ||
<math display="block"> \sum_{i=1}^N a_i [G/G_i],</math> | <math display="block"> \sum_{i=1}^N a_i [G/G_i],</math> | ||
जहाँ एक<sub>''i''</sub> जेड और ''जी'' में<sub>1</sub>, जी<sub>2</sub>, ..., जी<sub>''N''</sub> जी के उपसमूहों के संयुग्मन वर्गों के प्रतिनिधि हैं। | जहाँ एक<sub>''i''</sub> जेड और ''जी'' में<sub>1</sub>, जी<sub>2</sub>, ..., जी<sub>''N''</sub> जी के उपसमूहों के संयुग्मन वर्गों के प्रतिनिधि हैं। | ||
Line 16: | Line 15: | ||
जितना [[चरित्र सिद्धांत]] समूह अभ्यावेदन के साथ काम करना सरल करता है, अंक क्रमचय अभ्यावेदन और बर्नसाइड रिंग के साथ काम करना आसान बनाता है। | जितना [[चरित्र सिद्धांत]] समूह अभ्यावेदन के साथ काम करना सरल करता है, अंक क्रमचय अभ्यावेदन और बर्नसाइड रिंग के साथ काम करना आसान बनाता है। | ||
यदि ''G'' ''X'' पर कार्य करता है, और ''H'' ≤ ''G'' (''H'' ''G'' का | यदि ''G'' ''X'' पर कार्य करता है, और ''H'' ≤ ''G'' (''H'' ''G'' का [[उपसमूह]] है), तो ''H'' का चिह्न ''ऑन'' एक्स एक्स ''के तत्वों की संख्या है जो'' एच ''के प्रत्येक तत्व द्वारा तय किए गए हैं: <math>m_X(H) = \left|X^H\right|</math>, कहाँ'' | ||
:<math>X^H = \{ x\in X \mid h\cdot x = x, \forall h\in H\}.</math> | :<math>X^H = \{ x\in X \mid h\cdot x = x, \forall h\in H\}.</math> | ||
यदि H और K संयुग्मी उपसमूह हैं, तो m<sub>''X''</sub>(एच) = एम<sub>''X''</sub>(के) किसी भी परिमित जी-सेट एक्स के लिए; वास्तव में, अगर के = जीएचजी<sup>-1</sup> फिर X<sup>के</सुप> = जी · एक्स<sup>एच</सुप>. | यदि H और K संयुग्मी उपसमूह हैं, तो m<sub>''X''</sub>(एच) = एम<sub>''X''</sub>(के) किसी भी परिमित जी-सेट एक्स के लिए; वास्तव में, अगर के = जीएचजी<sup>-1</sup> फिर X<sup>के</सुप> = जी · एक्स<sup>एच</सुप>. | ||
यह देखना भी आसान है कि प्रत्येक H ≤ G के लिए, मानचित्र Ω(G) → 'Z' : X ↦ m<sub>''X''</sub>(एच) | यह देखना भी आसान है कि प्रत्येक H ≤ G के लिए, मानचित्र Ω(G) → 'Z' : X ↦ m<sub>''X''</sub>(एच) समरूपता है। इसका मतलब यह है कि जी के अंक जानने के लिए, उन्हें Ω(जी) के जनरेटर पर मूल्यांकन करने के लिए पर्याप्त है, अर्थात। कक्षा जी/एच। | ||
उपसमूहों की प्रत्येक जोड़ी के लिए एच, के ≤ जी परिभाषित करें | उपसमूहों की प्रत्येक जोड़ी के लिए एच, के ≤ जी परिभाषित करें | ||
:<math>m(K, H) = \left|[G/K]^H\right| = \# \left\{ gK \in G/K \mid HgK=gK \right\}.</math> | :<math>m(K, H) = \left|[G/K]^H\right| = \# \left\{ gK \in G/K \mid HgK=gK \right\}.</math> | ||
ये एम है<sub>''X''</sub>(एच) एक्स = जी / के लिए। स्थिति HgK = gK, g के तुल्य है<sup>−1</sup>Hg ≤ K, इसलिए यदि H, K के | ये एम है<sub>''X''</sub>(एच) एक्स = जी / के लिए। स्थिति HgK = gK, g के तुल्य है<sup>−1</sup>Hg ≤ K, इसलिए यदि H, K के उपसमूह से संयुग्मी नहीं है तो m(K, H) = 0। | ||
सभी संभावित अंकों को रिकॉर्ड करने के लिए, | सभी संभावित अंकों को रिकॉर्ड करने के लिए, तालिका, बर्नसाइड की 'मार्क्स की तालिका' इस प्रकार है: मान लीजिए जी<sub>1</sub> (= तुच्छ उपसमूह), जी<sub>2</sub>, ..., जी<sub>''N''</sub> = जी, जी के उपसमूहों के एन संयुग्मी वर्गों के प्रतिनिधि हैं, इस तरह से आदेश दिया गया है कि जब भी जी<sub>''i''</sub> जी के उपसमूह के लिए संयुग्मी है<sub>''j''</sub>, फिर मैं ≤ जे। अब N × N तालिका (स्क्वायर मैट्रिक्स) को परिभाषित करें जिसकी (i, j)वीं प्रविष्टि m(G<sub>''i''</sub>, जी<sub>''j''</sub>). यह मैट्रिक्स निचला त्रिकोणीय है, और विकर्ण पर तत्व गैर-शून्य हैं इसलिए यह उलटा है। | ||
यह इस प्रकार है कि यदि एक्स | यह इस प्रकार है कि यदि एक्स जी-सेट है, और 'यू' अंकों की इसकी पंक्ति वेक्टर है, तो यू<sub>''i''</sub> = म<sub>''X''</sub>(जी<sub>''i''</sub>), तो X, a के असंयुक्त संघ के रूप में विघटित हो जाता है<sub>''i''</sub> प्रकार जी की कक्षा की प्रतियां<sub>''i''</sub>, जहां सदिश a संतुष्ट करता है, | ||
:a''M'' = ''यू'', | :a''M'' = ''यू'', | ||
जहां 'M' अंकों की तालिका का मैट्रिक्स है। इस प्रमेय का कारण है {{harv|Burnside|1897}}. | जहां 'M' अंकों की तालिका का मैट्रिक्स है। इस प्रमेय का कारण है {{harv|Burnside|1897}}. | ||
Line 65: | Line 64: | ||
(कुछ लेखक तालिका के स्थानान्तरण का उपयोग करते हैं, लेकिन इस तरह बर्नसाइड ने इसे मूल रूप से परिभाषित किया।) | (कुछ लेखक तालिका के स्थानान्तरण का उपयोग करते हैं, लेकिन इस तरह बर्नसाइड ने इसे मूल रूप से परिभाषित किया।) | ||
तथ्य यह है कि अंतिम पंक्ति सभी 1s है क्योंकि [G/G] | तथ्य यह है कि अंतिम पंक्ति सभी 1s है क्योंकि [G/G] एकल बिंदु है। विकर्ण पद m(H, H) = | हैं एन<sub>''G''</sub>(एच)/एच | पहले कॉलम में संख्या प्रतिनिधित्व की डिग्री दिखाती है। | ||
इन सारणियों से Ω(G) की वलय संरचना का अनुमान लगाया जा सकता है: वलय के जनरेटर ('Z'-मॉड्यूल के रूप में) सारणी की पंक्तियाँ हैं, और दो जनित्रों के गुणनफल को गुणनफल द्वारा चिन्हित किया गया है। चिह्न (इसलिए पंक्ति सदिशों का घटक-वार गुणन), जिसे तब सभी पंक्तियों के [[रैखिक संयोजन]] के रूप में विघटित किया जा सकता है। उदाहरण के लिए, एस के साथ<sub>3</sub>, | इन सारणियों से Ω(G) की वलय संरचना का अनुमान लगाया जा सकता है: वलय के जनरेटर ('Z'-मॉड्यूल के रूप में) सारणी की पंक्तियाँ हैं, और दो जनित्रों के गुणनफल को गुणनफल द्वारा चिन्हित किया गया है। चिह्न (इसलिए पंक्ति सदिशों का घटक-वार गुणन), जिसे तब सभी पंक्तियों के [[रैखिक संयोजन]] के रूप में विघटित किया जा सकता है। उदाहरण के लिए, एस के साथ<sub>3</sub>, | ||
Line 72: | Line 71: | ||
== क्रमपरिवर्तन प्रतिनिधित्व == | == क्रमपरिवर्तन प्रतिनिधित्व == | ||
किसी परिमित समुच्चय से संबद्ध X | किसी परिमित समुच्चय से संबद्ध X सदिश समष्टि V = V है<sub>X</sub>, जो आधार के रूप में X के तत्वों के साथ सदिश स्थान है (किसी निर्दिष्ट क्षेत्र का उपयोग करके)। एक्स पर परिमित समूह जी की क्रिया वी पर रैखिक क्रिया को प्रेरित करती है, जिसे क्रमचय समूह प्रतिनिधित्व कहा जाता है। G के सभी परिमित-आयामी अभ्यावेदन के सेट में वलय की संरचना होती है, निरूपण वलय, जिसे R(G) निरूपित किया जाता है। | ||
किसी दिए गए जी-सेट एक्स के लिए, संबंधित प्रतिनिधित्व का चरित्र सिद्धांत है | किसी दिए गए जी-सेट एक्स के लिए, संबंधित प्रतिनिधित्व का चरित्र सिद्धांत है | ||
Line 97: | Line 96: | ||
==संदर्भ== | ==संदर्भ== | ||
*{{Citation | last=Burnside | first=William | author-link=William Burnside | title=Theory of groups of finite order | publisher=[[Cambridge University Press]] | year=1897}} | *{{Citation | last=Burnside | first=William | author-link=William Burnside | title=Theory of groups of finite order | publisher=[[Cambridge University Press]] | year=1897}} | ||
*{{Citation | last=tom Dieck | first=Tammo | title=Transformation groups | publisher=Walter de Gruyter | series=de Gruyter Studies in Mathematics | isbn=978-3-11-009745-0 | mr=889050 | year=1987 | volume=8 | oclc=217014538 }} | *{{Citation | last=tom Dieck | first=Tammo | title=Transformation groups | publisher=Walter de Gruyter | series=de Gruyter Studies in Mathematics | isbn=978-3-11-009745-0 | mr=889050 | year=1987 | volume=8 | oclc=217014538 }} | ||
*{{Citation | last1=Dress | first1=Andreas | title=A characterization of solvable groups | journal=Math. Z. | year=1969 | pages=213–217 | doi=10.1007/BF01110213 | volume=110 | issue=3}} | *{{Citation | last1=Dress | first1=Andreas | title=A characterization of solvable groups | journal=Math. Z. | year=1969 | pages=213–217 | doi=10.1007/BF01110213 | volume=110 | issue=3}} | ||
*{{Citation | last1=Kerber | first1=Adalbert | title=Applied finite group actions | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | series=Algorithms and Combinatorics | isbn=978-3-540-65941-9 | mr=1716962 | year=1999 | volume=19 | oclc=247593131 }} | *{{Citation | last1=Kerber | first1=Adalbert | title=Applied finite group actions | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=2nd | series=Algorithms and Combinatorics | isbn=978-3-540-65941-9 | mr=1716962 | year=1999 | volume=19 | oclc=247593131 }} |
Revision as of 01:02, 30 May 2023
गणित में, परिमित समूह का बर्नसाइड रिंग बीजगणितीय निर्माण है जो विभिन्न तरीकों को कूटबद्ध करता है समूह परिमित सेटों पर समूह क्रिया (गणित) कर सकता है। उन्नीसवीं शताब्दी के अंत में विलियम बर्नसाइड द्वारा विचार पेश किए गए थे। सोलोमन (1967) के कारण बीजगणितीय वलय (गणित) और हालिया विकास है।
औपचारिक परिभाषा
एक परिमित समूह जी को देखते हुए, इसके बर्नसाइड रिंग Ω(जी) के जनरेटर परिमित समूह क्रिया (गणित) | जी-सेट के समरूपता वर्गों के औपचारिक योग हैं। रिंग (गणित) के लिए, जी-सेट के असंयुक्त मिलन और उनके कार्टेशियन उत्पाद द्वारा गुणन द्वारा योग दिया जाता है।
बर्नसाइड रिंग मुक्त 'जेड'-मॉड्यूल (गणित) है, जिसके जनरेटर जी के समूह क्रिया (गणित) के (समरूपता वर्ग) हैं।
यदि G परिमित समुच्चय X पर कार्य करता है, तो कोई लिख सकता है (विच्छिन्न संघ), जहां प्रत्येक Xi एकल जी-ऑर्बिट है। किसी भी अवयव x को चुननाi एक्स मेंi समरूपता G/G बनाता हैi → एक्सi, जहां जीix पर G का स्टेबलाइज़र (आइसोट्रॉपी) उपसमूह हैi. प्रतिनिधि वाई की अलग पसंदi एक्स मेंi G को संयुग्मित उपसमूह देता हैi स्टेबलाइजर के रूप में। इससे पता चलता है कि 'जेड' मॉड्यूल के रूप में Ω(जी) के जनरेटर जी के उपसमूहों के संयुग्मन वर्गों पर एच के रूप में जी/एच की कक्षाएँ हैं।
दूसरे शब्दों में, Ω(G) का विशिष्ट तत्व है
मार्क्स
जितना चरित्र सिद्धांत समूह अभ्यावेदन के साथ काम करना सरल करता है, अंक क्रमचय अभ्यावेदन और बर्नसाइड रिंग के साथ काम करना आसान बनाता है।
यदि G X पर कार्य करता है, और H ≤ G (H G का उपसमूह है), तो H का चिह्न ऑन एक्स एक्स के तत्वों की संख्या है जो एच के प्रत्येक तत्व द्वारा तय किए गए हैं: , कहाँ
यदि H और K संयुग्मी उपसमूह हैं, तो mX(एच) = एमX(के) किसी भी परिमित जी-सेट एक्स के लिए; वास्तव में, अगर के = जीएचजी-1 फिर Xके</सुप> = जी · एक्सएच</सुप>.
यह देखना भी आसान है कि प्रत्येक H ≤ G के लिए, मानचित्र Ω(G) → 'Z' : X ↦ mX(एच) समरूपता है। इसका मतलब यह है कि जी के अंक जानने के लिए, उन्हें Ω(जी) के जनरेटर पर मूल्यांकन करने के लिए पर्याप्त है, अर्थात। कक्षा जी/एच।
उपसमूहों की प्रत्येक जोड़ी के लिए एच, के ≤ जी परिभाषित करें
ये एम हैX(एच) एक्स = जी / के लिए। स्थिति HgK = gK, g के तुल्य है−1Hg ≤ K, इसलिए यदि H, K के उपसमूह से संयुग्मी नहीं है तो m(K, H) = 0।
सभी संभावित अंकों को रिकॉर्ड करने के लिए, तालिका, बर्नसाइड की 'मार्क्स की तालिका' इस प्रकार है: मान लीजिए जी1 (= तुच्छ उपसमूह), जी2, ..., जीN = जी, जी के उपसमूहों के एन संयुग्मी वर्गों के प्रतिनिधि हैं, इस तरह से आदेश दिया गया है कि जब भी जीi जी के उपसमूह के लिए संयुग्मी हैj, फिर मैं ≤ जे। अब N × N तालिका (स्क्वायर मैट्रिक्स) को परिभाषित करें जिसकी (i, j)वीं प्रविष्टि m(Gi, जीj). यह मैट्रिक्स निचला त्रिकोणीय है, और विकर्ण पर तत्व गैर-शून्य हैं इसलिए यह उलटा है।
यह इस प्रकार है कि यदि एक्स जी-सेट है, और 'यू' अंकों की इसकी पंक्ति वेक्टर है, तो यूi = मX(जीi), तो X, a के असंयुक्त संघ के रूप में विघटित हो जाता हैi प्रकार जी की कक्षा की प्रतियांi, जहां सदिश a संतुष्ट करता है,
- aM = यू,
जहां 'M' अंकों की तालिका का मैट्रिक्स है। इस प्रमेय का कारण है (Burnside 1897).
उदाहरण
क्रम 6 के चक्रीय समूह के लिए अंकों की तालिका:
Z6 | 1 | Z2 | Z3 | Z6 |
Z6 / 1 | 6 | . | . | . |
Z6 / Z2 | 3 | 3 | . | . |
Z6 / Z3 | 2 | 0 | 2 | . |
Z6 / Z6 | 1 | 1 | 1 | 1 |
सममित समूह S के लिए अंकों की तालिका3:
S3 | 1 | Z2 | Z3 | S3 |
S3 / 1 | 6 | . | . | . |
S3 / Z2 | 3 | 1 | . | . |
S3 / Z3 | 2 | 0 | 2 | . |
S3 / S3 | 1 | 1 | 1 | 1 |
दो तालिकाओं में बिंदु सभी शून्य हैं, केवल इस तथ्य पर जोर देते हैं कि तालिकाएँ निम्न-त्रिकोणीय हैं।
(कुछ लेखक तालिका के स्थानान्तरण का उपयोग करते हैं, लेकिन इस तरह बर्नसाइड ने इसे मूल रूप से परिभाषित किया।)
तथ्य यह है कि अंतिम पंक्ति सभी 1s है क्योंकि [G/G] एकल बिंदु है। विकर्ण पद m(H, H) = | हैं एनG(एच)/एच | पहले कॉलम में संख्या प्रतिनिधित्व की डिग्री दिखाती है।
इन सारणियों से Ω(G) की वलय संरचना का अनुमान लगाया जा सकता है: वलय के जनरेटर ('Z'-मॉड्यूल के रूप में) सारणी की पंक्तियाँ हैं, और दो जनित्रों के गुणनफल को गुणनफल द्वारा चिन्हित किया गया है। चिह्न (इसलिए पंक्ति सदिशों का घटक-वार गुणन), जिसे तब सभी पंक्तियों के रैखिक संयोजन के रूप में विघटित किया जा सकता है। उदाहरण के लिए, एस के साथ3,
as (3, 1, 0, 0)। (2, 0, 2, 0) = (6, 0, 0, 0)।
क्रमपरिवर्तन प्रतिनिधित्व
किसी परिमित समुच्चय से संबद्ध X सदिश समष्टि V = V हैX, जो आधार के रूप में X के तत्वों के साथ सदिश स्थान है (किसी निर्दिष्ट क्षेत्र का उपयोग करके)। एक्स पर परिमित समूह जी की क्रिया वी पर रैखिक क्रिया को प्रेरित करती है, जिसे क्रमचय समूह प्रतिनिधित्व कहा जाता है। G के सभी परिमित-आयामी अभ्यावेदन के सेट में वलय की संरचना होती है, निरूपण वलय, जिसे R(G) निरूपित किया जाता है।
किसी दिए गए जी-सेट एक्स के लिए, संबंधित प्रतिनिधित्व का चरित्र सिद्धांत है
कहाँ द्वारा उत्पन्न चक्रीय समूह है .
परिणामी नक्शा
संबंधित प्रतिनिधित्व के लिए जी-सेट लेना सामान्य रूप से न तो इंजेक्शन है और न ही विशेषण।
सबसे सरल उदाहरण दिखा रहा है कि β सामान्य इंजेक्शन में नहीं है जी = एस के लिए है3(ऊपर तालिका देखें), और द्वारा दिया गया है
एक्सटेंशन
कॉम्पैक्ट समूहों के लिए बर्नसाइड रिंग में वर्णित है (tom Dieck 1987).
सहगल अनुमान बर्नसाइड रिंग को होमोटॉपी से संबंधित करता है।
यह भी देखें
संदर्भ
- Burnside, William (1897), Theory of groups of finite order, Cambridge University Press
- tom Dieck, Tammo (1987), Transformation groups, de Gruyter Studies in Mathematics, vol. 8, Walter de Gruyter, ISBN 978-3-11-009745-0, MR 0889050, OCLC 217014538
- Dress, Andreas (1969), "A characterization of solvable groups", Math. Z., 110 (3): 213–217, doi:10.1007/BF01110213
- Kerber, Adalbert (1999), Applied finite group actions, Algorithms and Combinatorics, vol. 19 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-65941-9, MR 1716962, OCLC 247593131
- Solomon, L. (1967), "The Burnside algebra of a finite group", J. Comb. Theory, 1: 603–615