स्नेक लेम्मा

स्नेक लेम्मा एक उपकरण है जिसका उपयोग गणित में किया जाता है, विशेष रूप से होमोलॉजिकल बीजगणित में, लंबे स्पष्ट अनुक्रमों के निर्माण के लिए स्नेक लेम्मा हर एबेलियन श्रेणी में मान्य है और होमोलॉजिकल बीजगणित और इसके अनुप्रयोगों में एक महत्वपूर्ण उपकरण है, उदाहरण के लिए बीजगणितीय टोपोलॉजी में इसकी सहायता से निर्मित होमोमोर्फिज्म को सामान्यतः 'कनेक्टिंग होमोमोर्फिज्म' कहा जाता है।

कथन

एबेलियन श्रेणी में (जैसे कि एबेलियन समूह की श्रेणी या किसी दिए गए क्षेत्र (बीजगणित) पर वेक्टर रिक्त स्थान की श्रेणी), एक कम्यूटेटिव आरेख पर विचार करें:

File:Snake lemma origin.svgजहाँ पंक्तियाँ स्पष्ट क्रम हैं और 0 शून्य वस्तु है।

फिर a, b और c के कर्नेल (श्रेणी सिद्धांत) और कोकेर्नल से संबंधित एक स्पष्ट अनुक्रम है:

$\ker a~{\color {Gray}\longrightarrow }~\ker b~{\color {Gray}\longrightarrow }~\ker c~{\overset {d}{\longrightarrow }}~\operatorname {coker} a~{\color {Gray}\longrightarrow }~\operatorname {coker} b~{\color {Gray}\longrightarrow }~\operatorname {coker} c$

जहाँ d एक समरूपता है, जिसे संयोजक समरूपता के रूप में जाना जाता है।

इसके अतिरिक्त, यदि आकृतिवाद f एक एकरूपता है, तो आकारिकी भी $\ker a~{\color {Gray}\longrightarrow }~\ker b$,है और यदि g' अधिरूपता है, तो ऐसा $\operatorname {coker} b~{\color {Gray}\longrightarrow }~\operatorname {coker} c$.है

यहाँ कोकर्नेल $\operatorname {coker} a=A'/\operatorname {im} a$, $\operatorname {coker} b=B'/\operatorname {im} b$, $\operatorname {coker} c=C'/\operatorname {im} c$ हैं:

नाम की व्याख्या

यह देखने के लिए कि स्नेक लेम्मा को इसका नाम कहां मिलता है, उपरोक्त आरेख को इस प्रकार विस्तृत करें:

और फिर स्पष्ट क्रम जो कि लेम्मा का निष्कर्ष है, इस विस्तारित आरेख पर एक रेंगने वाले सांप के उल्टे S आकार में खींचा जा सकता है।

नक्शों का निर्माण

File:Snake lemma map construction.gif

मानचित्र d के निर्माण का एक एनीमेशन में कुछ x दिया गया है

आरेख की क्रमविनिमेयता के कारण दिए गए (क्षैतिज) मानचित्रों द्वारा गुठली और कोकर्नेल के बीच के मानचित्रों के बीच के मानचित्रों को प्राकृतिक विधि से प्रेरित किया जाता है। मूल आरेख की पंक्तियों की स्पष्टता से दो प्रेरित अनुक्रमों की स्पष्टता सीधे विधि से होती है। लेम्मा का महत्वपूर्ण कथन यह है कि एक कनेक्टिंग होमोमोर्फिज्म d उपस्थित है जो स्पष्ट अनुक्रम को पूरा करता है।

कुछ रिंग (गणित) पर एबेलियन समूहों या मॉड्यूल (गणित) के स्थिति में नक्शा d निम्नानुसार बनाया जा सकता है:

