वैन कम्पेन आरेख: Difference between revisions

Revision as of 00:34, 7 April 2023

ज्यामितीय समूह सिद्धांत के गणित क्षेत्र में, एक वान कम्पेन आरेख (कभी-कभी इसे लिंडन-वान कम्पेन आरेख भी कहा जाता है)^[1]^[2]^[3] ) एक समतल आरेख है जो इस तथ्य का प्रतिनिधित्व करने के लिए प्रयोग किया जाता है कि समूह प्रस्तुति द्वारा दिए गए समूह जेनरेटर में एक विशेष शब्द उस समूह में पहचान तत्व का प्रतिनिधित्व करता है।

इतिहास

1933 में एगबर्ट वैन कम्पेन द्वारा वैन कम्पेन आरेख की धारणा प्रस्तुत की गई थी।^[4] यह पेपर अमेरिकन जर्नल ऑफ मैथमेटिक्स के उसी अंक में वैन कम्पेन के एक अन्य पेपर के रूप में दिखाई दिया, जहां उन्होंने सिद्ध किया कि अब सीफर्ट-वैन कैम्पेन प्रमेय के रूप में जाना जाता है।^[5] वान कम्पेन आरेखों पर पेपर का मुख्य परिणाम, जिसे अब वैन कम्पेन लेम्मा के रूप में जाना जाता है, को सेफ़र्ट-वैन कैम्पेन प्रमेय से बाद में एक समूह के प्रस्तुति परिसर में प्रयुक्त करके प्राप्त किया जा सकता है।^[6] चूंकि , वैन कम्पेन ने उस समय इस पर ध्यान नहीं दिया और यह तथ्य केवल बहुत बाद में स्पष्ट किया गया (देखें, उदा।^[7]). 1960 के दशक में छोटे रद्दीकरण सिद्धांत के आगमन तक वैन कम्पेन आरेख समूह सिद्धांत में लगभग तीस वर्षों तक एक कम उपयोग किया जाने वाला उपकरण बना रहा, जहाँ वैन कम्पेन आरेख एक केंद्रीय भूमिका निभाते हैं।^[8] वर्तमान में वैन कम्पेन आरेख ज्यामितीय समूह सिद्धांत में एक मानक उपकरण हैं। उनका उपयोग, विशेष रूप से, समूहों में आइसोपेरिमेट्रिक कार्यों के अध्ययन के लिए किया जाता है, और उनके विभिन्न सामान्यीकरण जैसे कि आइसोडायमेट्रिक कार्य, भरने वाले लंबाई कार्यों और इसी तरह है।

औपचारिक परिभाषा

नीचे दी गई परिभाषाएँ और संकेतन काफी हद तक लिंडन और शूप का अनुसरण करते हैं।^[9]

माना

G=\langle A|R\,\rangle

(†)

एक समूह प्रस्तुति हो जहां सभी r∈R मुक्त समूह F(A) में चक्रीय रूप से कम किए गए शब्द हैं। वर्णमाला A और परिभाषित संबंधों के समुच्चय को अधिकांशतः परिमित माना जाता है, जो एक परिमित समूह प्रस्तुति से मेल खाता है, किन्तु वैन कम्पेन आरेख की सामान्य परिभाषा के लिए यह धारणा आवश्यक नहीं है। R∗ R का सममित समापन होना है, अर्थात R को छोड़ दें_∗ R के तत्वों और उनके व्युत्क्रमों के सभी चक्रीय क्रमपरिवर्तनों को जोड़कर R से प्राप्त किया जा सकता है।

प्रस्तुति पर एक वैन कम्पेन आरेख (†) एक प्लानर परिमित कोशिका परिसर है ${\mathcal {D}}\,$ , एक विशिष्ट एम्बेडिंग के साथ दिया गया है ${\mathcal {D}}\subseteq \mathbb {R} ^{2}\,$ निम्नलिखित अतिरिक्त डेटा के साथ और निम्नलिखित अतिरिक्त गुणों को संतुष्ट करना:

जटिल ${\mathcal {D}}\,$ जुड़ा हुआ है और बस जुड़ा हुआ है।
${\mathcal {D}}\,$ के प्रत्येक किनारे (एक-कोशिका) को एक तीर और अक्षर a∈A द्वारा नाम किया गया है।
कुछ शीर्ष (शून्य-कोशिका) जो ${\mathcal {D}}\subseteq \mathbb {R} ^{2}\,$ की स्थलाकृतिक सीमा से संबंधित है बेस-वर्टेक्स के रूप में निर्दिष्ट किया गया है।
${\mathcal {D}}$ के प्रत्येक क्षेत्र (दो-कक्ष) के लिए, उस क्षेत्र के सीमा चक्र पर प्रत्येक शीर्ष के लिए, और दिशा के दो विकल्पों में से प्रत्येक के लिए (दक्षिणावर्त या वामावर्त), क्षेत्र के सीमा चक्र का नाम उस शीर्ष से पढ़ें और उस दिशा में F(A) में एक स्वतंत्र रूप से घटाया गया शब्द है जो R∗ से संबंधित है।

इस प्रकार ${\mathcal {D}}\,$ का 1-कंकाल एक परिमित जुड़ा हुआ समतलीय ग्राफ $\mathbb {R} ^{2}\,$ में सन्निहित है और ${\mathcal {D}}\,$ की दो-कोशिकाएँ हैं इस ग्राफ के लिए निश्चित रूप से परिबद्ध पूरक क्षेत्र हैं।।

R∗ स्थिति 4 की पसंद से यह आवश्यक है कि ${\mathcal {D}}\,$ के प्रत्येक क्षेत्र के लिए उस क्षेत्र का कुछ सीमा शीर्ष है और दिशा का कुछ विकल्प (घड़ी की दिशा में या विपरीत दिशा में) ऐसा है कि सीमा लेबल क्षेत्र उस शीर्ष से पढ़ा जाता है और उस दिशा में स्वतंत्र रूप से घटाया जाता है और R से संबंधित होता है।

एक वैन कम्पेन आरेख ${\mathcal {D}}\,$ सीमा चक्र भी दर्शाया गया है $\partial {\mathcal {D}}\,$ , जो ग्राफ में एक किनारे-पथ है Γ चारों ओर जाने के लिए संगत है ${\mathcal {D}}\,$ Γ के असीमित पूरक क्षेत्र की सीमा के साथ दक्षिणावर्त दिशा में एक बार, ${\mathcal {D}}\,$ के आधार-शीर्ष पर प्रारंभ और समाप्त होता है. उस सीमा चक्र का लेबल अक्षर A ∪ A⁻¹ में एक शब्द w है (जो आवश्यक रूप से स्वतंत्र रूप से कम नहीं किया गया है) जिसे ${\mathcal {D}}\,$ की सीमा लेबल कहा जाता है .

आगे की शब्दावली

एक वैन कम्पेन आरेख ${\mathcal {D}}\,$ को डिस्क आरेख कहा जाता है यदि ${\mathcal {D}}\,$ एक सामयिक डिस्क है, जिससे जब ${\mathcal {D}}\,$ का प्रत्येक किनारा ${\mathcal {D}}\,$ के किसी क्षेत्र की सीमा किनारा होता है और जब ${\mathcal {D}}\,$ में कोई कटा हुआ शीर्ष नहीं है।
एक वैन कम्पेन आरेख ${\mathcal {D}}\,$ गैर-कम किया हुआ कहा जाता है यदि ${\mathcal {D}}\,$ में कमी जोड़ी उपस्थित है जो कि ${\mathcal {D}}\,$ वह अलग-अलग क्षेत्रों की एक जोड़ी है जैसे कि उनके सीमा चक्र एक सामान्य किनारे को साझा करते हैं और इस तरह कि उनके सीमा चक्र, उस किनारे से प्रारंभ होकर पढ़ते हैं, एक क्षेत्र के लिए घड़ी की दिशा में और दूसरे के लिए विपरीत दिशा में, A ∪ A⁻¹ में शब्दों के बराबर हैं. यदि क्षेत्र का ऐसा कोई युग्म उपस्थित नहीं है, ${\mathcal {D}}\,$ को अपचयित कहा जाता है।
${\mathcal {D}}\,$ के क्षेत्रों (दो-कोशिकाएँ) की संख्या को ${\mathcal {D}}\,$ चिह्नित क्षेत्र का ${\rm {Area}}({\mathcal {D}})\,$ क्षेत्र कहा जाता है.

सामान्यतः , एक वैन कम्पेन आरेख में कैक्टस जैसी संरचना होती है, जहां एक या अधिक डिस्क-घटक (संभवतः पतित) चाप से जुड़ते हैं, नीचे चित्र देखें:

उदाहरण

निम्नलिखित आंकड़ा पद दो के मुक्त एबेलियन समूह के लिए वैन कम्पेन आरेख का एक उदाहरण दिखाता है

G=\langle a,b|aba^{-1}b^{-1}\rangle .

इस आरेख का सीमा लेबल शब्द है

w=b^{-1}b^{3}a^{-1}b^{-2}ab^{-1}ba^{-1}ab^{-1}ba^{-1}a.

इस आरेख का क्षेत्रफल 8 के बराबर है।

वैन कम्पेन लेम्मा

सिद्धांत में एक प्रमुख मूल परिणाम तथाकथित वान कम्पेन लेम्मा है जो निम्नलिखित बताता है:^[9]

