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

गणित में, विशेष रूप से होमोलॉजिकल बीजगणित, ज़िग-ज़ैग लेम्मा कुछ श्रृंखला परिसरों के होमोलॉजी समूहों में विशेष लंबे स्पष्ट अनुक्रम के अस्तित्व पर ध्यान देती है। परिणाम हर एबेलियन श्रेणी में मान्य है।

कथन
एबेलियन श्रेणी में (जैसे एबेलियन समूह की श्रेणी या किसी दिए गए क्षेत्र (बीजगणित) पर सदिश रिक्त स्थान की श्रेणी), मान लीजिए $$(\mathcal{A},\partial_{\bullet}), (\mathcal{B},\partial_{\bullet}')$$ और $$(\mathcal{C},\partial_{\bullet}'')$$ चेन कॉम्प्लेक्स बनें; जो निम्नलिखित लघु स्पष्ट अनुक्रम में फिट हों:


 * $$0 \longrightarrow \mathcal{A} \mathrel{\stackrel{\alpha}{\longrightarrow}} \mathcal{B} \mathrel{\stackrel{\beta}{\longrightarrow}} \mathcal{C}\longrightarrow 0$$
 * ऐसा क्रम निम्न क्रमविनिमेय आरेख के लिए आशुलिपि है:

[[image:complex_ses_diagram.png|

श्रृंखला परिसरों के संक्षिप्त स्पष्ट अनुक्रम का क्रमविनिमेय आरेख प्रतिनिधित्व

जहाँ पंक्तियाँ स्पष्ट क्रम हैं और प्रत्येक स्तंभ श्रृंखला परिसर है।

ज़िग-ज़ैग लेम्मा यह प्रमाणित करती है कि सीमा मानचित्रों का संग्रह है:


 * $$ \delta_n : H_n(\mathcal{C}) \longrightarrow H_{n-1}(\mathcal{A}), $$

जो निम्नलिखित अनुक्रम को स्पष्ट बनाता है:

[[image:complex_les.png|

ज़िग-ज़ैग लेम्मा द्वारा दी गई समरूपता में लंबा स्पष्ट अनुक्रम

मानचित्र $$\alpha_*^{ }$$ और $$\beta_*^{ }$$ समरूपता से प्रेरित सामान्य मानचित्र हैं। सीमा मानचित्र $$\delta_n^{ }$$ नीचे समझाया गया है। अनुक्रम में मानचित्रों के ज़िग-ज़ैग व्यवहार से लेम्मा का नाम उत्पन्न होता है। ज़िग-ज़ैग लेम्मा के भिन्न संस्करण को सामान्यतः "स्नेक लेम्मा" के रूप में जाना जाता है (यह नीचे दिए गए ज़िग-ज़ैग लेम्मा के प्रमाण का सार निकालता है)।

सीमा मानचित्रों का निर्माण
मानचित्र $$\delta_n^{ }$$ तर्क का अनुसरण करते हुए मानक आरेख का उपयोग करके परिभाषित किया गया है। माना $$c \in C_n$$ में $$H_n(\mathcal{C})$$ वर्ग का प्रतिनिधित्व करते हैं, इसलिए आंशिक $$\partial_n''(c) = 0$$। पंक्ति की शुद्धता का तात्पर्य है कि $$\beta_n^{ }$$ विशेषण है, इसलिए $$\beta_n^{ }(b) = c$$ के साथ कुछ $$b \in B_n$$ होना चाहिए। आरेख की क्रमविनिमेयता द्वारा,


 * $$ \beta_{n-1} \partial_n' (b) = \partial_n \beta_n(b) = \partial_n(c) = 0. $$

स्पष्टता से,


 * $$\partial_n'(b) \in \ker \beta_{n-1} = \mathrm{im}\; \alpha_{n-1}.$$

इस प्रकार, चूँकि $$\alpha_{n-1}^{}$$ एकात्मक है, इसलिए अद्वितीय तत्व $$a \in A_{n-1}$$ है, जैसे कि $$\alpha_{n-1}(a) = \partial_n'(b)$$। यह चक्र है, क्योंकि $$\alpha_{n-2}^{ }$$ इंजेक्शन है और


 * $$\alpha_{n-2} \partial_{n-1}(a) = \partial_{n-1}' \alpha_{n-1}(a) = \partial_{n-1}' \partial_n'(b) = 0,$$

तब से $$\partial^2 = 0$$। यह $$\partial_{n-1}(a) \in \ker \alpha_{n-2} = \{0\}$$ है। इसका अर्थ यह है कि $$a$$ चक्र है, इसलिए यह वर्ग $$H_{n-1}(\mathcal{A})$$ का प्रतिनिधित्व करता है। अब हम परिभाषित कर सकते हैं:


 * $$ \delta_{ }^{ }[c] = [a].$$

परिभाषित सीमा मानचित्रों के साथ, कोई दिखा सकता है कि वे अच्छी तरह से परिभाषित हैं (अर्थात, c और b के विकल्पों से स्वतंत्र)। प्रमाण उपरोक्त के समान तर्कों का अनुसरण करते हुए आरेख का उपयोग करता है। इस तरह के तर्कों का उपयोग यह दिखाने के लिए भी किया जाता है कि समरूपता में अनुक्रम प्रत्येक समूह में स्पष्ट है।

यह भी देखें

 * मेयर-विटोरिस अनुक्रम