स्नेक लेम्मा

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

कथन
एबेलियन श्रेणी में (जैसे कि एबेलियन समूह की श्रेणी या किसी दिए गए क्षेत्र (बीजगणित) पर वेक्टर रिक्त स्थान की श्रेणी), एक कम्यूटेटिव आरेख पर विचार करें:
 * [[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$$ हैं:

नाम की व्याख्या
यह देखने के लिए कि स्नेक लेम्मा को इसका नाम कहां मिलता है, उपरोक्त आरेख को इस प्रकार विस्तृत करें:
 * [[File:Snake lemma complete.svg]]
 * और फिर स्पष्ट क्रम जो कि लेम्मा का निष्कर्ष है, इस विस्तारित आरेख पर एक रेंगने वाले सांप के उल्टे S आकार में खींचा जा सकता है।

नक्शों का निर्माण
आरेख की क्रमविनिमेयता के कारण दिए गए (क्षैतिज) मानचित्रों द्वारा गुठली और कोकर्नेल के बीच के मानचित्रों के बीच के मानचित्रों को प्राकृतिक विधि से प्रेरित किया जाता है। मूल आरेख की पंक्तियों की स्पष्टता से दो प्रेरित अनुक्रमों की स्पष्टता सीधे विधि से होती है। लेम्मा का महत्वपूर्ण कथन यह है कि एक कनेक्टिंग होमोमोर्फिज्म 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 का प्रमाण देखें) ).

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

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

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

उदाहरण
मान लीजिए $$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$$ सामान्यतः स्पष्ट नहीं है। इसलिए स्वाभाविक प्रश्न उठता है। यह क्रम स्पष्ट क्यों नहीं है?

उपरोक्त आरेख के अनुसार, हम एक स्पष्ट अनुक्रम प्रेरित कर सकते हैं $$\ker(t_M) \to \ker(t_N) \to \ker(t_P) \to M \otimes_{k[t]} k \to N \otimes_{k[t]} k \to P \otimes_{k[t]} k \to 0$$ स्नेक लेम्मा लगाने से इस प्रकार, सांप लेम्मा टेन्सर उत्पाद की स्पष्ट होने में विफलता को दर्शाता है।

समूहों की श्रेणी में
जबकि होमोलॉजिकल बीजगणित के कई परिणाम, जैसे कि पांच लेम्मा या नौ लेम्मा, एबेलियन श्रेणियों के साथ-साथ समूहों की श्रेणी में भी हैं, साँप लेम्मा नहीं है। वास्तव में, इच्छानुसार कोकर्नेल उपस्थित नहीं है। चूंकि, कोकर्नेल को (बाएं) कोसेट द्वारा प्रतिस्थापित किया जा सकता है $$A'/\operatorname{im} a$$, $$B'/\operatorname{im} b$$, और $$C'/\operatorname{im} c$$.फिर कनेक्टिंग होमोमोर्फिज्म को अभी भी परिभाषित किया जा सकता है, और सांप लेम्मा के कथन के रूप में अनुक्रम लिख सकते हैं। यह सदैव एक चेन कॉम्प्लेक्स होगा, किंतु यह स्पष्ट होने में विफल हो सकता है। स्पष्टता का प्रमाणित किया जा सकता है, चूँकि जब आरेख में लंबवत अनुक्रम स्पष्ट होते हैं, अर्थात, जब a, b, और c की छवियां सामान्य उपसमूह होती हैं।

प्रति उदाहरण
वैकल्पिक समूह $$A_5$$ पर विचार करें: इसमें सममित समूह $$S_3$$ के लिए एक उपसमूह आइसोमॉर्फिक सम्मिलित है, जो बदले में चक्रीय समूहों के अर्ध-प्रत्यक्ष उत्पाद के रूप में लिखा जा सकता है: $$S_3\simeq C_3\rtimes C_2$$ यह निम्नलिखित आरेख को स्पष्ट पंक्तियों के साथ जन्म देता है:
 * $$\begin{matrix} & 1 & \to & C_3 & \to & C_3 & \to 1\\

& \downarrow && \downarrow && \downarrow \\ 1 \to & 1 & \to & S_3 & \to & A_5 \end{matrix} $$ ध्यान दें कि मध्य स्तंभ स्पष्ट नहीं है: अर्ध-प्रत्यक्ष उत्पाद में $$C_2$$ सामान्य उपसमूह नहीं है।

चूँकि $$A_5$$ सरल है, दाएँ लंबवत तीर में तुच्छ कोकर्नेल है। इस बीच भागफल समूह $$S_3/C_3$$, $$C_2$$ के लिए समरूप है। सर्प प्रमेयिका के कथन में क्रम इसलिए है
 * $$1 \longrightarrow 1 \longrightarrow 1 \longrightarrow 1  \longrightarrow C_2  \longrightarrow 1$$,

जो वास्तव में स्पष्ट होने में विफल रहता है।

लोकप्रिय संस्कृति में
सर्प प्रमेयिका के प्रमाण को जिल क्लेबर्ग के चरित्र द्वारा 1980 की फिल्म इट्स माई टर्न की प्रारंभ में सिखाया गया है।।

सर्प प्रमेयिका के प्रमाण को जिल क्लेबर्ग के चरित्र द्वारा 1980 की फिल्म इट्स माई टर्न की प्रारंभ में

यह भी देखें

 * ज़िगज़ैग लेम्मा

बाहरी संबंध

 * Snake Lemma at PlanetMath
 * Proof of the Snake Lemma in the film It's My Turn
 * Proof of the Snake Lemma in the film It's My Turn