मान लीजिए ${\mathcal {D}}\,$ प्रस्तुतीकरण (†) पर सीमा लेबल w के साथ एक वैन कम्पेन आरेख बनें जो वर्णमाला A ∪ A⁻¹ में एक शब्द है (आवश्यक रूप से मुक्त रूप से कम नहीं किया गया है). फिर w=1 G में है।
मान लीजिए w अक्षर A ∪ A⁻¹ में स्वतंत्र रूप से घटाया गया शब्द है ऐसा है कि w=1 G में है। फिर प्रस्तुतीकरण (†) पर एक घटा हुआ वैन कम्पेन आरेख ${\mathcal {D}}\,$ उपस्थित है, जिसकी सीमा लेबल स्वतंत्र रूप से कम हो गई है और डब्ल्यू के बराबर है।

प्रमाण का रेखाचित्र

पहले ध्यान दें कि एक तत्व w ∈ F(A) के लिए हमारे पास G में w = 1 है यदि और केवल यदि w F(A) में R के सामान्य संवरण (समूह सिद्धांत) से संबंधित है, यदि और केवल यदि w को इस रूप में दर्शाया जा सकता है

w=u_{1}s_{1}u_{1}^{-1}\cdots u_{n}s_{n}u_{n}^{-1}{\text{ in }}F(A),

(♠)

जहाँ n ≥ 0 और जहाँ s_i ∈ R_∗ = 1, ..., n के लिए।

वैन कम्पेन के लेम्मा का भाग 1 ${\mathcal {D}}\,$ के क्षेत्र पर प्रेरण द्वारा सिद्ध किया गया है . आगमनात्मक कदम में सीमा w के साथ एक वैन कम्पेन आरेख ${\mathcal {D}}\,$ प्राप्त करने के लिए ${\mathcal {D}}'\,$ के सीमा क्षेत्रों में से एक को "छीलने" में सम्मिलित है और यह देखते हुए कि F(A) में हमारे पास है

w=usu^{-1}w',\,

जहां s∈R_∗ क्षेत्र का सीमा चक्र है जिसे ${\mathcal {D}}'\,$ से ${\mathcal {D}}\,$ .प्राप्त करने के लिए निकाला गया था

वैन कम्पेन के लेम्मा के भाग दो का प्रमाण अधिक सम्मिलित है। सबसे पहले, यह देखना आसान है कि यदि w मुक्त रूप से घटाया जाता है और w = 1 G में होता है तो कुछ वान कम्पेन आरेख उपस्थित होते हैं ${\mathcal {D}}_{0}\,$ सीमा लेबल डब्ल्यू के साथ₀ ऐसा है कि w = w₀ एफ (ए) में (संभवतः स्वतंत्र रूप से डब्ल्यू को कम करने के बाद₀). अर्थात् उपरोक्त फॉर्म (♠) के डब्ल्यू के प्रतिनिधित्व पर विचार करें। फिर बनाएँ ${\mathcal {D}}_{0}\,$ यू द्वारा लेबल किए गए तनों के साथ n लॉलीपॉप का एक कील होना_iऔर एस द्वारा लेबल की गई कैंडी (2-कोशिकाओं) के साथ_i. फिर की सीमा लेबल ${\mathcal {D}}_{0}\,$ एक शब्द डब्ल्यू है₀ ऐसा है कि w = w₀ एफ (ए) में। चूंकि , यह संभव है कि शब्द w₀ स्वतंत्र रूप से कम नहीं किया जाता है। वन कम्पेन आरेखों का एक क्रम प्राप्त करने के लिए एक फिर फोल्डिंग मूव्स करना प्रारंभ करता है ${\mathcal {D}}_{0},{\mathcal {D}}_{1},{\mathcal {D}}_{2},\dots \,$ उनके सीमा लेबल को अधिक से अधिक स्वतंत्र रूप से कम करके और यह सुनिश्चित करते हुए कि प्रत्येक चरण पर अनुक्रम में प्रत्येक आरेख का सीमा लेबल F(A) में w के बराबर है। अनुक्रम वैन कम्पेन आरेख के साथ सीमित संख्या में चरणों में समाप्त होता है ${\mathcal {D}}_{k}\,$ जिसका सीमा लेबल स्वतंत्र रूप से कम किया गया है और इस प्रकार एक शब्द के रूप में डब्ल्यू के बराबर है। रेखाचित्र ${\mathcal {D}}_{k}\,$ कम नहीं किया जा सकता। यदि ऐसा होता है, तो हम सीमा लेबल को प्रभावित किए बिना एक साधारण सर्जरी ऑपरेशन द्वारा इस आरेख से कमी जोड़े को हटा सकते हैं। आखिरकार यह एक कम वैन कम्पेन आरेख का उत्पादन करता है ${\mathcal {D}}\,$ जिसका सीमा चक्र स्वतंत्र रूप से घटाया गया है और w के बराबर है।

वैन कम्पेन की लेम्मा का मजबूत संस्करण

इसके अलावा, उपरोक्त प्रमाण से पता चलता है कि वैन कम्पेन के लेम्मा के निष्कर्ष को निम्नानुसार मजबूत किया जा सकता है।^[9]यह कहने के लिए भाग 1 को मजबूत किया जा सकता है कि यदि ${\mathcal {D}}\,$ सीमा लेबल w के साथ क्षेत्र n का एक वैन कम्पेन आरेख है तो R के तत्वों के बिल्कुल n संयुग्मों के F(A) में एक उत्पाद के रूप में w के लिए प्रतिनिधित्व (♠) उपस्थित है_∗. भाग 2 को यह कहने के लिए मजबूत किया जा सकता है कि यदि डब्ल्यू स्वतंत्र रूप से कम हो जाता है और आर के तत्वों के एन संयुग्मों के एफ (ए) में उत्पाद के रूप में एक प्रतिनिधित्व (♠) स्वीकार करता है_∗ तो सीमा लेबल w और अधिक से अधिक n क्षेत्र के साथ एक कम वैन कम्पेन आरेख उपस्थित है।

Dehn कार्य और isoperimetric कार्य

पहचान का प्रतिनिधित्व करने वाले शब्द का क्षेत्रफल

मान लीजिए w ∈ F(A) ऐसा है कि w = 1 in G. फिर w का क्षेत्र, निरूपित क्षेत्र (w), को सीमा लेबल वाले सभी वैन कम्पेन आरेखों के न्यूनतम क्षेत्रों के रूप में परिभाषित किया गया है (वैन कैम्पेन की लेम्मा कहती है कम से कम एक ऐसा आरेख उपस्थित है)।

कोई यह दिखा सकता है कि डब्ल्यू के क्षेत्र को समान रूप से सबसे छोटे n≥0 के रूप में परिभाषित किया जा सकता है जैसे परिभाषित रिलेटर्स के एन संयुग्मों के एफ (ए) में एक उत्पाद के रूप में डब्ल्यू को व्यक्त करने वाला एक प्रतिनिधित्व (♠) उपस्थित है।

आइसोपेरिमेट्रिक फ़ंक्शन और डीएचएन फ़ंक्शन

एक गैर-ऋणात्मक मोनोटोन समारोह फ़ंक्शन f(n) को प्रस्तुति के लिए एक आइसोपेरिमेट्रिक फ़ंक्शन कहा जाता है (†) यदि प्रत्येक स्वतंत्र रूप से घटाए गए शब्द w के लिए ऐसा है कि G में w = 1 हमारे पास है

{\rm {Area}}(w)\leq f(|w|),

कहाँ | डब्ल्यू | शब्द डब्ल्यू की लंबाई है।

अब मान लीजिए कि (†) में अक्षर A परिमित है। तब (†) के देहं फलन को इस प्रकार परिभाषित किया जाता है

{\rm {Dehn}}(n)=\max\{{\rm {Area}}(w):w=1{\text{ in }}G,|w|\leq n,w{\text{ freely reduced}}.\}

यह देखना आसान है कि Dehn(n) (†) के लिए एक समपरिमितीय फलन है और इसके अलावा, यदि f(n) (†) के लिए कोई अन्य समपरिमितीय फलन है तो प्रत्येक n ≥ के लिए Dehn(n) ≤ f(n) 0.

मान लीजिए w ∈ F(A) एक स्वतंत्र रूप से कम किया गया शब्द है जैसे कि जी में w = 1। एक वैन कम्पेन आरेख ${\mathcal {D}}\,$ सीमा लेबल के साथ w को न्यूनतम कहा जाता है ${\rm {Area}}({\mathcal {D}})={\rm {Area}}(w).$ मिनिमल वैन कम्पेन डायग्राम रीमैनियन ज्यामिति में न्यूनतम सतहों के असतत अनुरूप हैं।

सामान्यीकरण और अन्य अनुप्रयोग

