लघु निरस्तीकरण सिद्धांत: Difference between revisions

Revision as of 17:24, 14 February 2023

समूह सिद्धांत के गणितीय विषय में, छोटे निरस्तीकरण सिद्धांत स्थिति को संतुष्ट करने वाले समूह की प्रस्तुति द्वारा दिए गए समूहों का अध्ययन करता है, अर्थात जहां परिभाषित संबंधों में एक दूसरे के साथ छोटे ओवरलैप होते हैं। छोटे निरस्तीकरण की स्थिति समूह के बीजगणितीय, ज्यामितीय और एल्गोरिथम गुणों को दर्शाती है। सूक्ष्म रूप से प्रस्तुत किए गए समूह पर्याप्त रूप से मजबूत लघु निरस्तीकरण स्थितियों को संतुष्ट करते हैं, ये शब्द-अतिशयोक्तिपूर्ण समूह हैं और डेहेन के एल्गोरिथ्म द्वारा हल करने योग्य समूहों के लिए शब्द समस्या है। टार्स्की मॉन्स्टर्स समूह के निर्माण के लिए और बर्नसाइड की समस्या के समाधान के लिए छोटे निरस्तीकरण विधियों का भी उपयोग किया जाता है।

इतिहास

छोटे निरस्तीकरण सिद्धांत में अंतर्निहित कुछ विचार 1910 के दशक में मैक्स डेहन के कार्य पर वापस जाते हैं।^[1] डेहेन ने प्रमाणित किया कि कम से कम दो जीनस की बंद ओरिएंटेबल सतहों के मूलभूत समूहों के लिए शब्द समस्या है जिसे अब डेहेन's कलन विधि कहा जाता है। उनके प्रमाण में अतिशयोक्तिपूर्ण कई गुना में ऐसे समूह के केली ग्राफ को चित्रित करना और केली ग्राफ में एक बंद लूप के लिए गॉस-बोनट प्रमेय के माध्यम से वक्रता अनुमान लगाना सम्मिलित है ताकि यह निष्कर्ष निकाला जा सके कि इस तरह के लूप में परिभाषित संबंध का एक बड़ा भाग (आधे से अधिक) होना चाहिए।

टार्टाकोव्स्की का 1949 का प्रकाशन^[2] छोटे निरस्तीकरण सिद्धांत के लिए एक तत्काल अग्रदूत था: इस पत्र ने समूहों के एक वर्ग के लिए शब्द समस्या का समाधान प्रदान किया, जो संयोजी स्थितियों के एक जटिल सेट को संतुष्ट करता था, जहां छोटे निरस्तीकरण प्रकार की धारणाओं ने महत्वपूर्ण भूमिका निभाई थी। छोटे निरस्तीकरण सिद्धांत का मानक संस्करण, जैसा कि आज उपयोग किया जाता है, 1960 के दशक के प्रारम्भ में मार्टिन ग्रीन्डलिंगर द्वारा पत्रों की एक श्रृंखला में विकसित किया गया था,^[3]^[4]^[5] जो मुख्य रूप से मीट्रिक लघु निरस्तीकरण स्थितियों से सम्पादित होते थे। विशेष रूप से, ग्रीन्डलिंगर ने प्रमाणित किया कि C'(1/6) लघु निरस्तीकरण स्थिति को संतुष्ट करने वाले अंतिम रूप से प्रस्तुत समूहों में डेहेन के एल्गोरिथ्म द्वारा हल की जाने वाली शब्द समस्या है। लिंडन के बाद के कार्य में सिद्धांत को और अधिक परिष्कृत और औपचारिक रूप दिया गया,^[6] रूसी^[7] और लिंडन-स्कूप,^[8]जिन्होंने गैर-मीट्रिक लघु निरस्तीकरण स्थितियों के प्रकरण का भी इलाज किया, कई गतिविधियों और एचएनएन-विस्तार के साथ मुक्त उत्पाद के लिए छोटे निरस्तीकरण सिद्धांत का एक संस्करण विकसित किया।

लघु निरसन सिद्धांत को अलेक्जेंडर ओलशांस्की द्वारा विकसित किया गया था जिन्होंने विकसित किया था^[9] सिद्धांत का एक वर्गीकृत संस्करण जहां परिभाषित संबंधों का सेट एक निस्पंदन से सुसज्जित होता है और जहां एक विशेष ग्रेड के एक परिभाषित रिलेटर को एक उच्च ग्रेड के एक परिभाषित रिलेटर के साथ एक बड़े ओवरलैप की अनुमति होती है। ओलशास्की ने टार्स्की मॉन्स्टर्स समूह सहित विभिन्न मॉन्स्टर्स समूहों के निर्माण के लिए वर्गीकृत छोटे निरस्तीकरण सिद्धांत का उपयोग किया^[10] और एक नया प्रमाण देने के लिए भी^[11] बड़े विषम घातांक की बर्नसाइड की समस्या अनंत है (यह परिणाम मूल रूप से सर्गेई एडियन और पीटर नोविकोव द्वारा 1968 में अधिक संयोजी विधियों का उपयोग करके सिद्ध किया गया था)।^[12]^[13]^[14]

लघु निरस्तीकरण सिद्धांत ने शब्द-अतिशयोक्तिपूर्ण समूहों के सिद्धांत के लिए उदाहरणों और विचारों का एक बुनियादी सेट प्रदान किया जो कि मिखाइल ग्रोमोव (गणितज्ञ) द्वारा 1987 के मोनोग्राफ हाइपरबोलिक समूहों में सामने रखा गया था।^[15]

मुख्य परिभाषाएँ

लिंडन और शूप की पुस्तक का V, नीचे दी गई प्रदर्शनी मुख्य रूप से Ch का अनुसरण करती है। ।^[8]

अनुभाग

$G=\langle X\mid R\rangle \qquad (*)$

एक समूह की प्रस्तुति हो जहां R ⊆ F(X) मुक्त समूह F(X) में स्वतंत्र रूप से कम किए गए और चक्रीय रूप से कम किए गए शब्दों का एक सेट है, जैसे कि R सममित है, अर्थात चक्रीय क्रमपरिवर्तन और व्युत्क्रम लेने के तहत बंद है।

f(x) में एक गैर-तुच्छ स्वतंत्र रूप से कम शब्द U को (∗) के संबंध में एक अनुभाग कहा जाता है यदि दो अलग-अलग तत्व उपलब्ध हैं R₁, R₂ में U अधिकतम साधारण प्रारंभिक खंड के रूप में है।

ध्यान दें कि अगर $G=\langle X\mid S\rangle$ एक समूह प्रस्तुति है जहां रिलेटर S को परिभाषित करने का सेट सममित नहीं है, हम सदैव S के सममित बंद R को ले सकते हैं, जहां R में S और S^-1 के तत्वों के सभी चक्रीय क्रम परिवर्तन होते हैं। फिर R सममित है और $G=\langle X\mid R\rangle$ की भी प्रस्तुति है।

मीट्रिक लघु निरस्तीकरण की शर्तें

0< λ < 1

उपरोक्त के रूप में प्रस्तुति (∗) को सी'(λ) लघु निरस्तीकरण स्थिति को पूरा करने के लिए कहा जाता है यदि जब भी यू (∗) के संबंध में एक अनुभाग है और यू कुछ R ∈ R का उपशब्द है, तो |यू| < λ|R|। यहां |वी| एक शब्द वी की लंबाई है।

स्थिति C′(λ) को कभी-कभी मीट्रिक लघु निरस्तीकरण स्थिति कहा जाता है।

गैर-मीट्रिक लघु निरस्तीकरण शर्तें

मान लीजिए p ≥ 3 एक पूर्णांक है। उपरोक्त के अनुसार समूह प्रस्तुति (∗) को C(p) लघु निरस्तीकरण शर्त को पूरा करने के लिए कहा जाता है यदि जब भी r ∈ R और

r=u_{1}\dots u_{m}

जहां तुम_i अनुभाग हैं और जहां उपरोक्त उत्पाद लिखित रूप में स्वतंत्र रूप से कम किया गया है, तो एम ≥ पी। यही है, कोई परिभाषित संबंधक पी टुकड़ों से कम के कम उत्पाद के रूप में नहीं लिखा जा सकता है।

मान लीजिए q ≥ 3 एक पूर्णांक है। ऊपर के रूप में एक समूह प्रस्तुति (∗) को टी (क्यू) लघु निरस्तीकरण शर्त को पूरा करने के लिए कहा जाता है यदि जब भी 3 ≤ टी < क्यू और R₁,...,R_t R में ऐसे हैं कि R₁≠ R₂⁻¹,..., R_t≠ R₁⁻¹ तो कम से कम एक उत्पाद r₁r₂,...,R_t−1r_t, R_tr₁ लिखित रूप में स्वतंत्र रूप से कम किया जाता है।

ज्यामितीय रूप से, स्थिति T(q) का अनिवार्य रूप से मतलब है कि यदि D (∗) पर एक घटा हुआ वैन कम्पेन Rेख है, तो कम से कम तीन डिग्री के D के प्रत्येक आंतरिक शीर्ष में वास्तव में कम से कम q की डिग्री होती है।

उदाहरण

होने देना $G=\langle a,b\mid aba^{-1}b^{-1}\rangle$ रैंक दो के मुक्त एबेलियन समूह की मानक प्रस्तुति हो। फिर इस प्रस्तुति के सममित बंद होने के लिए केवल अनुभाग लंबाई 1 के शब्द हैं। यह सममित रूप C(4)–T(4) लघु निरस्तीकरण शर्तों और किसी भी 1 > λ > 1/ के लिए C′(λ) स्थिति को पूरा करता है 4.
होने देना $G=\langle a_{1},b_{1},\dots ,a_{k},b_{k}\mid [a_{1},b_{1}]\cdot \dots \cdot [a_{k},b_{k}]\rangle$ , जहां k ≥ 2, जीनस k की एक बंद ओरिएंटेबल सतह के मौलिक समूह की मानक प्रस्तुति हो। फिर इस प्रस्तुति के सममितीकरण के लिए केवल लंबाई 1 के शब्द हैं और यह समरूपता C'(1/7) और C(8) लघु निरस्तीकरण शर्तों को पूरा करती है।
होने देना $G=\langle a,b\mid abab^{2}ab^{3}\dots ab^{100}\rangle$ . फिर, व्युत्क्रम तक, इस प्रस्तुति के सममित संस्करण के लिए प्रत्येक भाग का रूप b है^{मैं अब^{जे </सुप> या बीⁱ, जहां 0 ≤ i,j ≤ 100। यह सममितीकरण C′(1/20) लघु निरस्तीकरण स्थिति को पूरा करता है।}}
यदि एक सममित प्रस्तुति C'(1/m) स्थिति को संतुष्ट करती है तो यह C(m) स्थिति को भी संतुष्ट करती है।
चलो r ∈ F(X) एक गैर-तुच्छ चक्रीय रूप से कम किया गया शब्द है जो F(X) में एक उचित शक्ति नहीं है और n ≥ 2 दें। फिर प्रस्तुति का सममित समापन $G=\langle X\mid r^{n}\rangle$ C(2n) को संतुष्ट करता है^[16] और C'(1/n) लघु निरस्तीकरण शर्तें।

छोटे निरस्तीकरण सिद्धांत के मूल परिणाम

ग्रीनलिंगर की लेम्मा

मीट्रिक लघु निरस्तीकरण स्थिति के बारे में मुख्य परिणाम निम्न कथन है (देखें प्रमेय 4.4 के Ch. V में ^[8] जिसे साधारणतौर पर कहा जाता है

ग्रीन्डलिंगर की लेम्मा: आज्ञा दें (∗) एक समूह प्रस्तुति हो जैसा कि उपरोक्त C'(λ) लघु निरस्तीकरण स्थिति को संतुष्ट करता है जहां 0 ≤ λ ≤ 1/6। चलो w ∈ F(X) एक गैर-तुच्छ स्वतंत्र रूप से कम किया गया शब्द है जैसे w = 1 G में। फिर w का एक उपशब्द v है और एक परिभाषित संबंधक r ∈ R ऐसा है कि v भी r का एक उपशब्द है और ऐसा वह

\left|v\right|>\left(1-3\lambda \right)\left|r\right|

ध्यान दें कि धारणा λ ≤ 1/6 का अर्थ है कि (1 − 3λ) ≥ 1/2, ताकि w में कुछ परिभाषित रिलेटर के आधे से अधिक उपशब्द हों।

ग्रीन्डलिंगर की लेम्मा को निम्नलिखित ज्यामितीय कथन के परिणाम के रूप में प्राप्त किया जाता है:

ग्रीन्डलिंगर के लेम्मा की धारणाओं के तहत, डी को चक्रीय रूप से कम सीमा लेबल के साथ (∗) पर एक कम वैन कैम्पेन Rेख होने दें, जैसे कि डी में कम से कम दो क्षेत्र सम्मिलित हैं। तब दो अलग-अलग क्षेत्र होते हैं D₁ और डी₂ D में ऐसा है कि j = 1,2 के लिए क्षेत्र D_j D के सीमा चक्र ∂D को एक साधारण चाप में काटता है जिसकी लंबाई (1 − 3λ)|∂D से बड़ी है_j|।

बदले में यह परिणाम डी के लिए एक दोहरे Rेख पर विचार करके सिद्ध किया गया है। वहां एक वक्रता की संयोजन धारणा को परिभाषित करता है (जो कि, लघु निरस्तीकरण धारणाओं द्वारा, प्रत्येक आंतरिक शीर्ष पर नकारात्मक है), और फिर गॉस का संयोजन संस्करण प्राप्त करता है- बोनट प्रमेय। ग्रीन्डलिंगर की लेम्मा इस विश्लेषण के परिणाम के रूप में प्रमाणित हुई है और इस तरह सबूत सतह समूहों के प्रकरण के लिए डेहेन के मूल सबूत के विचारों को उजागर करता है।

डेहेन का एल्गोरिथम

किसी भी सममित समूह प्रस्तुति (∗) के लिए, निम्नलिखित अमूर्त प्रक्रिया को डेहेन का एल्गोरिथम कहा जाता है:

'X पर एक मुक्त रूप से कम किया हुआ शब्द w दिया गया है^±1, स्वतंत्र रूप से कम किए गए शब्दों का एक क्रम बनाएं w = w₀, में₁, में₂,..., निम्नलिखित नुसार।
मान लीजिए डब्ल्यू_j पहले से ही निर्मित है। यदि यह खाली शब्द है, तो एल्गोरिथम को समाप्त करें। अन्यथा जांचें कि क्या डब्ल्यू_j इसमें एक सबवर्ड v होता है जैसे कि v भी कुछ डिफाइनिंग रिलेटर r = vu ∈ R का एक सबवर्ड होता है जैसे कि |v| >>|R|/2. यदि नहीं, तो आउटपुट w के साथ एल्गोरिथ्म को समाप्त करें_j. यदि हाँ, तो v को u से बदलें^-1 डब्ल्यू में_j, फिर स्वतंत्र रूप से कम करें, परिणामी स्वतंत्र रूप से कम किए गए शब्द को w से निरूपित करें_j+1 और एल्गोरिथम के अगले चरण पर जाएं।

ध्यान दें कि हमारे पास सदैव होता है

|व₀| >>|व₁| >>|व₂| >...

जिसका तात्पर्य है कि प्रक्रिया को अधिकतम |w| में समाप्त होना चाहिए कदम। इसके अलावा, सभी शब्द डब्ल्यू_j G के उसी तत्व का प्रतिनिधित्व करता है जैसा w करता है और इसलिए यदि प्रक्रिया खाली शब्द के साथ समाप्त होती है, तो w G के पहचान तत्व का प्रतिनिधित्व करता है।

एक का कहना है कि एक सममित प्रस्तुति के लिए (∗) डेहेन का एल्गोरिथ्म G में समूहों के लिए शब्द समस्या को हल करता है यदि विलोम भी सत्य है, अर्थात यदि F(X) में किसी मुक्त रूप से घटाए गए शब्द w के लिए यह शब्द G के पहचान तत्व का प्रतिनिधित्व करता है ' अगर और केवल अगर' डेहेन का एल्गोरिदम, डब्ल्यू से शुरू होता है, खाली शब्द में समाप्त होता है।

ग्रीन्डलिंगर की लेम्मा का तात्पर्य है कि C'(1/6) प्रस्तुति के लिए डेहेन का एल्गोरिथ्म शब्द समस्या को हल करता है।

यदि एक C'(1/6) प्रस्तुति (∗) परिमित है (अर्थात् X और R दोनों परिमित हैं), तो डेहेन का एल्गोरिथ्म एक वास्तविक गैर-नियतात्मक कलन विधि है। पुनरावर्तन सिद्धांत के अर्थ में गैर-नियतात्मक एल्गोरिथम है। हालाँकि, भले ही (∗) एक अनंत C′(1/6) प्रस्तुति हो, डेहेन का एल्गोरिथ्म, जिसे एक अमूर्त प्रक्रिया के रूप में समझा जाता है, फिर भी सही ढंग से तय करता है कि जनरेटर X में कोई शब्द है या नहीं^±1 जी के तत्समक तत्व का प्रतिनिधित्व करता है।

S्फेरिसिटी

आज्ञा दें (∗) एक C'(1/6) या, अधिक साधारण तौर पर, C(6) प्रस्तुति जहां प्रत्येक r ∈ R F(X) में एक उचित शक्ति नहीं है तो G निम्नलिखित अर्थों में S्फेरिकल स्पेस है। R के एक न्यूनतम उपसमुच्चय S पर विचार करें जैसे कि S का सममित समापन R के बराबर है। इस प्रकार यदि r और s, S के विशिष्ट तत्व हैं तो r, s का चक्रीय क्रमचय नहीं है^±1 और $G=\langle X\mid S\rangle$ जी के लिए एक और प्रस्तुति है। इस प्रस्तुति के लिए वाई को प्रस्तुतिकरण जटिल होना चाहिए। तब (देखें ^[17] और प्रमेय 13.3 में ^[9]), उपरोक्त मान्यताओं के तहत (∗), Y, G के लिए एक वर्गीकरण स्थान है, अर्थात G = π₁(Y) और Y का सार्वभौमिक आवरण सिकुड़ा हुआ स्थान है। विशेष रूप से, इसका तात्पर्य है कि G मरोड़-मुक्त है और इसका कोहोलॉजिकल आयाम दो है।

अधिक सामान्य वक्रता

अधिक साधारण तौर पर, किसी भी वैन कम्पेन Rेख पर विभिन्न प्रकार के स्थानीय वक्रता को परिभाषित करना संभव है - बहुत मुख्य रूप से - औसत अतिरिक्त vertices + faces − edges (जो, यूलर के सूत्र द्वारा, कुल 2 होना चाहिए) और, एक विशेष समूह में दिखाकर, कि यह सदैव गैर-सकारात्मक (या – इससे भी बेहतर – नकारात्मक) आंतरिक रूप से दिखाता है कि वक्रता सभी सीमा पर या उसके पास होनी चाहिए और इस प्रकार शब्द समस्या का समाधान प्राप्त करने का प्रयास करें। इसके अलावा, कोई भी उन Rेखों पर ध्यान केंद्रित कर सकता है जिनमें क्षेत्रों का कोई सेट नहीं होता है जैसे कि एक ही सीमा के साथ एक छोटा क्षेत्र होता है।

छोटे निरस्तीकरण समूहों के अन्य बुनियादी गुण

मान लीजिए (∗) एक C′(1/6) प्रस्तुति है। तब G में एक तत्व g का क्रम n > 1 होता है यदि और केवल यदि R में r = s के रूप में कोई रिलेटर होता हैⁿ F(X) में ऐसा है कि g, G में s के लिए संयुग्मी वर्ग है। विशेष रूप से, यदि R के सभी तत्व F(X) में उचित शक्तियाँ नहीं हैं तो G मरोड़-मुक्त है।
यदि (∗) एक परिमित C′(1/6) प्रस्तुति है, तो समूह G शब्द-अतिशयोक्तिपूर्ण समूह है|शब्द-अतिपरवलयिक।
यदि R और S, F(X) के समान सामान्य बंद (समूह सिद्धांत) के साथ F(X) के परिमित सममित उपसमुच्चय हैं, जैसे कि दोनों प्रस्तुतियाँ $\langle X\mid R\rangle$ और $\langle X\mid S\rangle$ C′(1/6) स्थिति को पूरा करें तो R = S.
यदि एक परिमित प्रस्तुति (∗) C′(1/6), C′(1/4)–T(4), C(6), C(4)–T(4), C(3) में से किसी एक को संतुष्ट करती है )–T(6) तो समूह G में समूहों के लिए हल करने योग्य शब्द समस्या और हल करने योग्य संयुग्मन समस्या है

