मोनोमोर्फिज्म

सार बीजगणित या सार्वभौमिक बीजगणित के संदर्भ में, मोनोमोर्फिज्म एक अंतःक्षेपक समाकारिता (इंजेक्टिव होमोमोर्फिसम) है। मोनोमोर्फिज्म $X$ को $Y$ को प्रायः अंकन के साथ दर्शाया जाता है  $$X\hookrightarrow Y$$.

श्रेणी सिद्धांत की अधिक सामान्य सेटिंग में, एक मोनोमोर्फिज्म (जिसे मोनिक आकारिता या मोनो भी कहा जाता है) एक वाम रद्द करनेवाला मॉर्फिज्म है। यानी एरो $f : X → Y$ जैसे कि सभी वस्तुओं के लिए $Z$ और सभी morphisms $g_{1}, g_{2}: Z → X$,
 * $$f \circ g_1 = f \circ g_2 \implies g_1 = g_2.$$Monomorphism_pullback_square.pngमोनोमोर्फिज्म इंजेक्शन कार्यों का एक सामान्य सामान्यीकरण है (जिसे एक-से-एक कार्य भी कहा जाता है); कुछ श्रेणियों में धारणाएं मेल खाती हैं, लेकिन मोनोमोर्फिज़्म अधिक सामान्य हैं, जैसा कि #उदाहरणों के लिए नीचे दिया गया है।

आंशिक रूप से आदेशित सेट प्रतिच्छेदन ( इन्टरसेक्शन) की सेटिंग में Idempotence हैं: किसी भी चीज़ का प्रतिच्छेदन स्वयं ही है। मोनोमोर्फिज़्म इस संपत्ति को मनमाने ढंग से श्रेणियों में सामान्यीकृत करते हैं। पुलबैक (श्रेणी सिद्धांत) के संबंध में एक रूपवाद एक मोनोमोर्फिज्म है यदि यह उदासीन है।

मोनोमोर्फिज्म का श्रेणीबद्ध द्वैत एक एपीमोर्फिज्म है, अर्थात, श्रेणी सी में एक मोनोमोर्फिज्म द्वैत श्रेणी सी में एक अधिरूपता Cop है। प्रत्येक खंड (श्रेणी सिद्धांत) एक मोनोमोर्फिज्म है, और प्रत्येक रिट्रेक्ट (श्रेणी सिद्धांत) एक एपिमोर्फिज्म है।

उलटापन से संबंध
वाम-अपरिवर्तनीय morphisms आवश्यक रूप से मोनिक हैं: यदि l f के लिए एक बायां व्युत्क्रम है (अर्थात् l एक morphism है और $$l \circ f = \operatorname{id}_{X}$$), तो एफ मोनिक है, जैसा
 * $$f \circ g_1 = f \circ g_2 \Rightarrow l\circ f\circ g_1 = l\circ f\circ g_2 \Rightarrow g_1 = g_2.$$

एक वाम-अपरिवर्तनीय रूपवाद को एक खंड (श्रेणी सिद्धांत) या एक खंड कहा जाता है।

हालांकि, एक मोनोमोर्फिज्म को वाम-उलटा नहीं होना चाहिए। उदाहरण के लिए, सभी समूह (गणित) के श्रेणी समूह में और उनमें से समूह समरूपता, यदि एच जी का एक उपसमूह है तो समावेशन f : H → G हमेशा एक एकरूपता है; लेकिन एफ के पास श्रेणी में एक उलटा उलटा है अगर और केवल अगर एच में जी में एक पूरक (समूह सिद्धांत) है।

एक रूपवाद f : X → Y मोनिक है अगर और केवल अगर प्रेरित मानचित्र f∗ : Hom(Z, X) → Hom(Z, Y), द्वारा परिभाषित f∗(h) = f ∘ h सभी रूपों के लिए h : Z → X, सभी वस्तुओं Z के लिए अंतःक्षेपी है।