वैन-कैम्पन आरेखों के कई सामान्यीकरण हैं जहां समतलीय होने के बजाय जुड़ा हुआ है और बस जुड़ा हुआ है (जिसका अर्थ है डिस्क के लिए होमोटोपी समतुल्यता होना) आरेख किसी अन्य सतह पर या होमोटोपी समकक्षता पर खींचा जाता है। यह पता चला है कि सतह की ज्यामिति और कुछ समूह सैद्धांतिक धारणाओं के बीच घनिष्ठ संबंध है। इनमें से एक विशेष रूप से महत्वपूर्ण एक वलयाकार वैन कम्पेन आरेख की धारणा है, जो एक वलय (गणित) के लिए होमोटॉपी तुल्यता है। कुंडलाकार आरेख, जिसे संयुग्मी आरेख के रूप में भी जाना जाता है, का उपयोग समूह प्रस्तुतियों द्वारा दिए गए समूहों में संयुग्मन वर्ग का प्रतिनिधित्व करने के लिए किया जा सकता है।^[9] साथ ही गोलाकार वैन कैम्पेन आरेख समूह-सैद्धांतिक एस्फेरिकल स्पेस के कई संस्करणों और व्हाइटहेड अनुमान से संबंधित हैं। व्हाइटहेड की एस्फेरिसिटी अनुमान,^[10] टोरस पर वैन कम्पेन आरेख आने वाले तत्वों से संबंधित हैं, वास्तविक प्रोजेक्टिव विमान पर आरेख समूह में शामिल होने से संबंधित हैं और क्लेन की बोतल पर आरेख उन तत्वों से संबंधित हैं जो अपने स्वयं के व्युत्क्रम से संयुग्मित हैं।
1960-1970 के दशक में ग्रीन्डलिंगर, लिंडन और शूप द्वारा विकसित छोटे रद्दीकरण सिद्धांत में वैन कम्पेन आरेख केंद्रीय वस्तुएं हैं।^[9]^[11] छोटा रद्दीकरण सिद्धांत समूह प्रस्तुतियों से संबंधित है जहां परिभाषित संबंधों में एक दूसरे के साथ छोटे ओवरलैप होते हैं। यह स्थिति छोटे रद्दीकरण प्रस्तुतियों पर कम वैन कम्पेन आरेखों की ज्यामिति में परिलक्षित होती है, जो कुछ प्रकार के गैर-सकारात्मक रूप से घुमावदार या नकारात्मक रूप से घुमावदार व्यवहार को मजबूर करती है। यह व्यवहार विशेष रूप से शब्द और संयुग्मन समस्याओं के संबंध में छोटे रद्दीकरण समूहों के बीजगणितीय और एल्गोरिथम गुणों के बारे में उपयोगी जानकारी प्राप्त करता है। लघु रद्दीकरण सिद्धांत ज्यामितीय समूह सिद्धांत के प्रमुख अग्रदूतों में से एक था, जो 1980 के दशक के अंत में एक विशिष्ट गणितीय क्षेत्र के रूप में उभरा और यह ज्यामितीय समूह सिद्धांत का एक महत्वपूर्ण हिस्सा बना हुआ है।
1987 में मिखाइल ग्रोमोव (गणितज्ञ) द्वारा प्रस्तुत किए गए शब्द-अतिशयोक्तिपूर्ण समूहों के सिद्धांत में वैन कम्पेन आरेख एक महत्वपूर्ण भूमिका निभाते हैं।^[12] विशेष रूप से, यह पता चला है कि एक अंतिम रूप से प्रस्तुत समूह शब्द-अतिशयोक्तिपूर्ण समूह है| इसके अलावा, सूक्ष्म रूप से प्रस्तुत समूहों के लिए आइसोपेरिमेट्रिक कार्यों के संभावित स्पेक्ट्रम में एक आइसोपेरिमेट्रिक गैप है: किसी भी अंतिम रूप से प्रस्तुत समूह के लिए या तो यह अतिशयोक्तिपूर्ण है और एक रेखीय आइसोपेरिमेट्रिक असमानता को संतुष्ट करता है या फिर डीएचएन फ़ंक्शन कम से कम द्विघात है।^[13]^[14]
ज्यामितीय समूह सिद्धांत में सूक्ष्म रूप से प्रस्तुत समूहों के लिए आइसोपेरिमेट्रिक कार्यों का अध्ययन एक महत्वपूर्ण सामान्य विषय बन गया है जहां पर्याप्त प्रगति हुई है। भिन्नात्मक Dehn फ़ंक्शन वाले समूहों के निर्माण में बहुत काम चला गया है (अर्थात, Dehn फ़ंक्शन गैर-पूर्णांक डिग्री के बहुपद हैं)।^[15] एलियाहू चीरता है, ओलशांस्की, बिरगेट और सपीर का काम^[16]^[17] ट्यूरिंग मशीनों के डीएचएन कार्यों और समय जटिलता कार्यों के बीच संबंधों की खोज की और दिखाया कि एक मनमाने ढंग से उचित समय समारोह को कुछ सूक्ष्म रूप से प्रस्तुत समूह के डीएचएन समारोह के रूप में महसूस किया जा सकता है।
इस विषय में वैन कम्पेन आरेखों के विभिन्न स्तरीकृत और सापेक्षिक संस्करणों का भी पता लगाया गया है। विशेष रूप से, ओल्शांस्की द्वारा विकसित छोटे निरस्तीकरण सिद्धांत के एक स्तरीकृत संस्करण के परिणामस्वरूप विभिन्न समूह-सैद्धांतिक राक्षसों का निर्माण हुआ, जैसे तार्स्की राक्षस,^[18] और बड़े घातांक के आवधिक समूहों के लिए बर्नसाइड समस्या के ज्यामितीय समाधान में।^[19]^[20] वान कम्पेन आरेखों के सापेक्ष संस्करण (उपसमूहों के संग्रह के संबंध में) ओसिन द्वारा अपेक्षाकृत हाइपरबॉलिक समूहों के सिद्धांत के लिए एक आइसोपेरिमेट्रिक फ़ंक्शन दृष्टिकोण विकसित करने के लिए उपयोग किया गया था।^[21]

यह भी देखें

ज्यामितीय समूह सिद्धांत
समूह की प्रस्तुति
सीफर्ट-वैन कम्पेन प्रमेय

मूल संदर्भ

अलेक्जेंडर यू. ओलशांस्की। समूहों में संबंधों को परिभाषित करने की ज्यामिति। 1989 के रूसी मूल से यू द्वारा अनुवादित। ए बख्तूरिन। गणित और इसके अनुप्रयोग (सोवियत श्रृंखला), 70। क्लूवर शैक्षणिक प्रकाशक समूह, डॉर्ड्रेक्ट, 1991। ISBN 0-7923-1394-1
रोजर सी. लिंडन और पॉल ई. शूप। कॉम्बिनेटरियल ग्रुप थ्योरी। स्प्रिंगर-वेरलाग, न्यूयॉर्क, 2001। क्लासिक्स इन मैथमेटिक्स सीरीज़, 1977 संस्करण का पुनर्मुद्रण। ISBN 978-3-540-41158-1; च। वी। लघु रद्दीकरण सिद्धांत। पीपी। 235–294।

फुटनोट्स

↑ B. Fine and G. Rosenberger, The Freiheitssatz and its extensions. The mathematical legacy of Wilhelm Magnus: groups, geometry and special functions (Brooklyn, NY, 1992), 213–252, Contemp. Math., 169, Amer. Math. Soc., Providence, RI, 1994
↑ I.G. Lysenok, and A.G. Myasnikov, A polynomial bound for solutions of quadratic equations in free groups. Tr. Mat. Inst. Steklova 274 (2011), Algoritmicheskie Voprosy Algebry i Logiki, 148-190; translation in Proc. Steklov Inst. Math. 274 (2011), no. 1, 136–173
↑ B. Fine, A. Gaglione, A. Myasnikov, G. Rosenberger, and D. Spellman, The elementary theory of groups. A guide through the proofs of the Tarski conjectures. De Gruyter Expositions in Mathematics, 60. De Gruyter, Berlin, 2014. ISBN 978-3-11-034199-7
↑ E. van Kampen. On some lemmas in the theory of groups. American Journal of Mathematics. vol. 55, (1933), pp. 268–273.
↑ E. R. van Kampen. On the connection between the fundamental groups of some related spaces. American Journal of Mathematics, vol. 55 (1933), pp. 261–267.
↑ Invitations to Geometry and Topology. Oxford Graduate Texts in Mathematics. Oxford, New York: Oxford University Press. 2003. ISBN 9780198507727.
↑ Aleksandr Yur'evich 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.
↑ 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.
↑ ^9.0 ^9.1 ^9.2 ^9.3 ^9.4 Roger C. Lyndon and Paul E. Schupp. Combinatorial Group Theory. Springer-Verlag, New York, 2001. "Classics in Mathematics" series, reprint of the 1977 edition. ISBN 978-3-540-41158-1; Ch. V. Small Cancellation Theory. pp. 235–294.
↑ Ian M. Chiswell, Donald J. Collins, and Johannes Huebschmann. Aspherical group presentations. Mathematische Zeitschrift, vol. 178 (1981), no. 1, pp. 1–36.
↑ Martin Greendlinger. Dehn's algorithm for the word problem. Communications on Pure and Applied Mathematics, vol. 13 (1960), pp. 67–83.
↑ M. Gromov. Hyperbolic Groups. Essays in Group Theory (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75–263; ISBN 0-387-96618-8.
↑ Michel Coornaert, Thomas Delzant, Athanase Papadopoulos, Géométrie et théorie des groupes: les groupes hyperboliques de Gromov. Lecture Notes in Mathematics, vol. 1441, Springer-Verlag, Berlin, 1990. ISBN 3-540-52977-2.
↑ B. H. Bowditch. A short proof that a subquadratic isoperimetric inequality implies a linear one. Michigan Mathematical Journal, vol. 42 (1995), no. 1, pp. 103–107.
↑ M. R. Bridson, Fractional isoperimetric inequalities and subgroup distortion. Journal of the American Mathematical Society, vol. 12 (1999), no. 4, pp. 1103–1118.
↑ M. Sapir, J.-C. Birget, E. Rips, Isoperimetric and isodiametric functions of groups. Annals of Mathematics (2), vol. 156 (2002), no. 2, pp. 345–466.
↑ J.-C. Birget, Aleksandr Yur'evich Ol'shanskii, E. Rips, M. Sapir, Isoperimetric functions of groups and computational complexity of the word problem. Annals of Mathematics (2), vol. 156 (2002), no. 2, pp. 467–518.
↑ Ol'sanskii, A. Yu. (1979). Бесконечные группы с циклическими подгруппами [Infinite groups with cyclic subgroups]. Doklady Akademii Nauk SSSR (in Russian). 245 (4): 785–787.{{cite journal}}: CS1 maint: unrecognized language (link)
↑ 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), pp. 415–424, PWN, Warsaw, 1984.
↑ S. V. Ivanov. The free Burnside groups of sufficiently large exponents. International Journal of Algebra and Computation, vol. 4 (1994), no. 1-2.
↑ Denis V. Osin. Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems. Memoirs of the American Mathematical Society 179 (2006), no. 843.

