मुक्त समूह: Difference between revisions

Revision as of 00:55, 20 February 2023

आरेख दो जनरेटर पर मुक्त समूह के लिए केली ग्राफ दिखा रहा है। प्रत्येक शीर्ष मुक्त समूह के एक तत्व का प्रतिनिधित्व करता है, और प्रत्येक किनारा a या b द्वारा गुणा का प्रतिनिधित्व करता है।

गणित में, किसी दिए गए समुच्चय S पर मुक्त समूह FS में वे सभी शब्द होते हैं जो S के सदस्यों से बनाए जा सकते हैं, दो शब्दों को अलग मानते हुए जब तक कि उनकी समानता समूह स्वयंसिद्धों (उदा. st = suu⁻¹t, लेकिनs ≠ t⁻¹,s,t,u ∈ S के लिए) हैं। S के सदस्यों को F_S का 'जनित्र' कहा जाता है, और जनित्र की संख्या मुक्त समूह की क्रम होती है। एक स्वेच्छाचारी समूह G को मुक्त कहा जाता है यदि यह G के कुछ उपसमुच्चय S के लिए F_S के लिए समरूप है, अर्थात, यदि G का एक उपसमुच्च S है, जैसे कि G के प्रत्येक तत्व को यथार्थत: से लिखा जा सकता है जैसे कि बहुत से गुणनफल के रूप में S के तत्व और उनके व्युत्क्रम (तुच्छ भिन्नता की उपेक्षा करना जैसे कि st = suu⁻¹t) है।

एक संबंधित लेकिन भिन्न धारणा एक मुक्त एबेलियन समूह है; दोनों धारणाएं सार्वभौमिक बीजगणित से मुक्त वस्तु के विशेष उदाहरण हैं। जैसे, मुक्त समूहों को उनकी सार्वभौमिक संपत्ति द्वारा परिभाषित किया जाता है।

इतिहास

फ़्यूचियन समूहों के उदाहरण के रूप में अतिशयोक्तिपूर्ण ज्यामिति के अध्ययन में सबसे पहले मुक्त समूह उत्पन्न हुए (हाइपरबोलिक समतल पर आइसोमेट्री द्वारा अभिनय करने वाले असतत समूह)। 1882 के एक लेख में, वाल्थर वॉन डाइक ने बताया कि इन समूहों में सबसे सरल संभव प्रस्तुतियाँ है।^[1] मुक्त समूहों का बीजगणितीय अध्ययन 1924 में जैकब नीलसन द्वारा आरम्भ किया गया था, जिन्होंने उन्हें अपना नाम दिया और उनके कई मूल गुण स्थापित किए।^[2]^[3]^[4] मैक्स डेहन ने संस्थितिविज्ञान के साथ संबंध को सिद्ध किया, और पूर्ण नीलसन-श्रेयर प्रमेय का पहला प्रमाण प्राप्त किया।^[5] ओटो श्रेयर ने 1927 में इस परिणाम का एक बीजगणितीय प्रमाण प्रकाशित किया,^[6] और कर्ट रिडेमिस्टर ने मिश्रित संस्थितिविज्ञान पर अपनी 1932 की पुस्तक में मुक्त समूहों के व्यापक उपचार को सम्मिलित किया।^[7] बाद में 1930 के दशक में, विल्हेम मैग्नस ने मुक्त समूहों की निचली केंद्रीय श्रृंखला और मुक्त लाई बीजगणित के मध्य संबंध की खोज की।

उदाहरण

पूर्णांकों का समूह (Z,+) क्रम 1 से मुक्त है; एक जनक समुच्चय S = {1} है। पूर्णांक भी एक मुक्त एबेलियन समूह हैं, यद्यपि क्रम $\geq 2$ के सभी मुक्त समूह गैर-अबेलियन हैं। दो-तत्व समुच्चय S पर एक मुक्त समूह दो तत्व विरोधाभास के प्रमाण में होता है और वहां इसका वर्णन किया गया है।

दूसरी ओर, कोई भी गैर-तुच्छ परिमित समूह मुक्त नहीं हो सकता है, क्योंकि एक मुक्त समूह के मुक्त जनक समुच्चय के तत्वों में अनंत क्रम होता है।

बीजगणितीय संस्थितिविज्ञान में, k वृत्त का गुच्छा का मूलभूत समूह (k परिपथ का एक समुच्चय जिसमें केवल एक बिंदु समान होता है) k तत्वों के समुच्चय पर मुक्त समूह होता है।

निर्माण

मुक्त जनक समुच्चय S के साथ मुक्त समूह F_S का निर्माण अनुसरण किया जा सकता है। S प्रतीकों का एक समुच्चय है, और हम मानते हैं कि s में प्रत्येक S के लिए एक समुच्चय s⁻¹ में एक संबंधित ''प्रतिलोम '' प्रतीक, S⁻¹है। मान लीजिए कि T = S ∪ S⁻¹, और S में एक शब्द (समूह सिद्धांत) को T के तत्वों का कोई लिखित गुणनफल परिभाषित करें। अर्थात्, 'S' में एक शब्द 'T' द्वारा जनित एकाभ का एक तत्व है। प्रकार्य शब्द वह शब्द है जिसमें कोई प्रतीक नहीं है। उदाहरण के लिए, यदि S = {a, b, c}, तो

T = {a, a⁻¹, b, b⁻¹, c, c⁻¹}, और

ab^{3}c^{-1}ca^{-1}c\,

S में एक शब्द है।

यदि S का एक तत्व इसके व्युत्क्रम के सामने में स्थित है, तो c, c⁻¹ को हटाकर शब्द को सरल बनाया जा सकता है⁻¹ जोड़ी:

ab^{3}c^{-1}ca^{-1}c\;\;\longrightarrow \;\;ab^{3}\,a^{-1}c.

एक शब्द जिसे और अधिक सरल नहीं किया जा सकता है, उसे कम कहा जाता है।

मुक्त समूह एफ_Sसमूह ऑपरेशन के रूप में शब्दों के संयोजन (इसके बाद यदि आवश्यक हो तो कमी) के साथ S में सभी कम किए गए शब्दों के समूह के रूप में परिभाषित किया गया है। पहचान खाली शब्द है।

एक घटा हुआ शब्द 'चक्रीय रूप से कम' कहा जाता है यदि उसका पहला और अंतिम अक्षर एक दूसरे के विपरीत नहीं होते हैं। प्रत्येक शब्द एक चक्रीय रूप से कम किए गए शब्द के लिए संयुग्मन वर्ग है, और चक्रीय रूप से कम किए गए शब्द का एक चक्रीय रूप से कम संयुग्म शब्द में अक्षरों का एक चक्रीय क्रमपरिवर्तन है। उदाहरण के लिए बी⁻¹abcb चक्रीय रूप से अपचयित नहीं होता है, लेकिन abc के संयुग्मी होता है, जो चक्रीय रूप से अपचयित होता है। एबीसी के केवल चक्रीय रूप से कम संयुग्म एबीसी, बीसीए और कैब हैं।