उदाहरण
एक ठोस श्रेणी में प्रत्येक आकारिकी जिसका अंतर्निहित कार्य (गणित) इंजेक्शन है एक मोनोमोर्फिज्म है; दूसरे शब्दों में, यदि morphisms वास्तव में सेट के बीच कार्य करता है, तो कोई morphism जो एक-से-एक फ़ंक्शन है, निश्चित रूप से श्रेणीबद्ध अर्थ में एक मोनोमोर्फिज्म होगा। सेट की श्रेणी में बातचीत भी रखती है, इसलिए मोनोमोर्फिज़्म बिल्कुल इंजेक्शन वाले रूप हैं। एक जनरेटर पर एक मुक्त वस्तु के अस्तित्व के कारण आक्षेप भी बीजगणित की सबसे स्वाभाविक रूप से होने वाली श्रेणियों में होता है। विशेष रूप से, यह सभी समूहों की श्रेणियों, सभी रिंगों (गणित) और किसी भी एबेलियन श्रेणी में सच है।

हालांकि, यह सामान्य तौर पर सच नहीं है कि अन्य श्रेणियों में सभी मोनोमोर्फिज़्म अंतःक्षेपी होने चाहिए; अर्थात्, ऐसी सेटिंग्स हैं जिनमें आकारिकी सेट के बीच कार्य करती है, लेकिन एक ऐसा कार्य हो सकता है जो इंजेक्शन नहीं है और फिर भी श्रेणीबद्ध अर्थों में एक मोनोमोर्फिज्म है। उदाहरण के लिए, विभाज्य समूह एबेलियन समूह की श्रेणी डिव में | (एबेलियन) समूह और उनके बीच समूह होमोमोर्फिम्स में मोनोमोर्फिज़्म हैं जो इंजेक्शन नहीं हैं: उदाहरण के लिए, भागफल मानचित्र पर विचार करें q : Q → Q/Z, जहाँ Q योग के अंतर्गत परिमेय संख्या है, Z पूर्णांक (जोड़ के अंतर्गत एक समूह भी माना जाता है), और Q/Z संगत भागफल समूह है। यह एक अंतःक्षेपी नक्शा नहीं है, उदाहरण के लिए प्रत्येक पूर्णांक को 0 पर मैप किया जाता है। फिर भी, यह इस श्रेणी में एक मोनोमोर्फिज्म है। यह निहितार्थ से होता है q ∘ h = 0 ⇒ h = 0, जिसे अब हम सिद्ध करेंगे। अगर h : G → Q, जहाँ G कुछ विभाज्य समूह है, और q ∘ h = 0, तब h(x) ∈ Z, ∀ x ∈ G. अब कुछ ठीक करो x ∈ G. व्यापकता के नुकसान के बिना, हम यह मान सकते हैं h(x) ≥ 0 (अन्यथा, इसके बजाय -x चुनें)। फिर, दे रहा हूँ n = h(x) + 1, चूँकि G एक विभाज्य समूह है, कुछ का अस्तित्व है y ∈ G ऐसा है कि x = ny, इसलिए h(x) = n h(y). इससे और 0 ≤ h(x) < h(x) + 1 = n, यह इस प्रकार है कि


 * $$0 \leq \frac{h(x)}{h(x) + 1} = h(y) < 1 $$

तब से h(y) ∈ Z, यह इस प्रकार है कि h(y) = 0, और इस तरह h(x) = 0 = h(−x), ∀ x ∈ G. यह कहता है h = 0, जैसी इच्छा थी।

उस निहितार्थ से इस तथ्य तक जाने के लिए कि क्यू एक मोनोमोर्फिज्म है, मान लीजिए q ∘ f = q ∘ g कुछ morphisms के लिए f, g : G → Q, जहाँ G कोई विभाज्य समूह है। तब q ∘ (f − g) = 0, कहाँ (f − g) : x ↦ f(x) − g(x). (तब से (f − g)(0) = 0, और (f − g)(x + y) = (f − g)(x) + (f − g)(y), यह इस प्रकार है कि (f − g) ∈ Hom(G, Q)). निहितार्थ से अभी साबित हुआ, q ∘ (f − g) = 0 ⇒ f − g = 0  ⇔ ∀ x ∈ G, f(x) = g(x) ⇔ f = g. इसलिए क्यू एक मोनोमोर्फिज्म है, जैसा कि दावा किया गया है।