बाहरी संबंध

Van Kampen diagrams from the files of David A. Jackson

[1] B. Fine and G. Rosenberger, The Freiheitssatz and its extensions. The mathematical legacy of Wilhelm Magnus: groups, geometry and special functions (Brooklyn, NY, 1992), 213–252, Contemp. Math., 169, Amer. Math. Soc., Providence, RI, 1994

[2] I.G. Lysenok, and A.G. Myasnikov, A polynomial bound for solutions of quadratic equations in free groups. Tr. Mat. Inst. Steklova 274 (2011), Algoritmicheskie Voprosy Algebry i Logiki, 148-190; translation in Proc. Steklov Inst. Math. 274 (2011), no. 1, 136–173

[3] B. Fine, A. Gaglione, A. Myasnikov, G. Rosenberger, and D. Spellman, The elementary theory of groups. A guide through the proofs of the Tarski conjectures. De Gruyter Expositions in Mathematics, 60. De Gruyter, Berlin, 2014. ISBN 978-3-11-034199-7

[4] E. van Kampen. On some lemmas in the theory of groups. American Journal of Mathematics. vol. 55, (1933), pp. 268–273.

[5] E. R. van Kampen. On the connection between the fundamental groups of some related spaces. American Journal of Mathematics, vol. 55 (1933), pp. 261–267.

[6] Invitations to Geometry and Topology. Oxford Graduate Texts in Mathematics. Oxford, New York: Oxford University Press. 2003. ISBN 9780198507727.

[O-7] Aleksandr Yur'evich 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.

[8] 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.

[LS-9] 9.0 ^9.1 ^9.2 ^9.3 ^9.4 Roger C. Lyndon and Paul E. Schupp. Combinatorial Group Theory. Springer-Verlag, New York, 2001. "Classics in Mathematics" series, reprint of the 1977 edition. ISBN 978-3-540-41158-1; Ch. V. Small Cancellation Theory. pp. 235–294.

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

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

[12] M. Gromov. Hyperbolic Groups. Essays in Group Theory (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75–263; ISBN 0-387-96618-8.

[13] Michel Coornaert, Thomas Delzant, Athanase Papadopoulos, Géométrie et théorie des groupes: les groupes hyperboliques de Gromov. Lecture Notes in Mathematics, vol. 1441, Springer-Verlag, Berlin, 1990. ISBN 3-540-52977-2.

[14] B. H. Bowditch. A short proof that a subquadratic isoperimetric inequality implies a linear one. Michigan Mathematical Journal, vol. 42 (1995), no. 1, pp. 103–107.

[15] M. R. Bridson, Fractional isoperimetric inequalities and subgroup distortion. Journal of the American Mathematical Society, vol. 12 (1999), no. 4, pp. 1103–1118.

[16] M. Sapir, J.-C. Birget, E. Rips, Isoperimetric and isodiametric functions of groups. Annals of Mathematics (2), vol. 156 (2002), no. 2, pp. 345–466.

[17] J.-C. Birget, Aleksandr Yur'evich Ol'shanskii, E. Rips, M. Sapir, Isoperimetric functions of groups and computational complexity of the word problem. Annals of Mathematics (2), vol. 156 (2002), no. 2, pp. 467–518.

[18] Ol'sanskii, A. Yu. (1979). Бесконечные группы с циклическими подгруппами [Infinite groups with cyclic subgroups]. Doklady Akademii Nauk SSSR (in Russian). 245 (4): 785–787.{{cite journal}}: CS1 maint: unrecognized language (link)

[19] 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), pp. 415–424, PWN, Warsaw, 1984.

[20] S. V. Ivanov. The free Burnside groups of sufficiently large exponents. International Journal of Algebra and Computation, vol. 4 (1994), no. 1-2.

[21] Denis V. Osin. Relatively hyperbolic groups: intrinsic geometry, algebraic properties, and algorithmic problems. Memoirs of the American Mathematical Society 179 (2006), no. 843.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

@@ Line 5: / Line 5: @@
 == इतिहास ==
