मुक्त मोनोइड
अमूर्त बीजगणित में, एक समुच्चय पर मुक्त मोनोइड वह मोनोइड होता है जिसके तत्व उस समुच्चय से शून्य या अधिक तत्वों के सभी परिमित अनुक्रम (या स्ट्रिंग) होते हैं, स्ट्रिंग संयोजन के साथ मोनोइड ऑपरेशन के रूप में और शून्य तत्वों के अद्वितीय अनुक्रम के साथ, प्रायः रिक्त स्ट्रिंग कहा जाता है और पहचान तत्व के रूप में ε या λ द्वारा दर्शाया जाता है।I A पर मुक्त अर्धसमूह A का उपसमूह है जिसमें रिक्त स्ट्रिंग को छोड़कर सभी तत्व सम्मिलित हैं। इसे साधारणतया A+ द्वारा निरूपित किया जाता है ।[1][2] सामान्य तौर पर , अमूर्त मोनोइड या अर्धसमूह S को 'मुक्त' के रूप में वर्णित किया जाता है यदि यह किC समुच्चय पर मुक्त मोनोइड (या अर्धसमूह) के लिए समरूप है।[3]
जैसा कि नाम से पता चलता है, मुक्त मोनोइड्स और अर्धसमूह वे वस्तुएं हैं जो मोनोइड्स और अर्धसमूह की संबंधित श्रेणी (गणित) में मुक्त वस्तुओं को परिभाषित करने वाली सामान्य सार्वभौमिक संपत्ति को संतुष्ट करती हैं। यह इस प्रकार है कि प्रत्येक मोनोइड मुक्त मोनोइड की एक होमोमोर्फिक छवि के रूप में उत्पन्न होता है। मुक्त अर्धसमूहों की छवियों के रूप में अर्धसमूहों के अध्ययन को संयोजी अर्धसमूह सिद्धांत कहा जाता है।
नि: शुल्क मोनोइड्स परिभाषा के अनुसार सहयोगी हैं; अर्थात् वे समूहीकरण या संचालन के क्रम को दिखाने के लिए बिना किC कोष्ठक के लिखे गए हैं। गैर-सहयोगी समतुल्य मुक्त मैग्मा है।
उदाहरण
प्राकृतिक संख्या
मोनोइड (N0,+) प्राकृतिक संख्याओं के अतिरिक्त सिंगलटन मुक्त जनरेटर पर एक मुक्त मोनोइड हैI इस मामले में प्राकृतिक संख्या 1 औपचारिक परिभाषा के अनुसार इस मोनॉइड में 1 , 1+1 , 1+1+1 , 1+1+1+1 जैसे सभी अनुक्रम सम्मिलित हैंI इC तरह, रिक्त अनुक्रम सहित। ऐसे प्रत्येक अनुक्रम को उसके मूल्यांकन परिणाम से मैप करना चाहिएI[4] शून्य के लिए रिक्त अनुक्रम ऐसे अनुक्रमों के समुच्चय से N0 तक समरूपता स्थापित करता हैI यह समरूपता + के साथ संगत है, अर्थात किन्हीं भी दो अनुक्रमों s और t के लिए यदि s को किC संख्या m और t' पर मैप किया गया हैI
क्लेन स्टार
औपचारिक भाषा सिद्धांत में, सामान्य तौर पर प्रतीक A का एक C समुच्चय माना जाता है। प्रतीकों के एक परिमित अनुक्रम को A पर एक शब्द कहा जाता है, और मुक्त मोनोइड ए∗ को ए कहा जाता है। इस प्रकार, औपचारिक भाषाओं के अमूर्त अध्ययन को अंतिम रूप से उत्पन्न मुक्त मोनोइड्स के सबसमुच्चय के अध्ययन के रूप में माना जा सकता है।
उदाहरण के लिए, अक्षर A = {a, b, c}, का क्लेन स्टार A∗ में a, b और C के सभी संयोजन सम्मिलित हैंI
यदि A कोई समुच्चय है, तो शब्द की लंबाई ए पर कार्य करती हैI A से अद्वितीय मोनोइड समरूपता है∗ से (n0,+) जो ए के प्रत्येक तत्व को 1 से मैप करता है। मुक्त मोनॉयड इस प्रकार ग्रेडेड मोनॉयड है।[5] (एक वर्गीकृत मोनोइड एम मोनोइड है जिसे लिखा जा सकता है . प्रत्येक एक ग्रेड है; यहाँ ग्रेडिंग सिर्फ स्ट्रिंग की लंबाई है। वह है, लंबाई के वे तार हैं h> सामान्य तौर पर, समुच्चय यूनियन्स मोनोइड्स नहीं हो सकते हैं इसलिए अलग प्रतीक का उपयोग किया जाता है। ग्रेडेशन हमेशा के प्रतीक।साथ लिखे जाते हैं I
अर्धसमूह के सिद्धांत और ऑटोमेटा सिद्धांत के गहरे संबंध हैं। उदाहरण के लिए प्रत्येक औपचारिक भाषा में एक वाक्यात्मक मोनोइड होता है जो उस भाषा को पहचानता है। नियमित भाषा के मामले में, वह मोनॉयड कुछ नियतात्मक परिमित ऑटोमेटन के सेमीऑटोमेटन से जुड़े मोनोइड के लिए आइसोमोर्फिक है जो उस भाषा को पहचानता है। एक वर्णमाला ए पर नियमित भाषाएं ए * के परिमित उपसमुच्चय को बंद कर रही हैं, संघ, उत्पाद और सबमोनॉयड के तहत ए पर मुक्त मोनॉयड।[6] समवर्ती संगणना अर्थात् लॉक कंप्यूटर विज्ञान, म्युटेक्स के साथ सिस्टम, संगणना को इतिहास मोनोइड और ट्रेस मोनोइड के साथ वर्णित किया जा सकता है। मोटे तौर पर मोनॉइड के तत्व कम्यूट कर सकते हैं जैसे कि अलग-अलग थ्रेड्स किC भी क्रम में निष्पादित हो सकते हैं लेकिन केवल एक लॉक या म्यूटेक्स तक, जो आगे कम्यूटेशन को रोकता है उस थ्रेड Xेस को क्रमबद्ध करें।
संयुग्मित शब्द
A में शब्दों की एक जोड़ी को परिभाषित करते हैं∗ रूप uv और vu 'संयुग्म' के रूप में: एक शब्द के संयुग्मन इस प्रकार इसके वृत्ताकार बदलाव हैं।[7] इस अर्थ में दो शब्द संयुग्मित हैं यदि वे ए द्वारा उत्पन्न मुक्त समूह के तत्वों के रूप में संयुग्मन (समूह सिद्धांत) हैं।[8]
समानता
एक मुक्त मोनोइड समविभाज्य है: यदि समीकरण mn = pq धारण करता है, तो एक s मौजूद है जैसे कि m = ps, sn' ' = q (उदाहरण छवि देखें) या ms = p, n = sq.[9] इस परिणाम को लेवी की लेम्मा के रूप में भी जाना जाता है।[10]
एक मोनोइड मुक्त है अगर और केवल अगर यह वर्गीकृत और समविभाज्य है।[9]
रैंक
समुच्चय A के सदस्यों को ए के लिए 'फ्री जेनरेटर' कहा जाता है और A+. सुपरस्क्रिप्ट * को क्लेन स्टार समझा जाता है। सामान्य तौर पर यदि S अमूर्त मुक्त मोनॉयड अर्धसमूह है तो तत्वों का समुच्चय जो आइसोमोर्फिज्म के तहत एकल-अक्षर वाले शब्दों के समुच्चय पर अर्धसमूह ए के लिए मैप करता है।
प्रत्येक मुक्त अर्धसमूह या मोनॉयड S में जनरेटर का समुच्चय होता है जिसकी प्रमुखता को S की रैंक कहा जाता है।
दो मुक्त मोनोइड्स या अर्धसमूह आइसोमोर्फिक हैं यदि और केवल यदि उनके पास समान रैंक है। वास्तव में अर्धसमूह या मोनॉयड S के लिए जनरेटर के प्रत्येक समुच्चय में जनरेटर होते हैंI जनरेटर की शब्द
लंबाई 1 होती है और इसलिए इसे केवल स्वयं ही उत्पन्न किया जा सकता है। यह इस प्रकार है कि एक मुक्त सेमिग्रुप या मोनॉयड निश्चित रूप से उत्पन्न होता है यदि और केवल अगर इसकी Cमित रैंक है।
A का उपमोनोइड N∗ स्थिर होता हैI .[11] ए का एक सबमोनॉयड∗ स्थिर हैI[12]उदाहरण के लिए, अंश के समुच्चय {0, 1} को A के रूप में उपयोग करते हुए, 1 S की सम संख्या वाली सभी बिट स्ट्रिंग्स का समुच्चय एन एक स्थिर सबमोनॉइड है क्योंकि यदि यू में 1 S की सम संख्या है और यूX भी है, तब X में 1 S की सम संख्या भी होनी चाहिए। जबकि एन को एकल बिट्स के किC भी समुच्चय द्वारा स्वतंत्र रूप से उत्पन्न नहीं किया जा सकता हैI यह बिट स्ट्रिंग्स {0, 11, 101, 1001, 10001 } के समुच्चय द्वारा स्वतंत्र रूप से उत्पन्न किया जा सकता है -
कोड
मुक्त मोनॉइड पी के लिए मुफ्त जनरेटर का एक समुच्चय 'P' के लिए 'आधार' के रूप में संदर्भित किया जाता है: शब्दों का एक समुच्चय C एक 'कोड' है यदि C * एक मुक्त मोनॉयड है और C एक आधार है।[3] ए में शब्दों का एक समुच्चय X∗ एक उपसर्ग है, या उसके पास उपसर्ग गुण है, यदि उसमें इसके कि C भी तत्व का उचित उपसर्ग (कंप्यूटर विज्ञान)|(स्ट्रिंग) उपसर्ग नहीं है. A में हर उपसर्ग+ एक कोड है, वास्तव में एक उपसर्ग कोड है।[3][13]
A का एक सबमोनॉइड एन∗ सही एकात्मक है अगर x, xy में N का अर्थ y से N में है। सबमोनॉयड उपसर्ग द्वारा उत्पन्न होता है यदि और केवल अगर यह सही एकात्मक है।[14]
गुणनखंड
एक मुक्त मोनॉइड का गुणनखंड संपत्ति के साथ शब्दों के सबसमुच्चय का क्रम है कि मुक्त मोनॉइड में प्रत्येक शब्द को उपसमुच्चय से खींचे गए तत्वों के संयोजन के रूप में लिखा जा सकता है। चेन-फॉक्स-लिंडन प्रमेय कहता है कि लिंडन शब्द एक गुणनखंड प्रस्तुत करते हैं। हॉल शब्द एक गुणनखंड प्रदान करते हैंI लिंडन शब्द हॉल शब्दों का विशेष मामला है।
मुक्त पतवार
S मुक्त मोनॉइड ए का एक उपसमुच्चय है, तो ए युक्त S के सभी मुक्त सबमोनॉयड्स का प्रतिच्छेदन अच्छी तरह से परिभाषित है क्योंकि ए स्वयं मुक्त है और इसमें S सम्मिलित हैI यह एक मुक्त मोनोइड है और इसे S का 'मुक्त पतवार' कहा जाता है। इस चौराहे का आधार एक कोड है।
'दोष प्रमेय'[15][16][17] बताता है कि यदि X परिमित है और C, X के मुक्त पतवार का आधार है, तो या तो X एक कोड है और C = X, या C ≤ X - 1 है।
आकारिकी
एक मुक्त मोनोइड B से एक मोनोइड आकारिकी F∗ मोनोइड एम के लिए जैसे कि f(xy) = f(x)⋅f(y) शब्दों के लिए x,y और f(ε) = ι एक मानचित्र है जहां ε और ι के पहचान तत्वों को दर्शाता हैI B∗ और एम , क्रमशः। मोर्फिज्म F B के अक्षरों पर इसके मूल्यों द्वारा निर्धारित किया जाता है और इसके विपरीत B से एम तक एक मोर्फिज्म है। मुक्त मोनॉइड B से एक आकारिकी f∗ एक मुक्त मोनोइड ए के लिए∗ कुल है यदि A का प्रत्येक अक्षर F की छवि में किC शब्द में आता हैI चक्रीय[18]या आवधिक[19] अगर F की छवि {डब्लू } में समाहित है∗ ए के कुछ शब्द डब्लू के लिए∗. यदि लंबाई F (a) है तो आकारिकी F 'k-वर्दी' है A में सभी a के लिए स्थिर और k के बराबर है।[20][21] [22]मुक्त मोनॉइड B से आकारिकी f∗ मुक्त मोनोइड ए के लिए∗ सरल है अगर 'B' की तुलना में कार्डिनैलिT का अक्षर 'C' है, तो आकारिकी F कारक C के माध्यम से अर्थात यह B से आकारिकी का संघटन हैI आकृतिवाद F एक 'कोड' है यदि F के अंतर्गत अक्षर B की एक कोड हैI प्रत्येक प्रारंभिक आकारिकी एक कोड है।[23]
टेस्ट समुच्चय
L के लिए B का एक सबसमुच्चय∗, L का परिमित उपसमुच्चय T, L के लिए एक परीक्षण समुच्चय है, यदि आकारिकी f और g पर B∗ L पर सहमत हैं यदि और केवल यदि वे T पर सहमत हैं। 'Ehrenfeucht conjecture' यह है कि किC भी उपसमुच्चय L का एक परीक्षण समुच्चय है:[24] यह साबित हो गया है[25] स्वतंत्र रूप से अल्बर्ट और लॉरेंस द्वारा; मैकनॉटन; और गुबा। सबूत हिल्बर्ट के आधार प्रमेय पर भरोसा करते हैं।[26]
मानचित्र और तह
एक मोनोइड मोर्फिज्म का कम्प्यूटेशनल अवतार एक मानचित्र (उच्च-क्रम फलन) है जिसके बाद एक तह (उच्च-क्रम फलन) होता है। इस समुच्चयिंग में, समुच्चय ए पर मुक्त मोनॉयड बाइनरी ऑपरेशन के रूप में संयोजन के साथ ए से तत्वों की सूची (कंप्यूटिंग) से मेल खाता है। मुक्त मोनोइड से किC भी अन्य मोनोइड (m, •) के लिए एक मोनोइड समरूपता एक ऐसा कार्य है जो F है
- F (X1...Xn) = F (X1) • ... • F (Xn)
- F () = ई
जहां ई एम पर पहचान है। कम्प्यूटेशनल रूप से, इस तरह के प्रत्येक समरूपता सूची के सभी तत्वों के लिए F लागू करने वाले मानचित्र (उच्च-क्रम फलन) ऑपरेशन से मेल खाती है, जिसके बाद एक फोल्ड (उच्च-क्रम फलन) ऑपरेशन होता है जो परिणाम का उपयोग करके जोड़ता है बाइनरी ऑपरेटर •। यह स्क्विगोल (जिसे गैर-सहयोगी बाइनरी ऑपरेटरों के लिए सामान्यीकृत किया जा सकता है) ने मानचित्रसंकुचन सॉफ़्टवेयर ढांचे को प्रेरित किया है।[citation needed]
एंडोमोर्फिज्म
A का एक एंडोमोर्फिज्म∗ A का आकार है∗ खुद के लिए।[27] पहचान मानचित्र I, A का एंडोमोर्फिज्म है∗, और एंडोमोर्फिज्म कार्यों की संरचना के तहत एक मोनोइड बनाते हैं।
एक एंडोमोर्फिज्म f 'लम्B' है यदि कोई अक्षर ऐसा है कि f(a) = गैर-रिक्त स्ट्रिंग s के लिए है।[28]
स्ट्रिंग प्रोजेक्शन
स्ट्रिंग ऑपरेशंस का संचालन स्ट्रिंग प्रोजेक्शन एक एंडोमोर्फिज्म है। अर्थात्, एक अक्षर a ∈ Σ और एक स्ट्रिंग s ∈ Σ दिया गया है∗, स्ट्रिंग प्रोजेक्शन पीa(S) S से ए की हर घटना को हटा देता है; इसे औपचारिक रूप से परिभाषित किया गया है
ध्यान दें कि स्ट्रिंग प्रोजेक्शन अच्छी तरह से परिभाषित है, भले ही मोनॉइड का रैंक अनंत हो, क्योंकि उपरोक्त पुनरावर्ती परिभाषा परिमित लंबाई के सभी तारों के लिए काम करती है। स्ट्रिंग प्रोजेक्शन मुक्त मोनोइड्स की श्रेणी में एक रूपवाद है, ताकि
कहाँ समझा जाता है कि सभी परिमित तारों का मुक्त मोनॉइड होता है जिसमें अक्षर a नहीं होता है। प्रोजेक्शन स्ट्रिंग कॉन्सटेनेशन के संचालन के साथ शुरू होता है, ताकि सभी तार S और T के लिए है। स्ट्रिंग प्रोजेक्शन के कई सही व्युत्क्रम हैं, और इस प्रकार यह एक विभाजित एपिमोर्फिज्म है।
पहचान रूपवाद है के रूप में परिभाषित सभी स्ट्रिंग्स के लिए, और .
स्ट्रिंग प्रोजेक्शन कम्यूटेटिव है, स्पष्ट रूप से
परिमित रैंक के मुक्त मोनोइड्स के लिए, यह इस तथ्य से अनुसरण करता है कि एक ही रैंक के मुक्त मोनोइड्स आइसोमोर्फिक हैं, क्योंकि प्रक्षेपण मोनोइड के रैंक को एक से कम कर देता है।
स्ट्रिंग प्रोजेक्शन बेवकूफ है, जैसा
सभी तार S के लिए। इस प्रकार, प्रक्षेपण एक उदाCन, क्रमविनिमेय संक्रिया है, और इसलिए यह एक बंधी हुई अर्धजालिका या एक क्रमविनिमेय बैंड (Bजगणित) बनाता है।
मुफ्त क्रमविनिमेय मोनोइड
एक समुच्चय ए को देखते हुए, ए पर 'फ्री कम्यूटेटिव मोनोइड' ए से तैयार किए गए तत्वों के साथ सभी परिमित बहु समुच्चय का समुच्चय है, जिसमें मोनोइड ऑपरेशन बहु समुच्चय योग है और मोनोइड यूनिट रिक्त मल्Tसमुच्चय है।
उदाहरण के लिए, यदि A = {a, b, c}, A पर मुक्त कम्यूटेटिव मोनोइड के तत्व फॉर्म के हैं
- {ε, a, ab, a2b, ab3c4, ...}.
अंकगणित के मौलिक प्रमेय में कहा गया है कि गुणन के तहत धनात्मक पूर्णांकों का मोनॉयड जनरेटर के अनंत समुच्चय पर एक मुक्त क्रमविनिमेय मोनॉइड अभाज्य संख्याएँ है।
फ्री कम्यूटेटिव अर्धसमूह मुक्त आंशिक रूप से विनिमेय मोनॉयड सबसमुच्चय है जिसमें रिक्त मल्Tसमुच्चय को छोड़कर 'ए' से खींचे गए सभी मल्Tसमुच्चय सम्मिलित हैं।
मुक्त आंशिक रूप से कम्यूटेटिव मोनॉयड, या 'ट्रेस मोनॉयड', एक सामान्यीकरण है जिसमें उदाहरण के रूप में फ्री और फ्री कम्यूटेटिव मोनॉयड दोनों सम्मिलित हैं। यह सामान्यीकरण साहचर्य और कंप्यूटर विज्ञान में समांतर कंप्यूटिंग के अध्ययन में अनुप्रयोगों को ढूंढता है।
यह भी देखें
टिप्पणियाँ
- ↑ Lothaire (1997, pp. 2–3), [1]
- ↑ Pytheas Fogg (2002, p. 2)
- ↑ 3.0 3.1 3.2 Lothaire (1997, p. 5)
- ↑ Since addition of natural numbers is associative, the result doesn't depend on the order of evaluation, thus ensuring the mapping to be well-defined.
- ↑ Sakarovitch (2009) p.382
- ↑ Borovik, Alexandre (2005-01-01). Groups, Languages, Algorithms: AMS-ASL Joint Special Session on Interactions Between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland (in English). American Mathematical Soc. ISBN 9780821836187.
- ↑ Sakarovitch (2009) p.27
- ↑ Pytheas Fogg (2002, p. 297)
- ↑ 9.0 9.1 Sakarovitch (2009) p.26
- ↑ Aldo de Luca; Stefano Varricchio (1999). सेमीग्रुप्स और औपचारिक भाषाओं में परिमितता और नियमितता. Springer Berlin Heidelberg. p. 2. ISBN 978-3-642-64150-3.
- ↑ Berstel, Perrin & Reutenauer (2010, p. 61)
- ↑ Berstel, Perrin & Reutenauer (2010, p. 62)
- ↑ Berstel, Perrin & Reutenauer (2010, p. 58)
- ↑ Lothaire (1997, p. 15)
- ↑ Lothaire (1997, p. 6)
- ↑ Lothaire (2011, p. 204)
- ↑ Berstel, Perrin & Reutenauer (2010, p. 66)
- ↑ Lothaire (1997, p. 164)
- ↑ Salomaa (1981) p.77
- ↑ Lothaire (2005, p. 522)
- ↑ Berstel, Jean; Reutenauer, Christophe (2011). अनुप्रयोगों के साथ गैर-अनुवर्ती तर्कसंगत श्रृंखला. Encyclopedia of Mathematics and Its Applications. Vol. 137. Cambridge: Cambridge University Press. p. 103. ISBN 978-0-521-19022-0. Zbl 1250.68007.
- ↑ Allouche & Shallit (2003, p. 9)
- ↑ Salomaa (1981) p.72
- ↑ Lothaire (1997, pp. 178–179)
- ↑ Lothaire (2011, p. 451)
- ↑ Salomaa, A. (October 1985). "The Ehrenfeucht conjecture: A proof for language theorists". Bulletin of the EATCS (27): 71–82.
- ↑ Lothaire (2011, p. 450)
- ↑ Allouche & Shallit (2003) p.10
संदर्भ
- Allouche, Jean-Paul; Shallit, Jeffrey (2003), Automatic Sequences: Theory, Applications, Generalizations, Cambridge University Press, ISBN 978-0-521-82332-6, Zbl 1086.11015
- Berstel, Jean; Perrin, Dominique; Reutenauer, Christophe (2010), Codes and automata, Encyclopedia of Mathematics and its Applications, vol. 129, Cambridge: Cambridge University Press, ISBN 978-0-521-88831-8, Zbl 1187.94001
- Lothaire, M. (1997), Combinatorics on words, Cambridge Mathematical Library, vol. 17, Contributors: Perrin, D.; Reutenauer, C.; Berstel, J.; Pin, J. E.; Pirillo, G.; Foata, D.; Sakarovitch, J.; Simon, I.; Schützenberger, M. P.; Choffrut, C.; Cori, R. Series editors: Lyndon, Roger; Rota, Gian-Carlo. Foreword by Roger Lyndon (2nd ed.), Cambridge University Press, doi:10.1017/CBO9780511566097, ISBN 0-521-59924-5, MR 1475463, Zbl 0874.20040
- Lothaire, M. (2011), Algebraic combinatorics on words, Encyclopedia of Mathematics and Its Applications, vol. 90, With preface by Jean Berstel and Dominique Perrin (Reprint of the 2002 hardback ed.), Cambridge University Press, ISBN 978-0-521-18071-9, Zbl 1221.68183
- Lothaire, M. (2005), Applied combinatorics on words, Encyclopedia of Mathematics and Its Applications, vol. 105, A collective work by Jean Berstel, Dominique Perrin, Maxime Crochemore, Eric Laporte, Mehryar Mohri, Nadia Pisanti, Marie-France Sagot, Gesine Reinert, Sophie Schbath, Michael Waterman, Philippe Jacquet, Wojciech Szpankowski, Dominique Poulalhon, Gilles Schaeffer, Roman Kolpakov, Gregory Koucherov, Jean-Paul Allouche and Valérie Berthé, Cambridge: Cambridge University Press, ISBN 0-521-84802-4, Zbl 1133.68067
- Pytheas Fogg, N. (2002), Berthé, Valérie; Ferenczi, Sébastien; Mauduit, Christian; Siegel, A. (eds.), Substitutions in dynamics, arithmetics and combinatorics, Lecture Notes in Mathematics, vol. 1794, Berlin: Springer-Verlag, ISBN 3-540-44141-7, Zbl 1014.11015
- Sakarovitch, Jacques (2009), Elements of automata theory, Translated from the French by Reuben Thomas, Cambridge: Cambridge University Press, ISBN 978-0-521-84425-3, Zbl 1188.68177
- Salomaa, Arto (1981), Jewels of Formal Language Theory, Pitman Publishing, ISBN 0-273-08522-0, Zbl 0487.68064
बाहरी संबंध
- Media related to मुक्त मोनोइड at Wikimedia Commons