केर C में एक तत्व एक्स चुनें और इसे सी के एक तत्व के रूप में देखें; चूँकि g आच्छादक है, इसलिए B में g(y) = x के साथ y उपस्थित है। आरेख की क्रमविनिमेयता के कारण, हमारे पास g'(b(y)) = c(g(y)) = c(x) = 0 है (क्योंकि x, c के कर्नेल में है), और इसलिए b(y) g' के कर्नेल में है। चूंकि नीचे की पंक्ति बिल्कुल स्पष्ट है, इसलिए हमें A' में f '(z) = b(y) के साथ एक तत्व z मिलता है। f' के इंजेक्शन द्वारा z अद्वितीय है। फिर हम d(x) = z + im(a) को परिभाषित करते हैं। अब किसी को यह जांचना है कि d अच्छी तरह से परिभाषित है (अर्थात d(x) केवल x पर निर्भर करता है और y की पसंद पर नहीं), यह एक समरूपता है, और परिणामी लंबा अनुक्रम वास्तव में स्पष्ट है। क्रमविनिमेय रेखाचित्र या आरेख का पीछा करते हुए नियमित रूप से स्पष्टता को सत्यापित किया जा सकता है (प्रमेयिका 9.1 का प्रमाण देखें) ).

एक बार ऐसा हो जाने के बाद, रिंग के ऊपर एबेलियन समूहों या मॉड्यूल के लिए प्रमेय सिद्ध हो जाता है। सामान्य स्थिति के लिए, तर्क को तत्वों के अतिरिक्त तीरों और रद्दीकरण के गुणों के संदर्भ में दोहराया जा सकता है। वैकल्पिक रूप से, कोई मिशेल के एम्बेडिंग प्रमेय का आह्वान कर सकता है।

स्वाभाविकता

अनुप्रयोगों में, अधिकांशतः यह दिखाने की आवश्यकता होती है कि लंबे स्पष्ट अनुक्रम प्राकृतिक हैं (प्राकृतिक परिवर्तन के अर्थ में)। यह सर्प लेम्मा द्वारा निर्मित अनुक्रम की स्वाभाविकता से अनुसरण करता है।

यदि

सटीक पंक्तियों के साथ क्रमविनिमेय आरेख

स्पष्ट पंक्तियों के साथ एक क्रमविनिमेय आरेख है, तो सांप लेम्मा को दो बार आगे और पीछे दो बार प्रयुक्त किया जा सकता है, जिससे दो लंबे स्पष्ट क्रम मिलते हैं; ये प्रपत्र के क्रमविनिमेय आरेख द्वारा संबंधित हैं

सटीक पंक्तियों के साथ क्रमविनिमेय आरेख

उदाहरण

मान लीजिए $k$ क्षेत्र है, $V$ $k$-वेक्टर स्थान है। $V$, $k[t]$-मॉड्यूल द्वारा $t:V\to V$ एक $k$-रैखिक परिवर्तन है, इसलिए हम $k[t]$ पर $V$ और $k$ को टेन्सर कर सकते हैं।

$V\otimes _{k[t]}k=V\otimes _{k[t]}(k[t]/(t))=V/tV=\operatorname {coker} (t).$

का संक्षिप्त स्पष्ट क्रम दिया गया है $k$-वेक्टर रिक्त स्थान $0\to M\to N\to P\to 0$, हम एक स्पष्ट अनुक्रम प्रेरित कर सकते हैं $M\otimes _{k[t]}k\to N\otimes _{k[t]}k\to P\otimes _{k[t]}k\to 0$ टेंसर उत्पाद की सही स्पष्टता से किंतु क्रम $0\to M\otimes _{k[t]}k\to N\otimes _{k[t]}k\to P\otimes _{k[t]}k\to 0$ सामान्यतः स्पष्ट नहीं है। इसलिए स्वाभाविक प्रश्न उठता है। यह क्रम स्पष्ट क्यों नहीं है?

430x430 पीएक्सउपरोक्त आरेख के अनुसार, हम एक स्पष्ट अनुक्रम प्रेरित कर सकते हैं $\ker <!--\; \; -->(t_M)\to <!--\; \to \; -->\ker <!--\; \; -->(t_N)\to <!--\; \to \; -->\ker <!--\; \; -->(t_P)\to <!--\; \to \; -->M{\otimes <!--\; \otimes \; -->}_{k[t]}k\to <!--\; \to \; -->N{\otimes <!--\; \otimes \; -->}_k$