-में [[एगबर्ट वैन कम्पेन]] द्वारा वैन कम्पेन आरेख की धारणा पेश की गई थी।<ref>E. van Kampen. [https://www.jstor.org/pss/2371129 ''On some lemmas in the theory of groups''.] [[American Journal of Mathematics]].
+में [[एगबर्ट वैन कम्पेन]] द्वारा वैन कम्पेन आरेख की धारणा प्रस्तुत की गई थी।<ref>E. van Kampen. [https://www.jstor.org/pss/2371129 ''On some lemmas in the theory of groups''.] [[American Journal of Mathematics]].
-vol. 55, (1933), pp. 268&ndash;273.</ref> यह पेपर [[अमेरिकन जर्नल ऑफ मैथमेटिक्स]] के उसी अंक में वैन कम्पेन के एक अन्य पेपर के रूप में दिखाई दिया, जहां उन्होंने साबित किया कि अब सीफर्ट-वैन कैम्पेन प्रमेय के रूप में जाना जाता है।<ref>E. R. van Kampen. ''On the connection between the fundamental groups of some related spaces''. American Journal of Mathematics, vol. 55 (1933), pp. 261&ndash;267.</ref> वान कम्पेन आरेखों पर पेपर का मुख्य परिणाम, जिसे अब वैन कम्पेन लेम्मा के रूप में जाना जाता है, को सेफ़र्ट-वैन कैम्पेन प्रमेय से बाद में एक समूह के प्रस्तुति परिसर में लागू करके प्राप्त किया जा सकता है।<ref>{{Cite book|url=https://global.oup.com/academic/product/invitations-to-geometry-and-topology-9780198507727?cc=us&lang=en&|title=Invitations to Geometry and Topology|date=2003|publisher=Oxford University Press|isbn=9780198507727|series=Oxford Graduate Texts in Mathematics|location=Oxford, New York}}</ref> हालाँकि, वैन कम्पेन ने उस समय इस पर ध्यान नहीं दिया और यह तथ्य केवल बहुत बाद में स्पष्ट किया गया (देखें, उदा।<ref name="O">Aleksandr Yur'evich 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>). 1960 के दशक में छोटे रद्दीकरण सिद्धांत के आगमन तक वैन कम्पेन आरेख [[समूह सिद्धांत]] में लगभग तीस वर्षों तक एक कम उपयोग किया जाने वाला उपकरण बना रहा, जहाँ वैन कम्पेन आरेख एक केंद्रीय भूमिका निभाते हैं।<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> वर्तमान में वैन कम्पेन आरेख ज्यामितीय समूह सिद्धांत में एक मानक उपकरण हैं। उनका उपयोग, विशेष रूप से, समूहों में आइसोपेरिमेट्रिक कार्यों के अध्ययन के लिए किया जाता है, और उनके विभिन्न सामान्यीकरण जैसे कि आइसोडायमेट्रिक फ़ंक्शंस, लंबाई कार्यों को भरना, और इसी तरह।
+vol. 55, (1933), pp. 268&ndash;273.</ref> यह पेपर [[अमेरिकन जर्नल ऑफ मैथमेटिक्स]] के उसी अंक में वैन कम्पेन के एक अन्य पेपर के रूप में दिखाई दिया, जहां उन्होंने सिद्ध किया कि अब सीफर्ट-वैन कैम्पेन प्रमेय के रूप में जाना जाता है।<ref>E. R. van Kampen. ''On the connection between the fundamental groups of some related spaces''. American Journal of Mathematics, vol. 55 (1933), pp. 261&ndash;267.</ref> वान कम्पेन आरेखों पर पेपर का मुख्य परिणाम, जिसे अब वैन कम्पेन लेम्मा के रूप में जाना जाता है, को सेफ़र्ट-वैन कैम्पेन प्रमेय से बाद में एक समूह के प्रस्तुति परिसर में प्रयुक्त करके प्राप्त किया जा सकता है।<ref>{{Cite book|url=https://global.oup.com/academic/product/invitations-to-geometry-and-topology-9780198507727?cc=us&lang=en&|title=Invitations to Geometry and Topology|date=2003|publisher=Oxford University Press|isbn=9780198507727|series=Oxford Graduate Texts in Mathematics|location=Oxford, New York}}</ref> चूंकि , वैन कम्पेन ने उस समय इस पर ध्यान नहीं दिया और यह तथ्य केवल बहुत बाद में स्पष्ट किया गया (देखें, उदा।<ref name="O">Aleksandr Yur'evich 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>). 1960 के दशक में छोटे रद्दीकरण सिद्धांत के आगमन तक वैन कम्पेन आरेख [[समूह सिद्धांत]] में लगभग तीस वर्षों तक एक कम उपयोग किया जाने वाला उपकरण बना रहा, जहाँ वैन कम्पेन आरेख एक केंद्रीय भूमिका निभाते हैं।<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> वर्तमान में वैन कम्पेन आरेख ज्यामितीय समूह सिद्धांत में एक मानक उपकरण हैं। उनका उपयोग, विशेष रूप से, समूहों में आइसोपेरिमेट्रिक कार्यों के अध्ययन के लिए किया जाता है, और उनके विभिन्न सामान्यीकरण जैसे कि आइसोडायमेट्रिक कार्य, भरने वाले लंबाई कार्यों और इसी तरह है।
 == औपचारिक परिभाषा ==
 नीचे दी गई परिभाषाएँ और संकेतन काफी हद तक लिंडन और शूप का अनुसरण करते हैं।<ref name="LS">[[Roger Lyndon|Roger C. Lyndon]] and [[Paul E. Schupp]]. Combinatorial Group Theory. Springer-Verlag, New York, 2001. "Classics in Mathematics" series, reprint of the 1977 edition. {{isbn|978-3-540-41158-1}}; Ch. V. Small Cancellation Theory. pp. 235&ndash;294.</ref>
-होने देना
+माना
 :<math>G=\langle A | R\, \rangle</math>(†)
-एक समूह प्रस्तुति हो जहां सभी r∈R [[मुक्त समूह]] F(A) में चक्रीय रूप से कम किए गए शब्द हैं। वर्णमाला A और परिभाषित संबंधों के समुच्चय को अक्सर परिमित माना जाता है, जो एक परिमित समूह प्रस्तुति से मेल खाता है, लेकिन वैन कम्पेन आरेख की सामान्य परिभाषा के लिए यह धारणा आवश्यक नहीं है। आर<sub>∗</sub> R का सममित समापन हो, अर्थात R को छोड़ दें<sub>∗</sub> R के तत्वों और उनके व्युत्क्रमों के सभी चक्रीय क्रमपरिवर्तनों को जोड़कर R से प्राप्त किया जा सकता है।
+एक समूह प्रस्तुति हो जहां सभी r∈R [[मुक्त समूह]] F(A) में चक्रीय रूप से कम किए गए शब्द हैं। वर्णमाला A और परिभाषित संबंधों के समुच्चय को अधिकांशतः परिमित माना जाता है, जो एक परिमित समूह प्रस्तुति से मेल खाता है, किन्तु वैन कम्पेन आरेख की सामान्य परिभाषा के लिए यह धारणा आवश्यक नहीं है। R∗ R का सममित समापन  होना है, अर्थात R को छोड़ दें<sub>∗</sub> R के तत्वों और उनके व्युत्क्रमों के सभी चक्रीय क्रमपरिवर्तनों को जोड़कर R से प्राप्त किया जा सकता है।
-प्रस्तुति पर एक वैन कम्पेन आरेख (†) एक प्लानर परिमित [[कोशिका परिसर]] है <math>\mathcal D\,</math>, एक विशिष्ट एम्बेडिंग के साथ दिया गया <math>\mathcal D\subseteq \mathbb R^2\,</math> निम्नलिखित अतिरिक्त डेटा के साथ और निम्नलिखित अतिरिक्त गुणों को संतुष्ट करना:
+प्रस्तुति पर एक वैन कम्पेन आरेख (†) एक प्लानर परिमित [[कोशिका परिसर]] है <math>\mathcal D\,</math>, एक विशिष्ट एम्बेडिंग के साथ दिया गया है <math>\mathcal D\subseteq \mathbb R^2\,</math> निम्नलिखित अतिरिक्त डेटा के साथ और निम्नलिखित अतिरिक्त गुणों को संतुष्ट करना:
-#द कॉम्प्लेक्स <math>\mathcal D\,</math> जुड़ा हुआ है और [[बस जुड़ा हुआ है]]।
+#जटिल  <math>\mathcal D\,</math> जुड़ा हुआ है और [[बस जुड़ा हुआ है]]।
-# का प्रत्येक किनारा (एक-कोशिका)। <math>\mathcal D\,</math> एक तीर और एक अक्षर a∈A द्वारा लेबल किया गया है।
+#<math>\mathcal D\,</math> के प्रत्येक किनारे (एक-कोशिका) को एक तीर और अक्षर a∈A द्वारा नाम किया गया है।
-# कुछ शीर्ष (शून्य-कोशिका) जो की स्थलाकृतिक सीमा से संबंधित है <math>\mathcal D\subseteq \mathbb R^2\,</math> बेस-वर्टेक्स के रूप में निर्दिष्ट किया गया है।
+# कुछ शीर्ष (शून्य-कोशिका) जो <math>\mathcal D\subseteq \mathbb R^2\,</math>की स्थलाकृतिक सीमा से संबंधित है  बेस-वर्टेक्स के रूप में निर्दिष्ट किया गया है।
-# प्रत्येक क्षेत्र (दो सेल) के लिए <math>\mathcal D</math>, उस क्षेत्र के सीमा चक्र पर प्रत्येक शीर्ष के लिए, और दिशा के दो विकल्पों में से प्रत्येक के लिए (दक्षिणावर्त या वामावर्त), क्षेत्र के सीमा चक्र का लेबल उस शीर्ष से पढ़ा जाता है और उस दिशा में स्वतंत्र रूप से घटाया जाता है एफ (ए) में शब्द जो आर से संबंधित है<sub>∗</sub>.
+#<math>\mathcal D</math> के प्रत्येक क्षेत्र (दो-कक्ष) के लिए, उस क्षेत्र के सीमा चक्र पर प्रत्येक शीर्ष के लिए, और दिशा के दो विकल्पों में से प्रत्येक के लिए (दक्षिणावर्त या वामावर्त), क्षेत्र के सीमा चक्र का नाम उस शीर्ष से पढ़ें और उस दिशा में ''F''(''A'') में एक स्वतंत्र रूप से घटाया गया शब्द है जो R∗ से संबंधित है।
-इस प्रकार 1-कंकाल का <math>\mathcal D\,</math> एक परिमित जुड़ा हुआ प्लानर ग्राफ है जिसमें एम्बेडेड है <math>\mathbb R^2\,</math> और की दो-कोशिकाएँ <math>\mathcal D\,</math> इस ग्राफ के लिए निश्चित रूप से परिबद्ध पूरक क्षेत्र हैं।
+इस प्रकार <math>\mathcal D\,</math> का 1-कंकाल एक परिमित जुड़ा हुआ समतलीय ग्राफ <math>\mathbb R^2\,</math> में सन्निहित है और <math>\mathcal D\,</math> की दो-कोशिकाएँ हैं इस ग्राफ के लिए निश्चित रूप से परिबद्ध पूरक क्षेत्र हैं।।
-आर की पसंद से<sub>∗</sub> शर्त 4 के प्रत्येक क्षेत्र के लिए आवश्यकता के बराबर है  <math>\mathcal D\,</math> उस क्षेत्र का कुछ बाउंड्री वर्टेक्स है और दिशा का कुछ विकल्प (क्लॉकवाइज़ या काउंटर-क्लॉकवाइज़) ऐसा है कि क्षेत्र का बाउंड्री लेबल उस वर्टेक्स से पढ़ा जाता है और उस दिशा में स्वतंत्र रूप से घटाया जाता है और R से संबंधित होता है।
+R∗ स्थिति 4 की पसंद से यह आवश्यक है कि <math>\mathcal D\,</math> के प्रत्येक क्षेत्र के लिए उस क्षेत्र का कुछ सीमा शीर्ष है और दिशा का कुछ विकल्प (घड़ी की दिशा में या विपरीत दिशा में) ऐसा है कि सीमा लेबल क्षेत्र उस शीर्ष से पढ़ा जाता है और उस दिशा में स्वतंत्र रूप से घटाया जाता है और R से संबंधित होता है।
-एक वैन कम्पेन आरेख <math>\mathcal D\,</math> सीमा चक्र भी है, निरूपित <math>\partial\mathcal D\,</math>, जो चारों ओर जाने के अनुरूप ग्राफ Γ में एक बढ़त-पथ है <math>\mathcal D\,</math> Γ के असीमित पूरक क्षेत्र की सीमा के साथ दक्षिणावर्त दिशा में एक बार, के आधार-शीर्ष पर शुरू और समाप्त <math>\mathcal D\,</math>. उस सीमा चक्र का लेबल अक्षर A ∪ A में एक शब्द w है<sup>−1</sup> (जो आवश्यक रूप से स्वतंत्र रूप से कम नहीं किया गया है) जिसे की सीमा लेबल कहा जाता है <math>\mathcal D\,</math>.
+एक वैन कम्पेन आरेख <math>\mathcal D\,</math> सीमा चक्र भी दर्शाया गया है  <math>\partial\mathcal D\,</math>, जो ग्राफ में एक किनारे-पथ है  Γ  चारों ओर जाने के लिए संगत है <math>\mathcal D\,</math> Γ के असीमित पूरक क्षेत्र की सीमा के साथ दक्षिणावर्त दिशा में एक बार, <math>\mathcal D\,</math> के आधार-शीर्ष पर प्रारंभ  और समाप्त होता है. उस सीमा चक्र का लेबल अक्षर  ''A'' ∪ ''A''<sup>−1</sup> में एक शब्द w है (जो आवश्यक रूप से स्वतंत्र रूप से कम नहीं किया गया है) जिसे <math>\mathcal D\,</math> की सीमा लेबल कहा जाता है .
 === आगे की शब्दावली ===
-* एक वैन कम्पेन आरेख <math>\mathcal D\,</math> डिस्क आरेख कहा जाता है यदि <math>\mathcal D\,</math> एक टोपोलॉजिकल डिस्क है, यानी जब इसका हर किनारा <math>\mathcal D\,</math> के किसी क्षेत्र की सीमा रेखा है <math>\mathcal D\,</math> और जब <math>\mathcal D\,</math> कोई कटा हुआ शीर्ष नहीं है।
+* एक वैन कम्पेन आरेख <math>\mathcal D\,</math>को डिस्क आरेख कहा जाता है यदि <math>\mathcal D\,</math> एक सामयिक डिस्क है, जिससे  जब <math>\mathcal D\,</math>का प्रत्येक  किनारा <math>\mathcal D\,</math> के किसी क्षेत्र की सीमा किनारा होता है  और जब <math>\mathcal D\,</math>में कोई कटा हुआ शीर्ष नहीं है।
-* एक वैन कम्पेन आरेख <math>\mathcal D\,</math> गैर-कम किया हुआ कहा जाता है अगर इसमें कमी जोड़ी मौजूद है <math>\mathcal D\,</math>, वह अलग-अलग क्षेत्रों की एक जोड़ी है <math>\mathcal D\,</math> जैसे कि उनके सीमा चक्र एक सामान्य किनारे को साझा करते हैं और इस तरह कि उनके सीमा चक्र, उस किनारे से शुरू होकर पढ़ते हैं, एक क्षेत्र के लिए घड़ी की दिशा में और दूसरे के लिए विपरीत दिशा में, ए ∪ ए में शब्दों के बराबर हैं<sup>-1</sup>. यदि क्षेत्र का ऐसा कोई युग्म मौजूद नहीं है,  <math>\mathcal D\,</math> घटा कहा जाता है।
+* एक वैन कम्पेन आरेख <math>\mathcal D\,</math> गैर-कम किया हुआ कहा जाता है यदि <math>\mathcal D\,</math> में कमी जोड़ी उपस्थित  है जो कि <math>\mathcal D\,</math>वह अलग-अलग क्षेत्रों की एक जोड़ी है  जैसे कि उनके सीमा चक्र एक सामान्य किनारे को साझा करते हैं और इस तरह कि उनके सीमा चक्र, उस किनारे से प्रारंभ  होकर पढ़ते हैं, एक क्षेत्र के लिए घड़ी की दिशा में और दूसरे के लिए विपरीत दिशा में,  ''A'' ∪ ''A''<sup>−1</sup> में शब्दों के बराबर हैं. यदि क्षेत्र का ऐसा कोई युग्म उपस्थित  नहीं है,  <math>\mathcal D\,</math> को अपचयित कहा जाता है।
-* क्षेत्रों की संख्या (दो-कोशिकाएँ)। <math>\mathcal D\,</math> का क्षेत्र कहा जाता है <math>\mathcal D\,</math> लक्षित <math>{\rm Area}(\mathcal D)\,</math>.
+* <math>\mathcal D\,</math> के क्षेत्रों (दो-कोशिकाएँ)  की संख्या को  <math>\mathcal D\,</math> चिह्नित क्षेत्र का <math>{\rm Area}(\mathcal D)\,</math> क्षेत्र कहा जाता है.
-सामान्य तौर पर, एक वैन कम्पेन आरेख में कैक्टस जैसी संरचना होती है, जहां एक या अधिक डिस्क-घटक (संभवतः पतित) चाप से जुड़ते हैं, नीचे चित्र देखें:
+सामान्यतः , एक वैन कम्पेन आरेख में कैक्टस जैसी संरचना होती है, जहां एक या अधिक डिस्क-घटक (संभवतः पतित) चाप से जुड़ते हैं, नीचे चित्र देखें:
 [[File:Generalized van Kampen diagram.jpg|वैन कम्पेन आरेख का सामान्य रूप]]
@@ Line 40: / Line 41: @@
 == उदाहरण ==
-निम्नलिखित आंकड़ा रैंक दो के मुक्त एबेलियन समूह के लिए वैन कम्पेन आरेख का एक उदाहरण दिखाता है
+निम्नलिखित आंकड़ा पद दो के मुक्त एबेलियन समूह के लिए वैन कम्पेन आरेख का एक उदाहरण दिखाता है
 :<math>G=\langle a, b| ab a^{-1}b^{-1}\rangle.</math>
@@ Line 49: / Line 50: @@
 == वैन कम्पेन लेम्मा ==
-सिद्धांत में एक प्रमुख मूल परिणाम तथाकथित वान कम्पेन लेम्मा है<ref name="LS"/>जो निम्नलिखित बताता है:
+सिद्धांत में एक प्रमुख मूल परिणाम तथाकथित वान कम्पेन लेम्मा है जो निम्नलिखित बताता है:<ref name="LS"/>
-#होने देना <math>\mathcal D\,</math> प्रस्तुतीकरण (†) पर सीमा लेबल w के साथ एक वैन कम्पेन आरेख बनें जो वर्णमाला A ∪ A में एक शब्द है (आवश्यक रूप से मुक्त रूप से कम नहीं किया गया है)<sup>-1</sup>. फिर डब्ल्यू = 1 जी में।
+#मान लीजिए <math>\mathcal D\,</math> प्रस्तुतीकरण (†) पर सीमा लेबल w के साथ एक वैन कम्पेन आरेख बनें जो वर्णमाला ''A'' ∪ ''A''<sup>−1</sup> में एक शब्द है (आवश्यक रूप से मुक्त रूप से कम नहीं किया गया है). फिर ''w''=1 ''G'' में है।
-#चलो w अक्षर A ∪ A में स्वतंत्र रूप से घटाया गया शब्द है<sup>−1</sup> ऐसा है कि w=1 जी में। फिर एक घटा हुआ वैन कम्पेन आरेख मौजूद है <math>\mathcal D\,</math> प्रस्तुति पर (†) जिसकी सीमा लेबल स्वतंत्र रूप से कम हो गई है और डब्ल्यू के बराबर है।
+#मान लीजिए w अक्षर ''A'' ∪ ''A''<sup>−1</sup> में स्वतंत्र रूप से घटाया गया शब्द है ऐसा है कि w=1 G में है। फिर प्रस्तुतीकरण (†) पर एक घटा हुआ वैन कम्पेन आरेख <math>\mathcal D\,</math> उपस्थित है,  जिसकी सीमा लेबल स्वतंत्र रूप से कम हो गई है और डब्ल्यू के बराबर है।
 === प्रमाण का रेखाचित्र ===
-पहले ध्यान दें कि एक तत्व w ∈ F(A) के लिए हमारे पास G में w = 1 है अगर और केवल अगर w F(A) में R के सामान्य क्लोजर (समूह सिद्धांत) से संबंधित है, अगर और केवल अगर w हो सकता है के रूप में प्रतिनिधित्व किया
+पहले ध्यान दें कि एक तत्व w ∈ F(A) के लिए हमारे पास G में w = 1 है यदि और केवल यदि w F(A) में R के सामान्य संवरण  (समूह सिद्धांत) से संबंधित है, यदि और केवल यदि w को इस रूप में दर्शाया जा सकता है
 :<math>w=u_1s_1u_1^{-1}\cdots u_n s_nu_{n}^{-1}  \text{ in } F(A),</math>(♠)
-कहाँ n ≥ 0 और कहाँ s<sub>i</sub>∈ आर<sub>∗</sub> i = 1, ..., n के लिए।
+जहाँ n ≥ 0 और जहाँ  ''s<sub>i</sub>'' ∈ ''R''<sub>∗</sub> = 1, ..., n के लिए।
-वैन कम्पेन के लेम्मा का भाग 1 के क्षेत्र पर प्रेरण द्वारा सिद्ध किया गया है <math>\mathcal D\,</math>. आगमनात्मक कदम में सीमा क्षेत्रों में से एक को छीलना शामिल है <math>\mathcal D\,</math> वैन कम्पेन आरेख प्राप्त करने के लिए <math>\mathcal D'\,</math> सीमा चक्र w के साथ और यह देखते हुए कि F(A) में हमारे पास है
+वैन कम्पेन के लेम्मा का भाग 1<math>\mathcal D\,</math> के क्षेत्र पर प्रेरण द्वारा सिद्ध किया गया है . आगमनात्मक कदम में सीमा  ''w'' के साथ एक वैन कम्पेन आरेख <math>\mathcal D\,</math> प्राप्त करने के लिए <math>\mathcal D'\,</math> के सीमा क्षेत्रों में से एक को "छीलने" में सम्मिलित है और यह देखते हुए कि  F(A) में हमारे पास है
 :<math>w=usu^{-1} w',\,</math>
-जहां s∈R<sub>∗</sub> क्षेत्र का सीमा चक्र है जिसे प्राप्त करने के लिए निकाला गया था <math>\mathcal D'\,</math> से <math>\mathcal D\,</math>.
+जहां s∈R<sub>∗</sub> क्षेत्र का सीमा चक्र है जिसे  <math>\mathcal D'\,</math> से <math>\mathcal D\,</math>.प्राप्त करने के लिए निकाला गया था
-वैन कम्पेन के लेम्मा के भाग दो का प्रमाण अधिक सम्मिलित है। सबसे पहले, यह देखना आसान है कि यदि w मुक्त रूप से घटाया जाता है और w = 1 G में होता है तो कुछ वान कम्पेन आरेख मौजूद होते हैं <math>\mathcal D_0\,</math> सीमा लेबल डब्ल्यू के साथ<sub>0</sub> ऐसा है कि w = w<sub>0</sub> एफ (ए) में (संभवतः स्वतंत्र रूप से डब्ल्यू को कम करने के बाद<sub>0</sub>). अर्थात् उपरोक्त फॉर्म (♠) के डब्ल्यू के प्रतिनिधित्व पर विचार करें। फिर बनाएँ <math>\mathcal D_0\,</math> यू द्वारा लेबल किए गए तनों के साथ n लॉलीपॉप का एक कील होना<sub>i</sub>और एस द्वारा लेबल की गई कैंडी (2-कोशिकाओं) के साथ<sub>i</sub>. फिर की सीमा लेबल <math>\mathcal D_0\,</math> एक शब्द डब्ल्यू है<sub>0</sub> ऐसा है कि w = w<sub>0</sub> एफ (ए) में। हालाँकि, यह संभव है कि शब्द w<sub>0</sub> स्वतंत्र रूप से कम नहीं किया जाता है। वन कम्पेन आरेखों का एक क्रम प्राप्त करने के लिए एक फिर फोल्डिंग मूव्स करना शुरू करता है <math>\mathcal D_0, \mathcal D_1, \mathcal D_2,\dots\,</math> उनके सीमा लेबल को अधिक से अधिक स्वतंत्र रूप से कम करके और यह सुनिश्चित करते हुए कि प्रत्येक चरण पर अनुक्रम में प्रत्येक आरेख का सीमा लेबल F(A) में w के बराबर है। अनुक्रम वैन कम्पेन आरेख के साथ सीमित संख्या में चरणों में समाप्त होता है <math>\mathcal D_k\,</math> जिसका सीमा लेबल स्वतंत्र रूप से कम किया गया है और इस प्रकार एक शब्द के रूप में डब्ल्यू के बराबर है। रेखाचित्र <math>\mathcal D_k\,</math> कम नहीं किया जा सकता। यदि ऐसा होता है, तो हम सीमा लेबल को प्रभावित किए बिना एक साधारण सर्जरी ऑपरेशन द्वारा इस आरेख से कमी जोड़े को हटा सकते हैं। आखिरकार यह एक कम वैन कम्पेन आरेख का उत्पादन करता है <math>\mathcal D\,</math> जिसका सीमा चक्र स्वतंत्र रूप से घटाया गया है और w के बराबर है।
+वैन कम्पेन के लेम्मा के भाग दो का प्रमाण अधिक सम्मिलित है। सबसे पहले, यह देखना आसान है कि यदि w मुक्त रूप से घटाया जाता है और w = 1 G में होता है तो कुछ वान कम्पेन आरेख उपस्थित  होते हैं <math>\mathcal D_0\,</math> सीमा लेबल डब्ल्यू के साथ<sub>0</sub> ऐसा है कि w = w<sub>0</sub> एफ (ए) में (संभवतः स्वतंत्र रूप से डब्ल्यू को कम करने के बाद<sub>0</sub>). अर्थात् उपरोक्त फॉर्म (♠) के डब्ल्यू के प्रतिनिधित्व पर विचार करें। फिर बनाएँ <math>\mathcal D_0\,</math> यू द्वारा लेबल किए गए तनों के साथ n लॉलीपॉप का एक कील होना<sub>i</sub>और एस द्वारा लेबल की गई कैंडी (2-कोशिकाओं) के साथ<sub>i</sub>. फिर की सीमा लेबल <math>\mathcal D_0\,</math> एक शब्द डब्ल्यू है<sub>0</sub> ऐसा है कि w = w<sub>0</sub> एफ (ए) में। चूंकि , यह संभव है कि शब्द w<sub>0</sub> स्वतंत्र रूप से कम नहीं किया जाता है। वन कम्पेन आरेखों का एक क्रम प्राप्त करने के लिए एक फिर फोल्डिंग मूव्स करना प्रारंभ  करता है <math>\mathcal D_0, \mathcal D_1, \mathcal D_2,\dots\,</math> उनके सीमा लेबल को अधिक से अधिक स्वतंत्र रूप से कम करके और यह सुनिश्चित करते हुए कि प्रत्येक चरण पर अनुक्रम में प्रत्येक आरेख का सीमा लेबल F(A) में w के बराबर है। अनुक्रम वैन कम्पेन आरेख के साथ सीमित संख्या में चरणों में समाप्त होता है <math>\mathcal D_k\,</math> जिसका सीमा लेबल स्वतंत्र रूप से कम किया गया है और इस प्रकार एक शब्द के रूप में डब्ल्यू के बराबर है। रेखाचित्र <math>\mathcal D_k\,</math> कम नहीं किया जा सकता। यदि ऐसा होता है, तो हम सीमा लेबल को प्रभावित किए बिना एक साधारण सर्जरी ऑपरेशन द्वारा इस आरेख से कमी जोड़े को हटा सकते हैं। आखिरकार यह एक कम वैन कम्पेन आरेख का उत्पादन करता है <math>\mathcal D\,</math> जिसका सीमा चक्र स्वतंत्र रूप से घटाया गया है और w के बराबर है।
-=== वैन कम्पेन की लेम्मा === का मजबूत संस्करण
+==== वैन कम्पेन की लेम्मा का मजबूत संस्करण ====
-इसके अलावा, उपरोक्त प्रमाण से पता चलता है कि वैन कम्पेन के लेम्मा के निष्कर्ष को निम्नानुसार मजबूत किया जा सकता है।<ref name="LS"/>यह कहने के लिए भाग 1 को मजबूत किया जा सकता है कि यदि <math>\mathcal D\,</math> सीमा लेबल w के साथ क्षेत्र n का एक वैन कम्पेन आरेख है तो R के तत्वों के बिल्कुल n संयुग्मों के F(A) में एक उत्पाद के रूप में w के लिए प्रतिनिधित्व (♠) मौजूद है<sub>∗</sub>. भाग 2 को यह कहने के लिए मजबूत किया जा सकता है कि यदि डब्ल्यू स्वतंत्र रूप से कम हो जाता है और आर के तत्वों के एन संयुग्मों के एफ (ए) में उत्पाद के रूप में एक प्रतिनिधित्व (♠) स्वीकार करता है<sub>∗</sub> तो सीमा लेबल w और अधिक से अधिक n क्षेत्र के साथ एक कम वैन कम्पेन आरेख मौजूद है।
+इसके अलावा, उपरोक्त प्रमाण से पता चलता है कि वैन कम्पेन के लेम्मा के निष्कर्ष को निम्नानुसार मजबूत किया जा सकता है।<ref name="LS" />यह कहने के लिए भाग 1 को मजबूत किया जा सकता है कि यदि <math>\mathcal D\,</math> सीमा लेबल w के साथ क्षेत्र n का एक वैन कम्पेन आरेख है तो R के तत्वों के बिल्कुल n संयुग्मों के F(A) में एक उत्पाद के रूप में w के लिए प्रतिनिधित्व (♠) उपस्थित  है<sub>∗</sub>. भाग 2 को यह कहने के लिए मजबूत किया जा सकता है कि यदि डब्ल्यू स्वतंत्र रूप से कम हो जाता है और आर के तत्वों के एन संयुग्मों के एफ (ए) में उत्पाद के रूप में एक प्रतिनिधित्व (♠) स्वीकार करता है<sub>∗</sub> तो सीमा लेबल w और अधिक से अधिक n क्षेत्र के साथ एक कम वैन कम्पेन आरेख उपस्थित  है।
 ==Dehn कार्य और isoperimetric कार्य ==
@@ Line 76: / Line 77: @@
 === पहचान का प्रतिनिधित्व करने वाले शब्द का क्षेत्रफल ===
-मान लीजिए w ∈ F(A) ऐसा है कि w = 1 in G. फिर w का क्षेत्र, निरूपित क्षेत्र (w), को सीमा लेबल वाले सभी वैन कम्पेन आरेखों के न्यूनतम क्षेत्रों के रूप में परिभाषित किया गया है (वैन कैम्पेन की लेम्मा कहती है कम से कम एक ऐसा आरेख मौजूद है)।
+मान लीजिए w ∈ F(A) ऐसा है कि w = 1 in G. फिर w का क्षेत्र, निरूपित क्षेत्र (w), को सीमा लेबल वाले सभी वैन कम्पेन आरेखों के न्यूनतम क्षेत्रों के रूप में परिभाषित किया गया है (वैन कैम्पेन की लेम्मा कहती है कम से कम एक ऐसा आरेख उपस्थित  है)।
-कोई यह दिखा सकता है कि डब्ल्यू के क्षेत्र को समान रूप से सबसे छोटे n≥0 के रूप में परिभाषित किया जा सकता है जैसे परिभाषित रिलेटर्स के एन संयुग्मों के एफ (ए) में एक उत्पाद के रूप में डब्ल्यू को व्यक्त करने वाला एक प्रतिनिधित्व (♠) मौजूद है।
+कोई यह दिखा सकता है कि डब्ल्यू के क्षेत्र को समान रूप से सबसे छोटे n≥0 के रूप में परिभाषित किया जा सकता है जैसे परिभाषित रिलेटर्स के एन संयुग्मों के एफ (ए) में एक उत्पाद के रूप में डब्ल्यू को व्यक्त करने वाला एक प्रतिनिधित्व (♠) उपस्थित  है।
 === आइसोपेरिमेट्रिक फ़ंक्शन और डीएचएन फ़ंक्शन ===
@@ Line 93: / Line 94: @@
 यह देखना आसान है कि Dehn(n) (†) के लिए एक समपरिमितीय फलन है और इसके अलावा, यदि f(n) (†) के लिए कोई अन्य समपरिमितीय फलन है तो प्रत्येक n ≥ के लिए Dehn(n) ≤ f(n) 0.
-चलो w ∈ F(A) एक स्वतंत्र रूप से कम किया गया शब्द है जैसे कि जी में w = 1। एक वैन कम्पेन आरेख <math>\mathcal D\,</math> सीमा लेबल के साथ w को न्यूनतम कहा जाता है <math>{\rm Area}(\mathcal D)={\rm Area}(w).</math> मिनिमल वैन कम्पेन डायग्राम रीमैनियन ज्यामिति में [[न्यूनतम सतह]]ों के असतत अनुरूप हैं।
+मान लीजिए w ∈ F(A) एक स्वतंत्र रूप से कम किया गया शब्द है जैसे कि जी में w = 1। एक वैन कम्पेन आरेख <math>\mathcal D\,</math> सीमा लेबल के साथ w को न्यूनतम कहा जाता है <math>{\rm Area}(\mathcal D)={\rm Area}(w).</math> मिनिमल वैन कम्पेन डायग्राम रीमैनियन ज्यामिति में [[न्यूनतम सतह]]ों के असतत अनुरूप हैं।
 == सामान्यीकरण और अन्य अनुप्रयोग ==
@@ Line 99: / Line 100: @@
 *वैन-कैम्पन आरेखों के कई सामान्यीकरण हैं जहां समतलीय होने के बजाय जुड़ा हुआ है और बस जुड़ा हुआ है (जिसका अर्थ है डिस्क के लिए होमोटोपी समतुल्यता होना) आरेख किसी अन्य सतह पर या होमोटोपी समकक्षता पर खींचा जाता है। यह पता चला है कि सतह की ज्यामिति और कुछ समूह सैद्धांतिक धारणाओं के बीच घनिष्ठ संबंध है। इनमें से एक विशेष रूप से महत्वपूर्ण एक वलयाकार वैन कम्पेन आरेख की धारणा है, जो एक [[वलय (गणित)]] के लिए [[होमोटॉपी तुल्यता]] है। कुंडलाकार आरेख, जिसे संयुग्मी आरेख के रूप में भी जाना जाता है, का उपयोग समूह प्रस्तुतियों द्वारा दिए गए समूहों में [[संयुग्मन वर्ग]] का प्रतिनिधित्व करने के लिए किया जा सकता है।<ref name="LS"/>  साथ ही गोलाकार वैन कैम्पेन आरेख समूह-सैद्धांतिक [[एस्फेरिकल स्पेस]] के कई संस्करणों और व्हाइटहेड अनुमान से संबंधित हैं। व्हाइटहेड की एस्फेरिसिटी अनुमान,<ref>Ian M. Chiswell, Donald J. Collins, and Johannes Huebschmann. [https://doi.org/10.1007%2FBF01218369 ''Aspherical group presentations.''] Mathematische Zeitschrift, vol. 178 (1981), no. 1, pp. 1&ndash;36.</ref> टोरस पर वैन कम्पेन आरेख आने वाले तत्वों से संबंधित हैं, वास्तविक प्रोजेक्टिव विमान पर आरेख समूह में शामिल होने से संबंधित हैं और क्लेन की बोतल पर आरेख उन तत्वों से संबंधित हैं जो अपने स्वयं के व्युत्क्रम से संयुग्मित हैं।
 *1960-1970 के दशक में ग्रीन्डलिंगर, लिंडन और शूप द्वारा विकसित छोटे रद्दीकरण सिद्धांत में वैन कम्पेन आरेख केंद्रीय वस्तुएं हैं।<ref name="LS"/><ref>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> छोटा रद्दीकरण सिद्धांत समूह प्रस्तुतियों से संबंधित है जहां परिभाषित संबंधों में एक दूसरे के साथ छोटे ओवरलैप होते हैं। यह स्थिति छोटे रद्दीकरण प्रस्तुतियों पर कम वैन कम्पेन आरेखों की ज्यामिति में परिलक्षित होती है, जो कुछ प्रकार के गैर-सकारात्मक रूप से घुमावदार या नकारात्मक रूप से घुमावदार व्यवहार को मजबूर करती है। यह व्यवहार विशेष रूप से शब्द और संयुग्मन समस्याओं के संबंध में छोटे रद्दीकरण समूहों के बीजगणितीय और एल्गोरिथम गुणों के बारे में उपयोगी जानकारी प्राप्त करता है। लघु रद्दीकरण सिद्धांत ज्यामितीय समूह सिद्धांत के प्रमुख अग्रदूतों में से एक था, जो 1980 के दशक के अंत में एक विशिष्ट गणितीय क्षेत्र के रूप में उभरा और यह ज्यामितीय समूह सिद्धांत का एक महत्वपूर्ण हिस्सा बना हुआ है।
-*1987 में मिखाइल ग्रोमोव (गणितज्ञ) द्वारा पेश किए गए [[शब्द-अतिशयोक्तिपूर्ण समूह]]ों के सिद्धांत में वैन कम्पेन आरेख एक महत्वपूर्ण भूमिका निभाते हैं।<ref>M. Gromov. ''Hyperbolic Groups''. Essays in Group Theory (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75&ndash;263; {{isbn|0-387-96618-8}}.</ref> विशेष रूप से, यह पता चला है कि एक अंतिम रूप से प्रस्तुत समूह शब्द-अतिशयोक्तिपूर्ण समूह है| इसके अलावा, सूक्ष्म रूप से प्रस्तुत समूहों के लिए आइसोपेरिमेट्रिक कार्यों के संभावित स्पेक्ट्रम में एक आइसोपेरिमेट्रिक गैप है: किसी भी अंतिम रूप से प्रस्तुत समूह के लिए या तो यह अतिशयोक्तिपूर्ण है और एक रेखीय आइसोपेरिमेट्रिक असमानता को संतुष्ट करता है या फिर डीएचएन फ़ंक्शन कम से कम द्विघात है।<ref>Michel Coornaert, Thomas Delzant, Athanase Papadopoulos, ''Géométrie et théorie des groupes: les groupes hyperboliques de Gromov''. Lecture Notes in Mathematics, vol. 1441, [[Springer-Verlag]], Berlin, 1990. {{isbn|3-540-52977-2}}.</ref><ref>B. H. Bowditch. [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.mmj/1029005156 ''A short proof that a subquadratic isoperimetric inequality implies a linear one.''] Michigan Mathematical Journal, vol. 42 (1995), no. 1, pp. 103&ndash;107.</ref>
+*1987 में मिखाइल ग्रोमोव (गणितज्ञ) द्वारा प्रस्तुत किए गए [[शब्द-अतिशयोक्तिपूर्ण समूह]]ों के सिद्धांत में वैन कम्पेन आरेख एक महत्वपूर्ण भूमिका निभाते हैं।<ref>M. Gromov. ''Hyperbolic Groups''. Essays in Group Theory (G. M. Gersten, ed.), MSRI Publ. 8, 1987, pp. 75&ndash;263; {{isbn|0-387-96618-8}}.</ref> विशेष रूप से, यह पता चला है कि एक अंतिम रूप से प्रस्तुत समूह शब्द-अतिशयोक्तिपूर्ण समूह है| इसके अलावा, सूक्ष्म रूप से प्रस्तुत समूहों के लिए आइसोपेरिमेट्रिक कार्यों के संभावित स्पेक्ट्रम में एक आइसोपेरिमेट्रिक गैप है: किसी भी अंतिम रूप से प्रस्तुत समूह के लिए या तो यह अतिशयोक्तिपूर्ण है और एक रेखीय आइसोपेरिमेट्रिक असमानता को संतुष्ट करता है या फिर डीएचएन फ़ंक्शन कम से कम द्विघात है।<ref>Michel Coornaert, Thomas Delzant, Athanase Papadopoulos, ''Géométrie et théorie des groupes: les groupes hyperboliques de Gromov''. Lecture Notes in Mathematics, vol. 1441, [[Springer-Verlag]], Berlin, 1990. {{isbn|3-540-52977-2}}.</ref><ref>B. H. Bowditch. [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.mmj/1029005156 ''A short proof that a subquadratic isoperimetric inequality implies a linear one.''] Michigan Mathematical Journal, vol. 42 (1995), no. 1, pp. 103&ndash;107.</ref>
 *ज्यामितीय समूह सिद्धांत में सूक्ष्म रूप से प्रस्तुत समूहों के लिए आइसोपेरिमेट्रिक कार्यों का अध्ययन एक महत्वपूर्ण सामान्य विषय बन गया है जहां पर्याप्त प्रगति हुई है। भिन्नात्मक Dehn फ़ंक्शन वाले समूहों के निर्माण में बहुत काम चला गया है (अर्थात, Dehn फ़ंक्शन गैर-पूर्णांक डिग्री के बहुपद हैं)।<ref>M. R. Bridson, [http://www.ams.org/jams/1999-12-04/S0894-0347-99-00308-2/home.html ''Fractional isoperimetric inequalities and subgroup distortion.''] [[Journal of the American Mathematical Society]], vol. 12 (1999), no. 4, pp. 1103&ndash;1118.</ref> [[एलियाहू चीरता है]], ओलशांस्की, बिरगेट और सपीर का काम<ref>M. Sapir, J.-C. Birget, E. Rips, [https://www.jstor.org/pss/3597195 ''Isoperimetric and isodiametric functions of groups.'']  [[Annals of Mathematics]] (2), vol. 156 (2002), no. 2, pp. 345&ndash;466.</ref><ref>J.-C. Birget, Aleksandr Yur'evich Ol'shanskii, E. Rips, M. Sapir, [https://www.jstor.org/pss/3597196 ''Isoperimetric functions of groups and computational complexity of the word problem.''] [[Annals of Mathematics]] (2), vol. 156 (2002), no. 2, pp. 467&ndash;518.</ref> [[ट्यूरिंग मशीन]]ों के डीएचएन कार्यों और समय जटिलता कार्यों के बीच संबंधों की खोज की और दिखाया कि एक मनमाने ढंग से उचित समय समारोह को कुछ सूक्ष्म रूप से प्रस्तुत समूह के डीएचएन समारोह के रूप में महसूस किया जा सकता है।
 *इस विषय में वैन कम्पेन आरेखों के विभिन्न स्तरीकृत और सापेक्षिक संस्करणों का भी पता लगाया गया है। विशेष रूप से, ओल्शांस्की द्वारा विकसित छोटे निरस्तीकरण सिद्धांत के एक स्तरीकृत संस्करण के परिणामस्वरूप विभिन्न समूह-सैद्धांतिक राक्षसों का निर्माण हुआ, जैसे [[तार्स्की राक्षस]],<ref>{{cite journal| last=Ol'sanskii | first=A. Yu. | year=1979 | script-title=ru:Бесконечные группы с циклическими подгруппами |trans-title=Infinite groups with cyclic subgroups | language=Russian | journal=[[Doklady Akademii Nauk SSSR]] | volume=245 | issue=4 | pages=785&ndash;787}}

Anonymous

Search

वैन कम्पेन आरेख: Difference between revisions

Namespaces

More

Page actions

Revision as of 00:34, 7 April 2023

Contents

इतिहास