सार्वभौमिक संपत्ति

मुक्त समूह एफ_Sसमुच्चय एस द्वारा उत्पन्न सार्वभौमिक (गणित) समूह है। इसे निम्नलिखित सार्वभौमिक संपत्ति द्वारा औपचारिक रूप दिया जा सकता है: कोई भी कार्य दिया गया है $f$ S से समूह G तक, एक अद्वितीय समूह समरूपता φ: F मौजूद है_S→ G निम्नलिखित क्रमविनिमेय आरेख कम्यूट कर रहा है (जहां अनाम मैपिंग S से F में समावेशन मानचित्र को दर्शाता है_S):

यानी होमोमोर्फिज्म एफ_S→ G कार्यों S → G के साथ एक-से-एक पत्राचार में हैं। एक गैर-मुक्त समूह के लिए, समूह प्रस्तुति की उपस्थिति एक समरूपता के तहत जनरेटर की संभावित छवियों को प्रतिबंधित करेगी।

यह देखने के लिए कि यह रचनात्मक परिभाषा से कैसे संबंधित है, एस से एफ तक मैपिंग के बारे में सोचें_Sप्रत्येक प्रतीक को उस प्रतीक से युक्त शब्द में भेजने के रूप में। दिए गए के लिए φ की रचना करना $f$ , पहले ध्यान दें कि φ खाली शब्द को G की पहचान के लिए भेजता है और इससे सहमत होना है $f$ एस के तत्वों पर। शेष शब्दों के लिए (एक से अधिक प्रतीकों से मिलकर), φ को विशिष्ट रूप से विस्तारित किया जा सकता है, क्योंकि यह एक समरूपता है, अर्थात, φ(ab) = φ(a) φ(b)।

उपरोक्त संपत्ति समरूपता तक मुक्त समूहों की विशेषता है, और कभी-कभी इसे वैकल्पिक परिभाषा के रूप में प्रयोग किया जाता है। इसे मुक्त समूहों की सार्वभौमिक संपत्ति के रूप में जाना जाता है, और उत्पन्न समुच्चय एस को एफ के लिए 'आधार' कहा जाता है_S. मुक्त समूह का आधार विशिष्ट रूप से निर्धारित नहीं है।

एक सार्वभौमिक संपत्ति की विशेषता होना सार्वभौमिक बीजगणित में मुक्त वस्तुओं की मानक विशेषता है। क्रम सिद्धांत की भाषा में, मुक्त समूह का निर्माण (मुक्त वस्तुओं के अधिकांश निर्माणों के समान) समुच्चय की क्रम से समूहों की क्रम का एक ऑपरेटर है। यह फ़ंक्टर समूह से समुच्चय तक भुलक्कड़ फ़ंक्टर के बगल में छोड़ दिया जाता है।

तथ्य और प्रमेय

परिभाषा से मुक्त समूहों के कुछ गुण आसानी से अनुसरण करते हैं:

कोई भी समूह G किसी मुक्त समूह F(S) का समरूपी प्रतिबिम्ब है। बता दें कि S, G के एक समूह के जनरेटिंग समुच्चय का एक समुच्चय है। प्राकृतिक मानचित्र f: F(S) → G एक अधिरूपता है, जो दावे को साबित करता है। समतुल्य रूप से, G कुछ मुक्त समूह F(S) के भागफल समूह के लिए तुल्याकारी है। φ का कर्नेल G के एक समूह की प्रस्तुति में संबंधों का एक समुच्चय है। यदि S को यहाँ परिमित चुना जा सकता है, तो G को 'परिमित रूप से उत्पन्न' कहा जाता है।
यदि S में एक से अधिक तत्व हैं, तो F(S) एबेलियन समूह नहीं है, और वास्तव में F(S) के समूह का केंद्र तुच्छ है (अर्थात, इसमें केवल पहचान तत्व सम्मिलित हैं)।
दो मुक्त समूह एफ (एस) और एफ (टी) आइसोमॉर्फिक हैं यदि और केवल अगर एस और टी में समान प्रमुखता है। इस कार्डिनैलिटी को मुक्त समूह F का 'रैंक' कहा जाता है। इस प्रकार प्रत्येक कार्डिनल संख्या k के लिए, समरूपता तक, रैंक k का ठीक एक मुक्त समूह होता है।
परिमित रैंक n> 1 के एक मुक्त समूह में क्रम 2n - 1 की एक घातीय वृद्धि वृद्धि दर (समूह सिद्धांत) है।

कुछ अन्य संबंधित परिणाम हैं:

नीलसन-श्रेयर प्रमेय: एक मुक्त समूह का प्रत्येक उपसमूह स्वतंत्र है।
रैंक k के एक मुक्त समूह में स्पष्ट रूप से k से कम प्रत्येक रैंक के उपसमूह होते हैं। कम स्पष्ट रूप से, कम से कम 2 रैंक के एक (नॉनबेलियन!) मुक्त समूह में सभी गणनीय समुच्चय रैंकों के उपसमूह हैं।
रैंक k> 1 के मुक्त समूह के कम्यूटेटर उपसमूह में अनंत रैंक है; उदाहरण के लिए एफ (ए, बी) के लिए, यह कम्यूटेटर [ए द्वारा स्वतंत्र रूप से उत्पन्न होता है^मी, बीⁿ] गैर-शून्य m और n के लिए।
दो तत्वों में मुक्त समूह SQ सार्वभौमिक है; उपरोक्त इस प्रकार है क्योंकि किसी भी SQ सार्वभौमिक समूह में सभी गणनीय रैंकों के उपसमूह होते हैं।
कोई भी समूह जो एक पेड़ पर समूह क्रिया (गणित), मुक्त क्रिया और उन्मुख ग्राफ को संरक्षित करता है, गणनीय रैंक का एक मुक्त समूह है (1 प्लस समूह क्रिया (गणित) ग्राफ सिद्धांत की यूलर विशेषता द्वारा दिया गया)।
फ्री जनरेटिंग समुच्चय के संबंध में परिमित रैंक के एक मुक्त समूह का केली ग्राफ एक ट्री (ग्राफ थ्योरी) है, जिस पर समूह स्वतंत्र रूप से कार्य करता है, अभिविन्यास को संरक्षित करता है।
पीजे हिगिंस द्वारा नीचे दिए गए काम में दिए गए इन परिणामों के लिए groupoid दृष्टिकोण, अंतरिक्ष को कवर करना का उपयोग करके एक दृष्टिकोण से निकाला गया है। यह अधिक शक्तिशाली परिणामों की अनुमति देता है, उदाहरण के लिए ग्रुस्को के प्रमेय पर, और समूहों के ग्राफ के मौलिक समूह के लिए एक सामान्य रूप। इस दृष्टिकोण में एक निर्देशित ग्राफ़ पर मुफ्त ग्रुपोइड्स का काफी उपयोग होता है।
ग्रुस्को के प्रमेय का परिणाम यह है कि यदि n तत्वों पर मुक्त समूह F का एक उपसमुच्चय B, F उत्पन्न करता है और इसमें n तत्व हैं, तो B स्वतंत्र रूप से F उत्पन्न करता है।

