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

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

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

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

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

रिलेशन टू इन्वेर्टिबिलिटी
लेफ्ट इन्वेर्टिबल मोर्फिज्म आवश्यक रूप से मोनिक हैं: यदि l f के लिए एक बायां व्युत्क्रम है (अर्थात् मोर्फिज्म है और $$l \circ f = \operatorname{id}_{X}$$), तो f मोनिक है, जैसा
 * $$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.$$

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

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

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

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

हालांकि, यह सामान्य तौर पर सच नहीं है कि अन्य श्रेणियों में सभी मोनोमोर्फिज़्म अंतःक्षेपी होने चाहिए; अर्थात्, ऐसी सेटिंग्स हैं जिनमें आकारिकी समुच्चय के बीच कार्य करती है, लेकिन एक ऐसा कार्य हो सकता है जो इंजेक्शन नहीं है और फिर भी श्रेणीबद्ध अर्थों में एक मोनोमोर्फिज्म है। उदाहरण के लिए, विभाज्य समूह एबेलियन समूह की श्रेणी डिव में | (एबेलियन) समूह और उनके बीच समूह होमोमोर्फिम्स में मोनोमोर्फिज़्म हैं जो इंजेक्शन नहीं हैं: उदाहरण के लिए, भागफल मानचित्र पर विचार करें 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 एक मोनोमोर्फिज्म है, मान लीजिए q ∘ f = q ∘ g कुछ मोर्फिज्म के लिए 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. इसलिए Q एक मोनोमोर्फिज्म है, जैसा कि साबित किया गया है।

गुण

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

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


 * मोनोमोर्फिज्म को 'नियमित' कहा जाता है यदि यह समांतर मोर्फिज्म की कुछ जोड़ी का एक तुल्यकारक (गणित) है।
 * मोनोमोर्फिज्म $$\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$$ और कोई मोर्फिज्म $$\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$$).

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

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

यह भी देखें

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