समूह संरचना और पसंद का स्वयंसिद्ध: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
[[Image:Ernst Zermelo.jpeg|110px|thumb|right|1904 में [[अर्नेस्ट ज़र्मेलो]] ने अच्छी क्रम वाली प्रमेय को साबित किया, जिसे | [[Image:Ernst Zermelo.jpeg|110px|thumb|right|1904 में [[अर्नेस्ट ज़र्मेलो]] ने अच्छी क्रम वाली प्रमेय को साबित किया, जिसे चयनित स्वयंसिद्ध सिद्धान्त के रूप में जाना जाता था।]]गणित में [[समूह (गणित)|समूह]] एक ऐसा समुच्चय होता है जिसमें बाइनरी संक्रिया होती है जिसे गुणा कहा जाता है जो स्वयंसिद्ध समूहों का अनुसरण करती है। चयनित स्वयंसिद्ध [[ZFC|जेडएफसी]] समुच्चय सिद्धांत एक स्वयंसिद्ध सिद्धान्त है जो यह प्रदर्शित करता है कि प्रत्येक समुच्चय को सुव्यवस्थित किया जा सकता है। | ||
जेडएफ समुच्चय सिद्धांत में अर्थात | जेडएफ समुच्चय सिद्धांत में अर्थात चयनित स्वयंसिद्ध के अतिरिक्त जेडएफसी मे निम्नलिखित कथन समतुल्य हैं: | ||
* प्रत्येक गैर- | * प्रत्येक गैर-रिक्त समुच्चय {{math|''X''}} के लिए एक बाइनरी संक्रियक ({{math|•}}) सम्मिलित है जैसे कि {{math|(''X'', •)}} एक समूह है।<ref>A [[cancellative]] binary operation suffices, i.e. such that {{math|(''X'', •)}} is a cancellative [[Magma (algebra)|magma]]. See below.</ref> | ||
* | * चयनित स्वयंसिद्ध सिद्धांत सत्य है। | ||
== | == समूह संरचना का चयनित स्वयंसिद्ध से तात्पर्य == | ||
इस खंड में यह माना जाता है कि प्रत्येक समुच्चय {{math|''X''}} को | इस खंड में यह माना जाता है कि प्रत्येक समुच्चय {{math|''X''}} को समूह संरचना {{math|(''X'', •)}} से सिद्ध किया जा सकता है। | ||
माना X एक समुच्चय | माना X एक समुच्चय है और {{math|ℵ(''X'')}} {{math|''X''}} की हार्टोग्स संख्या है। यह अपेक्षाकृत सबसे कम गणना संख्या है जैसे कि {{math|ℵ(''X'')}} से {{math|''X''}} में कोई [[इंजेक्शन (गणित)|अंतःक्षेपण (गणित)]] नहीं है। यह चयनित स्वयंसिद्ध सिद्धान्त की धारणा के अतिरिक्त सम्मिलित है। प्रमाण की तकनीकी सरलता के लिए यहाँ माना कि {{math|''X''}} का कोई क्रमसूचक नहीं है। अर्थात माना कि {{math|•}} समूह में गुणन {{math|(''X'' ∪ ℵ(''X''), •)}} को दर्शाता है। | ||
किसी भी {{math|''x'' ∈ ''X''}} के लिए | किसी भी {{math|''x'' ∈ ''X''}} के लिए {{math|α ∈ ℵ(''X'')}} जैसे कि {{math|''x'' • α ∈ ℵ(''X'')}} का मान नहीं है। और {{math|''y'' ∈ ''X''}} जैसे है कि {{math|''y'' • α ∈ ''X''}} सबके लिए {{math|α ∈ ℵ(''X'')}} है लेकिन [[प्राथमिक समूह सिद्धांत]] द्वारा {{math|''y'' • α}} सभी से भिन्न हैं क्योंकि α श्रेणी {{math|ℵ(''X'')}} से अधिक है। इस प्रकार {{math|''y''}} {{math|ℵ(''X'')}} से {{math|''X''}} में एक अनुक्रम है। यह असंभव है क्योंकि {{math|ℵ(''X'')}} एक ऐसी गणना संख्या है जिससे {{math|''X''}} में कोई अनुक्रम सम्मिलित नहीं होता है। | ||
अब {{math|''X''}} के | अब {{math|''X''}} के मानचित्र {{math|''j''}} को {{math|ℵ(''X'') × ℵ(''X'')}} में परिभाषित करें जो कि {{math|''x'' ∈ ''X''}} को कम से कम {{math|(α, β) ∈ ℵ(''X'') × ℵ(''X'')}} दारा [[ लेक्सिकोग्राफिक ऑर्डर |लेक्सिकोग्राफिक अनुक्रम]] से संतुष्ट करता है जैसे कि {{math|1=''x'' • α = β}} उपरोक्त तर्क से मानचित्र {{math|''j''}} सम्मिलित है और अद्वितीय है क्योंकि सुव्यवस्थित समुच्चय के उपसमुच्चय का कम से कम तत्व अद्वितीय हैं। यह प्राथमिक समूह सिद्धांत अनुक्रम द्वारा है। | ||
अंत में | अंत में {{math|''X''}} पर {{math|''x'' < ''y''}} यदि {{math|''j''(''x'') < ''j''(''y'')}} हो तो अनुक्रम को परिभाषित करें। यह इस प्रकार है कि प्रत्येक समुच्चय {{math|''X''}} को सुव्यवस्थित किया जा सकता है और इस प्रकार चयनित स्वयंसिद्ध सिद्धान्त सत्य है।<ref>{{harvnb|Hajnal|Kertész|1972}}</ref><ref>{{harvnb|Rubin|Rubin|1985|loc=p. 111}}</ref> | ||
ऊपर (i) में व्यक्त की गई महत्वपूर्ण | ऊपर (i) में व्यक्त की गई महत्वपूर्ण विशेषता धारण करने के लिए और इसलिए संपूर्ण प्रमाण {{math|''X''}} के लिए एक निरस्त मैग्मा होने के लिए पर्याप्त है। उदाहरण एक अर्धसमूह निरस्तीकरण गुण यह सुनिश्चित करने के लिए पर्याप्त है कि {{math|''y'' • α}} सभी भिन्न हैं।<ref>{{harvnb|Hajnal|Kertész|1972}}</ref> | ||
== | == चयनित स्वयंसिद्ध सिद्धान्त एक समूह संरचना == | ||
किसी भी गैर- | '''किसी भी गैर-रिक्त परिमित समुच्चय में किसी भी तत्व द्वारा उत्पन्न चक्रीय समूह के रूप''' में एक समूह संरचना होती है। चयनित स्वयंसिद्ध सिद्धान्त की धारणा के तहत, प्रत्येक अनंत समुच्चय {{math|''X''}} एक अद्वितीय कार्डिनल संख्या से लैस {{abs|{{math|''X''}}}} है जो एक एलेफ के बराबर है।<ref>{{harvnb|Jech|2002|loc=Lemma 5.2}}</ref> चयनित स्वयंसिद्ध सिद्धान्त का उपयोग करके, कोई यह दिखा सकता है कि समुच्चय के किसी भी परिवार {{math|''S''}} के लिए {{math|{{abs|⋃''S''}} ≤ {{abs|''S''}} × [[supremum|sup]] { {{!}}''s''{{!}} : ''s'' ∈ ''S''} }} इसके अतिरिक्त तर्स्की के प्रमेय द्वारा चयनित स्वयंसिद्ध सिद्धान्त के एक और समकक्ष {{math|1={{abs|''X''}}<sup>''n''</sup> = {{abs|''X''}}}} सभी परिमित {{math|''n''}} (B) के लिए। | ||
मान लीजिए {{math|''X''}} एक अनंत समुच्चय है और {{math|''F''}}, {{math|''X''}} के सभी परिमित उपसमुच्चयों के समुच्चय को निरूपित करता है। F पर एक प्राकृतिक गुणन {{math|•}} है।<ref>{{harvnb|Adkins | Weintraub|1992}}</ref> {{math|''f'', ''g'' ∈ ''F''}} के लिए, मान लीजिए {{math|1=''f'' • ''g'' = ''f'' Δ ''g''}}, जहाँ {{math|Δ}} [[सममित अंतर]] को दर्शाता है। यह {{math|(''F'', •)}} को | मान लीजिए {{math|''X''}} एक अनंत समुच्चय है और {{math|''F''}}, {{math|''X''}} के सभी परिमित उपसमुच्चयों के समुच्चय को निरूपित करता है। F पर एक प्राकृतिक गुणन {{math|•}} है।<ref>{{harvnb|Adkins | Weintraub|1992}}</ref> {{math|''f'', ''g'' ∈ ''F''}} के लिए, मान लीजिए {{math|1=''f'' • ''g'' = ''f'' Δ ''g''}}, जहाँ {{math|Δ}} [[सममित अंतर]] को दर्शाता है। यह {{math|(''F'', •)}} को रिक्त समुच्चय वाले समूह में बदल देता है। {{math|Ø}} पहचान होने के नाते और प्रत्येक तत्व का अपना व्युत्क्रम होता है; एफ Δ एफ = Ø। साहचर्य गुण, अर्थात {{math|1=(''f'' Δ ''g'') Δ ''h'' = ''f'' Δ (''g'' Δ ''h'')}} को संघ और समुच्चय अंतर के मूल गुणों का उपयोग करके सत्यापित किया जाता है। इस प्रकार {{math|''F''}} गुणन {{math|Δ}} वाला एक समूह है। | ||
कोई भी समुच्चय जिसे एक समूह के साथ आपत्ति में डाला जा सकता है, वह आपत्ति के माध्यम से एक समूह बन जाता है। यह दिखाया जाएगा कि {{math|1={{abs|''X''}} = {{abs|''F''}}}} और इसलिए X और समूह {{math|(''F'', •)}} के बीच एक-से-एक पत्राचार सम्मिलित है। {{math|1=''n'' = 0,1,2, ...}} के लिए, {{math|''F''<sub>''n''</sub>}} को कार्डिनैलिटी के सभी उपसमुच्चयों से मिलकर {{math|''F''}} का उपसमुच्चय होने दें। तब {{math|''F''}}, {{math|''F''<sub>''n''</sub>}} का असंयुक्त संघ है। कार्डिनलिटी एन के {{math|''X''}} के सबसमुच्चय की संख्या अधिकतम है {{math|''X''<sup>''n''</sup>}} क्योंकि एन तत्वों के साथ प्रत्येक सबसमुच्चय {{math|''X''}} के एन-फोल्ड कार्टेशियन उत्पाद {{math|''X''<sup>''n''</sup>}} का एक तत्व है। इसलिए {{math|1={{abs|''F''<sub>''n''</sub>}} ≤ {{abs|''X''}}<sup>''n''</sup> = {{abs|''X''}}}} सभी के लिए एन (सी) द्वारा (बी)। | कोई भी समुच्चय जिसे एक समूह के साथ आपत्ति में डाला जा सकता है, वह आपत्ति के माध्यम से एक समूह बन जाता है। यह दिखाया जाएगा कि {{math|1={{abs|''X''}} = {{abs|''F''}}}} और इसलिए X और समूह {{math|(''F'', •)}} के बीच एक-से-एक पत्राचार सम्मिलित है। {{math|1=''n'' = 0,1,2, ...}} के लिए, {{math|''F''<sub>''n''</sub>}} को कार्डिनैलिटी के सभी उपसमुच्चयों से मिलकर {{math|''F''}} का उपसमुच्चय होने दें। तब {{math|''F''}}, {{math|''F''<sub>''n''</sub>}} का असंयुक्त संघ है। कार्डिनलिटी एन के {{math|''X''}} के सबसमुच्चय की संख्या अधिकतम है {{math|''X''<sup>''n''</sup>}} क्योंकि एन तत्वों के साथ प्रत्येक सबसमुच्चय {{math|''X''}} के एन-फोल्ड कार्टेशियन उत्पाद {{math|''X''<sup>''n''</sup>}} का एक तत्व है। इसलिए {{math|1={{abs|''F''<sub>''n''</sub>}} ≤ {{abs|''X''}}<sup>''n''</sup> = {{abs|''X''}}}} सभी के लिए एन (सी) द्वारा (बी)। | ||
Line 31: | Line 31: | ||
== समूह संरचना के बिना ZF समुच्चय == | == समूह संरचना के बिना ZF समुच्चय == | ||
ZF के ऐसे [[ आंतरिक मॉडल |आंतरिक मॉडल]] हैं जिनमें | ZF के ऐसे [[ आंतरिक मॉडल |आंतरिक मॉडल]] हैं जिनमें चयनित स्वयंसिद्ध सिद्धान्त विफल हो जाता है।<ref>{{harvnb|Cohen|1966}}</ref> ऐसे मॉडल में, ऐसे समुच्चय होते हैं जिन्हें अच्छी तरह से ऑर्डर नहीं किया जा सकता है (इन "नॉन-वेलऑर्डरेबल" समुच्चय को कॉल करें)। माना X ऐसा कोई समुच्चय है। अब समुच्चय {{math|''Y'' {{=}} ''X'' ∪ ℵ(''X'')}} पर विचार करें। यदि {{math|''Y''}} के पास एक समूह संरचना होती, तो, पहले खंड में निर्माण द्वारा, {{math|''X''}} को सुव्यवस्थित किया जा सकता है। यह विरोधाभास दर्शाता है कि समुच्चय {{math|''Y''}} पर कोई समूह संरचना नहीं है। | ||
यदि एक समुच्चय ऐसा है कि इसे समूह संरचना से संपन्न नहीं किया जा सकता है, तो यह आवश्यक रूप से गैर-क्रमबद्ध है। अन्यथा दूसरे खंड में निर्माण समूह संरचना उत्पन्न करता है। हालाँकि ये गुण समतुल्य नहीं हैं। अर्थात्, यह उन समुच्चयों के लिए संभव है जिन्हें समूह संरचना के लिए सुव्यवस्थित नहीं किया जा सकता है। | यदि एक समुच्चय ऐसा है कि इसे समूह संरचना से संपन्न नहीं किया जा सकता है, तो यह आवश्यक रूप से गैर-क्रमबद्ध है। अन्यथा दूसरे खंड में निर्माण समूह संरचना उत्पन्न करता है। हालाँकि ये गुण समतुल्य नहीं हैं। अर्थात्, यह उन समुच्चयों के लिए संभव है जिन्हें समूह संरचना के लिए सुव्यवस्थित नहीं किया जा सकता है। | ||
Line 45: | Line 45: | ||
==टिप्पणियाँ== | ==टिप्पणियाँ== | ||
{{reflist|3}} | {{reflist|3}} | ||
== संदर्भ == | == संदर्भ == | ||
* {{cite journal|last1=Hajnal|first1=A.|author1-link=András Hajnal|last2= Kertész|first2= A.|title=Some new algebraic equivalents of the axiom of choice|journal= Publ. Math. Debrecen |volume=19|year= 1972|pages= 339–340 }} | * {{cite journal|last1=Hajnal|first1=A.|author1-link=András Hajnal|last2= Kertész|first2= A.|title=Some new algebraic equivalents of the axiom of choice|journal= Publ. Math. Debrecen |volume=19|year= 1972|pages= 339–340 }} |
Revision as of 22:12, 28 May 2023
गणित में समूह एक ऐसा समुच्चय होता है जिसमें बाइनरी संक्रिया होती है जिसे गुणा कहा जाता है जो स्वयंसिद्ध समूहों का अनुसरण करती है। चयनित स्वयंसिद्ध जेडएफसी समुच्चय सिद्धांत एक स्वयंसिद्ध सिद्धान्त है जो यह प्रदर्शित करता है कि प्रत्येक समुच्चय को सुव्यवस्थित किया जा सकता है।
जेडएफ समुच्चय सिद्धांत में अर्थात चयनित स्वयंसिद्ध के अतिरिक्त जेडएफसी मे निम्नलिखित कथन समतुल्य हैं:
- प्रत्येक गैर-रिक्त समुच्चय X के लिए एक बाइनरी संक्रियक (•) सम्मिलित है जैसे कि (X, •) एक समूह है।[1]
- चयनित स्वयंसिद्ध सिद्धांत सत्य है।
समूह संरचना का चयनित स्वयंसिद्ध से तात्पर्य
इस खंड में यह माना जाता है कि प्रत्येक समुच्चय X को समूह संरचना (X, •) से सिद्ध किया जा सकता है।
माना X एक समुच्चय है और ℵ(X) X की हार्टोग्स संख्या है। यह अपेक्षाकृत सबसे कम गणना संख्या है जैसे कि ℵ(X) से X में कोई अंतःक्षेपण (गणित) नहीं है। यह चयनित स्वयंसिद्ध सिद्धान्त की धारणा के अतिरिक्त सम्मिलित है। प्रमाण की तकनीकी सरलता के लिए यहाँ माना कि X का कोई क्रमसूचक नहीं है। अर्थात माना कि • समूह में गुणन (X ∪ ℵ(X), •) को दर्शाता है।
किसी भी x ∈ X के लिए α ∈ ℵ(X) जैसे कि x • α ∈ ℵ(X) का मान नहीं है। और y ∈ X जैसे है कि y • α ∈ X सबके लिए α ∈ ℵ(X) है लेकिन प्राथमिक समूह सिद्धांत द्वारा y • α सभी से भिन्न हैं क्योंकि α श्रेणी ℵ(X) से अधिक है। इस प्रकार y ℵ(X) से X में एक अनुक्रम है। यह असंभव है क्योंकि ℵ(X) एक ऐसी गणना संख्या है जिससे X में कोई अनुक्रम सम्मिलित नहीं होता है।
अब X के मानचित्र j को ℵ(X) × ℵ(X) में परिभाषित करें जो कि x ∈ X को कम से कम (α, β) ∈ ℵ(X) × ℵ(X) दारा लेक्सिकोग्राफिक अनुक्रम से संतुष्ट करता है जैसे कि x • α = β उपरोक्त तर्क से मानचित्र j सम्मिलित है और अद्वितीय है क्योंकि सुव्यवस्थित समुच्चय के उपसमुच्चय का कम से कम तत्व अद्वितीय हैं। यह प्राथमिक समूह सिद्धांत अनुक्रम द्वारा है।
अंत में X पर x < y यदि j(x) < j(y) हो तो अनुक्रम को परिभाषित करें। यह इस प्रकार है कि प्रत्येक समुच्चय X को सुव्यवस्थित किया जा सकता है और इस प्रकार चयनित स्वयंसिद्ध सिद्धान्त सत्य है।[2][3]
ऊपर (i) में व्यक्त की गई महत्वपूर्ण विशेषता धारण करने के लिए और इसलिए संपूर्ण प्रमाण X के लिए एक निरस्त मैग्मा होने के लिए पर्याप्त है। उदाहरण एक अर्धसमूह निरस्तीकरण गुण यह सुनिश्चित करने के लिए पर्याप्त है कि y • α सभी भिन्न हैं।[4]
चयनित स्वयंसिद्ध सिद्धान्त एक समूह संरचना
किसी भी गैर-रिक्त परिमित समुच्चय में किसी भी तत्व द्वारा उत्पन्न चक्रीय समूह के रूप में एक समूह संरचना होती है। चयनित स्वयंसिद्ध सिद्धान्त की धारणा के तहत, प्रत्येक अनंत समुच्चय X एक अद्वितीय कार्डिनल संख्या से लैस |X| है जो एक एलेफ के बराबर है।[5] चयनित स्वयंसिद्ध सिद्धान्त का उपयोग करके, कोई यह दिखा सकता है कि समुच्चय के किसी भी परिवार S के लिए |⋃S| ≤ |S| × sup { |s| : s ∈ S} इसके अतिरिक्त तर्स्की के प्रमेय द्वारा चयनित स्वयंसिद्ध सिद्धान्त के एक और समकक्ष |X|n = |X| सभी परिमित n (B) के लिए।
मान लीजिए X एक अनंत समुच्चय है और F, X के सभी परिमित उपसमुच्चयों के समुच्चय को निरूपित करता है। F पर एक प्राकृतिक गुणन • है।[6] f, g ∈ F के लिए, मान लीजिए f • g = f Δ g, जहाँ Δ सममित अंतर को दर्शाता है। यह (F, •) को रिक्त समुच्चय वाले समूह में बदल देता है। Ø पहचान होने के नाते और प्रत्येक तत्व का अपना व्युत्क्रम होता है; एफ Δ एफ = Ø। साहचर्य गुण, अर्थात (f Δ g) Δ h = f Δ (g Δ h) को संघ और समुच्चय अंतर के मूल गुणों का उपयोग करके सत्यापित किया जाता है। इस प्रकार F गुणन Δ वाला एक समूह है।
कोई भी समुच्चय जिसे एक समूह के साथ आपत्ति में डाला जा सकता है, वह आपत्ति के माध्यम से एक समूह बन जाता है। यह दिखाया जाएगा कि |X| = |F| और इसलिए X और समूह (F, •) के बीच एक-से-एक पत्राचार सम्मिलित है। n = 0,1,2, ... के लिए, Fn को कार्डिनैलिटी के सभी उपसमुच्चयों से मिलकर F का उपसमुच्चय होने दें। तब F, Fn का असंयुक्त संघ है। कार्डिनलिटी एन के X के सबसमुच्चय की संख्या अधिकतम है Xn क्योंकि एन तत्वों के साथ प्रत्येक सबसमुच्चय X के एन-फोल्ड कार्टेशियन उत्पाद Xn का एक तत्व है। इसलिए |Fn| ≤ |X|n = |X| सभी के लिए एन (सी) द्वारा (बी)।
इन परिणामों को एक साथ रखने पर यह देखा जाता है कि |F| = |⋃n ∈ ωFn| ≤ ℵ0 · |X| = |X| (ए) और (सी) द्वारा। साथ ही |F| ≥ |X| क्योंकि F में सभी सिंगलटन हैं। इस प्रकार, ||X| ≤ |F| और |F| ≤ |X| इसलिए, श्रोडर-बर्नस्टीन प्रमेय द्वारा,|F| = |X| इसका मतलब यह है कि X और F के बीच एक आक्षेप j है। अंत में x, y ∈ X के लिए x • y = j−1(j(x) Δ j(y)) परिभाषित करें। यह (X, •) को समूह में बदल देता है। इसलिए हर समुच्चय एक समूह संरचना को स्वीकृत करता है।
समूह संरचना के बिना ZF समुच्चय
ZF के ऐसे आंतरिक मॉडल हैं जिनमें चयनित स्वयंसिद्ध सिद्धान्त विफल हो जाता है।[7] ऐसे मॉडल में, ऐसे समुच्चय होते हैं जिन्हें अच्छी तरह से ऑर्डर नहीं किया जा सकता है (इन "नॉन-वेलऑर्डरेबल" समुच्चय को कॉल करें)। माना X ऐसा कोई समुच्चय है। अब समुच्चय Y = X ∪ ℵ(X) पर विचार करें। यदि Y के पास एक समूह संरचना होती, तो, पहले खंड में निर्माण द्वारा, X को सुव्यवस्थित किया जा सकता है। यह विरोधाभास दर्शाता है कि समुच्चय Y पर कोई समूह संरचना नहीं है।
यदि एक समुच्चय ऐसा है कि इसे समूह संरचना से संपन्न नहीं किया जा सकता है, तो यह आवश्यक रूप से गैर-क्रमबद्ध है। अन्यथा दूसरे खंड में निर्माण समूह संरचना उत्पन्न करता है। हालाँकि ये गुण समतुल्य नहीं हैं। अर्थात्, यह उन समुच्चयों के लिए संभव है जिन्हें समूह संरचना के लिए सुव्यवस्थित नहीं किया जा सकता है।
उदाहरण के लिए यदि कोई समुच्चय है तो में एक समूह संरचना होती है, जिसमें समूह संचालन के रूप में सममित अंतर होता है। बेशक, अगर को सुव्यवस्थित नहीं किया जा सकता है, तो न तो हो सकता है। समुच्चय का एक दिलचस्प उदाहरण जो समूह संरचना नहीं ले सकता है, समुच्चय से निम्न दो गुणों के साथ है:
- एक अनंत डेडेकिंड-परिमित समुच्चय है। दूसरे शब्दों में का कोई गिनने योग्य अपरिमित उपसमुच्चय नहीं है।
- यदि को परिमित समुच्चयों में विभाजित किया जाता है, तो उनमें से बहुत से को छोड़कर सभी एकल हैं।
यह देखने के लिए कि इन दोनों का संयोजन एक समूह संरचना को स्वीकृत नहीं कर सकता है, ध्यान दें कि इस तरह के समुच्चय के किसी भी क्रमपरिवर्तन में केवल परिमित कक्षाएँ होनी चाहिए, और उनमें से लगभग सभी आवश्यक रूप से सिंगलटन हैं, जिसका अर्थ है कि अधिकांश तत्व क्रमचय द्वारा स्थानांतरित नहीं होते हैं।
अब के लिए द्वारा दिए गए क्रमचय पर विचार करें, जो कि तटस्थ तत्व नहीं है, असीम रूप से कई ऐसे हैं इसलिए उनमें से कम से कम एक तटस्थ तत्व भी नहीं है। से गुणा करने पर यह पता चलता है कि वास्तव में एक पहचान तत्व है जो एक विरोधाभास है।
ऐसे समुच्चय का अस्तित्व सुसंगत है, उदाहरण के लिए कोहेन के पहले मॉडल में दिया गया है।[8] हैरानी की बात है, हालांकि, एक अनंत डेडेकिंड-परिमित समुच्चय होना एक समूह संरचना को बाहर करने के लिए पर्याप्त नहीं है, क्योंकि यह सुसंगत है कि डेडेकिंड-परिमित घात समुच्चय के साथ अनंत डेडेकिंड-परिमित समुच्चय हैं।[9]
टिप्पणियाँ
- ↑ A cancellative binary operation suffices, i.e. such that (X, •) is a cancellative magma. See below.
- ↑ Hajnal & Kertész 1972
- ↑ Rubin & Rubin 1985, p. 111
- ↑ Hajnal & Kertész 1972
- ↑ Jech 2002, Lemma 5.2
- ↑ Adkins & Weintraub 1992
- ↑ Cohen 1966
- ↑ Dougherty, Randall (February 1, 2003). "विज्ञान गणित "किसी भी सेट पर समूह संरचना"".
- ↑ Karagila, Asaf (August 26, 2014). "घातांक और डेडेकिंड-परिमित कार्डिनल". MathOverflow.
संदर्भ
- Hajnal, A.; Kertész, A. (1972). "Some new algebraic equivalents of the axiom of choice". Publ. Math. Debrecen. 19: 339–340.
- Rubin, Herman; Rubin, Jean E. (July 1985). Equivalents of the Axiom of Choice II. North Holland/Elsevier. ISBN 0-444-87708-8.
- Jech, Thomas (2002). Set theory, third millennium edition (revised and expanded). Springer. ISBN 3-540-44085-2.
- Cohen, Paul J. (1966). Set theory and the Continuum Hypothesis. Benjamin, New York.
- Adkins; Weintraub (1992). Algebra. Graduate Texts in Mathematics. Vol. 136. Springer.