अनुप्रयोग

लघु निरस्तीकरण सिद्धांत के अनुप्रयोगों के उदाहरणों में सम्मिलित हैं:

वैकल्पिक गांठों के समूहों के लिए संयुग्मन समस्या का समाधान (देखें^[18]^[19] और अध्याय V, प्रमेय 8.5 इंच ^[8]), यह दिखाते हुए कि ऐसी गांठों के लिए संवर्धित गाँठ समूह C(4)–T(4) प्रस्तुतियों को स्वीकार करते हैं।
सूक्ष्म रूप से प्रस्तुत C′(1/6) छोटे निरस्तीकरण समूह शब्द-अतिशयोक्तिपूर्ण समूहों के मूल उदाहरण हैं। शब्द-अतिशयोक्तिपूर्ण समूहों के समतुल्य लक्षणों में से एक यह है कि वे परिमित प्रस्तुतियों को स्वीकार करते हैं जहां डेहेन के एल्गोरिदम समूहों के लिए शब्द समस्या हल करते हैं।
परिमित सी (4) – टी (4) प्रस्तुतियों द्वारा दिए गए सूक्ष्म रूप से प्रस्तुत समूह जहां प्रत्येक अनुभाग की लंबाई एक है सीएटी (0) समूहों के मूल उदाहरण हैं: इस तरह की प्रस्तुति के लिए प्रस्तुति परिसर का सार्वभौमिक आवरण कैट (के) है अंतरिक्ष | सीएटी (0) वर्ग परिसर।
छोटे निरस्तीकरण सिद्धांत के प्रारंभिक अनुप्रयोगों में विभिन्न अंतःस्थापन परिणाम प्राप्त करना सम्मिलित है। उदाहरणों में 1974 का प्रकाशन सम्मिलित है^[20] Sacerdote और Schupp के प्रमाण के साथ कि कम से कम तीन जनरेटर वाला प्रत्येक एक-रिलेटर समूह SQ सार्वभौमिक समूह है। SQ-सार्वभौमिक और Schupp का 1976 का प्रकाशन^[21] इस प्रमाण के साथ कि प्रत्येक गणनीय समूह को क्रम दो के तत्व और क्रम तीन के तत्व द्वारा उत्पन्न एक साधारण समूह में एम्बेड किया जा सकता है।
तथाकथित रिप्स निर्माण, एलियाहू चीरता है के कारण,^[22] शब्द-अतिशयोक्तिपूर्ण समूहों के विभिन्न उपसमूह गुणों के बारे में काउंटर-उदाहरणों का एक समृद्ध स्रोत प्रदान करता है: मनमाने ढंग से प्रस्तुत समूह क्यू को देखते हुए, निर्माण एक छोटा सटीक अनुक्रम उत्पन्न करता है $1\to K\to G\to Q\to 1$ जहाँ K दो-उत्पन्न होता है और जहाँ G मरोड़-मुक्त होता है और एक परिमित C′ (1/6) -प्रस्तुति द्वारा दिया जाता है (और इस प्रकार G शब्द-अतिशयोक्तिपूर्ण है)। निर्माण उपसमूह सदस्यता समस्या, पीढ़ी की समस्या और समूह के रैंक सहित शब्द-अतिशयोक्तिपूर्ण समूहों के लिए कई एल्गोरिथम समस्याओं की असम्बद्धता का प्रमाण देता है।^[23] साथ ही, कुछ अपवादों के साथ, रिप्स निर्माण में समूह K अंतिम रूप से प्रस्तुत समूह नहीं है। इसका तात्पर्य यह है कि ऐसे शब्द-अतिशयोक्तिपूर्ण समूह उपलब्ध हैं जो सुसंगत नहीं हैं, जिनमें उपसमूह होते हैं जो सूक्ष्म रूप से उत्पन्न होते हैं लेकिन अंतिम रूप से प्रस्तुत करने योग्य नहीं होते हैं।
लघु निरस्तीकरण विधियों (अनंत प्रस्तुतियों के लिए) का उपयोग ओल्शांस्की द्वारा किया गया था^[9]तर्स्की मॉन्स्टर्स समूह सहित विभिन्न मॉन्स्टर्स समूहों का निर्माण करने के लिए और एक प्रमाण देने के लिए कि बड़े विषम घातांक के मुक्त बर्नसाइड समूह अनंत हैं (एक समान परिणाम मूल रूप से 1968 में एडियन और नोविकोव द्वारा अधिक संयोजी विधियों का उपयोग करके सिद्ध किया गया था)। इस पद्धति का उपयोग करके ओल्शांस्की द्वारा निर्मित कुछ अन्य मॉन्स्टर्स समूहों में सम्मिलित हैं: एक अनंत सरल समूह नोथेरियन समूह; एक अनंत समूह जिसमें प्रत्येक उचित उपसमूह का प्रधान क्रम होता है और एक ही क्रम के दो उपसमूह संयुग्मित होते हैं; एक अनुकूल समूह जहां हर उचित उपसमूह चक्रीय है; और दूसरे।^[24]
ब्रायन बॉडिच^[25] यह प्रमाणित करने के लिए अनंत लघु निरस्तीकरण प्रस्तुतियों का उपयोग किया गया है कि दो-जनरेटर समूहों के लगातार कई अर्ध isometry | अर्ध-आइसोमेट्री प्रकार उपलब्ध हैं।
थॉमस और वेलिकोविच ने निर्माण के लिए लघु निरस्तीकरण सिद्धांत का उपयोग किया^[26] दो गैर-होमियोमॉर्फिक स्पर्शोन्मुख शंकुओं के साथ एक सूक्ष्म रूप से उत्पन्न समूह, इस प्रकार मिखाइल ग्रोमोव (गणितज्ञ) के एक प्रश्न का उत्तर दे रहा है।
मैककैमोंड और वाइज ने दिखाया कि कैसे रिप्स निर्माण द्वारा उत्पन्न कठिनाइयों को दूर किया जाए और छोटे निरस्तीकरण समूहों के बड़े वर्गों का उत्पादन किया जाए जो सुसंगत हैं (अर्थात जहां सभी सूक्ष्म रूप से उत्पन्न उपसमूहों को सूक्ष्मता से प्रस्तुत किया जाता है) और, इसके अलावा, स्थानीय रूप से क्वासिकोनवेक्स (अर्थात जहां सभी सूक्ष्म रूप से उत्पन्न होते हैं) उपसमूह क्वासिकोनवेक्स हैं)।^[27]^[28]
जेनेरिक या रैंडम समूह के विभिन्न मॉडलों के अध्ययन में निरस्तीकरण के छोटे तरीके महत्वपूर्ण भूमिका निभाते हैं यादृच्छिक रूप से प्रस्तुत समूह (देखें ^[29]). विशेष रूप से, जनरेटर की एक निश्चित संख्या m ≥ 2 और संबंधों को परिभाषित करने की एक निश्चित संख्या t ≥ 1 के लिए और किसी भी λ < 1 के लिए एक यादृच्छिक एम-जनरेटर टी-रिलेटर समूह C′(λ) लघु निरस्तीकरण स्थिति को संतुष्ट करता है। भले ही परिभाषित संबंधों की संख्या t निश्चित न हो लेकिन (2m − 1) के रूप में बढ़ती है^εn (जहां ε ≥ 0 यादृच्छिक समूहों के ग्रोमोव के घनत्व मॉडल में निश्चित घनत्व पैरामीटर है, और जहां $n\to \infty$ परिभाषित संबंधों की लंबाई है), तो एक ε-यादृच्छिक समूह प्रदान की गई C′(1/6) शर्त को पूरा करता है ε< 1/12।
मिखाइल ग्रोमोव (गणितज्ञ)^[30]एक सूक्ष्म रूप से प्रस्तुत समूह के अस्तित्व को प्रमाणित करने के लिए एक ग्राफ के संबंध में छोटे निरस्तीकरण सिद्धांत के एक संस्करण का उपयोग किया जिसमें (उचित अर्थ में) विस्तारक ग्राफ का एक अनंत अनुक्रम होता है और इसलिए हिल्बर्ट अंतरिक्ष में एक समान एम्बेडिंग को स्वीकार नहीं करता है। यह परिणाम नोविकोव अनुमान के प्रति-उदाहरणों की तलाश के लिए एक दिशा प्रदान करता है (अब तक केवल एक ही उपलब्ध है)।
ओसिन^[31]अपेक्षाकृत हाइपरबोलिक समूहों के लिए थर्स्टन की हाइपरबोलिक डेन सर्जरी प्रमेय।

सामान्यीकरण

मुफ्त उत्पाद और एचएनएन एक्सटेंशन के भागफल समूहों के लिए छोटे निरस्तीकरण सिद्धांत का एक संस्करण Sacerdote और Schupp के प्रकाशन में और फिर लिंडन और Schupp की पुस्तक में विकसित किया गया था।^[8]* रिप्स ^[32] और ओलशांस्की^[9]छोटे निरस्तीकरण सिद्धांत का एक स्तरीकृत संस्करण विकसित किया गया है, जहां रिलेटर्स के सेट को स्ट्रैट के Rोही संघ के रूप में फ़िल्टर किया जाता है (प्रत्येक स्ट्रैटम एक लघु निरस्तीकरण स्थिति को संतुष्ट करता है) और कुछ स्ट्रैटम से एक रिलेटर R के लिए और एक उच्च स्तर से एक रिलेटर के लिए उनके ओवरलैप की आवश्यकता होती है |s| के संबंध में छोटा होना लेकिन |r| के संबंध में बड़े होने की अनुमति है। इस सिद्धांत ने ओल्शांस्की को तार्स्की मॉन्स्टर्स समूह सहित विभिन्न मॉन्स्टर्स समूहों का निर्माण करने और एक नया प्रमाण देने की अनुमति दी कि बड़े विषम घातांक के मुक्त बर्नसाइड समूह अनंत हैं।
ओलशांस्की^[33] और डेलजेंट^[34] बाद में शब्द-अतिशयोक्तिपूर्ण समूहों के भागफल के लिए छोटे निरस्तीकरण सिद्धांत के विकसित संस्करण।
मैककैमोंड ने छोटे रद्दकरण सिद्धांत का एक उच्च-आयामी संस्करण प्रदान किया।^[35]
मैककैमोंड और वाइज ने छोटे निरस्तीकरण प्रस्तुतियों पर वैन कैम्पेन Rेखों की ज्यामिति के संबंध में मानक छोटे निरस्तीकरण सिद्धांत (जैसे ग्रीन्डलिंगर की लेम्मा) के बुनियादी परिणामों को काफी हद तक आगे बढ़ाया।^[36]
मिखाइल ग्रोमोव (गणितज्ञ) ने प्रमाणित करने के लिए एक ग्राफ के संबंध में लघु निरसन सिद्धांत के एक संस्करण का उपयोग किया^[30] एक सूक्ष्म रूप से प्रस्तुत समूह का अस्तित्व जिसमें (उचित अर्थ में) विस्तारकों का एक अनंत अनुक्रम होता है और इसलिए हिल्बर्ट अंतरिक्ष में एक समान एम्बेडिंग को स्वीकार नहीं करता है।^[37]
आंशिक रूप से^[31] अपेक्षाकृत अतिशयोक्तिपूर्ण समूहों के उद्धरणों के लिए छोटे निरस्तीकरण सिद्धांत का एक संस्करण दिया और इसका उपयोग हाइपरबोलिक डेहन सर्जरी के अपेक्षाकृत हाइपरबोलिक सामान्यीकरण को प्राप्त करने के लिए किया। थर्स्टन की हाइपरबोलिक डेन सर्जरी प्रमेय।

मूल संदर्भ