फ्री एबेलियन ग्रुप

समुच्चय एस पर मुक्त एबेलियन समूह को इसकी सार्वभौमिक संपत्ति के माध्यम से समान रूप से स्पष्ट संशोधनों के साथ परिभाषित किया गया है: एक युग्म (F, φ) पर विचार करें, जहाँ F एक आबेली समूह है और φ: S → F एक फलन है। F को 'φ के संबंध में S पर मुक्त एबेलियन समूह' कहा जाता है, यदि किसी एबेलियन समूह G और किसी फ़ंक्शन ψ: S → G के लिए, एक अद्वितीय समरूपता f: F → G मौजूद है, जैसे कि

f(φ(s)) = ψ(s), S में सभी s के लिए।

S पर मुक्त एबेलियन समूह को स्पष्ट रूप से मुक्त समूह F(S) मॉड्यूलो के रूप में पहचाना जा सकता है, जो इसके कम्यूटेटर, [F(S), F(S)] द्वारा उत्पन्न उपसमूह है, अर्थात। इसका abelianisation। दूसरे शब्दों में, S पर मुक्त एबेलियन समूह शब्दों का समूह है जो केवल अक्षरों के क्रम तक ही प्रतिष्ठित हैं। इसलिए एक स्वतंत्र समूह की रैंक को एक मुक्त एबेलियन समूह के रूप में इसके एबेलियनाइजेशन के रैंक के रूप में भी परिभाषित किया जा सकता है।

तर्स्की की समस्याएं

1945 के आसपास, अल्फ्रेड टार्स्की ने पूछा कि क्या दो या दो से अधिक जनरेटर पर मुक्त समूहों का एक ही मॉडल सिद्धांत है | प्रथम-क्रम सिद्धांत, और क्या यह सिद्धांत निर्णायकता (तर्क) है। Sela (2006) पहले प्रश्न का उत्तर यह दिखाते हुए दिया कि किन्हीं भी दो गैर-अबेलियन मुक्त समूहों के पास एक ही प्रथम-क्रम सिद्धांत है, और Kharlampovich & Myasnikov (2006) दोनों सवालों के जवाब दिए, यह दिखाते हुए कि यह सिद्धांत निर्णायक है।

नि: शुल्क संभाव्यता सिद्धांत में एक समान अनसुलझा (2011 तक) प्रश्न पूछता है कि क्या किसी भी दो गैर-अबेलियन के वॉन न्यूमैन समूह बीजगणित अंतिम रूप से उत्पन्न मुक्त समूह आइसोमोर्फिक हैं।

यह भी देखें

एक समूह का समुच्चय बनाना
एक समूह की प्रस्तुति
नीलसन परिवर्तन, एक मुक्त समूह के ऑटोमोर्फिज्म समूह के तत्वों का गुणनखंड
मुक्त समूहों के लिए सामान्य रूप और समूहों के मुफ्त उत्पाद
मुफ्त उत्पाद

↑ von Dyck, Walther (1882). "Gruppentheoretische Studien (Group-theoretical Studies)". Mathematische Annalen. 20 (1): 1–44. doi:10.1007/BF01443322. S2CID 179178038. Archived from the original on 2016-03-04. Retrieved 2015-09-01.
↑ Nielsen, Jakob (1917). "Die Isomorphismen der allgemeinen unendlichen Gruppe mit zwei Erzeugenden". Mathematische Annalen. 78 (1): 385–397. doi:10.1007/BF01457113. JFM 46.0175.01. MR 1511907. S2CID 119726936. Archived from the original on 2016-03-05. Retrieved 2015-09-01.
↑ Nielsen, Jakob (1921). "On calculation with noncommutative factors and its application to group theory. (Translated from Danish)". The Mathematical Scientist. 6 (1981) (2): 73–85.
↑ Nielsen, Jakob (1924). "Die Isomorphismengruppe der freien Gruppen". Mathematische Annalen. 91 (3): 169–209. doi:10.1007/BF01556078. S2CID 122577302. Archived from the original on 2016-03-05. Retrieved 2015-09-01.
↑ See Magnus, Wilhelm; Moufang, Ruth (1954). "Max Dehn zum Gedächtnis". Mathematische Annalen. 127 (1): 215–227. doi:10.1007/BF01361121. S2CID 119917209. Archived from the original on 2016-03-05. Retrieved 2015-09-01.
↑ Schreier, Otto (1928). "Die Untergruppen der freien Gruppen". Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. 5: 161–183. doi:10.1007/BF02952517. S2CID 121888949.
↑ Reidemeister, Kurt (1972) [1932]. Einführung in die kombinatorische Topologie. Darmstadt: Wissenschaftliche Buchgesellschaft.

संदर्भ

Kharlampovich, Olga; Myasnikov, Alexei (2006). "Elementary theory of free non-abelian groups". Journal of Algebra. 302 (2): 451–552. doi:10.1016/j.jalgebra.2006.03.033. MR 2293770.
W. Magnus, A. Karrass and D. Solitar, "Combinatorial Group Theory", Dover (1976).
P.J. Higgins, 1971, "Categories and Groupoids", van Nostrand, {New York}. Reprints in Theory and Applications of Categories, 7 (2005) pp 1–195.
Sela, Zlil (2006). "Diophantine geometry over groups. VI. The elementary theory of a free group". Geom. Funct. Anal. 16 (3): 707–730. doi:10.1007/s00039-006-0565-8. MR 2238945. S2CID 123197664.
Serre, Jean-Pierre, Trees, Springer (2003) (English translation of "arbres, amalgames, SL₂", 3rd edition, astérisque 46 (1983))
P.J. Higgins, The fundamental groupoid of a graph of groups, Journal of the London Mathematical Society (2) 13 (1976), no. 1, 145–149.
Aluffi, Paolo (2009). Algebra: Chapter 0. AMS Bookstore. p. 70. ISBN 978-0-8218-4781-7..
Grillet, Pierre Antoine (2007). Abstract algebra. Springer. p. 27. ISBN 978-0-387-71567-4..

[1] von Dyck, Walther (1882). "Gruppentheoretische Studien (Group-theoretical Studies)". Mathematische Annalen. 20 (1): 1–44. doi:10.1007/BF01443322. S2CID 179178038. Archived from the original on 2016-03-04. Retrieved 2015-09-01.