गुण

 * एक topos  में, प्रत्येक मोनो एक तुल्यकारक होता है, और कोई भी नक्शा जो दोनों मोनिक और एपिक मोर्फिज्म है, एक आइसोमोर्फिज्म (श्रेणी सिद्धांत) है।
 * प्रत्येक तुल्याकारिता अद्वैत है।

संबंधित अवधारणाएं
नियमित मोनोमोर्फिज्म, एक्सट्रीमल मोनोमोर्फिज्म, तत्काल मोनोमोर्फिज्म, मजबूत मोनोमोर्फिज्म और स्प्लिट मोनोमोर्फिज्म की उपयोगी अवधारणाएं भी हैं।


 * एक मोनोमोर्फिज्म को 'नियमित' कहा जाता है यदि यह समांतर मोर्फिज्म की कुछ जोड़ी का एक तुल्यकारक (गणित) है।
 * एक मोनोमोर्फिज्म $$\mu$$ अतिवादी बताया है यदि प्रत्येक प्रतिनिधित्व में $$\mu=\varphi\circ\varepsilon$$, कहाँ $$\varepsilon$$ एक एपिमोर्फिज्म है, रूपवाद $$\varepsilon$$ स्वचालित रूप से एक समरूपता है।
 * एक समाकृतिकता $$\mu$$ प्रत्येक प्रतिनिधित्व में अगर तत्काल कहा जाता है $$\mu=\mu'\circ\varepsilon$$, कहाँ $$\mu'$$ एक एकरूपता है और $$\varepsilon$$ एक एपिमोर्फिज्म है, रूपवाद $$\varepsilon$$ स्वचालित रूप से एक समरूपता है।
 * Diagram-orthogonality-2.jpgएक मोनोमोर्फिज्म $$\mu:C\to D$$ बलवान बताया गया है यदि किसी एपिमोर्फिज्म के लिए $$\varepsilon:A\to B$$ और कोई morphisms $$\alpha:A\to C$$ और $$\beta:B\to D$$ ऐसा है कि $$\beta\circ\varepsilon=\mu\circ\alpha$$, एक रूपवाद मौजूद है $$\delta:B\to C$$ ऐसा है कि $$\delta\circ\varepsilon=\alpha$$ और $$\mu\circ\delta=\beta$$.
 * एक मोनोमोर्फिज्म $$\mu$$ कहा जाता है कि यदि आकारिकी मौजूद है तो इसे विभाजित किया जाता है $$\varepsilon$$ ऐसा है कि $$\varepsilon\circ\mu=1$$ (इस मामले में $$\varepsilon$$ के लिए बायीं ओर का प्रतिलोम कहा जाता है $$\mu$$).

शब्दावली
साथी शब्द मोनोमोर्फिज्म और एपिमोर्फिज्म मूल रूप से निकोलस बोरबाकी द्वारा पेश किए गए थे; Bourbaki एक इंजेक्शन समारोह के लिए आशुलिपि के रूप में एकरूपता का उपयोग करता है। प्रारंभिक श्रेणी के सिद्धांतकारों का मानना ​​था कि श्रेणियों के संदर्भ में इंजेक्शन का सही सामान्यीकरण ऊपर दी गई रद्दीकरण संपत्ति थी। हालांकि यह मोनिक मैप्स के लिए बिल्कुल सही नहीं है, यह बहुत करीब है, इसलिए एपिमॉर्फिज्म के मामले के विपरीत, इससे थोड़ी परेशानी हुई है। सॉन्डर्स मैक लेन ने मोनोमोर्फिज्म कहे जाने वाले के बीच अंतर करने का प्रयास किया, जो एक ठोस श्रेणी में नक्शे थे जिनके सेट के अंतर्निहित नक्शे इंजेक्शन थे, और मोनिक मैप्स, जो शब्द के स्पष्ट अर्थों में मोनोमोर्फिज्म हैं। यह भेद कभी सामान्य प्रयोग में नहीं आया।

मोनोमोर्फिज्म का दूसरा नाम विस्तार (मॉडल सिद्धांत) है, हालांकि इसके अन्य उपयोग भी हैं।

यह भी देखें

 * एम्बेडिंग
 * नोडल अपघटन
 * सबऑब्जेक्ट