रोजर लिंडन और पॉल शूप, कॉम्बिनेटरियल ग्रुप थ्योरी। 1977 संस्करण का पुनर्मुद्रण। गणित में क्लासिक्स। स्प्रिंगर-वर्लाग, बर्लिन, 2001। ISBN 3-540-41158-5.
अलेक्जेंडर यू. ओलशांस्की, समूहों में संबंधों को परिभाषित करने की ज्यामिति। 1989 के रूसी मूल से यू द्वारा अनुवादित। ए बख्तूरिन। गणित और इसके अनुप्रयोग (सोवियत श्रृंखला), 70। क्लूवर शैक्षणिक प्रकाशक समूह, डॉर्ड्रेक्ट, 1991। ISBN 0-7923-1394-1.
राल्फ स्ट्रेबेल, परिशिष्ट। छोटे निरस्तीकरण समूह। माइकल ग्रोमोव (बर्न, 1988) के अनुसार अतिपरवलयिक समूहों पर, पीपी। 227–273, गणित में प्रगति, 83, बिरखौसर बोस्टन, बोस्टन, मैसाचुसेट्स, 1990। ISBN 0-8176-3508-4.
मिले क्रेजेव्स्की, कैंसलेशन+कंडीशन्स%27%27 प्लेन की टाइलिंग, हाइपरबोलिक ग्रुप्स और स्मॉल कैंसलेशन कंडीशंस। मेमोयर्स ऑफ द अमेरिकन मैथमैटिकल सोसाइटी, वॉल्यूम। 154 (2001), नहीं। 733.

यह भी देखें

ज्यामितीय समूह सिद्धांत
शब्द-अतिशयोक्तिपूर्ण समूह
तर्स्की मॉन्स्टर्स समूह
बर्नसाइड की समस्या
अंतिम रूप से प्रस्तुत समूह
समूहों के लिए शब्द समस्या
वैन कम्पेन Rेख

↑ Bruce Chandler and Wilhelm Magnus, The history of combinatorial group theory. A case study in the history of ideas. Studies in the History of Mathematics and Physical Sciences, 9. Springer-Verlag, New York, 1982. ISBN 0-387-90749-1.
↑ V. A. Tartakovskii, Solution of the word problem for groups with a k-reduced basis for k>6. (Russian) Izvestiya Akad. Nauk SSSR. Ser. Mat., vol. 13, (1949), pp. 483–494.
↑ Martin Greendlinger, Dehn's algorithm for the word problem. Communications on Pure and Applied Mathematics, vol. 13 (1960), pp. 67–83.
↑ Martin Greendlinger, On Dehn's algorithms for the conjugacy and word problems, with applications. Communications on Pure and Applied Mathematics, vol. 13 (1960), pp. 641–677.
↑ Martin Greendlinger, An analogue of a theorem of Magnus. Archiv der Mathematik, vol 12 (1961), pp. 94–96.
↑ Roger C. Lyndon, On Dehn's algorithm. Mathematische Annalen, vol. 166 (1966), pp. 208–228.
↑ Paul E. Schupp, On Dehn's algorithm and the conjugacy problem. Mathematische Annalen, vol 178 (1968), pp. 119–130.
↑ ^8.0 ^8.1 ^8.2 ^8.3 ^8.4 Roger C. Lyndon and Paul Schupp, Combinatorial group theory. Reprint of the 1977 edition. Classics in Mathematics. Springer-Verlag, Berlin, 2001. ISBN 3-540-41158-5.
↑ ^9.0 ^9.1 ^9.2 ^9.3 Alexander Yu. Olʹshanskii, Geometry of defining relations in groups. Translated from the 1989 Russian original by Yu. A. Bakhturin. Mathematics and its Applications (Soviet Series), 70. Kluwer Academic Publishers Group, Dordrecht, 1991. ISBN 0-7923-1394-1.
↑ A. Yu. Olshanskii, An infinite group with subgroups of prime orders, Math. USSR Izv. 16 (1981), 279–289; translation of Izvestia Akad. Nauk SSSR Ser. Matem. 44 (1980), 309–321.
↑ A. Yu. Olshanskii, Groups of bounded period with subgroups of prime order, Algebra and Logic 21 (1983), 369-418; translation of Algebra i Logika 21 (1982), 553-618.
↑ P. S. Novikov, S. I. Adian, Infinite periodic groups. I. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 1, pp. 212–244.
↑ P. S. Novikov, S. I. Adian, Infinite periodic groups. II. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 2, pp. 251–524.
↑ P. S. Novikov, S. I. Adian. Infinite periodic groups. III. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 3, pp. 709–731.
↑ M. Gromov, Hyperbolic Groups, in "Essays in Group Theory" (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75-263.
↑ Stephen J. Pride. Small cancellation conditions satisfied by one-relator groups. Mathematische Zeitschrift, vol. 184 (1983), no. 2, pp. 283–286.
↑ Ian M. Chiswell, Donald J. Collins, Johannes Huebschmann, Aspherical group presentations. Mathematische Zeitschrift, vol. 178 (1981), no. 1, pp. 1–36.
↑ C. M. Weinbaum, The word and conjugacy problems for the knot group of any tame, prime, alternating knot. Proceedings of the American Mathematical Society, vol. 30 (1971), pp. 22–26.
↑ K. I. Appel, P. E. Schupp, The conjugacy problem for the group of any tame alternating knot is solvable. Proceedings of the American Mathematical Society, vol. 33 (1972), pp. 329–336.
↑ George S. Sacerdote and Paul E. Schupp, SQ-universality in HNN groups and one relator groups. Journal of the London Mathematical Society (2), vol. 7 (1974), pp. 733–740.
↑ Paul E. Schupp, Embeddings into simple groups. Journal of the London Mathematical Society (2), vol. 13 (1976), no. 1, pp. 90–94.
↑ E. Rips, Subgroups of small cancellation groups. Bulletin of the London Mathematical Society, vol. 14 (1982), no. 1, pp. 45–47.
↑ G. Baumslag, C. F. Miller, H. Short, Unsolvable problems about small cancellation and word hyperbolic groups. Bulletin of the London Mathematical Society, vol. 26 (1994), no. 1, pp. 97–101.
↑ A. Yu. Olʹshanskii, On a geometric method in the combinatorial group theory. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), 415–424, PWN–Polish Scientific Publishers, Warsaw; North-Holland Publishing Co., Amsterdam, 1984. ISBN 83-01-05523-5.
↑ B. H. Bowditch, Continuously many quasi-isometry classes of 2-generator groups. Commentarii Mathematici Helvetici, vol. 73 (1998), no. 2, pp. 232–236.
↑ S. Thomas and B. Velickovic. Asymptotic cones of finitely generated groups. Bulletin of the London Mathematical Society, vol. 32 (2000), no. 2, pp. 203–208.
↑ Jonathan P. McCammond and Daniel T. Wise, Coherence, local quasiconvexity, and the perimeter of 2-complexes. Geometric and Functional Analysis, vol. 15 (2005), no. 4, pp. 859–927.
↑ Jonathan P. McCammond and Daniel T. Wise, Locally quasiconvex small-cancellation groups. Transactions of the American Mathematical Society, vol. 360 (2008), no. 1, pp. 237–271.
↑ Yann Ollivier, A January 2005 invitation to random groups. Ensaios Matemáticos [Mathematical Surveys], 10. Sociedade Brasileira de Matemática, Rio de Janeiro, 2005. ISBN 85-85818-30-1.
↑ ^30.0 ^30.1 Gromov, M. (2003). "Random walk in random groups". Geometric and Functional Analysis. 13 (1): 73–146. doi:10.1007/s000390300002.
↑ ^31.0 ^31.1 Osin, Denis V. (2007). "Peripheral fillings of relatively hyperbolic groups". Inventiones Mathematicae. 167 (2): 295–326. arXiv:math/0510195. doi:10.1007/s00222-006-0012-3.
↑ Rips, Eliyahu (1982). "Generalized small cancellation theory and applications I". Israel Journal of Mathematics. 41: 1–146. doi:10.1007/BF02760660.
↑ Olʹshanskii, A. Yu. (1993). "On residualing homomorphisms and G-subgroups of hyperbolic groups". International Journal of Algebra and Computation. 3 (4): 365–409. doi:10.1142/S0218196793000251.
↑ Delzant, Thomas (1996). "Sous-groupes distingués et quotients des groupes hyperboliques" [Distinguished subgroups and quotients of hyperbolic groups]. Duke Mathematical Journal (in français). 83 (3): 661–682.
↑ McCammond, Jonathan P. (2000). "A general small cancellation theory". International Journal of Algebra and Computation. 10 (1): 1–172.
↑ McCammond, Jonathan P.; Wise, Daniel T. (2002). "Fans and ladders in small cancellation theory". Proceedings of the London Mathematical Society. 84 (3): 599–644. doi:10.1112/S0024611502013424.
↑ For more details on small cancellation theory with respect to a graph, see also Ollivier, Yann (2006). "On a small cancellation theorem of Gromov". Bulletin of the Belgian Mathematical Society. 13 (1): 75–89. doi:10.36045/bbms/1148059334.