[2] Nielsen, Jakob (1917). "Die Isomorphismen der allgemeinen unendlichen Gruppe mit zwei Erzeugenden". Mathematische Annalen. 78 (1): 385–397. doi:10.1007/BF01457113. JFM 46.0175.01. MR 1511907. S2CID 119726936. Archived from the original on 2016-03-05. Retrieved 2015-09-01.

[3] Nielsen, Jakob (1921). "On calculation with noncommutative factors and its application to group theory. (Translated from Danish)". The Mathematical Scientist. 6 (1981) (2): 73–85.

[4] Nielsen, Jakob (1924). "Die Isomorphismengruppe der freien Gruppen". Mathematische Annalen. 91 (3): 169–209. doi:10.1007/BF01556078. S2CID 122577302. Archived from the original on 2016-03-05. Retrieved 2015-09-01.

[5] See Magnus, Wilhelm; Moufang, Ruth (1954). "Max Dehn zum Gedächtnis". Mathematische Annalen. 127 (1): 215–227. doi:10.1007/BF01361121. S2CID 119917209. Archived from the original on 2016-03-05. Retrieved 2015-09-01.

[6] Schreier, Otto (1928). "Die Untergruppen der freien Gruppen". Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. 5: 161–183. doi:10.1007/BF02952517. S2CID 121888949.

[7] Reidemeister, Kurt (1972) [1932]. Einführung in die kombinatorische Topologie. Darmstadt: Wissenschaftliche Buchgesellschaft.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 1: / Line 1: @@
 {{Short description|Mathematics concept}}
 {{Group theory sidebar |Discrete}}
-[[Image:F2 Cayley Graph.png|right|thumb|आरेख दो जनरेटर पर मुक्त समूह के लिए [[केली ग्राफ]] दिखा रहा है। प्रत्येक शीर्ष मुक्त समूह के एक तत्व का प्रतिनिधित्व करता है, और प्रत्येक किनारा a या b द्वारा गुणा का प्रतिनिधित्व करता है।]]गणित में मुक्त समूह ''एफ''<sub>''S''</sub> किसी दिए गए सेट पर S में सभी [[शब्द (समूह सिद्धांत)]] होते हैं जो S के सदस्यों से बनाए जा सकते हैं, दो शब्दों को अलग मानते हुए जब तक कि उनकी समानता समूह (गणित) # परिभाषा (जैसे st = suu) से न हो<sup>-1</sup>टी, लेकिन एस ≠ टी<sup>−1</sup> s,t,u ∈ S के लिए)। S के सदस्यों को F का 'जनरेटर' कहा जाता है<sub>''S''</sub>, और जनरेटर की संख्या मुक्त समूह की रैंक है।
+[[Image:F2 Cayley Graph.png|right|thumb|आरेख दो जनरेटर पर मुक्त समूह के लिए [[केली ग्राफ]] दिखा रहा है। प्रत्येक शीर्ष मुक्त समूह के एक तत्व का प्रतिनिधित्व करता है, और प्रत्येक किनारा a या b द्वारा गुणा का प्रतिनिधित्व करता है।]]गणित में, किसी दिए गए समुच्चय S पर मुक्त समूह FS में वे सभी शब्द होते हैं जो S के सदस्यों से बनाए जा सकते हैं, दो शब्दों को अलग मानते हुए जब तक कि उनकी समानता समूह स्वयंसिद्धों (उदा. ''st'' = ''suu''<sup>−1</sup>''t'', लेकिन''s'' ≠ ''t''<sup>−1</sup>,''s'',''t'',''u'' ∈ ''S'' के लिए) हैं। S के सदस्यों को ''F<sub>S</sub>'' का 'जनित्र' कहा जाता है, और जनित्र की संख्या मुक्त समूह की क्रम होती है। एक स्वेच्छाचारी [[समूह (गणित)|समूह]] ''G'' को मुक्त कहा जाता है यदि यह ''G'' के कुछ उपसमुच्चय ''S'' के लिए ''F<sub>S</sub>'' के लिए समरूप है, अर्थात, यदि ''G'' का एक उपसमुच्च ''S'' है, जैसे कि ''G'' के प्रत्येक तत्व को यथार्थत: से लिखा जा सकता है जैसे कि बहुत से गुणनफल के रूप में ''S'' के तत्व और उनके व्युत्क्रम (तुच्छ भिन्नता की उपेक्षा करना जैसे कि ''st'' = ''suu''<sup>−1</sup>''t'') है।
-एक मनमाना [[समूह (गणित)]] ''जी'' मुक्त कहा जाता है अगर यह ''एफ'' के लिए समूह समाकृतिकता है<sub>''S''</sub> G के कुछ उपसमुच्चय S के लिए, अर्थात्, यदि G का एक उपसमुच्चय S है जैसे कि G के प्रत्येक तत्व को S के बहुत से तत्वों और उनके व्युत्क्रमों के गुणनफल के रूप में बिल्कुल एक तरह से लिखा जा सकता है (तुच्छ विविधताओं जैसे कि st = सू<sup>-1</sup>टी)।
-एक संबंधित लेकिन अलग धारणा एक [[मुक्त एबेलियन समूह]] है; दोनों धारणाएं [[सार्वभौमिक बीजगणित]] से [[मुक्त वस्तु]] के विशेष उदाहरण हैं। जैसे, मुक्त समूहों को उनके नि: शुल्क समूह#सार्वभौमिक संपत्ति द्वारा परिभाषित किया गया है।
+एक संबंधित लेकिन भिन्न धारणा एक [[मुक्त एबेलियन समूह]] है; दोनों धारणाएं [[सार्वभौमिक बीजगणित]] से [[मुक्त वस्तु]] के विशेष उदाहरण हैं। जैसे, मुक्त समूहों को उनकी सार्वभौमिक संपत्ति द्वारा परिभाषित किया जाता है।
 == इतिहास ==
