बर्नसाइड समस्या: Difference between revisions
(Created page with "{{Group theory sidebar}} बर्नसाइड समस्या पूछती है कि क्या एक परिमित रूप से उत्पन्...") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Group theory sidebar}} | {{Group theory sidebar}} | ||
बर्नसाइड समस्या | बर्नसाइड समस्या अपेक्षा करती है कि क्या परिमित रूप से उत्पन्न समूह जिसमें प्रत्येक तत्व का परिमित क्रम है, आवश्यक रूप से परिमित समूह होना चाहिए। यह 1902 में विलियम बर्नसाइड द्वारा प्रस्तुत किया गया था, जो इसे समूह सिद्धांत के सबसे पुराने प्रश्नों में से एक बनाता है और संयुक्त समूह के सिद्धांत के विकास में प्रभावशाली था। यह सामान्य रूप से एक नकारात्मक उत्तर के रूप में जाना जाता है, क्योंकि 1964 में एवगेनी गोलोड और इगोर शफारेविच ने एक प्रति-उदाहरण प्रदान किया था। समस्या में कई परिशोधन और भिन्नताएं हैं (नीचे बाध्य और प्रतिबंधित देखें) जो समूह तत्वों के अनुक्रम पर लगाए गए अतिरिक्त शर्तों में भिन्न हैं, जिनमें से कुछ अभी भी खुले प्रश्न हैं। | ||
== संक्षिप्त इतिहास == | == संक्षिप्त इतिहास == | ||
प्रारंभिक कार्य ने सकारात्मक उत्तर की ओर इशारा किया। उदाहरण के लिए, यदि | प्रारंभिक कार्य ने सकारात्मक उत्तर की ओर इशारा किया। उदाहरण के लिए, यदि समूह G परिमित रूप से उत्पन्न होता है और G के प्रत्येक तत्व का क्रम 4 का भाजक है, तो G परिमित है। इसके अलावा, एआई कोस्ट्रिकिन 1958 में यह प्रमाणित करने में सक्षम थे कि दी गई संख्या में जनरेटर और दिए गए प्राइम एक्सपोनेंट वाले परिमित समूहों में से सबसे बड़ा सम्मिलित है। यह प्राइम एक्सपोनेंट के स्थिति में #प्रतिबंधित बर्नसाइड समस्या का समाधान प्रदान करता है। (बाद में, 1989 में, [[Efim Zelmanov]] मनमाने ढंग से घातांक के लिए प्रतिबंधित बर्नसाइड समस्या को हल करने में सक्षम था।) [[Issai Schur]] ने 1911 में दिखाया था कि कोई भी अंतिम रूप से उत्पन्न आवधिक समूह जो उलटा n × n जटिल मैट्रिसेस के समूह का उपसमूह था, परिमित था। ; उन्होंने इस प्रमेय का उपयोग जॉर्डन-शूर प्रमेय को सिद्ध करने के लिए किया।<ref name="Curtis">{{cite book |title=Representation Theory of Finite Groups and Associated Algebras |last=Curtis |first=Charles |author2=Reiner, Irving |year=1962 |publisher=John Wiley & Sons |pages=256–262}}</ref> | ||
फिर भी, बर्नसाइड समस्या का सामान्य उत्तर नकारात्मक निकला। 1964 में, गोलोड और शफारेविच ने बर्नसाइड प्रकार के | फिर भी, बर्नसाइड समस्या का सामान्य उत्तर नकारात्मक निकला। 1964 में, गोलोड और शफारेविच ने बर्नसाइड प्रकार के अनंत समूह का निर्माण किया, बिना यह मानते हुए कि सभी तत्वों में समान रूप से बंधे हुए क्रम हैं। 1968 में, [[पीटर नोविकोव]] और [[सर्गेई एडियन]] ने 4381 से बड़े सभी विषम घातांकों के लिए परिबद्ध घातांक समस्या का नकारात्मक समाधान प्रदान किया। 1982 में, ए. यू. ओल'शांस्की ने पर्याप्त रूप से बड़े विषम घातांक (10 से अधिक) के लिए कुछ हड़ताली प्रति उदाहरण पाए<sup>10</sup>), और ज्यामितीय विचारों के आधार पर काफी सरल प्रमाण प्रदान किया। | ||
यहां तक कि प्रतिपादकों के | यहां तक कि प्रतिपादकों के स्थिति को सुलझाना बहुत कठिन हो गया। 1992 में, एस. वी. इवानोव ने 2 की बड़ी शक्ति द्वारा विभाज्य पर्याप्त रूप से बड़े समान घातांक के लिए नकारात्मक समाधान की घोषणा की (विस्तृत प्रमाण 1994 में प्रकाशित हुए और लगभग 300 पृष्ठों पर कब्जा कर लिया)। बाद में ओल्शांस्की और इवानोव के संयुक्त कार्य ने [[अतिशयोक्तिपूर्ण समूह]]ों के लिए बर्नसाइड समस्या के एनालॉग के लिए नकारात्मक समाधान स्थापित किया, बशर्ते प्रतिपादक पर्याप्त रूप से बड़ा हो। इसके विपरीत, जब घातांक छोटा होता है और 2, 3, 4 और 6 से भिन्न होता है, तो बहुत कम ज्ञात होता है। | ||
== सामान्य बर्नसाइड समस्या == | == सामान्य बर्नसाइड समस्या == | ||
समूह G को आवर्ती समूह कहा जाता है यदि प्रत्येक तत्व का परिमित क्रम हो; दूसरे शब्दों में, G में प्रत्येक g के लिए, कुछ सकारात्मक पूर्णांक n सम्मिलित है जैसे कि g<sup>n</sup> = 1. स्पष्ट रूप से, प्रत्येक परिमित समूह आवर्ती होता है। Prüfer group|p जैसे आसानी से परिभाषित समूह सम्मिलित हैं<sup>∞</sup>- समूह जो अनंत आवधिक समूह हैं; लेकिन बाद वाला समूह अंतिम रूप से उत्पन्न नहीं किया जा सकता है। | |||
<blockquote>सामान्य बर्नसाइड समस्या। यदि ''G'' | <blockquote>सामान्य बर्नसाइड समस्या। यदि ''G'' परिमित रूप से सृजित, आवधिक समूह है, तो क्या ''G'' आवश्यक रूप से परिमित है?</blockquote> | ||
इस प्रश्न का उत्तर 1964 में एवगेनी गोलोड और इगोर शफारेविच द्वारा नकारात्मक में दिया गया था, जिन्होंने | इस प्रश्न का उत्तर 1964 में एवगेनी गोलोड और इगोर शफारेविच द्वारा नकारात्मक में दिया गया था, जिन्होंने अनंत पी-समूह का उदाहरण दिया था। हालांकि, इस समूह के तत्वों के आदेश स्थिरांक से बंधे 'प्राथमिकता' नहीं हैं। | ||
== बाउंडेड बर्नसाइड समस्या == | == बाउंडेड बर्नसाइड समस्या == | ||
[[File:FreeBurnsideGroupExp3Gens2.png|thumb|350px|right| | [[File:FreeBurnsideGroupExp3Gens2.png|thumb|350px|right|श्रेणी 2 और घातांक 3 के 27-तत्व मुक्त बर्नसाइड समूह का [[केली ग्राफ]]।]]सामान्य बर्नसाइड समस्या के साथ कठिनाई का हिस्सा यह है कि समूह की संभावित संरचना के बारे में निश्चित रूप से उत्पन्न और आवधिक होने की आवश्यकताएं बहुत कम जानकारी देती हैं। इसलिए, हम जी पर अधिक आवश्यकताएं रखते हैं। आवधिक समूह जी पर अतिरिक्त संपत्ति के साथ विचार करें कि कम से कम पूर्णांक एन सम्मिलित है जैसे जी में सभी जी के लिए, जी<sup>n</sup> = 1. इस गुण वाले समूह को परिबद्ध घातांक n वाला आवधिक कहा जाता है, या केवल घातांक n वाला समूह कहा जाता है। परिबद्ध प्रतिपादक वाले समूहों के लिए बर्नसाइड समस्या पूछती है: | ||
<blockquote>'बर्नसाइड प्रॉब्लम I.' यदि G एक्सपोनेंट n वाला | <blockquote>'बर्नसाइड प्रॉब्लम I.' यदि G एक्सपोनेंट n वाला अंतिम रूप से उत्पन्न समूह है, तो क्या G आवश्यक रूप से परिमित है?</blockquote> | ||
यह पता चला है कि इस समस्या को | यह पता चला है कि इस समस्या को विशेष परिवार में समूहों की सूक्ष्मता के बारे में प्रश्न के रूप में दोहराया जा सकता है। रैंक एम और एक्सपोनेंट एन का 'फ्री बर्नसाइड ग्रुप', बी (एम, एन) चिह्नित है, एम प्रतिष्ठित जेनरेटर एक्स वाला समूह है<sub>1</sub>, ..., एक्स<sub>m</sub>जिसमें पहचान x<sup>n</sup> = 1 सभी तत्वों x के लिए मान्य है, और इन आवश्यकताओं को पूरा करने वाला सबसे बड़ा समूह कौन सा है। अधिक सटीक रूप से, बी (एम, एन) की विशेषता संपत्ति यह है कि, किसी भी समूह जी को एम जेनरेटर जी के साथ दिया गया है<sub>1</sub>, ..., जी<sub>m</sub>और घातांक n का, B(m, n) से G तक अद्वितीय समरूपता है जो iवें जनरेटर x को मैप करता है<sub>i</sub>बी (एम, एन) के i वें जनरेटर जी में<sub>i</sub>जी का। [[एक समूह की प्रस्तुति|समूह की प्रस्तुति]] की भाषा में, मुफ्त बर्नसाइड समूह बी (एम, एन) में एम जेनरेटर एक्स है<sub>1</sub>, ..., एक्स<sub>m</sub>और संबंध x<sup>n</sup> = 1 प्रत्येक शब्द x के लिए x में<sub>1</sub>, ..., एक्स<sub>m</sub>, और किसी भी समूह जी के साथ एक्स्पोनेंट एन के एम जेनरेटर को अतिरिक्त संबंधों को लागू करके प्राप्त किया जाता है। मुक्त बर्नसाइड समूह का अस्तित्व और समरूपता तक इसकी विशिष्टता समूह सिद्धांत की मानक तकनीकों द्वारा स्थापित की जाती है। इस प्रकार यदि जी एक्सपोनेंट एन का कोई भी अंतिम रूप से जेनरेट किया गया समूह है, तो जी बी (एम, एन) का [[समूह समरूपता]] है, जहां एम जी के जेनरेटर की संख्या है। बर्नसाइड समस्या को अब निम्नानुसार बहाल किया जा सकता है: | ||
<blockquote>'बर्नसाइड प्रॉब्लम II'। किन धनात्मक पूर्णांकों के लिए m, n मुक्त बर्नसाइड समूह B(m, n) परिमित है?</blockquote> | <blockquote>'बर्नसाइड प्रॉब्लम II'। किन धनात्मक पूर्णांकों के लिए m, n मुक्त बर्नसाइड समूह B(m, n) परिमित है?</blockquote> | ||
इस रूप में बर्नसाइड समस्या का पूर्ण समाधान ज्ञात नहीं है। बर्नसाइड ने अपने मूल पेपर में कुछ आसान | इस रूप में बर्नसाइड समस्या का पूर्ण समाधान ज्ञात नहीं है। बर्नसाइड ने अपने मूल पेपर में कुछ आसान स्थितियो पर विचार किया: | ||
*B(1, n) क्रम n का [[चक्रीय समूह]] है। | *B(1, n) क्रम n का [[चक्रीय समूह]] है। | ||
| Line 33: | Line 33: | ||
*B(m, 3), B(m, 4), और B(m, 6) सभी m के लिए परिमित हैं। | *B(m, 3), B(m, 4), और B(m, 6) सभी m के लिए परिमित हैं। | ||
B(2, 5) का विशेष | B(2, 5) का विशेष स्थिति खुला रहता है: {{as of|2020|lc=on}} यह ज्ञात नहीं था कि यह समूह परिमित है या नहीं। | ||
बर्नसाइड समस्या को हल करने में सफलता 1968 में प्योत्र नोविकोव और सर्गेई एडियन द्वारा प्राप्त की गई थी। | बर्नसाइड समस्या को हल करने में सफलता 1968 में प्योत्र नोविकोव और सर्गेई एडियन द्वारा प्राप्त की गई थी। जटिल दहनशील तर्क का उपयोग करते हुए, उन्होंने प्रदर्शित किया कि n> 4381 के साथ प्रत्येक सम और विषम संख्या संख्या n के लिए, घातांक n के अनंत, परिमित रूप से उत्पन्न समूह सम्मिलित हैं। . एडियन ने बाद में ऑड एक्सपोनेंट पर बाउंड को 665 तक सुधारा।<ref>[[John Britton (mathematician)|John Britton]] proposed a nearly 300 page alternative proof to the Burnside problem in 1973; however, Adian ultimately pointed out a flaw in that proof.</ref> बाउंड ऑन ऑड एक्सपोनेंट में नवीनतम सुधार 101 है जिसे एडियन ने 2015 में स्वयं प्राप्त किया था। यहां तक कि एक्सपोनेंट का स्थिति काफी अधिक कठिन निकला। केवल 1994 में सर्गेई वासिलीविच इवानोव नोविकोव-एडियन प्रमेय का एनालॉग प्रमाणित करने में सक्षम थे: किसी भी एम> 1 और यहां तक कि एन ≥ 2 के लिए<sup>48</sup>, n 2 से विभाज्य<sup>9</sup>, समूह B(m, n) अनंत है; नोविकोव-एडियन प्रमेय के साथ, यह सभी m> 1 और n ≥ 2 के लिए अनंतता का अर्थ है<sup>48</sup>. यह 1996 में I. G. Lysënok द्वारा m> 1 और n ≥ 8000 में सुधार किया गया था। Novikov-Adian, Ivanov और Lysénok ने मुक्त Burnside समूहों की संरचना पर काफी अधिक सटीक परिणाम स्थापित किए। विषम घातांक के स्थिति में, मुक्त बर्नसाइड समूहों के सभी परिमित उपसमूहों को चक्रीय समूह के रूप में दिखाया गया था। समान घातांक स्थिति में, प्रत्येक परिमित उपसमूह दो [[डायहेड्रल समूह]]ों के उत्पाद में समाहित है, और गैर-चक्रीय परिमित उपसमूह सम्मिलित हैं। इसके अलावा, [[समूहों के लिए शब्द समस्या]] और [[संयुग्मन समस्या]] की समस्या को विषम और सम घातांक n दोनों के लिए B(m, n) में प्रभावी रूप से हल करने योग्य दिखाया गया था। | ||
बर्नसाइड समस्या के प्रतिउदाहरणों का | बर्नसाइड समस्या के प्रतिउदाहरणों का प्रसिद्ध वर्ग परिमित रूप से उत्पन्न गैर-चक्रीय अनंत समूहों द्वारा बनाया गया है जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह परिमित चक्रीय समूह है, तथाकथित टार्स्की राक्षस समूह। ऐसे समूहों का पहला उदाहरण ए यू द्वारा बनाया गया था। Ol'shanskii ने 1979 में ज्यामितीय विधियों का उपयोग करते हुए, इस प्रकार सकारात्मक रूप से O. Yu को हल किया। श्मिट की समस्या। 1982 में ओल्शांस्की अस्तित्व स्थापित करने के लिए अपने परिणामों को मजबूत करने में सक्षम था, किसी भी पर्याप्त बड़ी [[अभाज्य संख्या]] p के लिए (कोई भी p > 10 ले सकता है)<sup>75</sup>) अंतिम रूप से उत्पन्न अनंत समूह का जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह ऑर्डर p का चक्रीय समूह है। 1996 में प्रकाशित पत्र में, इवानोव और ओल्शांस्की ने पर्याप्त रूप से बड़े घातांकों के लिए अनियंत्रित अतिपरवलयिक समूह में बर्नसाइड समस्या का एनालॉग हल किया। | ||
== प्रतिबंधित बर्नसाइड समस्या == | == प्रतिबंधित बर्नसाइड समस्या == | ||
1930 के दशक में तैयार किया गया, यह | 1930 के दशक में तैयार किया गया, यह और, संबंधित, प्रश्न पूछता है: | ||
<blockquote>प्रतिबंधित बर्नसाइड समस्या। यदि यह ज्ञात है कि 'एम' जेनरेटर और एक्सपोनेंट 'एन' वाला समूह 'जी' परिमित है, तो क्या कोई यह निष्कर्ष निकाल सकता है कि 'जी' का क्रम केवल 'पर निर्भर करते हुए कुछ स्थिरांक से घिरा है' 'एम' और 'एन'? समतुल्य रूप से, क्या [[समूह समरूपता]] तक ''m'' घातांक ''n'' के जनरेटर के साथ केवल बहुत से ''परिमित'' समूह हैं?</blockquote> | <blockquote>प्रतिबंधित बर्नसाइड समस्या। यदि यह ज्ञात है कि 'एम' जेनरेटर और एक्सपोनेंट 'एन' वाला समूह 'जी' परिमित है, तो क्या कोई यह निष्कर्ष निकाल सकता है कि 'जी' का क्रम केवल 'पर निर्भर करते हुए कुछ स्थिरांक से घिरा है' 'एम' और 'एन'? समतुल्य रूप से, क्या [[समूह समरूपता]] तक ''m'' घातांक ''n'' के जनरेटर के साथ केवल बहुत से ''परिमित'' समूह हैं?</blockquote> | ||
बर्नसाइड समस्या के इस प्रकार को कुछ सार्वभौमिक समूहों के संदर्भ में 'एम' जनरेटर और एक्सपोनेंट 'एन' के साथ भी कहा जा सकता है। समूह सिद्धांत के मूल परिणामों से, किसी भी समूह में | बर्नसाइड समस्या के इस प्रकार को कुछ सार्वभौमिक समूहों के संदर्भ में 'एम' जनरेटर और एक्सपोनेंट 'एन' के साथ भी कहा जा सकता है। समूह सिद्धांत के मूल परिणामों से, किसी भी समूह में उपसमूह के परिमित सूचकांक के दो उपसमूहों का प्रतिच्छेदन स्वयं परिमित सूचकांक का उपसमूह है। चलो ''M'' मुक्त बर्नसाइड समूह B(''m'', ''n'') के सभी उपसमूहों का चौराहा है, जिसमें परिमित सूचकांक है, फिर ''M'' B(' का [[सामान्य उपसमूह]] है 'm'', ''n'') (अन्यथा, उपसमूह ''g'' सम्मिलित है<sup>−1</sup>Mg परिमित सूचकांक के साथ ऐसे तत्व हैं जो M में नहीं हैं)। इसलिए कोई समूह बी को परिभाषित कर सकता है<sub>0</sub>(एम, एन) कारक समूह बी (एम, एन) / एम होने के लिए। एम जनरेटर के साथ एक्सपोनेंट एन का प्रत्येक परिमित समूह बी की समरूप छवि है<sub>0</sub>(एम, एन)।'' | ||
प्रतिबंधित बर्नसाइड समस्या तब पूछती है कि क्या बी<sub>0</sub>(एम, एन) | प्रतिबंधित बर्नसाइड समस्या तब पूछती है कि क्या बी<sub>0</sub>(एम, एन) परिमित समूह है। | ||
प्रमुख प्रतिपादक पी के | प्रमुख प्रतिपादक पी के स्थिति में, इस समस्या का व्यापक अध्ययन 1950 के दशक के समय ए.आई. कोस्ट्रिकिन द्वारा किया गया था, सामान्य बर्नसाइड समस्या के नकारात्मक समाधान से पहले। उसका समाधान, बी की परिमितता स्थापित करना<sub>0</sub>(एम, पी), परिमित विशेषता में ले बीजगणित में पहचान के बारे में गहरे प्रश्नों के साथ संबंध का उपयोग किया। मनमाना प्रतिपादक का स्थिति एफिम ज़ेलमानोव द्वारा पूरी तरह से सकारात्मक रूप से सुलझाया गया है, जिन्हें 1994 में उनके काम के लिए [[फील्ड मेडल]] से सम्मानित किया गया था। | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
Revision as of 17:54, 14 February 2023
| बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
|---|
 |
|
बर्नसाइड समस्या अपेक्षा करती है कि क्या परिमित रूप से उत्पन्न समूह जिसमें प्रत्येक तत्व का परिमित क्रम है, आवश्यक रूप से परिमित समूह होना चाहिए। यह 1902 में विलियम बर्नसाइड द्वारा प्रस्तुत किया गया था, जो इसे समूह सिद्धांत के सबसे पुराने प्रश्नों में से एक बनाता है और संयुक्त समूह के सिद्धांत के विकास में प्रभावशाली था। यह सामान्य रूप से एक नकारात्मक उत्तर के रूप में जाना जाता है, क्योंकि 1964 में एवगेनी गोलोड और इगोर शफारेविच ने एक प्रति-उदाहरण प्रदान किया था। समस्या में कई परिशोधन और भिन्नताएं हैं (नीचे बाध्य और प्रतिबंधित देखें) जो समूह तत्वों के अनुक्रम पर लगाए गए अतिरिक्त शर्तों में भिन्न हैं, जिनमें से कुछ अभी भी खुले प्रश्न हैं।
संक्षिप्त इतिहास
प्रारंभिक कार्य ने सकारात्मक उत्तर की ओर इशारा किया। उदाहरण के लिए, यदि समूह G परिमित रूप से उत्पन्न होता है और G के प्रत्येक तत्व का क्रम 4 का भाजक है, तो G परिमित है। इसके अलावा, एआई कोस्ट्रिकिन 1958 में यह प्रमाणित करने में सक्षम थे कि दी गई संख्या में जनरेटर और दिए गए प्राइम एक्सपोनेंट वाले परिमित समूहों में से सबसे बड़ा सम्मिलित है। यह प्राइम एक्सपोनेंट के स्थिति में #प्रतिबंधित बर्नसाइड समस्या का समाधान प्रदान करता है। (बाद में, 1989 में, Efim Zelmanov मनमाने ढंग से घातांक के लिए प्रतिबंधित बर्नसाइड समस्या को हल करने में सक्षम था।) Issai Schur ने 1911 में दिखाया था कि कोई भी अंतिम रूप से उत्पन्न आवधिक समूह जो उलटा n × n जटिल मैट्रिसेस के समूह का उपसमूह था, परिमित था। ; उन्होंने इस प्रमेय का उपयोग जॉर्डन-शूर प्रमेय को सिद्ध करने के लिए किया।[1] फिर भी, बर्नसाइड समस्या का सामान्य उत्तर नकारात्मक निकला। 1964 में, गोलोड और शफारेविच ने बर्नसाइड प्रकार के अनंत समूह का निर्माण किया, बिना यह मानते हुए कि सभी तत्वों में समान रूप से बंधे हुए क्रम हैं। 1968 में, पीटर नोविकोव और सर्गेई एडियन ने 4381 से बड़े सभी विषम घातांकों के लिए परिबद्ध घातांक समस्या का नकारात्मक समाधान प्रदान किया। 1982 में, ए. यू. ओल'शांस्की ने पर्याप्त रूप से बड़े विषम घातांक (10 से अधिक) के लिए कुछ हड़ताली प्रति उदाहरण पाए10), और ज्यामितीय विचारों के आधार पर काफी सरल प्रमाण प्रदान किया।
यहां तक कि प्रतिपादकों के स्थिति को सुलझाना बहुत कठिन हो गया। 1992 में, एस. वी. इवानोव ने 2 की बड़ी शक्ति द्वारा विभाज्य पर्याप्त रूप से बड़े समान घातांक के लिए नकारात्मक समाधान की घोषणा की (विस्तृत प्रमाण 1994 में प्रकाशित हुए और लगभग 300 पृष्ठों पर कब्जा कर लिया)। बाद में ओल्शांस्की और इवानोव के संयुक्त कार्य ने अतिशयोक्तिपूर्ण समूहों के लिए बर्नसाइड समस्या के एनालॉग के लिए नकारात्मक समाधान स्थापित किया, बशर्ते प्रतिपादक पर्याप्त रूप से बड़ा हो। इसके विपरीत, जब घातांक छोटा होता है और 2, 3, 4 और 6 से भिन्न होता है, तो बहुत कम ज्ञात होता है।
सामान्य बर्नसाइड समस्या
समूह G को आवर्ती समूह कहा जाता है यदि प्रत्येक तत्व का परिमित क्रम हो; दूसरे शब्दों में, G में प्रत्येक g के लिए, कुछ सकारात्मक पूर्णांक n सम्मिलित है जैसे कि gn = 1. स्पष्ट रूप से, प्रत्येक परिमित समूह आवर्ती होता है। Prüfer group|p जैसे आसानी से परिभाषित समूह सम्मिलित हैं∞- समूह जो अनंत आवधिक समूह हैं; लेकिन बाद वाला समूह अंतिम रूप से उत्पन्न नहीं किया जा सकता है।
सामान्य बर्नसाइड समस्या। यदि G परिमित रूप से सृजित, आवधिक समूह है, तो क्या G आवश्यक रूप से परिमित है?
इस प्रश्न का उत्तर 1964 में एवगेनी गोलोड और इगोर शफारेविच द्वारा नकारात्मक में दिया गया था, जिन्होंने अनंत पी-समूह का उदाहरण दिया था। हालांकि, इस समूह के तत्वों के आदेश स्थिरांक से बंधे 'प्राथमिकता' नहीं हैं।
बाउंडेड बर्नसाइड समस्या
सामान्य बर्नसाइड समस्या के साथ कठिनाई का हिस्सा यह है कि समूह की संभावित संरचना के बारे में निश्चित रूप से उत्पन्न और आवधिक होने की आवश्यकताएं बहुत कम जानकारी देती हैं। इसलिए, हम जी पर अधिक आवश्यकताएं रखते हैं। आवधिक समूह जी पर अतिरिक्त संपत्ति के साथ विचार करें कि कम से कम पूर्णांक एन सम्मिलित है जैसे जी में सभी जी के लिए, जीn = 1. इस गुण वाले समूह को परिबद्ध घातांक n वाला आवधिक कहा जाता है, या केवल घातांक n वाला समूह कहा जाता है। परिबद्ध प्रतिपादक वाले समूहों के लिए बर्नसाइड समस्या पूछती है:
'बर्नसाइड प्रॉब्लम I.' यदि G एक्सपोनेंट n वाला अंतिम रूप से उत्पन्न समूह है, तो क्या G आवश्यक रूप से परिमित है?
यह पता चला है कि इस समस्या को विशेष परिवार में समूहों की सूक्ष्मता के बारे में प्रश्न के रूप में दोहराया जा सकता है। रैंक एम और एक्सपोनेंट एन का 'फ्री बर्नसाइड ग्रुप', बी (एम, एन) चिह्नित है, एम प्रतिष्ठित जेनरेटर एक्स वाला समूह है1, ..., एक्सmजिसमें पहचान xn = 1 सभी तत्वों x के लिए मान्य है, और इन आवश्यकताओं को पूरा करने वाला सबसे बड़ा समूह कौन सा है। अधिक सटीक रूप से, बी (एम, एन) की विशेषता संपत्ति यह है कि, किसी भी समूह जी को एम जेनरेटर जी के साथ दिया गया है1, ..., जीmऔर घातांक n का, B(m, n) से G तक अद्वितीय समरूपता है जो iवें जनरेटर x को मैप करता हैiबी (एम, एन) के i वें जनरेटर जी मेंiजी का। समूह की प्रस्तुति की भाषा में, मुफ्त बर्नसाइड समूह बी (एम, एन) में एम जेनरेटर एक्स है1, ..., एक्सmऔर संबंध xn = 1 प्रत्येक शब्द x के लिए x में1, ..., एक्सm, और किसी भी समूह जी के साथ एक्स्पोनेंट एन के एम जेनरेटर को अतिरिक्त संबंधों को लागू करके प्राप्त किया जाता है। मुक्त बर्नसाइड समूह का अस्तित्व और समरूपता तक इसकी विशिष्टता समूह सिद्धांत की मानक तकनीकों द्वारा स्थापित की जाती है। इस प्रकार यदि जी एक्सपोनेंट एन का कोई भी अंतिम रूप से जेनरेट किया गया समूह है, तो जी बी (एम, एन) का समूह समरूपता है, जहां एम जी के जेनरेटर की संख्या है। बर्नसाइड समस्या को अब निम्नानुसार बहाल किया जा सकता है:
'बर्नसाइड प्रॉब्लम II'। किन धनात्मक पूर्णांकों के लिए m, n मुक्त बर्नसाइड समूह B(m, n) परिमित है?
इस रूप में बर्नसाइड समस्या का पूर्ण समाधान ज्ञात नहीं है। बर्नसाइड ने अपने मूल पेपर में कुछ आसान स्थितियो पर विचार किया:
- B(1, n) क्रम n का चक्रीय समूह है।
- बी(एम, 2) क्रम 2 के चक्रीय समूह की एम प्रतियों के समूहों का प्रत्यक्ष उत्पाद है और इसलिए परिमित है।[note 1]
निम्नलिखित अतिरिक्त परिणाम ज्ञात हैं (बर्नसाइड, सनोव, मार्शल हॉल (गणितज्ञ) | एम। हॉल):
- B(m, 3), B(m, 4), और B(m, 6) सभी m के लिए परिमित हैं।
B(2, 5) का विशेष स्थिति खुला रहता है: as of 2020[update] यह ज्ञात नहीं था कि यह समूह परिमित है या नहीं।
बर्नसाइड समस्या को हल करने में सफलता 1968 में प्योत्र नोविकोव और सर्गेई एडियन द्वारा प्राप्त की गई थी। जटिल दहनशील तर्क का उपयोग करते हुए, उन्होंने प्रदर्शित किया कि n> 4381 के साथ प्रत्येक सम और विषम संख्या संख्या n के लिए, घातांक n के अनंत, परिमित रूप से उत्पन्न समूह सम्मिलित हैं। . एडियन ने बाद में ऑड एक्सपोनेंट पर बाउंड को 665 तक सुधारा।[2] बाउंड ऑन ऑड एक्सपोनेंट में नवीनतम सुधार 101 है जिसे एडियन ने 2015 में स्वयं प्राप्त किया था। यहां तक कि एक्सपोनेंट का स्थिति काफी अधिक कठिन निकला। केवल 1994 में सर्गेई वासिलीविच इवानोव नोविकोव-एडियन प्रमेय का एनालॉग प्रमाणित करने में सक्षम थे: किसी भी एम> 1 और यहां तक कि एन ≥ 2 के लिए48, n 2 से विभाज्य9, समूह B(m, n) अनंत है; नोविकोव-एडियन प्रमेय के साथ, यह सभी m> 1 और n ≥ 2 के लिए अनंतता का अर्थ है48. यह 1996 में I. G. Lysënok द्वारा m> 1 और n ≥ 8000 में सुधार किया गया था। Novikov-Adian, Ivanov और Lysénok ने मुक्त Burnside समूहों की संरचना पर काफी अधिक सटीक परिणाम स्थापित किए। विषम घातांक के स्थिति में, मुक्त बर्नसाइड समूहों के सभी परिमित उपसमूहों को चक्रीय समूह के रूप में दिखाया गया था। समान घातांक स्थिति में, प्रत्येक परिमित उपसमूह दो डायहेड्रल समूहों के उत्पाद में समाहित है, और गैर-चक्रीय परिमित उपसमूह सम्मिलित हैं। इसके अलावा, समूहों के लिए शब्द समस्या और संयुग्मन समस्या की समस्या को विषम और सम घातांक n दोनों के लिए B(m, n) में प्रभावी रूप से हल करने योग्य दिखाया गया था।
बर्नसाइड समस्या के प्रतिउदाहरणों का प्रसिद्ध वर्ग परिमित रूप से उत्पन्न गैर-चक्रीय अनंत समूहों द्वारा बनाया गया है जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह परिमित चक्रीय समूह है, तथाकथित टार्स्की राक्षस समूह। ऐसे समूहों का पहला उदाहरण ए यू द्वारा बनाया गया था। Ol'shanskii ने 1979 में ज्यामितीय विधियों का उपयोग करते हुए, इस प्रकार सकारात्मक रूप से O. Yu को हल किया। श्मिट की समस्या। 1982 में ओल्शांस्की अस्तित्व स्थापित करने के लिए अपने परिणामों को मजबूत करने में सक्षम था, किसी भी पर्याप्त बड़ी अभाज्य संख्या p के लिए (कोई भी p > 10 ले सकता है)75) अंतिम रूप से उत्पन्न अनंत समूह का जिसमें प्रत्येक गैर-तुच्छ उचित उपसमूह ऑर्डर p का चक्रीय समूह है। 1996 में प्रकाशित पत्र में, इवानोव और ओल्शांस्की ने पर्याप्त रूप से बड़े घातांकों के लिए अनियंत्रित अतिपरवलयिक समूह में बर्नसाइड समस्या का एनालॉग हल किया।
प्रतिबंधित बर्नसाइड समस्या
1930 के दशक में तैयार किया गया, यह और, संबंधित, प्रश्न पूछता है:
प्रतिबंधित बर्नसाइड समस्या। यदि यह ज्ञात है कि 'एम' जेनरेटर और एक्सपोनेंट 'एन' वाला समूह 'जी' परिमित है, तो क्या कोई यह निष्कर्ष निकाल सकता है कि 'जी' का क्रम केवल 'पर निर्भर करते हुए कुछ स्थिरांक से घिरा है' 'एम' और 'एन'? समतुल्य रूप से, क्या समूह समरूपता तक m घातांक n के जनरेटर के साथ केवल बहुत से परिमित समूह हैं?
बर्नसाइड समस्या के इस प्रकार को कुछ सार्वभौमिक समूहों के संदर्भ में 'एम' जनरेटर और एक्सपोनेंट 'एन' के साथ भी कहा जा सकता है। समूह सिद्धांत के मूल परिणामों से, किसी भी समूह में उपसमूह के परिमित सूचकांक के दो उपसमूहों का प्रतिच्छेदन स्वयं परिमित सूचकांक का उपसमूह है। चलो M मुक्त बर्नसाइड समूह B(m, n) के सभी उपसमूहों का चौराहा है, जिसमें परिमित सूचकांक है, फिर M B(' का सामान्य उपसमूह है 'm, n) (अन्यथा, उपसमूह g सम्मिलित है−1Mg परिमित सूचकांक के साथ ऐसे तत्व हैं जो M में नहीं हैं)। इसलिए कोई समूह बी को परिभाषित कर सकता है0(एम, एन) कारक समूह बी (एम, एन) / एम होने के लिए। एम जनरेटर के साथ एक्सपोनेंट एन का प्रत्येक परिमित समूह बी की समरूप छवि है0(एम, एन)। प्रतिबंधित बर्नसाइड समस्या तब पूछती है कि क्या बी0(एम, एन) परिमित समूह है।
प्रमुख प्रतिपादक पी के स्थिति में, इस समस्या का व्यापक अध्ययन 1950 के दशक के समय ए.आई. कोस्ट्रिकिन द्वारा किया गया था, सामान्य बर्नसाइड समस्या के नकारात्मक समाधान से पहले। उसका समाधान, बी की परिमितता स्थापित करना0(एम, पी), परिमित विशेषता में ले बीजगणित में पहचान के बारे में गहरे प्रश्नों के साथ संबंध का उपयोग किया। मनमाना प्रतिपादक का स्थिति एफिम ज़ेलमानोव द्वारा पूरी तरह से सकारात्मक रूप से सुलझाया गया है, जिन्हें 1994 में उनके काम के लिए फील्ड मेडल से सम्मानित किया गया था।
टिप्पणियाँ
संदर्भ
- ↑ Curtis, Charles; Reiner, Irving (1962). Representation Theory of Finite Groups and Associated Algebras. John Wiley & Sons. pp. 256–262.
- ↑ John Britton proposed a nearly 300 page alternative proof to the Burnside problem in 1973; however, Adian ultimately pointed out a flaw in that proof.
ग्रन्थसूची
- S. I. Adian (1979) The Burnside problem and identities in groups. Translated from the Russian by John Lennox and James Wiegold. Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], 95. Springer-Verlag, Berlin-New York. ISBN 3-540-08728-1.
- S. I. Adian (2015). "New estimates of odd exponents of infinite Burnside groups". Trudy Matematicheskogo Instituta Imeni V. A. Steklova (in русский). 289: 41–82. doi:10.1134/S0371968515020041. Translation in Adian, S. I. (2015). "New estimates of odd exponents of infinite Burnside groups". Proceedings of the Steklov Institute of Mathematics. 289 (1): 33–71. doi:10.1134/S0081543815040045.
- S. V. Ivanov (1994). "The Free Burnside Groups of Sufficiently Large Exponents". International Journal of Algebra and Computation. 04: 1–308. doi:10.1142/S0218196794000026.
- S. V. Ivanov; A. Yu. Ol'Shanskii (1996). "Hyperbolic groups and their quotients of bounded exponents". Transactions of the American Mathematical Society. 348 (6): 2091–2138. doi:10.1090/S0002-9947-96-01510-3.
- A. I. Kostrikin (1990) Around Burnside. Translated from the Russian and with a preface by James Wiegold. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 20. Springer-Verlag, Berlin. ISBN 3-540-50602-0.
- I. G. Lysënok (1996). "Infinite Burnside groups of even exponent" (in русский). 60 (3): 3–224. doi:10.4213/im77.
{{cite journal}}: Cite journal requires|journal=(help) Translation in Lysënok, I. G. (1996). "Infinite Burnside groups of even exponent". Izvestiya: Mathematics. 60 (3): 453–654. Bibcode:1996IzMat..60..453L. doi:10.1070/IM1996v060n03ABEH000077. S2CID 250838960. - A. Yu. Ol'shanskii (1989) Geometry of defining relations in groups. Translated from the 1989 Russian original by Yu. A. Bakhturin (1991) Mathematics and its Applications (Soviet Series), 70. Dordrecht: Kluwer Academic Publishers Group. ISBN 0-7923-1394-1.
- E. Zelmanov (1990). "Solution of the restricted Burnside problem for groups of odd exponent". Izvestiya Rossiiskoi Akademii Nauk. Seriya Matematicheskaya (in русский). 54 (1): 42–59, 221. Translation in Zel'manov, E I (1991). "Solution of the Restricted Burnside Problem for Groups of Odd Exponent". Mathematics of the USSR-Izvestiya. 36 (1): 41–60. Bibcode:1991IzMat..36...41Z. doi:10.1070/IM1991v036n01ABEH001946. S2CID 39623037.
- E. Zelmanov (1991). "Solution of the restricted Burnside problem for 2-groups". Matematicheskii Sbornik (in русский). 182 (4): 568–592. Translation in Zel'manov, E I (1992). "A Solution of the Restricted Burnside Problem for 2-groups". Mathematics of the USSR-Sbornik. 72 (2): 543–565. Bibcode:1992SbMat..72..543Z. doi:10.1070/SM1992v072n02ABEH001272.