[Category:Combinatorics on wor

[1] Bruce Chandler and Wilhelm Magnus, The history of combinatorial group theory. A case study in the history of ideas. Studies in the History of Mathematics and Physical Sciences, 9. Springer-Verlag, New York, 1982. ISBN 0-387-90749-1.

[2] V. A. Tartakovskii, Solution of the word problem for groups with a k-reduced basis for k>6. (Russian) Izvestiya Akad. Nauk SSSR. Ser. Mat., vol. 13, (1949), pp. 483–494.

[G1-3] Martin Greendlinger, Dehn's algorithm for the word problem. Communications on Pure and Applied Mathematics, vol. 13 (1960), pp. 67–83.

[G2-4] Martin Greendlinger, On Dehn's algorithms for the conjugacy and word problems, with applications. Communications on Pure and Applied Mathematics, vol. 13 (1960), pp. 641–677.

[G3-5] Martin Greendlinger, An analogue of a theorem of Magnus. Archiv der Mathematik, vol 12 (1961), pp. 94–96.

[6] Roger C. Lyndon, On Dehn's algorithm. Mathematische Annalen, vol. 166 (1966), pp. 208–228.

[7] Paul E. Schupp, On Dehn's algorithm and the conjugacy problem. Mathematische Annalen, vol 178 (1968), pp. 119–130.

[LS-8] 8.0 ^8.1 ^8.2 ^8.3 ^8.4 Roger C. Lyndon and Paul Schupp, Combinatorial group theory. Reprint of the 1977 edition. Classics in Mathematics. Springer-Verlag, Berlin, 2001. ISBN 3-540-41158-5.

[Ol-9] 9.0 ^9.1 ^9.2 ^9.3 Alexander Yu. Olʹshanskii, Geometry of defining relations in groups. Translated from the 1989 Russian original by Yu. A. Bakhturin. Mathematics and its Applications (Soviet Series), 70. Kluwer Academic Publishers Group, Dordrecht, 1991. ISBN 0-7923-1394-1.

[10] A. Yu. Olshanskii, An infinite group with subgroups of prime orders, Math. USSR Izv. 16 (1981), 279–289; translation of Izvestia Akad. Nauk SSSR Ser. Matem. 44 (1980), 309–321.

[11] A. Yu. Olshanskii, Groups of bounded period with subgroups of prime order, Algebra and Logic 21 (1983), 369-418; translation of Algebra i Logika 21 (1982), 553-618.

[12] P. S. Novikov, S. I. Adian, Infinite periodic groups. I. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 1, pp. 212–244.

[13] P. S. Novikov, S. I. Adian, Infinite periodic groups. II. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 2, pp. 251–524.

[14] P. S. Novikov, S. I. Adian. Infinite periodic groups. III. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 3, pp. 709–731.

[15] M. Gromov, Hyperbolic Groups, in "Essays in Group Theory" (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75-263.

[16] Stephen J. Pride. Small cancellation conditions satisfied by one-relator groups. Mathematische Zeitschrift, vol. 184 (1983), no. 2, pp. 283–286.

[17] Ian M. Chiswell, Donald J. Collins, Johannes Huebschmann, Aspherical group presentations. Mathematische Zeitschrift, vol. 178 (1981), no. 1, pp. 1–36.

[18] C. M. Weinbaum, The word and conjugacy problems for the knot group of any tame, prime, alternating knot. Proceedings of the American Mathematical Society, vol. 30 (1971), pp. 22–26.

[19] K. I. Appel, P. E. Schupp, The conjugacy problem for the group of any tame alternating knot is solvable. Proceedings of the American Mathematical Society, vol. 33 (1972), pp. 329–336.

[20] George S. Sacerdote and Paul E. Schupp, SQ-universality in HNN groups and one relator groups. Journal of the London Mathematical Society (2), vol. 7 (1974), pp. 733–740.

[21] Paul E. Schupp, Embeddings into simple groups. Journal of the London Mathematical Society (2), vol. 13 (1976), no. 1, pp. 90–94.

[22] E. Rips, Subgroups of small cancellation groups. Bulletin of the London Mathematical Society, vol. 14 (1982), no. 1, pp. 45–47.

[23] G. Baumslag, C. F. Miller, H. Short, Unsolvable problems about small cancellation and word hyperbolic groups. Bulletin of the London Mathematical Society, vol. 26 (1994), no. 1, pp. 97–101.

[24] A. Yu. Olʹshanskii, On a geometric method in the combinatorial group theory. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), 415–424, PWN–Polish Scientific Publishers, Warsaw; North-Holland Publishing Co., Amsterdam, 1984. ISBN 83-01-05523-5.

[25] B. H. Bowditch, Continuously many quasi-isometry classes of 2-generator groups. Commentarii Mathematici Helvetici, vol. 73 (1998), no. 2, pp. 232–236.

[26] S. Thomas and B. Velickovic. Asymptotic cones of finitely generated groups. Bulletin of the London Mathematical Society, vol. 32 (2000), no. 2, pp. 203–208.

[27] Jonathan P. McCammond and Daniel T. Wise, Coherence, local quasiconvexity, and the perimeter of 2-complexes. Geometric and Functional Analysis, vol. 15 (2005), no. 4, pp. 859–927.

[28] Jonathan P. McCammond and Daniel T. Wise, Locally quasiconvex small-cancellation groups. Transactions of the American Mathematical Society, vol. 360 (2008), no. 1, pp. 237–271.

[29] Yann Ollivier, A January 2005 invitation to random groups. Ensaios Matemáticos [Mathematical Surveys], 10. Sociedade Brasileira de Matemática, Rio de Janeiro, 2005. ISBN 85-85818-30-1.

[Gromov-30] 30.0 ^30.1 Gromov, M. (2003). "Random walk in random groups". Geometric and Functional Analysis. 13 (1): 73–146. doi:10.1007/s000390300002.

[Osin-31] 31.0 ^31.1 Osin, Denis V. (2007). "Peripheral fillings of relatively hyperbolic groups". Inventiones Mathematicae. 167 (2): 295–326. arXiv:math/0510195. doi:10.1007/s00222-006-0012-3.

[32] Rips, Eliyahu (1982). "Generalized small cancellation theory and applications I". Israel Journal of Mathematics. 41: 1–146. doi:10.1007/BF02760660.

[33] Olʹshanskii, A. Yu. (1993). "On residualing homomorphisms and G-subgroups of hyperbolic groups". International Journal of Algebra and Computation. 3 (4): 365–409. doi:10.1142/S0218196793000251.

[34] Delzant, Thomas (1996). "Sous-groupes distingués et quotients des groupes hyperboliques" [Distinguished subgroups and quotients of hyperbolic groups]. Duke Mathematical Journal (in français). 83 (3): 661–682.

[35] McCammond, Jonathan P. (2000). "A general small cancellation theory". International Journal of Algebra and Computation. 10 (1): 1–172.

[36] McCammond, Jonathan P.; Wise, Daniel T. (2002). "Fans and ladders in small cancellation theory". Proceedings of the London Mathematical Society. 84 (3): 599–644. doi:10.1112/S0024611502013424.

[37] For more details on small cancellation theory with respect to a graph, see also Ollivier, Yann (2006). "On a small cancellation theorem of Gromov". Bulletin of the Belgian Mathematical Society. 13 (1): 75–89. doi:10.36045/bbms/1148059334.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

@@ Line 1: / Line 1: @@
-[[समूह सिद्धांत]] के गणितीय विषय में, छोटे रद्दीकरण सिद्धांत छोटे रद्दीकरण की स्थिति को संतुष्ट करने वाले समूह की प्रस्तुति द्वारा दिए गए समूहों का अध्ययन करता है, अर्थात जहां परिभाषित संबंधों में एक दूसरे के साथ छोटे ओवरलैप होते हैं। छोटे रद्दीकरण की स्थिति समूह के बीजगणितीय, ज्यामितीय और एल्गोरिथम गुणों को दर्शाती है। सूक्ष्म रूप से प्रस्तुत किए गए समूह पर्याप्त रूप से मजबूत छोटी रद्दीकरण स्थितियों को संतुष्ट करते हैं [[शब्द-अतिशयोक्तिपूर्ण समूह]] हैं और देह के एल्गोरिथ्म द्वारा हल करने योग्य [[समूहों के लिए शब्द समस्या]] है। टार्स्की राक्षस समूह के निर्माण के लिए और बर्नसाइड की समस्या के समाधान के लिए छोटे रद्दीकरण विधियों का भी उपयोग किया जाता है।
+[[समूह सिद्धांत]] के गणितीय विषय में, छोटे निरस्तीकरण सिद्धांत स्थिति को संतुष्ट करने वाले समूह की प्रस्तुति द्वारा दिए गए समूहों का अध्ययन करता है, अर्थात जहां परिभाषित संबंधों में एक दूसरे के साथ छोटे ओवरलैप होते हैं। छोटे निरस्तीकरण की स्थिति समूह के बीजगणितीय, ज्यामितीय और एल्गोरिथम गुणों को दर्शाती है। सूक्ष्म रूप से प्रस्तुत किए गए समूह पर्याप्त रूप से मजबूत लघु निरस्तीकरण स्थितियों को संतुष्ट करते हैं, ये [[शब्द-अतिशयोक्तिपूर्ण समूह]] हैं और डेहेन के एल्गोरिथ्म द्वारा हल करने योग्य [[समूहों के लिए शब्द समस्या]] है। टार्स्की मॉन्स्टर्स समूह के निर्माण के लिए और बर्नसाइड की समस्या के समाधान के लिए छोटे निरस्तीकरण विधियों का भी उपयोग किया जाता है।
 == इतिहास ==
-छोटे निरस्तीकरण सिद्धांत में अंतर्निहित कुछ विचार 1910 के दशक में [[मैक्स डेहन]] के काम पर वापस जाते हैं।<ref>Bruce Chandler and [[Wilhelm Magnus]], ''The history of combinatorial group theory. A case study in the history of ideas.'' Studies in the History of Mathematics and Physical Sciences, 9. Springer-Verlag, New York, 1982. {{isbn|0-387-90749-1}}.</ref> Dehn ने साबित किया कि कम से कम दो जीनस की बंद ओरिएंटेबल सतहों के मूलभूत समूहों में समूहों के लिए शब्द समस्या है जिसे अब Dehn's कलन विधि कहा जाता है। उनके प्रमाण में [[अतिशयोक्तिपूर्ण कई गुना]] में ऐसे समूह के [[केली ग्राफ]] को चित्रित करना और केली ग्राफ में एक बंद लूप के लिए गॉस-बोनट प्रमेय के माध्यम से वक्रता अनुमान लगाना शामिल है ताकि यह निष्कर्ष निकाला जा सके कि इस तरह के लूप में एक बड़ा हिस्सा (आधे से अधिक) होना चाहिए। एक परिभाषित संबंध का।
+छोटे निरस्तीकरण सिद्धांत में अंतर्निहित कुछ विचार 1910 के दशक में [[मैक्स डेहन]] के कार्य पर वापस जाते हैं।<ref>Bruce Chandler and [[Wilhelm Magnus]], ''The history of combinatorial group theory. A case study in the history of ideas.'' Studies in the History of Mathematics and Physical Sciences, 9. Springer-Verlag, New York, 1982. {{isbn|0-387-90749-1}}.</ref> डेहेन ने प्रमाणित किया कि कम से कम दो जीनस की बंद ओरिएंटेबल सतहों के मूलभूत समूहों के लिए शब्द समस्या है जिसे अब डेहेन's कलन विधि कहा जाता है। उनके प्रमाण में [[अतिशयोक्तिपूर्ण कई गुना]] में ऐसे समूह के [[केली ग्राफ]] को चित्रित करना और केली ग्राफ में एक बंद लूप के लिए गॉस-बोनट प्रमेय के माध्यम से वक्रता अनुमान लगाना सम्मिलित है ताकि यह निष्कर्ष निकाला जा सके कि इस तरह के लूप में परिभाषित संबंध का एक बड़ा भाग (आधे से अधिक) होना चाहिए।
-टार्टाकोव्स्की का 1949 का पेपर<ref>V. A. Tartakovskii,
+टार्टाकोव्स्की का 1949 का प्रकाशन<ref>V. A. Tartakovskii,
 ''Solution of the word problem for groups with a k-reduced basis for k>6''. (Russian)
-Izvestiya Akad. Nauk SSSR. Ser. Mat., vol. 13, (1949), pp. 483&ndash;494.</ref> छोटे निरस्तीकरण सिद्धांत के लिए एक तत्काल अग्रदूत था: इस पत्र ने समूहों के एक वर्ग के लिए शब्द समस्या का समाधान प्रदान किया, जो संयोजी स्थितियों के एक जटिल सेट को संतुष्ट करता था, जहां छोटे रद्दीकरण प्रकार की धारणाओं ने महत्वपूर्ण भूमिका निभाई थी। छोटे रद्दीकरण सिद्धांत का मानक संस्करण, जैसा कि आज उपयोग किया जाता है, 1960 के दशक की शुरुआत में मार्टिन ग्रीन्डलिंगर द्वारा पत्रों की एक श्रृंखला में विकसित किया गया था,<ref name="G1">Martin Greendlinger, [https://archive.today/20130105075745/http://www3.interscience.wiley.com/journal/113397463/abstract?CRETRY=1&SRETRY=0 ''Dehn's algorithm for the word problem.''] Communications on Pure and Applied Mathematics, vol. 13 (1960), pp. 67&ndash;83.</ref><ref name="G2">Martin Greendlinger, [https://archive.today/20130105144710/http://www3.interscience.wiley.com/journal/113397594/abstract ''On Dehn's algorithms for the conjugacy and word problems, with applications''.] Communications on Pure and Applied Mathematics, vol. 13 (1960), pp. 641&ndash;677.</ref><ref name="G3">Martin Greendlinger, [https://doi.org/10.1007%2FBF01650530 ''An analogue of a theorem of Magnus.''] Archiv der Mathematik, vol 12 (1961), pp. 94&ndash;96.</ref> जो मुख्य रूप से मीट्रिक छोटी रद्दीकरण स्थितियों से निपटते थे। विशेष रूप से, ग्रीन्डलिंगर ने साबित किया कि सी'(1/6) छोटी रद्दीकरण स्थिति को संतुष्ट करने वाले अंतिम रूप से प्रस्तुत समूहों में देह के एल्गोरिथ्म द्वारा हल की जाने वाली शब्द समस्या है। लिंडन के बाद के काम में सिद्धांत को और अधिक परिष्कृत और औपचारिक रूप दिया गया,<ref>[[Roger Lyndon|Roger C. Lyndon]],
+Izvestiya Akad. Nauk SSSR. Ser. Mat., vol. 13, (1949), pp. 483&ndash;494.</ref> छोटे निरस्तीकरण सिद्धांत के लिए एक तत्काल अग्रदूत था: इस पत्र ने समूहों के एक वर्ग के लिए शब्द समस्या का समाधान प्रदान किया, जो संयोजी स्थितियों के एक जटिल सेट को संतुष्ट करता था, जहां छोटे निरस्तीकरण प्रकार की धारणाओं ने महत्वपूर्ण भूमिका निभाई थी। छोटे निरस्तीकरण सिद्धांत का मानक संस्करण, जैसा कि आज उपयोग किया जाता है, 1960 के दशक के प्रारम्भ में मार्टिन ग्रीन्डलिंगर द्वारा पत्रों की एक श्रृंखला में विकसित किया गया था,<ref name="G1">Martin Greendlinger, [https://archive.today/20130105075745/http://www3.interscience.wiley.com/journal/113397463/abstract?CRETRY=1&SRETRY=0 ''Dehn's algorithm for the word problem.''] Communications on Pure and Applied Mathematics, vol. 13 (1960), pp. 67&ndash;83.</ref><ref name="G2">Martin Greendlinger, [https://archive.today/20130105144710/http://www3.interscience.wiley.com/journal/113397594/abstract ''On Dehn's algorithms for the conjugacy and word problems, with applications''.] Communications on Pure and Applied Mathematics, vol. 13 (1960), pp. 641&ndash;677.</ref><ref name="G3">Martin Greendlinger, [https://doi.org/10.1007%2FBF01650530 ''An analogue of a theorem of Magnus.''] Archiv der Mathematik, vol 12 (1961), pp. 94&ndash;96.</ref> जो मुख्य रूप से मीट्रिक लघु निरस्तीकरण स्थितियों से सम्पादित होते थे। विशेष रूप से, ग्रीन्डलिंगर ने प्रमाणित किया कि C'(1/6) लघु निरस्तीकरण स्थिति को संतुष्ट करने वाले अंतिम रूप से प्रस्तुत समूहों में डेहेन के एल्गोरिथ्म द्वारा हल की जाने वाली शब्द समस्या है। लिंडन के बाद के कार्य में सिद्धांत को और अधिक परिष्कृत और औपचारिक रूप दिया गया,<ref>[[Roger Lyndon|Roger C. Lyndon]],
-[https://archive.today/20130203095145/http://www.springerlink.com/content/m32r66835135170m/?p=2e1f25b8a8ed4d00b8f6f67ce7198f9b&pi=1 ''On Dehn's algorithm.''] [[Mathematische Annalen]], vol. 166 (1966), pp. 208&ndash;228.</ref> रूसी<ref>Paul E. Schupp, [https://doi.org/10.1007%2FBF01350654 ''On Dehn's algorithm and the conjugacy problem.''] [[Mathematische Annalen]], vol 178 (1968), pp. 119&ndash;130.</ref> और लिंडन-स्कूप,<ref name="LS"/>जिन्होंने गैर-मीट्रिक छोटी रद्दीकरण स्थितियों के मामले का भी इलाज किया और समामेलन और एचएनएन-विस्तार के साथ मुक्त उत्पाद के लिए छोटे रद्दीकरण सिद्धांत का एक संस्करण विकसित किया।
+[https://archive.today/20130203095145/http://www.springerlink.com/content/m32r66835135170m/?p=2e1f25b8a8ed4d00b8f6f67ce7198f9b&pi=1 ''On Dehn's algorithm.''] [[Mathematische Annalen]], vol. 166 (1966), pp. 208&ndash;228.</ref> रूसी<ref>Paul E. Schupp, [https://doi.org/10.1007%2FBF01350654 ''On Dehn's algorithm and the conjugacy problem.''] [[Mathematische Annalen]], vol 178 (1968), pp. 119&ndash;130.</ref> और लिंडन-स्कूप,<ref name="LS"/>जिन्होंने गैर-मीट्रिक लघु निरस्तीकरण स्थितियों के प्रकरण का भी इलाज किया, कई गतिविधियों और एचएनएन-विस्तार के साथ मुक्त उत्पाद के लिए छोटे निरस्तीकरण सिद्धांत का एक संस्करण विकसित किया।
+लघु निरसन सिद्धांत को अलेक्जेंडर ओलशांस्की द्वारा विकसित किया गया था जिन्होंने विकसित किया था<ref name="Ol">Alexander Yu. Olʹshanskii, ''Geometry of defining relations in groups''. Translated from the 1989 Russian original by Yu. A. Bakhturin. Mathematics and its Applications (Soviet Series), 70. Kluwer Academic Publishers Group, Dordrecht, 1991. {{isbn|0-7923-1394-1}}.</ref> सिद्धांत का एक वर्गीकृत संस्करण जहां परिभाषित संबंधों का सेट एक निस्पंदन से सुसज्जित होता है और जहां एक विशेष ग्रेड के एक परिभाषित रिलेटर को एक उच्च ग्रेड के एक परिभाषित रिलेटर के साथ एक बड़े ओवरलैप की अनुमति होती है। ओलशास्की ने टार्स्की मॉन्स्टर्स समूह सहित विभिन्न मॉन्स्टर्स समूहों के निर्माण के लिए वर्गीकृत छोटे निरस्तीकरण सिद्धांत का उपयोग किया<ref>A. Yu. Olshanskii, ''An infinite group with subgroups of prime orders'', Math. USSR Izv. 16 (1981), 279&ndash;289; translation of Izvestia Akad. Nauk SSSR Ser. Matem. 44 (1980), 309&ndash;321.</ref> और एक नया प्रमाण देने के लिए भी<ref>A. Yu. Olshanskii, ''Groups of bounded period with subgroups of prime order'', Algebra and Logic 21 (1983), 369-418; translation of Algebra i Logika 21 (1982), 553-618.</ref> बड़े विषम घातांक की बर्नसाइड की समस्या अनंत है (यह परिणाम मूल रूप से [[सर्गेई एडियन]] और [[पीटर नोविकोव]] द्वारा 1968 में अधिक संयोजी विधियों का उपयोग करके सिद्ध किया गया था)।<ref>P. S. Novikov, S. I. Adian, [http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=2699&option_lang=eng ''Infinite periodic groups. I''.] Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 1, pp. 212&ndash;244.</ref><ref>P. S. Novikov, S. I. Adian,  ''Infinite periodic groups. II''. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 2, pp. 251&ndash;524.</ref><ref>P. S. Novikov, S. I. Adian. ''Infinite periodic groups. III''. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 3, pp. 709&ndash;731.</ref>
+लघु निरस्तीकरण सिद्धांत ने शब्द-अतिशयोक्तिपूर्ण समूहों के सिद्धांत के लिए उदाहरणों और विचारों का एक बुनियादी सेट प्रदान किया जो कि मिखाइल ग्रोमोव (गणितज्ञ) द्वारा 1987 के मोनोग्राफ हाइपरबोलिक समूहों में सामने रखा गया था।<ref>M. Gromov, ''Hyperbolic Groups'', in "Essays in Group Theory" (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75-263.</ref>
-लघु निरसन सिद्धांत को अलेक्जेंडर ओलशांस्की द्वारा विकसित किया गया था जिन्होंने विकसित किया था<ref name="Ol">Alexander Yu. Olʹshanskii, ''Geometry of defining relations in groups''. Translated from the 1989 Russian original by Yu. A. Bakhturin. Mathematics and its Applications (Soviet Series), 70. Kluwer Academic Publishers Group, Dordrecht, 1991. {{isbn|0-7923-1394-1}}.</ref> सिद्धांत का एक वर्गीकृत संस्करण जहां परिभाषित संबंधों का सेट एक निस्पंदन से सुसज्जित होता है और जहां एक विशेष ग्रेड के एक परिभाषित रिलेटर को एक उच्च ग्रेड के एक परिभाषित रिलेटर के साथ एक बड़े ओवरलैप की अनुमति होती है। ओलशास्की ने टार्स्की राक्षस समूह सहित विभिन्न राक्षस समूहों के निर्माण के लिए वर्गीकृत छोटे रद्दीकरण सिद्धांत का इस्तेमाल किया<ref>A. Yu. Olshanskii, ''An infinite group with subgroups of prime orders'', Math. USSR Izv. 16 (1981), 279&ndash;289; translation of Izvestia Akad. Nauk SSSR Ser. Matem. 44 (1980), 309&ndash;321.</ref> और एक नया प्रमाण देने के लिए भी<ref>A. Yu. Olshanskii, ''Groups of bounded period with subgroups of prime order'', Algebra and Logic 21 (1983), 369-418; translation of Algebra i Logika 21 (1982), 553-618.</ref> बड़े विषम घातांक की बर्नसाइड की समस्या अनंत है (यह परिणाम मूल रूप से [[सर्गेई एडियन]] और [[पीटर नोविकोव]] द्वारा 1968 में अधिक संयोजी विधियों का उपयोग करके सिद्ध किया गया था)।<ref>P. S. Novikov, S. I. Adian, [http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=im&paperid=2699&option_lang=eng ''Infinite periodic groups. I''.] Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 1, pp. 212&ndash;244.</ref><ref>P. S. Novikov, S. I. Adian,  ''Infinite periodic groups. II''. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 2, pp. 251&ndash;524.</ref><ref>P. S. Novikov, S. I. Adian. ''Infinite periodic groups. III''. Izvestia Akademii Nauk SSSR. Ser. Mat., vol. 32 (1968), no. 3, pp. 709&ndash;731.</ref>
-लघु रद्दीकरण सिद्धांत ने शब्द-अतिशयोक्तिपूर्ण समूहों के सिद्धांत के लिए उदाहरणों और विचारों का एक बुनियादी सेट प्रदान किया जो कि मिखाइल ग्रोमोव (गणितज्ञ) द्वारा 1987 के मोनोग्राफ हाइपरबोलिक समूहों में सामने रखा गया था।<ref>M. Gromov, ''Hyperbolic Groups'', in "Essays in Group Theory" (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75-263.</ref>
 == मुख्य परिभाषाएँ ==
-नीचे दी गई प्रदर्शनी मोटे तौर पर Ch का अनुसरण करती है। लिंडन और शूप की पुस्तक का वी।<ref name="LS"/>
+लिंडन और शूप की पुस्तक का V, नीचे दी गई प्रदर्शनी मुख्य रूप से Ch का अनुसरण करती है। ।<ref name="LS"/>
+=== अनुभाग ===
+:'''<math> G=\langle X\mid R\rangle\qquad (*)</math>'''
+:एक समूह की प्रस्तुति हो जहां R ⊆ F(X) [[मुक्त समूह]] F(X) में स्वतंत्र रूप से कम किए गए और चक्रीय रूप से कम किए गए शब्दों का एक सेट है, जैसे कि R सममित है, अर्थात चक्रीय क्रमपरिवर्तन और व्युत्क्रम लेने के तहत बंद है।
-=== टुकड़े ===
+f(x) में एक गैर-तुच्छ स्वतंत्र रूप से कम शब्द U को (∗) के संबंध में एक अनुभाग कहा जाता है यदि दो अलग-अलग तत्व उपलब्ध हैं R<sub>1</sub>, R<sub>2</sub>  में U अधिकतम साधारण प्रारंभिक खंड के रूप में है।
-होने देना
-:<math> G=\langle X\mid R\rangle\qquad (*)</math> एक समूह की प्रस्तुति हो जहां R ⊆ F(X) [[मुक्त समूह]] F(X) में स्वतंत्र रूप से कम किए गए और चक्रीय रूप से कम किए गए शब्दों का एक सेट है, जैसे कि R सममित है, यानी चक्रीय क्रमपरिवर्तन और व्युत्क्रम लेने के तहत बंद है।
-एफ (एक्स) में एक गैर-तुच्छ स्वतंत्र रूप से कम शब्द यू को (∗) के संबंध में एक टुकड़ा कहा जाता है यदि दो अलग-अलग तत्व मौजूद हैं<sub>1</sub>, आर<sub>2</sub> आर में यू अधिकतम आम प्रारंभिक खंड के रूप में है।
+ध्यान दें कि अगर <math>G=\langle X\mid S\rangle</math> एक समूह प्रस्तुति है जहां रिलेटर S को परिभाषित करने का सेट सममित नहीं है, हम सदैव S के सममित बंद R को ले सकते हैं, जहां R में S और S<sup>-1</sup> के तत्वों के सभी चक्रीय क्रम परिवर्तन होते हैं। फिर R सममित है और <math>G=\langle X\mid R\rangle</math> की भी प्रस्तुति है।
-ध्यान दें कि अगर <math>G=\langle X\mid S\rangle</math> एक समूह प्रस्तुति है जहां रिलेटर एस को परिभाषित करने का सेट सममित नहीं है, हम हमेशा एस के सममित बंद आर को ले सकते हैं, जहां आर में एस और एस के तत्वों के सभी चक्रीय क्रमपरिवर्तन होते हैं।<sup>-1</sup>. फिर आर सममित है और <math>G=\langle X\mid R\rangle</math> जी की भी प्रस्तुति है।
+=== मीट्रिक लघु निरस्तीकरण की शर्तें ===
-=== मीट्रिक छोटी रद्द करने की शर्तें ===
+<big>0< λ < 1</big>
-चलो 0< λ < 1। उपरोक्त के रूप में प्रस्तुति (∗) को सी'(λ) छोटी रद्दीकरण स्थिति को पूरा करने के लिए कहा जाता है यदि जब भी यू (∗) के संबंध में एक टुकड़ा है और यू कुछ आर ∈ आर का उपशब्द है, तो |यू| < λ|आर|। यहां |वी| एक शब्द वी की लंबाई है।
+'''उपरोक्त के रूप में प्रस्तुति''' (∗) को सी'(λ) लघु निरस्तीकरण स्थिति को पूरा करने के लिए कहा जाता है यदि जब भी यू (∗) के संबंध में एक अनुभाग है और यू कुछ R ∈ R का उपशब्द है, तो |यू| < λ|R|। यहां |वी| एक शब्द वी की लंबाई है।
-स्थिति C′(λ) को कभी-कभी मीट्रिक छोटी रद्दीकरण स्थिति कहा जाता है।
+स्थिति C′(λ) को कभी-कभी मीट्रिक लघु निरस्तीकरण स्थिति कहा जाता है।
-===गैर-मीट्रिक छोटी रद्दीकरण शर्तें===
+===गैर-मीट्रिक लघु निरस्तीकरण शर्तें===
-मान लीजिए p ≥ 3 एक पूर्णांक है। उपरोक्त के अनुसार समूह प्रस्तुति (∗) को C(p) छोटी रद्दीकरण शर्त को पूरा करने के लिए कहा जाता है यदि जब भी r ∈ R और
+मान लीजिए p ≥ 3 एक पूर्णांक है। उपरोक्त के अनुसार समूह प्रस्तुति (∗) को C(p) लघु निरस्तीकरण शर्त को पूरा करने के लिए कहा जाता है यदि जब भी r ∈ R और
-:<math>r=u_1\dots u_m</math> जहां तुम<sub>''i''</sub> टुकड़े हैं और जहां उपरोक्त उत्पाद लिखित रूप में स्वतंत्र रूप से कम किया गया है, तो एम ≥ पी। यही है, कोई परिभाषित संबंधक पी टुकड़ों से कम के कम उत्पाद के रूप में नहीं लिखा जा सकता है।
+:<math>r=u_1\dots u_m</math> जहां तुम<sub>''i''</sub> अनुभाग हैं और जहां उपरोक्त उत्पाद लिखित रूप में स्वतंत्र रूप से कम किया गया है, तो एम ≥ पी। यही है, कोई परिभाषित संबंधक पी टुकड़ों से कम के कम उत्पाद के रूप में नहीं लिखा जा सकता है।
-मान लीजिए q ≥ 3 एक पूर्णांक है। ऊपर के रूप में एक समूह प्रस्तुति (∗) को टी (क्यू) छोटी रद्दीकरण शर्त को पूरा करने के लिए कहा जाता है यदि जब भी 3 ≤ टी < क्यू और आर<sub>1</sub>,...,आर<sub>t</sub> आर में ऐसे हैं कि आर<sub>1</sub>≠ आर<sub>2</sub><sup>−1</sup>,...,
+मान लीजिए q ≥ 3 एक पूर्णांक है। ऊपर के रूप में एक समूह प्रस्तुति (∗) को टी (क्यू) लघु निरस्तीकरण शर्त को पूरा करने के लिए कहा जाता है यदि जब भी 3 ≤ टी < क्यू और R<sub>1</sub>,...,R<sub>t</sub> R में ऐसे हैं कि R<sub>1</sub>≠ R<sub>2</sub><sup>−1</sup>,...,
-आर<sub>t</sub>≠ आर<sub>1</sub><sup>−1</sup> तो कम से कम एक उत्पाद r<sub>1</sub>r<sub>2</sub>,...,आर<sub>t&minus;1</sub>r<sub>t</sub>, आर<sub>t</sub>r<sub>1</sub> लिखित रूप में स्वतंत्र रूप से कम किया जाता है।
+R<sub>t</sub>≠ R<sub>1</sub><sup>−1</sup> तो कम से कम एक उत्पाद r<sub>1</sub>r<sub>2</sub>,...,R<sub>t&minus;1</sub>r<sub>t</sub>, R<sub>t</sub>r<sub>1</sub> लिखित रूप में स्वतंत्र रूप से कम किया जाता है।
-ज्यामितीय रूप से, स्थिति T(q) का अनिवार्य रूप से मतलब है कि यदि D (∗) पर एक घटा हुआ [[वैन कम्पेन आरेख]] है, तो कम से कम तीन डिग्री के D के प्रत्येक आंतरिक शीर्ष में वास्तव में कम से कम q की डिग्री होती है।
+ज्यामितीय रूप से, स्थिति T(q) का अनिवार्य रूप से मतलब है कि यदि D (∗) पर एक घटा हुआ [[वैन कम्पेन आरेख|वैन कम्पेन Rेख]] है, तो कम से कम तीन डिग्री के D के प्रत्येक आंतरिक शीर्ष में वास्तव में कम से कम q की डिग्री होती है।
 === उदाहरण ===
-*होने देना <math>G=\langle a,b\mid aba^{-1}b^{-1}\rangle</math> रैंक दो के [[मुक्त एबेलियन समूह]] की मानक प्रस्तुति हो। फिर इस प्रस्तुति के सममित बंद होने के लिए केवल टुकड़े लंबाई 1 के शब्द हैं। यह सममित रूप C(4)–T(4) छोटी रद्दीकरण शर्तों और किसी भी 1 > λ > 1/ के लिए C′(λ) स्थिति को पूरा करता है 4.
+*होने देना <math>G=\langle a,b\mid aba^{-1}b^{-1}\rangle</math> रैंक दो के [[मुक्त एबेलियन समूह]] की मानक प्रस्तुति हो। फिर इस प्रस्तुति के सममित बंद होने के लिए केवल अनुभाग लंबाई 1 के शब्द हैं। यह सममित रूप C(4)–T(4) लघु निरस्तीकरण शर्तों और किसी भी 1 > λ > 1/ के लिए C′(λ) स्थिति को पूरा करता है 4.
-*होने देना <math>G=\langle a_1,b_1,\dots, a_k,b_k\mid [a_1,b_1]\cdot\dots\cdot [a_k,b_k]\rangle</math>, जहां k ≥ 2, जीनस k की एक बंद ओरिएंटेबल सतह के [[मौलिक समूह]] की मानक प्रस्तुति हो। फिर इस प्रस्तुति के सममितीकरण के लिए केवल लंबाई 1 के शब्द हैं और यह समरूपता C'(1/7) और C(8) छोटी रद्दीकरण शर्तों को पूरा करती है।
+*होने देना <math>G=\langle a_1,b_1,\dots, a_k,b_k\mid [a_1,b_1]\cdot\dots\cdot [a_k,b_k]\rangle</math>, जहां k ≥ 2, जीनस k की एक बंद ओरिएंटेबल सतह के [[मौलिक समूह]] की मानक प्रस्तुति हो। फिर इस प्रस्तुति के सममितीकरण के लिए केवल लंबाई 1 के शब्द हैं और यह समरूपता C'(1/7) और C(8) लघु निरस्तीकरण शर्तों को पूरा करती है।
-*होने देना <math>G=\langle a,b\mid abab^2ab^3\dots ab^{100}\rangle</math>. फिर, व्युत्क्रम तक, इस प्रस्तुति के सममित संस्करण के लिए प्रत्येक भाग का रूप b है<sup>मैं अब<sup>जे </सुप> या बी<sup>i</sup>, जहां 0 ≤ i,j ≤ 100। यह सममितीकरण C′(1/20) छोटी रद्दीकरण स्थिति को पूरा करता है।
+*होने देना <math>G=\langle a,b\mid abab^2ab^3\dots ab^{100}\rangle</math>. फिर, व्युत्क्रम तक, इस प्रस्तुति के सममित संस्करण के लिए प्रत्येक भाग का रूप b है<sup>मैं अब<sup>जे </सुप> या बी<sup>i</sup>, जहां 0 ≤ i,j ≤ 100। यह सममितीकरण C′(1/20) लघु निरस्तीकरण स्थिति को पूरा करता है।
 *यदि एक सममित प्रस्तुति C'(1/m) स्थिति को संतुष्ट करती है तो यह C(m) स्थिति को भी संतुष्ट करती है।
-*चलो r ∈ F(X) एक गैर-तुच्छ चक्रीय रूप से कम किया गया शब्द है जो F(X) में एक उचित शक्ति नहीं है और n ≥ 2 दें। फिर प्रस्तुति का सममित समापन <math> G=\langle X\mid r^n\rangle</math> C(2n) को संतुष्ट करता है<ref>Stephen J. Pride. [https://doi.org/10.1007%2FBF01252863  ''Small cancellation conditions satisfied by one-relator groups''.]  [[Mathematische Zeitschrift]], vol. 184  (1983),  no. 2, pp. 283&ndash;286.</ref> और C'(1/n) छोटी रद्दीकरण शर्तें।
+*चलो r ∈ F(X) एक गैर-तुच्छ चक्रीय रूप से कम किया गया शब्द है जो F(X) में एक उचित शक्ति नहीं है और n ≥ 2 दें। फिर प्रस्तुति का सममित समापन <math> G=\langle X\mid r^n\rangle</math> C(2n) को संतुष्ट करता है<ref>Stephen J. Pride. [https://doi.org/10.1007%2FBF01252863  ''Small cancellation conditions satisfied by one-relator groups''.]  [[Mathematische Zeitschrift]], vol. 184  (1983),  no. 2, pp. 283&ndash;286.</ref> और C'(1/n) लघु निरस्तीकरण शर्तें।
-== छोटे रद्दीकरण सिद्धांत के मूल परिणाम ==
+== छोटे निरस्तीकरण सिद्धांत के मूल परिणाम ==
 === ग्रीनलिंगर की लेम्मा ===
-मीट्रिक छोटी रद्दीकरण स्थिति के बारे में मुख्य परिणाम निम्न कथन है (देखें प्रमेय 4.4 के Ch. V में <ref name="LS"/> जिसे आमतौर पर कहा जाता है
+मीट्रिक लघु निरस्तीकरण स्थिति के बारे में मुख्य परिणाम निम्न कथन है (देखें प्रमेय 4.4 के Ch. V में <ref name="LS"/> जिसे साधारणतौर पर कहा जाता है
 ग्रीन्डलिंगर की लेम्मा:
-आज्ञा दें (∗) एक समूह प्रस्तुति हो जैसा कि उपरोक्त ''C'''(''λ'') छोटी रद्दीकरण स्थिति को संतुष्ट करता है जहां 0 ≤ ''λ'' ≤ 1/6। चलो ''w'' ∈ ''F''(''X'') एक गैर-तुच्छ स्वतंत्र रूप से कम किया गया शब्द है जैसे ''w'' = 1 ''G'' में। फिर ''w'' का एक उपशब्द ''v'' है और एक परिभाषित संबंधक ''r'' ∈ ''R'' ऐसा है कि ''v'' भी ''r'' का एक उपशब्द है और ऐसा वह
+आज्ञा दें (∗) एक समूह प्रस्तुति हो जैसा कि उपरोक्त ''C'''(''λ'') लघु निरस्तीकरण स्थिति को संतुष्ट करता है जहां 0 ≤ ''λ'' ≤ 1/6। चलो ''w'' ∈ ''F''(''X'') एक गैर-तुच्छ स्वतंत्र रूप से कम किया गया शब्द है जैसे ''w'' = 1 ''G'' में। फिर ''w'' का एक उपशब्द ''v'' है और एक परिभाषित संबंधक ''r'' ∈ ''R'' ऐसा है कि ''v'' भी ''r'' का एक उपशब्द है और ऐसा वह
 :<math>
 \left|v\right| > \left(1-3\lambda\right)\left|r\right|
 </math>
-ध्यान दें कि धारणा λ ≤ 1/6 का अर्थ है कि  (1 − 3λ) ≥ 1/2, ताकि w में कुछ परिभाषित रिलेटर के आधे से अधिक उपशब्द हों।
+ध्यान दें कि धारणा λ ≤ 1/6 का अर्थ है कि (1 − 3λ) ≥ 1/2, ताकि w में कुछ परिभाषित रिलेटर के आधे से अधिक उपशब्द हों।
 ग्रीन्डलिंगर की लेम्मा को निम्नलिखित ज्यामितीय कथन के परिणाम के रूप में प्राप्त किया जाता है:
-ग्रीन्डलिंगर के लेम्मा की धारणाओं के तहत, डी को चक्रीय रूप से कम सीमा लेबल के साथ (∗) पर एक कम वैन कैम्पेन आरेख होने दें, जैसे कि डी में कम से कम दो क्षेत्र शामिल हैं। तब दो अलग-अलग क्षेत्र होते हैं D<sub>1</sub> और डी<sub>2</sub> D में ऐसा है कि j = 1,2 के लिए क्षेत्र D<sub>''j''</sub> D के सीमा चक्र ∂D को एक साधारण चाप में काटता है जिसकी लंबाई (1 − 3λ)|∂D से बड़ी है<sub>''j''</sub>|।
+ग्रीन्डलिंगर के लेम्मा की धारणाओं के तहत, डी को चक्रीय रूप से कम सीमा लेबल के साथ (∗) पर एक कम वैन कैम्पेन Rेख होने दें, जैसे कि डी में कम से कम दो क्षेत्र सम्मिलित हैं। तब दो अलग-अलग क्षेत्र होते हैं D<sub>1</sub> और डी<sub>2</sub> D में ऐसा है कि j = 1,2 के लिए क्षेत्र D<sub>''j''</sub> D के सीमा चक्र ∂D को एक साधारण चाप में काटता है जिसकी लंबाई (1 − 3λ)|∂D से बड़ी है<sub>''j''</sub>|।
-बदले में यह परिणाम डी के लिए एक दोहरे आरेख पर विचार करके सिद्ध किया गया है। वहां एक वक्रता की संयोजन धारणा को परिभाषित करता है (जो कि, छोटी रद्दीकरण धारणाओं द्वारा, प्रत्येक आंतरिक शीर्ष पर नकारात्मक है), और फिर गॉस का संयोजन संस्करण प्राप्त करता है- बोनट प्रमेय। ग्रीन्डलिंगर की लेम्मा इस विश्लेषण के परिणाम के रूप में साबित हुई है और इस तरह सबूत सतह समूहों के मामले के लिए देह के मूल सबूत के विचारों को उजागर करता है।
+बदले में यह परिणाम डी के लिए एक दोहरे Rेख पर विचार करके सिद्ध किया गया है। वहां एक वक्रता की संयोजन धारणा को परिभाषित करता है (जो कि, लघु निरस्तीकरण धारणाओं द्वारा, प्रत्येक आंतरिक शीर्ष पर नकारात्मक है), और फिर गॉस का संयोजन संस्करण प्राप्त करता है- बोनट प्रमेय। ग्रीन्डलिंगर की लेम्मा इस विश्लेषण के परिणाम के रूप में प्रमाणित हुई है और इस तरह सबूत सतह समूहों के प्रकरण के लिए डेहेन के मूल सबूत के विचारों को उजागर करता है।
-=== देह का एल्गोरिथम ===
+=== डेहेन का एल्गोरिथम ===
-किसी भी सममित समूह प्रस्तुति (∗) के लिए, निम्नलिखित अमूर्त प्रक्रिया को देह का एल्गोरिथम कहा जाता है:
+किसी भी सममित समूह प्रस्तुति (∗) के लिए, निम्नलिखित अमूर्त प्रक्रिया को डेहेन का एल्गोरिथम कहा जाता है:
 *'X'' पर एक मुक्त रूप से कम किया हुआ शब्द ''w'' दिया गया है<sup>±1</sup>, स्वतंत्र रूप से कम किए गए शब्दों का एक क्रम बनाएं w = w<sub>0</sub>, में<sub>1</sub>, में<sub>2</sub>,..., निम्नलिखित नुसार।
-* मान लीजिए डब्ल्यू<sub>''j''</sub> पहले से ही निर्मित है। यदि यह खाली शब्द है, तो एल्गोरिथम को समाप्त करें। अन्यथा जांचें कि क्या डब्ल्यू<sub>''j''</sub> इसमें एक सबवर्ड v होता है जैसे कि v भी कुछ डिफाइनिंग रिलेटर r = vu ∈ R का एक सबवर्ड होता है जैसे कि |v| >>|आर|/2. यदि नहीं, तो आउटपुट w के साथ एल्गोरिथ्म को समाप्त करें<sub>''j''</sub>. यदि हाँ, तो v को u से बदलें<sup>-1</sup> डब्ल्यू में<sub>''j''</sub>, फिर स्वतंत्र रूप से कम करें, परिणामी स्वतंत्र रूप से कम किए गए शब्द को w से निरूपित करें<sub>''j''+1</sub> और एल्गोरिथम के अगले चरण पर जाएं।
+* मान लीजिए डब्ल्यू<sub>''j''</sub> पहले से ही निर्मित है। यदि यह खाली शब्द है, तो एल्गोरिथम को समाप्त करें। अन्यथा जांचें कि क्या डब्ल्यू<sub>''j''</sub> इसमें एक सबवर्ड v होता है जैसे कि v भी कुछ डिफाइनिंग रिलेटर r = vu ∈ R का एक सबवर्ड होता है जैसे कि |v| >>|R|/2. यदि नहीं, तो आउटपुट w के साथ एल्गोरिथ्म को समाप्त करें<sub>''j''</sub>. यदि हाँ, तो v को u से बदलें<sup>-1</sup> डब्ल्यू में<sub>''j''</sub>, फिर स्वतंत्र रूप से कम करें, परिणामी स्वतंत्र रूप से कम किए गए शब्द को w से निरूपित करें<sub>''j''+1</sub> और एल्गोरिथम के अगले चरण पर जाएं।
-ध्यान दें कि हमारे पास हमेशा होता है
+ध्यान दें कि हमारे पास सदैव होता है
 :|व<sub>0</sub>| >>|व<sub>1</sub>| >>|व<sub>2</sub>| >...
 जिसका तात्पर्य है कि प्रक्रिया को अधिकतम |w| में समाप्त होना चाहिए कदम। इसके अलावा, सभी शब्द डब्ल्यू<sub>''j''</sub> G के उसी तत्व का प्रतिनिधित्व करता है जैसा w करता है और इसलिए यदि प्रक्रिया खाली शब्द के साथ समाप्त होती है, तो w G के पहचान तत्व का प्रतिनिधित्व करता है।
-एक का कहना है कि एक सममित प्रस्तुति के लिए (∗) Dehn का एल्गोरिथ्म G में समूहों के लिए शब्द समस्या को हल करता है यदि विलोम भी सत्य है, अर्थात यदि F(X) में किसी मुक्त रूप से घटाए गए शब्द w के लिए यह शब्द G के पहचान तत्व का प्रतिनिधित्व करता है ' अगर और केवल अगर' देह का एल्गोरिदम, डब्ल्यू से शुरू होता है, खाली शब्द में समाप्त होता है।
+एक का कहना है कि एक सममित प्रस्तुति के लिए (∗) डेहेन का एल्गोरिथ्म G में समूहों के लिए शब्द समस्या को हल करता है यदि विलोम भी सत्य है, अर्थात यदि F(X) में किसी मुक्त रूप से घटाए गए शब्द w के लिए यह शब्द G के पहचान तत्व का प्रतिनिधित्व करता है ' अगर और केवल अगर' डेहेन का एल्गोरिदम, डब्ल्यू से शुरू होता है, खाली शब्द में समाप्त होता है।
-ग्रीन्डलिंगर की लेम्मा का तात्पर्य है कि C'(1/6) प्रस्तुति के लिए Dehn का एल्गोरिथ्म शब्द समस्या को हल करता है।
+ग्रीन्डलिंगर की लेम्मा का तात्पर्य है कि C'(1/6) प्रस्तुति के लिए डेहेन का एल्गोरिथ्म शब्द समस्या को हल करता है।
-यदि एक C'(1/6) प्रस्तुति (∗) परिमित है (अर्थात् X और R दोनों परिमित हैं), तो Dehn का एल्गोरिथ्म एक वास्तविक गैर-नियतात्मक [[कलन विधि]] है। [[पुनरावर्तन सिद्धांत]] के अर्थ में गैर-नियतात्मक एल्गोरिथम है। हालाँकि, भले ही (∗) एक अनंत C′(1/6) प्रस्तुति हो, Dehn का एल्गोरिथ्म, जिसे एक अमूर्त प्रक्रिया के रूप में समझा जाता है, फिर भी सही ढंग से तय करता है कि जनरेटर X में कोई शब्द है या नहीं<sup>±1</sup> जी के तत्समक तत्व का प्रतिनिधित्व करता है।
+यदि एक C'(1/6) प्रस्तुति (∗) परिमित है (अर्थात् X और R दोनों परिमित हैं), तो डेहेन का एल्गोरिथ्म एक वास्तविक गैर-नियतात्मक [[कलन विधि]] है। [[पुनरावर्तन सिद्धांत]] के अर्थ में गैर-नियतात्मक एल्गोरिथम है। हालाँकि, भले ही (∗) एक अनंत C′(1/6) प्रस्तुति हो, डेहेन का एल्गोरिथ्म, जिसे एक अमूर्त प्रक्रिया के रूप में समझा जाता है, फिर भी सही ढंग से तय करता है कि जनरेटर X में कोई शब्द है या नहीं<sup>±1</sup> जी के तत्समक तत्व का प्रतिनिधित्व करता है।
-=== एस्फेरिसिटी ===
+=== S्फेरिसिटी ===
-आज्ञा दें (∗) एक C'(1/6) या, अधिक आम तौर पर, C(6) प्रस्तुति जहां प्रत्येक r ∈ R F(X) में एक उचित शक्ति नहीं है तो G निम्नलिखित अर्थों में [[एस्फेरिकल स्पेस]] है। R के एक न्यूनतम उपसमुच्चय S पर विचार करें जैसे कि S का सममित समापन R के बराबर है। इस प्रकार यदि r और s, S के विशिष्ट तत्व हैं तो r, s का चक्रीय क्रमचय नहीं है<sup>±1</sup> और <math>G=\langle X\mid S\rangle </math> जी के लिए एक और प्रस्तुति है। इस प्रस्तुति के लिए वाई को प्रस्तुतिकरण जटिल होना चाहिए। तब (देखें <ref>Ian M. Chiswell, Donald J. Collins, Johannes Huebschmann, ''Aspherical group presentations''.
+आज्ञा दें (∗) एक C'(1/6) या, अधिक साधारण तौर पर, C(6) प्रस्तुति जहां प्रत्येक r ∈ R F(X) में एक उचित शक्ति नहीं है तो G निम्नलिखित अर्थों में [[एस्फेरिकल स्पेस|S्फेरिकल स्पेस]] है। R के एक न्यूनतम उपसमुच्चय S पर विचार करें जैसे कि S का सममित समापन R के बराबर है। इस प्रकार यदि r और s, S के विशिष्ट तत्व हैं तो r, s का चक्रीय क्रमचय नहीं है<sup>±1</sup> और <math>G=\langle X\mid S\rangle </math> जी के लिए एक और प्रस्तुति है। इस प्रस्तुति के लिए वाई को प्रस्तुतिकरण जटिल होना चाहिए। तब (देखें <ref>Ian M. Chiswell, Donald J. Collins, Johannes Huebschmann, ''Aspherical group presentations''.
 [[Mathematische Zeitschrift]], vol. 178 (1981), no. 1, pp. 1&ndash;36.</ref> और प्रमेय 13.3 में <ref name="Ol"/>), उपरोक्त मान्यताओं के तहत (∗), Y, G के लिए एक वर्गीकरण स्थान है, अर्थात G = π<sub>1</sub>(Y) और Y का [[सार्वभौमिक आवरण]] सिकुड़ा हुआ स्थान है। विशेष रूप से, इसका तात्पर्य है कि G मरोड़-मुक्त है और इसका [[कोहोलॉजिकल आयाम]] दो है।
 === अधिक सामान्य वक्रता ===
-अधिक आम तौर पर, किसी भी वैन कम्पेन आरेख पर विभिन्न प्रकार के स्थानीय वक्रता को परिभाषित करना संभव है - बहुत मोटे तौर पर - औसत अतिरिक्त {{nowrap|vertices + faces − edges}} (जो, यूलर के सूत्र द्वारा, कुल 2 होना चाहिए) और, एक विशेष समूह में दिखाकर, कि यह हमेशा गैर-सकारात्मक (या – इससे भी बेहतर – नकारात्मक) आंतरिक रूप से दिखाता है कि वक्रता सभी सीमा पर या उसके पास होनी चाहिए और इस प्रकार शब्द समस्या का समाधान प्राप्त करने का प्रयास करें। इसके अलावा, कोई भी उन आरेखों पर ध्यान केंद्रित कर सकता है जिनमें क्षेत्रों का कोई सेट नहीं होता है जैसे कि एक ही सीमा के साथ एक छोटा क्षेत्र होता है।
+अधिक साधारण तौर पर, किसी भी वैन कम्पेन Rेख पर विभिन्न प्रकार के स्थानीय वक्रता को परिभाषित करना संभव है - बहुत मुख्य रूप से - औसत अतिरिक्त {{nowrap|vertices + faces − edges}} (जो, यूलर के सूत्र द्वारा, कुल 2 होना चाहिए) और, एक विशेष समूह में दिखाकर, कि यह सदैव गैर-सकारात्मक (या – इससे भी बेहतर – नकारात्मक) आंतरिक रूप से दिखाता है कि वक्रता सभी सीमा पर या उसके पास होनी चाहिए और इस प्रकार शब्द समस्या का समाधान प्राप्त करने का प्रयास करें। इसके अलावा, कोई भी उन Rेखों पर ध्यान केंद्रित कर सकता है जिनमें क्षेत्रों का कोई सेट नहीं होता है जैसे कि एक ही सीमा के साथ एक छोटा क्षेत्र होता है।
-=== छोटे रद्दीकरण समूहों के अन्य बुनियादी गुण ===
+=== छोटे निरस्तीकरण समूहों के अन्य बुनियादी गुण ===
 *मान लीजिए (∗) एक C′(1/6) प्रस्तुति है। तब G में एक तत्व g का क्रम n > 1 होता है यदि और केवल यदि R में r = s के रूप में कोई रिलेटर होता है<sup>n</sup> F(X) में ऐसा है कि g, G में s के लिए संयुग्मी वर्ग है। विशेष रूप से, यदि R के सभी तत्व F(X) में उचित शक्तियाँ नहीं हैं तो G मरोड़-मुक्त है।
 *यदि (∗) एक परिमित C′(1/6) प्रस्तुति है, तो समूह G शब्द-अतिशयोक्तिपूर्ण समूह है|शब्द-अतिपरवलयिक।
@@ Line 105: / Line 109: @@
 == अनुप्रयोग ==
-लघु निरस्तीकरण सिद्धांत के अनुप्रयोगों के उदाहरणों में शामिल हैं:
+लघु निरस्तीकरण सिद्धांत के अनुप्रयोगों के उदाहरणों में सम्मिलित हैं:
 *वैकल्पिक गांठों के समूहों के लिए संयुग्मन समस्या का समाधान (देखें<ref>C. M. Weinbaum, ''The word and conjugacy problems for the knot group of any tame, prime, alternating knot.'' [[Proceedings of the American Mathematical Society]], vol. 30 (1971), pp. 22&ndash;26.</ref><ref>K. I. Appel, P. E. Schupp, ''The conjugacy problem for the group of any tame alternating knot is solvable.'' [[Proceedings of the American Mathematical Society]], vol. 33 (1972), pp. 329&ndash;336.</ref> और अध्याय V, प्रमेय 8.5 इंच <ref name="LS">[[Roger Lyndon|Roger C. Lyndon]] and Paul Schupp, [https://books.google.com/books?id=aiPVBygHi_oC&pg=PR3&dq=Roger+Lyndon+and+Paul+Schupp,+Combinatorial+group+theory.+Reprint+of+the+1977+edition ''Combinatorial group theory''.] Reprint of the 1977 edition. Classics in Mathematics. [[Springer-Verlag]], Berlin, 2001. {{isbn|3-540-41158-5}}.</ref>), यह दिखाते हुए कि ऐसी गांठों के लिए संवर्धित गाँठ समूह C(4)–T(4) प्रस्तुतियों को स्वीकार करते हैं।
-* सूक्ष्म रूप से प्रस्तुत C′(1/6) छोटे रद्दीकरण समूह शब्द-अतिशयोक्तिपूर्ण समूहों के मूल उदाहरण हैं। शब्द-अतिशयोक्तिपूर्ण समूहों के समतुल्य लक्षणों में से एक यह है कि वे परिमित प्रस्तुतियों को स्वीकार करते हैं जहां देह के एल्गोरिदम समूहों के लिए शब्द समस्या हल करते हैं।
+* सूक्ष्म रूप से प्रस्तुत C′(1/6) छोटे निरस्तीकरण समूह शब्द-अतिशयोक्तिपूर्ण समूहों के मूल उदाहरण हैं। शब्द-अतिशयोक्तिपूर्ण समूहों के समतुल्य लक्षणों में से एक यह है कि वे परिमित प्रस्तुतियों को स्वीकार करते हैं जहां डेहेन के एल्गोरिदम समूहों के लिए शब्द समस्या हल करते हैं।
-* परिमित सी (4) – टी (4) प्रस्तुतियों द्वारा दिए गए सूक्ष्म रूप से प्रस्तुत समूह जहां प्रत्येक टुकड़े की लंबाई एक है सीएटी (0) समूहों के मूल उदाहरण हैं: इस तरह की प्रस्तुति के लिए प्रस्तुति परिसर का सार्वभौमिक आवरण कैट (के) है अंतरिक्ष | सीएटी (0) वर्ग परिसर।
+* परिमित सी (4) – टी (4) प्रस्तुतियों द्वारा दिए गए सूक्ष्म रूप से प्रस्तुत समूह जहां प्रत्येक अनुभाग की लंबाई एक है सीएटी (0) समूहों के मूल उदाहरण हैं: इस तरह की प्रस्तुति के लिए प्रस्तुति परिसर का सार्वभौमिक आवरण कैट (के) है अंतरिक्ष | सीएटी (0) वर्ग परिसर।
-*छोटे निरस्तीकरण सिद्धांत के प्रारंभिक अनुप्रयोगों में विभिन्न अंतःस्थापन परिणाम प्राप्त करना शामिल है। उदाहरणों में 1974 का पेपर शामिल है<ref>George S. Sacerdote and Paul E. Schupp, ''SQ-universality in HNN groups and one relator groups.'' [[Journal of the London Mathematical Society]] (2), vol. 7 (1974), pp. 733&ndash;740.</ref> Sacerdote और Schupp के प्रमाण के साथ कि कम से कम तीन जनरेटर वाला प्रत्येक एक-रिलेटर समूह SQ सार्वभौमिक समूह है। SQ-सार्वभौमिक और Schupp का 1976 का पेपर<ref>Paul E. Schupp, ''Embeddings into simple groups.'' [[Journal of the London Mathematical Society]] (2), vol. 13 (1976), no. 1, pp. 90&ndash;94.</ref> इस प्रमाण के साथ कि प्रत्येक गणनीय समूह को क्रम दो के तत्व और क्रम तीन के तत्व द्वारा उत्पन्न एक [[साधारण समूह]] में एम्बेड किया जा सकता है।
+*छोटे निरस्तीकरण सिद्धांत के प्रारंभिक अनुप्रयोगों में विभिन्न अंतःस्थापन परिणाम प्राप्त करना सम्मिलित है। उदाहरणों में 1974 का प्रकाशन सम्मिलित है<ref>George S. Sacerdote and Paul E. Schupp, ''SQ-universality in HNN groups and one relator groups.'' [[Journal of the London Mathematical Society]] (2), vol. 7 (1974), pp. 733&ndash;740.</ref> Sacerdote और Schupp के प्रमाण के साथ कि कम से कम तीन जनरेटर वाला प्रत्येक एक-रिलेटर समूह SQ सार्वभौमिक समूह है। SQ-सार्वभौमिक और Schupp का 1976 का प्रकाशन<ref>Paul E. Schupp, ''Embeddings into simple groups.'' [[Journal of the London Mathematical Society]] (2), vol. 13 (1976), no. 1, pp. 90&ndash;94.</ref> इस प्रमाण के साथ कि प्रत्येक गणनीय समूह को क्रम दो के तत्व और क्रम तीन के तत्व द्वारा उत्पन्न एक [[साधारण समूह]] में एम्बेड किया जा सकता है।
-*तथाकथित रिप्स निर्माण, [[एलियाहू चीरता है]] के कारण,<ref>E. Rips, ''Subgroups of small cancellation groups''. [[Bulletin of the London Mathematical Society]], vol. 14 (1982), no. 1, pp. 45&ndash;47.</ref> शब्द-अतिशयोक्तिपूर्ण समूहों के विभिन्न [[उपसमूह]] गुणों के बारे में काउंटर-उदाहरणों का एक समृद्ध स्रोत प्रदान करता है: मनमाने ढंग से प्रस्तुत समूह क्यू को देखते हुए, निर्माण एक छोटा सटीक अनुक्रम उत्पन्न करता है <math>1\to K\to G\to Q\to 1</math> जहाँ K दो-उत्पन्न होता है और जहाँ G मरोड़-मुक्त होता है और एक परिमित C′ (1/6) -प्रस्तुति द्वारा दिया जाता है (और इस प्रकार G शब्द-अतिशयोक्तिपूर्ण है)। निर्माण उपसमूह सदस्यता समस्या, पीढ़ी की समस्या और समूह के रैंक सहित शब्द-अतिशयोक्तिपूर्ण समूहों के लिए कई एल्गोरिथम समस्याओं की असम्बद्धता का प्रमाण देता है।<ref>G. Baumslag, C. F. Miller, H. Short, [https://archive.today/20120712085228/http://blms.oxfordjournals.org/cgi/content/abstract/26/1/97 ''Unsolvable problems about small cancellation and word hyperbolic groups''.] [[Bulletin of the London Mathematical Society]],  vol. 26 (1994), no. 1, pp. 97&ndash;101.</ref> साथ ही, कुछ अपवादों के साथ, रिप्स निर्माण में समूह K अंतिम रूप से प्रस्तुत समूह नहीं है। इसका तात्पर्य यह है कि ऐसे शब्द-अतिशयोक्तिपूर्ण समूह मौजूद हैं जो सुसंगत नहीं हैं, जिनमें उपसमूह होते हैं जो सूक्ष्म रूप से उत्पन्न होते हैं लेकिन अंतिम रूप से प्रस्तुत करने योग्य नहीं होते हैं।
+*तथाकथित रिप्स निर्माण, [[एलियाहू चीरता है]] के कारण,<ref>E. Rips, ''Subgroups of small cancellation groups''. [[Bulletin of the London Mathematical Society]], vol. 14 (1982), no. 1, pp. 45&ndash;47.</ref> शब्द-अतिशयोक्तिपूर्ण समूहों के विभिन्न [[उपसमूह]] गुणों के बारे में काउंटर-उदाहरणों का एक समृद्ध स्रोत प्रदान करता है: मनमाने ढंग से प्रस्तुत समूह क्यू को देखते हुए, निर्माण एक छोटा सटीक अनुक्रम उत्पन्न करता है <math>1\to K\to G\to Q\to 1</math> जहाँ K दो-उत्पन्न होता है और जहाँ G मरोड़-मुक्त होता है और एक परिमित C′ (1/6) -प्रस्तुति द्वारा दिया जाता है (और इस प्रकार G शब्द-अतिशयोक्तिपूर्ण है)। निर्माण उपसमूह सदस्यता समस्या, पीढ़ी की समस्या और समूह के रैंक सहित शब्द-अतिशयोक्तिपूर्ण समूहों के लिए कई एल्गोरिथम समस्याओं की असम्बद्धता का प्रमाण देता है।<ref>G. Baumslag, C. F. Miller, H. Short, [https://archive.today/20120712085228/http://blms.oxfordjournals.org/cgi/content/abstract/26/1/97 ''Unsolvable problems about small cancellation and word hyperbolic groups''.] [[Bulletin of the London Mathematical Society]],  vol. 26 (1994), no. 1, pp. 97&ndash;101.</ref> साथ ही, कुछ अपवादों के साथ, रिप्स निर्माण में समूह K अंतिम रूप से प्रस्तुत समूह नहीं है। इसका तात्पर्य यह है कि ऐसे शब्द-अतिशयोक्तिपूर्ण समूह उपलब्ध हैं जो सुसंगत नहीं हैं, जिनमें उपसमूह होते हैं जो सूक्ष्म रूप से उत्पन्न होते हैं लेकिन अंतिम रूप से प्रस्तुत करने योग्य नहीं होते हैं।
-* छोटी रद्दीकरण विधियों (अनंत प्रस्तुतियों के लिए) का उपयोग ओल्शांस्की द्वारा किया गया था<ref name="Ol"/>तर्स्की राक्षस समूह सहित विभिन्न राक्षस समूहों का निर्माण करने के लिए और एक प्रमाण देने के लिए कि बड़े विषम घातांक के [[मुक्त बर्नसाइड समूह]] अनंत हैं (एक समान परिणाम मूल रूप से 1968 में एडियन और नोविकोव द्वारा अधिक संयोजी विधियों का उपयोग करके सिद्ध किया गया था)। इस पद्धति का उपयोग करके ओल्शांस्की द्वारा निर्मित कुछ अन्य राक्षस समूहों में शामिल हैं: एक अनंत सरल समूह [[नोथेरियन समूह]]; एक अनंत समूह जिसमें प्रत्येक उचित उपसमूह का प्रधान क्रम होता है और एक ही क्रम के दो उपसमूह संयुग्मित होते हैं; एक [[अनुकूल समूह]] जहां हर उचित उपसमूह चक्रीय है; और दूसरे।<ref>A. Yu. Olʹshanskii,
+* लघु निरस्तीकरण विधियों (अनंत प्रस्तुतियों के लिए) का उपयोग ओल्शांस्की द्वारा किया गया था<ref name="Ol"/>तर्स्की मॉन्स्टर्स समूह सहित विभिन्न मॉन्स्टर्स समूहों का निर्माण करने के लिए और एक प्रमाण देने के लिए कि बड़े विषम घातांक के [[मुक्त बर्नसाइड समूह]] अनंत हैं (एक समान परिणाम मूल रूप से 1968 में एडियन और नोविकोव द्वारा अधिक संयोजी विधियों का उपयोग करके सिद्ध किया गया था)। इस पद्धति का उपयोग करके ओल्शांस्की द्वारा निर्मित कुछ अन्य मॉन्स्टर्स समूहों में सम्मिलित हैं: एक अनंत सरल समूह [[नोथेरियन समूह]]; एक अनंत समूह जिसमें प्रत्येक उचित उपसमूह का प्रधान क्रम होता है और एक ही क्रम के दो उपसमूह संयुग्मित होते हैं; एक [[अनुकूल समूह]] जहां हर उचित उपसमूह चक्रीय है; और दूसरे।<ref>A. Yu. Olʹshanskii,
 ''On a geometric method in the combinatorial group theory''. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), 415&ndash;424, PWN&ndash;Polish Scientific Publishers, Warsaw; North-Holland Publishing Co., Amsterdam, 1984. {{isbn|83-01-05523-5}}.</ref>
-*[[ब्रायन बॉडिच]]<ref>B. H. Bowditch, ''Continuously many quasi-isometry classes of 2-generator groups.'' [[Commentarii Mathematici Helvetici]], vol. 73 (1998), no. 2, pp. 232&ndash;236.</ref> यह साबित करने के लिए अनंत छोटी रद्दीकरण प्रस्तुतियों का उपयोग किया गया है कि दो-जनरेटर समूहों के लगातार कई [[अर्ध isometry]] | अर्ध-आइसोमेट्री प्रकार मौजूद हैं।
+*[[ब्रायन बॉडिच]]<ref>B. H. Bowditch, ''Continuously many quasi-isometry classes of 2-generator groups.'' [[Commentarii Mathematici Helvetici]], vol. 73 (1998), no. 2, pp. 232&ndash;236.</ref> यह प्रमाणित करने के लिए अनंत लघु निरस्तीकरण प्रस्तुतियों का उपयोग किया गया है कि दो-जनरेटर समूहों के लगातार कई [[अर्ध isometry]] | अर्ध-आइसोमेट्री प्रकार उपलब्ध हैं।
-*थॉमस और वेलिकोविच ने निर्माण के लिए लघु रद्दीकरण सिद्धांत का उपयोग किया<ref>S. Thomas and B. Velickovic. ''Asymptotic cones of finitely generated groups''.
+*थॉमस और वेलिकोविच ने निर्माण के लिए लघु निरस्तीकरण सिद्धांत का उपयोग किया<ref>S. Thomas and B. Velickovic. ''Asymptotic cones of finitely generated groups''.
 [[Bulletin of the London Mathematical Society]], vol. 32 (2000), no. 2, pp. 203&ndash;208.</ref> दो गैर-होमियोमॉर्फिक स्पर्शोन्मुख शंकुओं के साथ एक सूक्ष्म रूप से उत्पन्न समूह, इस प्रकार मिखाइल ग्रोमोव (गणितज्ञ) के एक प्रश्न का उत्तर दे रहा है।
-*मैककैमोंड और वाइज ने दिखाया कि कैसे रिप्स निर्माण द्वारा उत्पन्न कठिनाइयों को दूर किया जाए और छोटे रद्दीकरण समूहों के बड़े वर्गों का उत्पादन किया जाए जो सुसंगत हैं (अर्थात जहां सभी सूक्ष्म रूप से उत्पन्न उपसमूहों को सूक्ष्मता से प्रस्तुत किया जाता है) और, इसके अलावा, स्थानीय रूप से क्वासिकोनवेक्स (अर्थात जहां सभी सूक्ष्म रूप से उत्पन्न होते हैं) उपसमूह क्वासिकोनवेक्स हैं)।<ref>Jonathan P. McCammond and Daniel T. Wise, ''Coherence, local quasiconvexity, and the perimeter of 2-complexes.'' [[Geometric and Functional Analysis]], vol. 15 (2005), no. 4, pp. 859&ndash;927.</ref><ref>Jonathan P. McCammond and Daniel T.  Wise, ''Locally quasiconvex small-cancellation groups.'' [[Transactions of the American Mathematical Society]], vol. 360 (2008), no. 1, pp. 237&ndash;271.</ref>
+*मैककैमोंड और वाइज ने दिखाया कि कैसे रिप्स निर्माण द्वारा उत्पन्न कठिनाइयों को दूर किया जाए और छोटे निरस्तीकरण समूहों के बड़े वर्गों का उत्पादन किया जाए जो सुसंगत हैं (अर्थात जहां सभी सूक्ष्म रूप से उत्पन्न उपसमूहों को सूक्ष्मता से प्रस्तुत किया जाता है) और, इसके अलावा, स्थानीय रूप से क्वासिकोनवेक्स (अर्थात जहां सभी सूक्ष्म रूप से उत्पन्न होते हैं) उपसमूह क्वासिकोनवेक्स हैं)।<ref>Jonathan P. McCammond and Daniel T. Wise, ''Coherence, local quasiconvexity, and the perimeter of 2-complexes.'' [[Geometric and Functional Analysis]], vol. 15 (2005), no. 4, pp. 859&ndash;927.</ref><ref>Jonathan P. McCammond and Daniel T.  Wise, ''Locally quasiconvex small-cancellation groups.'' [[Transactions of the American Mathematical Society]], vol. 360 (2008), no. 1, pp. 237&ndash;271.</ref>
-*जेनेरिक या रैंडम समूह के विभिन्न मॉडलों के अध्ययन में रद्दीकरण के छोटे तरीके महत्वपूर्ण भूमिका निभाते हैं यादृच्छिक रूप से प्रस्तुत समूह (देखें <ref>Yann Ollivier,
+*जेनेरिक या रैंडम समूह के विभिन्न मॉडलों के अध्ययन में निरस्तीकरण के छोटे तरीके महत्वपूर्ण भूमिका निभाते हैं यादृच्छिक रूप से प्रस्तुत समूह (देखें <ref>Yann Ollivier,
 ''A January 2005 invitation to random groups.''
-Ensaios Matemáticos [Mathematical Surveys], 10. Sociedade Brasileira de Matemática, Rio de Janeiro, 2005. {{isbn|85-85818-30-1}}.</ref>). विशेष रूप से, जनरेटर की एक निश्चित संख्या m ≥ 2 और संबंधों को परिभाषित करने की एक निश्चित संख्या t ≥ 1 के लिए और किसी भी λ < 1 के लिए एक यादृच्छिक एम-जनरेटर टी-रिलेटर समूह C′(λ) छोटी रद्दीकरण स्थिति को संतुष्ट करता है। भले ही परिभाषित संबंधों की संख्या t निश्चित न हो लेकिन (2m − 1) के रूप में बढ़ती है<sup>εn</sup> (जहां ε ≥ 0 यादृच्छिक समूहों के ग्रोमोव के घनत्व मॉडल में निश्चित घनत्व पैरामीटर है, और जहां <math>n\to\infty</math> परिभाषित संबंधों की लंबाई है), तो एक ε-यादृच्छिक समूह प्रदान की गई C′(1/6) शर्त को पूरा करता है ε< 1/12।
+Ensaios Matemáticos [Mathematical Surveys], 10. Sociedade Brasileira de Matemática, Rio de Janeiro, 2005. {{isbn|85-85818-30-1}}.</ref>). विशेष रूप से, जनरेटर की एक निश्चित संख्या m ≥ 2 और संबंधों को परिभाषित करने की एक निश्चित संख्या t ≥ 1 के लिए और किसी भी λ < 1 के लिए एक यादृच्छिक एम-जनरेटर टी-रिलेटर समूह C′(λ) लघु निरस्तीकरण स्थिति को संतुष्ट करता है। भले ही परिभाषित संबंधों की संख्या t निश्चित न हो लेकिन (2m − 1) के रूप में बढ़ती है<sup>εn</sup> (जहां ε ≥ 0 यादृच्छिक समूहों के ग्रोमोव के घनत्व मॉडल में निश्चित घनत्व पैरामीटर है, और जहां <math>n\to\infty</math> परिभाषित संबंधों की लंबाई है), तो एक ε-यादृच्छिक समूह प्रदान की गई C′(1/6) शर्त को पूरा करता है ε< 1/12।
-*मिखाइल ग्रोमोव (गणितज्ञ)<ref name="Gromov"/>एक सूक्ष्म रूप से प्रस्तुत समूह के अस्तित्व को साबित करने के लिए एक ग्राफ के संबंध में छोटे रद्दीकरण सिद्धांत के एक संस्करण का उपयोग किया जिसमें (उचित अर्थ में) [[विस्तारक ग्राफ]] का एक अनंत अनुक्रम होता है और इसलिए [[हिल्बर्ट अंतरिक्ष]] में एक समान एम्बेडिंग को स्वीकार नहीं करता है। यह परिणाम [[नोविकोव अनुमान]] के प्रति-उदाहरणों की तलाश के लिए एक दिशा प्रदान करता है (अब तक केवल एक ही उपलब्ध है)।
+*मिखाइल ग्रोमोव (गणितज्ञ)<ref name="Gromov"/>एक सूक्ष्म रूप से प्रस्तुत समूह के अस्तित्व को प्रमाणित करने के लिए एक ग्राफ के संबंध में छोटे निरस्तीकरण सिद्धांत के एक संस्करण का उपयोग किया जिसमें (उचित अर्थ में) [[विस्तारक ग्राफ]] का एक अनंत अनुक्रम होता है और इसलिए [[हिल्बर्ट अंतरिक्ष]] में एक समान एम्बेडिंग को स्वीकार नहीं करता है। यह परिणाम [[नोविकोव अनुमान]] के प्रति-उदाहरणों की तलाश के लिए एक दिशा प्रदान करता है (अब तक केवल एक ही उपलब्ध है)।
 *ओसिन<ref name="Osin"/>अपेक्षाकृत हाइपरबोलिक समूहों के लिए थर्स्टन की हाइपरबोलिक डेन सर्जरी प्रमेय।
 == सामान्यीकरण ==
-* [[मुफ्त उत्पाद]] और [[एचएनएन एक्सटेंशन]] के भागफल समूहों के लिए छोटे रद्दीकरण सिद्धांत का एक संस्करण Sacerdote और Schupp के पेपर में और फिर लिंडन और Schupp की पुस्तक में विकसित किया गया था।<ref name="LS"/>* रिप्स <ref>{{cite journal | first1=Eliyahu | last1=Rips | title=Generalized small cancellation theory and applications I | journal=[[Israel Journal of Mathematics]] | volume=41 | pages=1–146 | year=1982 | doi=10.1007/BF02760660 | doi-access=free}}</ref> और ओलशांस्की<ref name="Ol"/>छोटे रद्दीकरण सिद्धांत का एक स्तरीकृत संस्करण विकसित किया गया है, जहां रिलेटर्स के सेट को स्ट्रैट के आरोही संघ के रूप में फ़िल्टर किया जाता है (प्रत्येक स्ट्रैटम एक छोटी रद्दीकरण स्थिति को संतुष्ट करता है) और कुछ स्ट्रैटम से एक रिलेटर आर के लिए और एक उच्च स्तर से एक रिलेटर के लिए उनके ओवरलैप की आवश्यकता होती है |s| के संबंध में छोटा होना लेकिन |r| के संबंध में बड़े होने की अनुमति है। इस सिद्धांत ने ओल्शांस्की को तार्स्की राक्षस समूह सहित विभिन्न राक्षस समूहों का निर्माण करने और एक नया प्रमाण देने की अनुमति दी कि बड़े विषम घातांक के मुक्त बर्नसाइड समूह अनंत हैं।
+* [[मुफ्त उत्पाद]] और [[एचएनएन एक्सटेंशन]] के भागफल समूहों के लिए छोटे निरस्तीकरण सिद्धांत का एक संस्करण Sacerdote और Schupp के प्रकाशन में और फिर लिंडन और Schupp की पुस्तक में विकसित किया गया था।<ref name="LS"/>* रिप्स <ref>{{cite journal | first1=Eliyahu | last1=Rips | title=Generalized small cancellation theory and applications I | journal=[[Israel Journal of Mathematics]] | volume=41 | pages=1–146 | year=1982 | doi=10.1007/BF02760660 | doi-access=free}}</ref> और ओलशांस्की<ref name="Ol"/>छोटे निरस्तीकरण सिद्धांत का एक स्तरीकृत संस्करण विकसित किया गया है, जहां रिलेटर्स के सेट को स्ट्रैट के Rोही संघ के रूप में फ़िल्टर किया जाता है (प्रत्येक स्ट्रैटम एक लघु निरस्तीकरण स्थिति को संतुष्ट करता है) और कुछ स्ट्रैटम से एक रिलेटर R के लिए और एक उच्च स्तर से एक रिलेटर के लिए उनके ओवरलैप की आवश्यकता होती है |s| के संबंध में छोटा होना लेकिन |r| के संबंध में बड़े होने की अनुमति है। इस सिद्धांत ने ओल्शांस्की को तार्स्की मॉन्स्टर्स समूह सहित विभिन्न मॉन्स्टर्स समूहों का निर्माण करने और एक नया प्रमाण देने की अनुमति दी कि बड़े विषम घातांक के मुक्त बर्नसाइड समूह अनंत हैं।
-*ओलशांस्की<ref>{{cite journal |first=A. Yu. |last=Olʹshanskii |title=On residualing homomorphisms and G-subgroups of hyperbolic groups |journal=International Journal of Algebra and Computation |volume=3 |year=1993 |issue=4 |pages=365–409 |doi=10.1142/S0218196793000251 }}</ref> और डेलजेंट<ref>{{cite journal |first=Thomas |last=Delzant |title=Sous-groupes distingués et quotients des groupes hyperboliques |trans-title=Distinguished subgroups and quotients of hyperbolic groups |journal=[[Duke Mathematical Journal]] |volume=83 |year=1996 |issue=3 |pages=661–682 |language=fr }}</ref> बाद में शब्द-अतिशयोक्तिपूर्ण समूहों के भागफल के लिए छोटे रद्दीकरण सिद्धांत के विकसित संस्करण।
+*ओलशांस्की<ref>{{cite journal |first=A. Yu. |last=Olʹshanskii |title=On residualing homomorphisms and G-subgroups of hyperbolic groups |journal=International Journal of Algebra and Computation |volume=3 |year=1993 |issue=4 |pages=365–409 |doi=10.1142/S0218196793000251 }}</ref> और डेलजेंट<ref>{{cite journal |first=Thomas |last=Delzant |title=Sous-groupes distingués et quotients des groupes hyperboliques |trans-title=Distinguished subgroups and quotients of hyperbolic groups |journal=[[Duke Mathematical Journal]] |volume=83 |year=1996 |issue=3 |pages=661–682 |language=fr }}</ref> बाद में शब्द-अतिशयोक्तिपूर्ण समूहों के भागफल के लिए छोटे निरस्तीकरण सिद्धांत के विकसित संस्करण।
 *मैककैमोंड ने छोटे रद्दकरण सिद्धांत का एक उच्च-आयामी संस्करण प्रदान किया।<ref>{{cite journal |first=Jonathan P. |last=McCammond |title=A general small cancellation theory |journal=International Journal of Algebra and Computation |volume=10 |year=2000 |issue=1 |pages=1–172 }}</ref>
-*मैककैमोंड और वाइज ने छोटे रद्दीकरण प्रस्तुतियों पर वैन कैम्पेन आरेखों की ज्यामिति के संबंध में मानक छोटे रद्दीकरण सिद्धांत (जैसे ग्रीन्डलिंगर की लेम्मा) के बुनियादी परिणामों को काफी हद तक आगे बढ़ाया।<ref>{{cite journal |first=Jonathan P. |last=McCammond |first2=Daniel T. |last2=Wise |doi=10.1112/S0024611502013424 |title=Fans and ladders in small cancellation theory |journal=[[Proceedings of the London Mathematical Society]] |volume=84 |year=2002 |issue=3 |pages=599–644 }}</ref>
+*मैककैमोंड और वाइज ने छोटे निरस्तीकरण प्रस्तुतियों पर वैन कैम्पेन Rेखों की ज्यामिति के संबंध में मानक छोटे निरस्तीकरण सिद्धांत (जैसे ग्रीन्डलिंगर की लेम्मा) के बुनियादी परिणामों को काफी हद तक आगे बढ़ाया।<ref>{{cite journal |first=Jonathan P. |last=McCammond |first2=Daniel T. |last2=Wise |doi=10.1112/S0024611502013424 |title=Fans and ladders in small cancellation theory |journal=[[Proceedings of the London Mathematical Society]] |volume=84 |year=2002 |issue=3 |pages=599–644 }}</ref>
-*मिखाइल ग्रोमोव (गणितज्ञ) ने साबित करने के लिए एक ग्राफ के संबंध में लघु निरसन सिद्धांत के एक संस्करण का उपयोग किया<ref name="Gromov">{{cite journal |first=M. |last=Gromov |doi=10.1007/s000390300002 |title=Random walk in random groups |journal=[[Geometric and Functional Analysis]] |volume=13 |year=2003 |issue=1 |pages=73–146 }}</ref> एक सूक्ष्म रूप से प्रस्तुत समूह का अस्तित्व जिसमें (उचित अर्थ में) विस्तारकों का एक अनंत अनुक्रम होता है और इसलिए हिल्बर्ट अंतरिक्ष में एक समान एम्बेडिंग को स्वीकार नहीं करता है।<ref>For more details on small cancellation theory with respect to a graph, see also {{cite journal |first=Yann |last=Ollivier |doi=10.36045/bbms/1148059334 |title=On a small cancellation theorem of Gromov |journal=[[Bulletin of the Belgian Mathematical Society]] |volume=13 |year=2006 |issue=1 |pages=75–89 |doi-access=free }}</ref>
+*मिखाइल ग्रोमोव (गणितज्ञ) ने प्रमाणित करने के लिए एक ग्राफ के संबंध में लघु निरसन सिद्धांत के एक संस्करण का उपयोग किया<ref name="Gromov">{{cite journal |first=M. |last=Gromov |doi=10.1007/s000390300002 |title=Random walk in random groups |journal=[[Geometric and Functional Analysis]] |volume=13 |year=2003 |issue=1 |pages=73–146 }}</ref> एक सूक्ष्म रूप से प्रस्तुत समूह का अस्तित्व जिसमें (उचित अर्थ में) विस्तारकों का एक अनंत अनुक्रम होता है और इसलिए हिल्बर्ट अंतरिक्ष में एक समान एम्बेडिंग को स्वीकार नहीं करता है।<ref>For more details on small cancellation theory with respect to a graph, see also {{cite journal |first=Yann |last=Ollivier |doi=10.36045/bbms/1148059334 |title=On a small cancellation theorem of Gromov |journal=[[Bulletin of the Belgian Mathematical Society]] |volume=13 |year=2006 |issue=1 |pages=75–89 |doi-access=free }}</ref>
-*आंशिक रूप से<ref name="Osin">{{cite journal |first=Denis V. |last=Osin |title=Peripheral fillings of relatively hyperbolic groups |journal=[[Inventiones Mathematicae]] |volume=167 |year=2007 |issue=2 |pages=295–326 |doi=10.1007/s00222-006-0012-3 |arxiv=math/0510195 }}</ref> अपेक्षाकृत अतिशयोक्तिपूर्ण समूहों के उद्धरणों के लिए छोटे रद्दीकरण सिद्धांत का एक संस्करण दिया और इसका उपयोग हाइपरबोलिक डेहन सर्जरी के अपेक्षाकृत हाइपरबोलिक सामान्यीकरण को प्राप्त करने के लिए किया। थर्स्टन की हाइपरबोलिक डेन सर्जरी प्रमेय।
+*आंशिक रूप से<ref name="Osin">{{cite journal |first=Denis V. |last=Osin |title=Peripheral fillings of relatively hyperbolic groups |journal=[[Inventiones Mathematicae]] |volume=167 |year=2007 |issue=2 |pages=295–326 |doi=10.1007/s00222-006-0012-3 |arxiv=math/0510195 }}</ref> अपेक्षाकृत अतिशयोक्तिपूर्ण समूहों के उद्धरणों के लिए छोटे निरस्तीकरण सिद्धांत का एक संस्करण दिया और इसका उपयोग हाइपरबोलिक डेहन सर्जरी के अपेक्षाकृत हाइपरबोलिक सामान्यीकरण को प्राप्त करने के लिए किया। थर्स्टन की हाइपरबोलिक डेन सर्जरी प्रमेय।
 == मूल संदर्भ ==
 *[[रोजर लिंडन]] और [[पॉल शूप]], [https://books.google.com/books?id=aiPVBygHi_oC&printsec=frontcover&dq=lyndon+and+schupp कॉम्बिनेटरियल ग्रुप थ्योरी।] 1977 संस्करण का पुनर्मुद्रण। गणित में क्लासिक्स। [[स्प्रिंगर-वर्लाग]], बर्लिन, 2001। {{isbn|3-540-41158-5}}.
 *अलेक्जेंडर यू. ओलशांस्की, समूहों में संबंधों को परिभाषित करने की ज्यामिति। 1989 के रूसी मूल से यू द्वारा अनुवादित। ए बख्तूरिन। गणित और इसके अनुप्रयोग (सोवियत श्रृंखला), 70। क्लूवर शैक्षणिक प्रकाशक समूह, डॉर्ड्रेक्ट, 1991। {{isbn|0-7923-1394-1}}.
-* राल्फ स्ट्रेबेल, परिशिष्ट। छोटे रद्दीकरण समूह। माइकल ग्रोमोव (बर्न, 1988) के अनुसार अतिपरवलयिक समूहों पर, पीपी। 227–273, गणित में प्रगति, 83, बिरखौसर बोस्टन, बोस्टन, मैसाचुसेट्स, 1990। {{isbn|0-8176-3508-4}}.
+* राल्फ स्ट्रेबेल, परिशिष्ट। छोटे निरस्तीकरण समूह। माइकल ग्रोमोव (बर्न, 1988) के अनुसार अतिपरवलयिक समूहों पर, पीपी। 227–273, गणित में प्रगति, 83, बिरखौसर बोस्टन, बोस्टन, मैसाचुसेट्स, 1990। {{isbn|0-8176-3508-4}}.
 *मिले क्रेजेव्स्की, [https://books.google.com/books?id=x6QfX8pLlSwC&pg=PP1&dq=Kraj%C4%8Devski,+%27%27Tilings+of+the+plane,+hyperbolic+groups+and+small+ कैंसलेशन+कंडीशन्स%27%27 प्लेन की टाइलिंग, हाइपरबोलिक ग्रुप्स और स्मॉल कैंसलेशन कंडीशंस।] मेमोयर्स ऑफ द अमेरिकन मैथमैटिकल सोसाइटी, वॉल्यूम। 154 (2001), नहीं। 733.
@@ Line 142: / Line 146: @@
 *[[ज्यामितीय समूह सिद्धांत]]
 *शब्द-अतिशयोक्तिपूर्ण समूह
-* तर्स्की राक्षस समूह
+* तर्स्की मॉन्स्टर्स समूह
 *बर्नसाइड की समस्या
 *अंतिम रूप से प्रस्तुत समूह
 * समूहों के लिए शब्द समस्या
-* वैन कम्पेन आरेख
+* वैन कम्पेन Rेख
 ==टिप्पणियाँ==

Anonymous

Search

लघु निरस्तीकरण सिद्धांत: Difference between revisions

Namespaces

More

Page actions

Revision as of 17:24, 14 February 2023

Contents

इतिहास