-फ़्यूचियन समूहों (हाइपरबोलिक ज्यामिति पर [[आइसोमेट्री]] द्वारा कार्य करने वाले असतत समूह) के उदाहरण के रूप में मुक्त समूह पहले [[अतिशयोक्तिपूर्ण ज्यामिति]] के अध्ययन में उत्पन्न हुए। 1882 के एक पेपर में, [[वाल्थर वॉन डाइक]] ने बताया कि इन समूहों में सबसे सरल संभव [[समूह प्रस्तुति]] है।<ref>{{cite journal | last = von Dyck | first = Walther | author-link = Walther von Dyck | title = Gruppentheoretische Studien (Group-theoretical Studies) | journal = [[Mathematische Annalen]] | volume = 20 | issue = 1 | pages = 1–44 | year = 1882 | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002246724&L=1 | doi = 10.1007/BF01443322 | s2cid = 179178038 | access-date = 2015-09-01 | archive-date = 2016-03-04 | archive-url = https://web.archive.org/web/20160304201754/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002246724&L=1 | url-status = dead }}</ref> 1924 में [[जैकब नीलसन (गणितज्ञ)]] द्वारा मुक्त समूहों का बीजगणितीय अध्ययन शुरू किया गया, जिन्होंने उन्हें अपना नाम दिया और उनके कई मूल गुण स्थापित किए।<ref>{{cite journal|last=Nielsen|first=Jakob|author-link=Jakob Nielsen (mathematician)|year=1917|title=Die Isomorphismen der allgemeinen unendlichen Gruppe mit zwei Erzeugenden|url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002266873&L=1|journal=[[Mathematische Annalen]]|volume=78|issue=1|pages=385–397|doi=10.1007/BF01457113|jfm=46.0175.01|mr=1511907|s2cid=119726936|access-date=2015-09-01|archive-date=2016-03-05|archive-url=https://web.archive.org/web/20160305141749/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002266873&L=1|url-status=dead}}
+फ़्यूचियन समूहों के उदाहरण के रूप में [[अतिशयोक्तिपूर्ण ज्यामिति]] के अध्ययन में सबसे पहले मुक्त समूह उत्पन्न हुए (हाइपरबोलिक समतल पर [[आइसोमेट्री]] द्वारा अभिनय करने वाले असतत समूह)। 1882 के एक लेख में, [[वाल्थर वॉन डाइक]] ने बताया कि इन समूहों में सबसे सरल संभव [[समूह प्रस्तुति|प्रस्तुतियाँ]] है।<ref>{{cite journal | last = von Dyck | first = Walther | author-link = Walther von Dyck | title = Gruppentheoretische Studien (Group-theoretical Studies) | journal = [[Mathematische Annalen]] | volume = 20 | issue = 1 | pages = 1–44 | year = 1882 | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002246724&L=1 | doi = 10.1007/BF01443322 | s2cid = 179178038 | access-date = 2015-09-01 | archive-date = 2016-03-04 | archive-url = https://web.archive.org/web/20160304201754/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002246724&L=1 | url-status = dead }}</ref> मुक्त समूहों का बीजगणितीय अध्ययन 1924 में [[जैकब नीलसन (गणितज्ञ)|जैकब नीलसन]] द्वारा आरम्भ किया गया था, जिन्होंने उन्हें अपना नाम दिया और उनके कई मूल गुण स्थापित किए।<ref>{{cite journal|last=Nielsen|first=Jakob|author-link=Jakob Nielsen (mathematician)|year=1917|title=Die Isomorphismen der allgemeinen unendlichen Gruppe mit zwei Erzeugenden|url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002266873&L=1|journal=[[Mathematische Annalen]]|volume=78|issue=1|pages=385–397|doi=10.1007/BF01457113|jfm=46.0175.01|mr=1511907|s2cid=119726936|access-date=2015-09-01|archive-date=2016-03-05|archive-url=https://web.archive.org/web/20160305141749/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002266873&L=1|url-status=dead}}
-<!-- note the journal volume was published in 1964, but its JFM review and the text of the article use the date 1917---><!-- note the journal volume was published in 1964, but its JFM review and the text of the article use the date 1917.--></ref><ref>{{cite journal | last = Nielsen | first = Jakob | author-link = Jakob Nielsen (mathematician) | title = On calculation with noncommutative factors and its application to group theory. (Translated from Danish) | journal = The Mathematical Scientist | volume = 6 (1981) | issue = 2 | pages = 73–85 | year = 1921 }}</ref><ref>{{cite journal | last = Nielsen | first = Jakob | author-link = Jakob Nielsen (mathematician) | title = Die Isomorphismengruppe der freien Gruppen | journal = Mathematische Annalen | volume = 91 | issue = 3 | pages = 169–209 | year = 1924 | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002269813&L=1 | doi = 10.1007/BF01556078 | s2cid = 122577302 | access-date = 2015-09-01 | archive-date = 2016-03-05 | archive-url = https://web.archive.org/web/20160305073827/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002269813&L=1 | url-status = dead }}</ref> [[मैक्स डेहन]] ने टोपोलॉजी के साथ संबंध को महसूस किया, और पूर्ण नीलसन-श्रेयर प्रमेय का पहला प्रमाण प्राप्त किया।<ref>See {{cite journal | last1 = Magnus | first1 = Wilhelm | author-link1 = Wilhelm Magnus | last2 = Moufang | first2 = Ruth | author-link2 = Ruth Moufang | title = Max Dehn zum Gedächtnis | journal = Mathematische Annalen | volume = 127 | issue = 1 | pages = 215–227 | year = 1954 | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002283808&L=1 | doi = 10.1007/BF01361121 | s2cid = 119917209 | access-date = 2015-09-01 | archive-date = 2016-03-05 | archive-url = https://web.archive.org/web/20160305072926/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002283808&L=1 | url-status = dead }}</ref> [[ओटो श्रेयर]] ने 1927 में इस परिणाम का एक बीजगणितीय प्रमाण प्रकाशित किया,<ref>{{cite journal | last = Schreier | first = Otto | author-link = Otto Schreier | title = Die Untergruppen der freien Gruppen | journal = Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg | volume = 5 | year = 1928 | pages = 161–183 | doi = 10.1007/BF02952517 | s2cid = 121888949 }}</ref> और [[कर्ट रिडेमिस्टर]] ने [[मिश्रित टोपोलॉजी]] पर अपनी 1932 की पुस्तक में मुक्त समूहों के व्यापक उपचार को शामिल किया।<ref>{{cite book | last = Reidemeister | first = Kurt | author-link = Kurt Reidemeister | title = Einführung in die kombinatorische Topologie | publisher = Wissenschaftliche Buchgesellschaft | date = 1972 |orig-date=1932 | location = Darmstadt}}</ref> बाद में 1930 के दशक में, [[विल्हेम मैग्नस]] ने मुक्त समूहों की [[निचली केंद्रीय श्रृंखला]] और मुक्त लाई बीजगणित के बीच संबंध की खोज की।
+<!-- note the journal volume was published in 1964, but its JFM review and the text of the article use the date 1917---><!-- note the journal volume was published in 1964, but its JFM review and the text of the article use the date 1917.--></ref><ref>{{cite journal | last = Nielsen | first = Jakob | author-link = Jakob Nielsen (mathematician) | title = On calculation with noncommutative factors and its application to group theory. (Translated from Danish) | journal = The Mathematical Scientist | volume = 6 (1981) | issue = 2 | pages = 73–85 | year = 1921 }}</ref><ref>{{cite journal | last = Nielsen | first = Jakob | author-link = Jakob Nielsen (mathematician) | title = Die Isomorphismengruppe der freien Gruppen | journal = Mathematische Annalen | volume = 91 | issue = 3 | pages = 169–209 | year = 1924 | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002269813&L=1 | doi = 10.1007/BF01556078 | s2cid = 122577302 | access-date = 2015-09-01 | archive-date = 2016-03-05 | archive-url = https://web.archive.org/web/20160305073827/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002269813&L=1 | url-status = dead }}</ref> [[मैक्स डेहन]] ने संस्थितिविज्ञान के साथ संबंध को सिद्ध किया, और पूर्ण नीलसन-श्रेयर प्रमेय का पहला प्रमाण प्राप्त किया।<ref>See {{cite journal | last1 = Magnus | first1 = Wilhelm | author-link1 = Wilhelm Magnus | last2 = Moufang | first2 = Ruth | author-link2 = Ruth Moufang | title = Max Dehn zum Gedächtnis | journal = Mathematische Annalen | volume = 127 | issue = 1 | pages = 215–227 | year = 1954 | url = http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002283808&L=1 | doi = 10.1007/BF01361121 | s2cid = 119917209 | access-date = 2015-09-01 | archive-date = 2016-03-05 | archive-url = https://web.archive.org/web/20160305072926/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=GDZPPN002283808&L=1 | url-status = dead }}</ref> [[ओटो श्रेयर]] ने 1927 में इस परिणाम का एक बीजगणितीय प्रमाण प्रकाशित किया,<ref>{{cite journal | last = Schreier | first = Otto | author-link = Otto Schreier | title = Die Untergruppen der freien Gruppen | journal = Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg | volume = 5 | year = 1928 | pages = 161–183 | doi = 10.1007/BF02952517 | s2cid = 121888949 }}</ref> और [[कर्ट रिडेमिस्टर]] ने [[मिश्रित टोपोलॉजी|मिश्रित संस्थितिविज्ञान]] पर अपनी 1932 की पुस्तक में मुक्त समूहों के व्यापक उपचार को सम्मिलित किया।<ref>{{cite book | last = Reidemeister | first = Kurt | author-link = Kurt Reidemeister | title = Einführung in die kombinatorische Topologie | publisher = Wissenschaftliche Buchgesellschaft | date = 1972 |orig-date=1932 | location = Darmstadt}}</ref> बाद में 1930 के दशक में, [[विल्हेम मैग्नस]] ने मुक्त समूहों की [[निचली केंद्रीय श्रृंखला]] और मुक्त लाई बीजगणित के मध्य संबंध की खोज की।
 == उदाहरण ==
-[[पूर्णांक]]ों का समूह (Z,+) कोटि 1 से मुक्त है; एक जनरेटिंग सेट ''S'' = {1} है। पूर्णांक भी एक मुक्त एबेलियन समूह हैं, हालांकि रैंक के सभी मुक्त समूह <math>\geq 2</math> गैर-आबेली हैं। दो-तत्व सेट S पर एक मुक्त समूह बनच-तर्स्की विरोधाभास के प्रमाण में होता है और वहां इसका वर्णन किया गया है।
+[[पूर्णांक|पूर्णांकों]] का समूह ('''Z''',+) क्रम 1 से मुक्त है; एक जनक समुच्चय ''S'' = {1} है। पूर्णांक भी एक मुक्त एबेलियन समूह हैं, यद्यपि क्रम <math>\geq 2</math> के सभी मुक्त समूह गैर-अबेलियन हैं। दो-तत्व समुच्चय S पर एक मुक्त समूह दो तत्व विरोधाभास के प्रमाण में होता है और वहां इसका वर्णन किया गया है।
-दूसरी ओर, कोई भी गैर-तुच्छ परिमित समूह मुक्त नहीं हो सकता है, क्योंकि एक मुक्त समूह के मुक्त जनरेटिंग सेट के तत्वों में अनंत क्रम होता है।
+दूसरी ओर, कोई भी गैर-तुच्छ परिमित समूह मुक्त नहीं हो सकता है, क्योंकि एक मुक्त समूह के मुक्त जनक समुच्चय के तत्वों में अनंत क्रम होता है।
-[[बीजगणितीय टोपोलॉजी]] में, मंडलियों के गुलदस्ते का [[मौलिक समूह]] (के लूप का एक सेट जिसमें केवल एक बिंदु समान होता है) के तत्वों के सेट पर मुक्त समूह होता है।
+[[बीजगणितीय टोपोलॉजी|बीजगणितीय संस्थितिविज्ञान]] में, k वृत्त का गुच्छा का मूलभूत [[मौलिक समूह|समूह]] (k परिपथ का एक समुच्चय जिसमें केवल एक बिंदु समान होता है) k तत्वों के समुच्चय पर मुक्त समूह होता है।
 == निर्माण ==
-मुक्त समूह ''एफ<sub>S</sub>'फ्री जनरेटिंग सेट' के साथ एस का निर्माण निम्नानुसार किया जा सकता है। एस प्रतीकों का एक सेट है, और हम मानते हैं कि एस में प्रत्येक एस के लिए एक संबंधित उलटा प्रतीक है, एस<sup>-1</sup>, समुच्चय S में<sup>-1</sup>. माना T = S ∪ S<sup>-1</sup>, और ''S'' में एक शब्द (समूह सिद्धांत) को ''T'' के तत्वों का कोई लिखित उत्पाद होने के लिए परिभाषित करें। अर्थात्, 'स' में एक शब्द 'टी' द्वारा उत्पन्न मोनॉयड का एक तत्व है। खाली शब्द वह शब्द है जिसमें कोई प्रतीक नहीं है। उदाहरण के लिए, अगर ''S'' = {''a'', ''b'', ''c''}, तो ''T'' = {''a'', ''a''<sup>-1</sup>, बी, बी<sup>-1</sup>, सी, सी<sup>-1</sup>}, और
+मुक्त जनक समुच्चय ''S के साथ मुक्त'' समूह ''F<sub>S</sub> का निर्माण अनुसरण किया जा सकता है। S प्रतीकों का एक समुच्चय है, और हम मानते हैं कि s में प्रत्येक S के लिए एक समुच्चय s<sup>−1</sup> में एक संबंधित <nowiki>''प्रतिलोम ''</nowiki> प्रतीक,  S<sup>−1</sup>है। मान लीजिए कि T = S ∪ S<sup>−1</sup>, और'' S'' में एक शब्द (समूह सिद्धांत) को  ''T'' के तत्वों का कोई लिखित गुणनफल परिभाषित करें। अर्थात्, 'S' में एक शब्द 'T' द्वारा जनित एकाभ का एक तत्व है। प्रकार्य शब्द वह शब्द है जिसमें कोई प्रतीक नहीं है। उदाहरण के लिए, यदि S'' = {''a'', ''b'', ''c''}'', तो ''
+''T'' = {''a'', ''a''<sup>−1</sup>, ''b'', ''b''<sup>−1</sup>, ''c'', ''c''<sup>−1</sup>}'', और''
 :<math>a b^3 c^{-1} c a^{-1} c\,</math>
 S में एक शब्द है।
-यदि S का कोई अवयव इसके व्युत्क्रम के ठीक बगल में स्थित है, तो c, c को हटाकर शब्द को सरल बनाया जा सकता है<sup>−1</sup> जोड़ी:
+यदि S का एक तत्व इसके व्युत्क्रम के सामने में स्थित है, तो c, c<sup>−1</sup> को हटाकर शब्द को सरल बनाया जा सकता है<sup>−1</sup> जोड़ी:
 :<math>a b^3 c^{-1} c a^{-1} c\;\;\longrightarrow\;\;a b^3 \, a^{-1} c.</math>
 एक शब्द जिसे और अधिक सरल नहीं किया जा सकता है, उसे कम कहा जाता है।
@@ Line 31: / Line 32: @@
 == सार्वभौमिक संपत्ति ==
-मुक्त समूह एफ<sub>S</sub>सेट एस द्वारा उत्पन्न सार्वभौमिक (गणित) समूह है। इसे निम्नलिखित [[सार्वभौमिक संपत्ति]] द्वारा औपचारिक रूप दिया जा सकता है: कोई भी कार्य दिया गया है {{mvar|f}} S से समूह G तक, एक अद्वितीय [[समूह समरूपता]] φ: F मौजूद है<sub>S</sub>→ G निम्नलिखित [[क्रमविनिमेय आरेख]] कम्यूट कर रहा है (जहां अनाम मैपिंग S से F में [[समावेशन मानचित्र]] को दर्शाता है<sub>S</sub>):
+मुक्त समूह एफ<sub>S</sub>समुच्चय एस द्वारा उत्पन्न सार्वभौमिक (गणित) समूह है। इसे निम्नलिखित [[सार्वभौमिक संपत्ति]] द्वारा औपचारिक रूप दिया जा सकता है: कोई भी कार्य दिया गया है {{mvar|f}} S से समूह G तक, एक अद्वितीय [[समूह समरूपता]] φ: F मौजूद है<sub>S</sub>→ G निम्नलिखित [[क्रमविनिमेय आरेख]] कम्यूट कर रहा है (जहां अनाम मैपिंग S से F में [[समावेशन मानचित्र]] को दर्शाता है<sub>S</sub>):
 [[Image:Free Group Universal.svg|center|100px]]यानी होमोमोर्फिज्म एफ<sub>S</sub>→ G कार्यों S → G के साथ एक-से-एक पत्राचार में हैं। एक गैर-मुक्त समूह के लिए, समूह प्रस्तुति की उपस्थिति एक समरूपता के तहत जनरेटर की संभावित छवियों को प्रतिबंधित करेगी।
 यह देखने के लिए कि यह रचनात्मक परिभाषा से कैसे संबंधित है, एस से एफ तक मैपिंग के बारे में सोचें<sub>S</sub>प्रत्येक प्रतीक को उस प्रतीक से युक्त शब्द में भेजने के रूप में। दिए गए के लिए φ की रचना करना {{mvar|f}}, पहले ध्यान दें कि φ खाली शब्द को G की पहचान के लिए भेजता है और इससे सहमत होना है {{mvar|f}} एस के तत्वों पर। शेष शब्दों के लिए (एक से अधिक प्रतीकों से मिलकर), φ को विशिष्ट रूप से विस्तारित किया जा सकता है, क्योंकि यह एक समरूपता है, अर्थात, φ(ab) = φ(a) φ(b)।
-उपरोक्त संपत्ति समरूपता तक मुक्त समूहों की विशेषता है, और कभी-कभी इसे वैकल्पिक परिभाषा के रूप में प्रयोग किया जाता है। इसे मुक्त समूहों की सार्वभौमिक संपत्ति के रूप में जाना जाता है, और उत्पन्न सेट एस को एफ के लिए 'आधार' कहा जाता है<sub>S</sub>. मुक्त समूह का आधार विशिष्ट रूप से निर्धारित नहीं है।
+उपरोक्त संपत्ति समरूपता तक मुक्त समूहों की विशेषता है, और कभी-कभी इसे वैकल्पिक परिभाषा के रूप में प्रयोग किया जाता है। इसे मुक्त समूहों की सार्वभौमिक संपत्ति के रूप में जाना जाता है, और उत्पन्न समुच्चय एस को एफ के लिए 'आधार' कहा जाता है<sub>S</sub>. मुक्त समूह का आधार विशिष्ट रूप से निर्धारित नहीं है।
-एक सार्वभौमिक संपत्ति की विशेषता होना सार्वभौमिक बीजगणित में मुक्त वस्तुओं की मानक विशेषता है। [[श्रेणी सिद्धांत]] की भाषा में, मुक्त समूह का निर्माण (मुक्त वस्तुओं के अधिकांश निर्माणों के समान) [[सेट की श्रेणी]] से [[समूहों की श्रेणी]] का एक [[ऑपरेटर]] है। यह फ़ंक्टर समूह से सेट तक भुलक्कड़ फ़ंक्टर के बगल में छोड़ दिया जाता है।
+एक सार्वभौमिक संपत्ति की विशेषता होना सार्वभौमिक बीजगणित में मुक्त वस्तुओं की मानक विशेषता है। [[श्रेणी सिद्धांत|क्रम सिद्धांत]] की भाषा में, मुक्त समूह का निर्माण (मुक्त वस्तुओं के अधिकांश निर्माणों के समान) [[सेट की श्रेणी|समुच्चय की क्रम]] से [[समूहों की श्रेणी|समूहों की क्रम]] का एक [[ऑपरेटर]] है। यह फ़ंक्टर समूह से समुच्चय तक भुलक्कड़ फ़ंक्टर के बगल में छोड़ दिया जाता है।
 == तथ्य और प्रमेय ==
 परिभाषा से मुक्त समूहों के कुछ गुण आसानी से अनुसरण करते हैं:
-#कोई भी समूह G किसी मुक्त समूह F(S) का समरूपी प्रतिबिम्ब है। बता दें कि S, G के एक समूह के जनरेटिंग सेट का एक सेट है। प्राकृतिक मानचित्र f: F(S) → G एक [[अधिरूपता]] है, जो दावे को साबित करता है। समतुल्य रूप से, G कुछ मुक्त समूह F(S) के [[भागफल समूह]] के लिए तुल्याकारी है। φ का कर्नेल G के [[एक समूह की प्रस्तुति]] में संबंधों का एक सेट है। यदि S को यहाँ परिमित चुना जा सकता है, तो G को 'परिमित रूप से उत्पन्न' कहा जाता है।
+#कोई भी समूह G किसी मुक्त समूह F(S) का समरूपी प्रतिबिम्ब है। बता दें कि S, G के एक समूह के जनरेटिंग समुच्चय का एक समुच्चय है। प्राकृतिक मानचित्र f: F(S) → G एक [[अधिरूपता]] है, जो दावे को साबित करता है। समतुल्य रूप से, G कुछ मुक्त समूह F(S) के [[भागफल समूह]] के लिए तुल्याकारी है। φ का कर्नेल G के [[एक समूह की प्रस्तुति]] में संबंधों का एक समुच्चय है। यदि S को यहाँ परिमित चुना जा सकता है, तो G को 'परिमित रूप से उत्पन्न' कहा जाता है।
-#यदि S में एक से अधिक तत्व हैं, तो F(S) [[एबेलियन समूह]] नहीं है, और वास्तव में F(S) के समूह का केंद्र तुच्छ है (अर्थात, इसमें केवल पहचान तत्व शामिल हैं)।
+#यदि S में एक से अधिक तत्व हैं, तो F(S) [[एबेलियन समूह]] नहीं है, और वास्तव में F(S) के समूह का केंद्र तुच्छ है (अर्थात, इसमें केवल पहचान तत्व सम्मिलित हैं)।
 # दो मुक्त समूह एफ (एस) और एफ (टी) आइसोमॉर्फिक हैं यदि और केवल अगर एस और टी में समान [[प्रमुखता]] है। इस कार्डिनैलिटी को मुक्त समूह F का 'रैंक' कहा जाता है। इस प्रकार प्रत्येक कार्डिनल संख्या k के लिए, समरूपता [[तक]], रैंक k का ठीक एक मुक्त समूह होता है।
 # परिमित रैंक n> 1 के एक मुक्त समूह में क्रम 2n - 1 की एक [[घातीय वृद्धि]] वृद्धि दर (समूह सिद्धांत) है।
@@ Line 50: / Line 51: @@
 कुछ अन्य संबंधित परिणाम हैं:
 # नीलसन-श्रेयर प्रमेय: एक मुक्त समूह का प्रत्येक [[उपसमूह]] स्वतंत्र है।
-# रैंक k के एक मुक्त समूह में स्पष्ट रूप से k से कम प्रत्येक रैंक के उपसमूह होते हैं। कम स्पष्ट रूप से, कम से कम 2 रैंक के एक (नॉनबेलियन!) मुक्त समूह में सभी [[गणनीय सेट]] रैंकों के उपसमूह हैं।
+# रैंक k के एक मुक्त समूह में स्पष्ट रूप से k से कम प्रत्येक रैंक के उपसमूह होते हैं। कम स्पष्ट रूप से, कम से कम 2 रैंक के एक (नॉनबेलियन!) मुक्त समूह में सभी [[गणनीय सेट|गणनीय समुच्चय]] रैंकों के उपसमूह हैं।
 # रैंक k> 1 के मुक्त समूह के [[कम्यूटेटर]] उपसमूह में अनंत रैंक है; उदाहरण के लिए एफ (ए, बी) के लिए, यह कम्यूटेटर [ए द्वारा स्वतंत्र रूप से उत्पन्न होता है<sup>मी</sup>, बी<sup>n</sup>] गैर-शून्य m और n के लिए।
 # दो तत्वों में मुक्त समूह SQ सार्वभौमिक है; उपरोक्त इस प्रकार है क्योंकि किसी भी SQ सार्वभौमिक समूह में सभी गणनीय रैंकों के उपसमूह होते हैं।
 # कोई भी समूह जो एक पेड़ पर [[समूह क्रिया (गणित)]], मुक्त क्रिया और [[उन्मुख ग्राफ]] को संरक्षित करता है, गणनीय रैंक का एक मुक्त समूह है (1 प्लस समूह क्रिया (गणित) [[ग्राफ सिद्धांत]] की [[यूलर विशेषता]] द्वारा दिया गया)।
-# फ्री जनरेटिंग सेट के संबंध में परिमित रैंक के एक मुक्त समूह का केली ग्राफ एक ट्री (ग्राफ थ्योरी) है, जिस पर समूह स्वतंत्र रूप से कार्य करता है, अभिविन्यास को संरक्षित करता है।
+# फ्री जनरेटिंग समुच्चय के संबंध में परिमित रैंक के एक मुक्त समूह का केली ग्राफ एक ट्री (ग्राफ थ्योरी) है, जिस पर समूह स्वतंत्र रूप से कार्य करता है, अभिविन्यास को संरक्षित करता है।
 #पीजे हिगिंस द्वारा नीचे दिए गए काम में दिए गए इन परिणामों के लिए [[groupoid]] दृष्टिकोण, [[अंतरिक्ष को कवर करना]] का उपयोग करके एक दृष्टिकोण से निकाला गया है। यह अधिक शक्तिशाली परिणामों की अनुमति देता है, उदाहरण के लिए ग्रुस्को के प्रमेय पर, और समूहों के ग्राफ के मौलिक समूह के लिए एक सामान्य रूप। इस दृष्टिकोण में एक निर्देशित ग्राफ़ पर मुफ्त ग्रुपोइड्स का काफी उपयोग होता है।
 # ग्रुस्को के प्रमेय का परिणाम यह है कि यदि n तत्वों पर मुक्त समूह F का एक उपसमुच्चय B, F उत्पन्न करता है और इसमें n तत्व हैं, तो B स्वतंत्र रूप से F उत्पन्न करता है।
@@ Line 60: / Line 61: @@
 == फ्री एबेलियन ग्रुप ==
 {{further|Free abelian group}}
-सेट एस पर मुक्त एबेलियन समूह को इसकी सार्वभौमिक संपत्ति के माध्यम से समान रूप से स्पष्ट संशोधनों के साथ परिभाषित किया गया है:
+समुच्चय एस पर मुक्त एबेलियन समूह को इसकी सार्वभौमिक संपत्ति के माध्यम से समान रूप से स्पष्ट संशोधनों के साथ परिभाषित किया गया है:
 एक युग्म (F, φ) पर विचार करें, जहाँ F एक आबेली समूह है और φ: S → F एक फलन है। F को 'φ के संबंध में S पर मुक्त एबेलियन समूह' कहा जाता है, यदि किसी एबेलियन समूह G और किसी फ़ंक्शन ψ: S → G के लिए, एक अद्वितीय समरूपता f: F → G मौजूद है, जैसे कि
@@ Line 74: / Line 75: @@
 == यह भी देखें ==
-* एक समूह का सेट बनाना
+* एक समूह का समुच्चय बनाना
 * एक समूह की प्रस्तुति
 * [[नीलसन परिवर्तन]], एक मुक्त समूह के ऑटोमोर्फिज्म समूह के तत्वों का गुणनखंड

Anonymous

Search

मुक्त समूह: Difference between revisions

Namespaces

More

Page actions

Revision as of 00:55, 20 February 2023

Contents

इतिहास

उदाहरण

निर्माण

सार्वभौमिक संपत्ति

तथ्य और प्रमेय

फ्री एबेलियन ग्रुप

तर्स्की की समस्याएं

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

मुक्त समूह: Difference between revisions

Revision as of 00:55, 20 February 2023

इतिहास

उदाहरण

निर्माण

सार्वभौमिक संपत्ति

तथ्य और प्रमेय

फ्री एबेलियन ग्रुप

तर्स्की की समस्याएं

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories