समूह संरचना और पसंद का स्वयंसिद्ध

गणित में समूह एक ऐसा समुच्चय होता है जिसमें बाइनरी संक्रिया होती है जिसे गुणा कहा जाता है जो स्वयंसिद्ध समूहों का अनुसरण करती है। चयनित स्वयंसिद्ध जेडएफसी समुच्चय सिद्धांत एक स्वयंसिद्ध सिद्धान्त है जो यह प्रदर्शित करता है कि प्रत्येक समुच्चय को सुव्यवस्थित किया जा सकता है।

जेडएफ समुच्चय सिद्धांत में अर्थात चयनित स्वयंसिद्ध के अतिरिक्त जेडएफसी सिद्धांत मे निम्नलिखित कथन समतुल्य हैं:


 * प्रत्येक गैर-रिक्त समुच्चय $X$ के लिए एक बाइनरी संक्रियक ($•$) सम्मिलित है जैसे कि $(X, •)$ एक समूह है।
 * चयनित स्वयंसिद्ध सिद्धांत सत्य है।

समूह संरचना का चयनित स्वयंसिद्ध से तात्पर्य
इस खंड में यह माना जाता है कि प्रत्येक समुच्चय $(X, •)$ को समूह संरचना $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)$ को सुव्यवस्थित किया जा सकता है। इस प्रकार चयनित स्वयंसिद्ध सिद्धान्त सत्य है।

ऊपर (i) में व्यक्त की गई महत्वपूर्ण विशेषता का अनुकरण करने के लिए संपूर्ण प्रमाण $X$ के लिए मैग्मा निरस्तीकरण पर्याप्त है। उदाहरण एक अर्धसमूह निरस्तीकरण का गुण यह सुनिश्चित करने के लिए पर्याप्त है कि $X$ सभी के लिए भिन्न हैं।

चयनित स्वयंसिद्ध सिद्धान्त की समूह संरचना
किसी भी गैर-रिक्त परिमित समुच्चय में किसी भी तत्व द्वारा उत्पन्न चक्रीय समूह के रूप में एक समूह संरचना होती है। चयनित स्वयंसिद्ध सिद्धान्त की धारणा के अंतर्गत प्रत्येक अनंत समुच्चय $y • α$ एक अद्वितीय गणना संख्या से लैस $|$X$|$ है जो एलेफ संख्या के बराबर है। चयनित स्वयंसिद्ध सिद्धान्त का उपयोग करके, कोई भी यह प्रदर्शित कर सकता है कि समुच्चय के किसी भी समूह $X$ के लिए $S$तथा इसके अतिरिक्त तर्स्की के प्रमेय द्वारा चयनित स्वयंसिद्ध सिद्धान्त के एक और समकक्ष $|⋃S| ≤ |S| × sup { |s| : s ∈ S}$ सभी परिमित $|X|^{n} = |X|$ (B) के लिए प्रदर्शित है। माना कि $n$ एक अनंत समुच्चय है और $X$, $F$ के सभी परिमित उपसमुच्चयों के समुच्चय को निरूपित करता है। $X$ के लिए F पर एक प्राकृतिक गुणन $f, g ∈ F$ है।

मान लीजिए कि $•$, जहाँ $f • g = f Δ g$ सममित अंतर को दर्शाता है। यह $Δ$ को रिक्त समुच्चय वाले समूह में परिवर्तित कर देता है। $(F, •)$ पहचान होने के कारण और प्रत्येक तत्व का अपना व्युत्क्रम f Δ f = Ø साहचर्य गुण होता है अर्थात $Ø$ को संघ और समुच्चय अंतर के मूल गुणों का उपयोग करके सत्यापित किया जाता है। इस प्रकार $(f Δ g) Δ h = f Δ (g Δ h)$ गुणन $F$ वाला एक समूह है।

कोई भी समुच्चय जिसे एक समूह के साथ आपत्ति में प्रयुक्त किया जा सकता है, वह आपत्ति के माध्यम से एक समूह बन जाता है। यह दिखाया जा सकता है कि $Δ$ और इसलिए X और समूह $|X| = |F|$ के बीच एक से एक तथ्य $(F, •)$ के लिए, $n = 0,1,2, ...$ को गणनांक के सभी उपसमुच्चयों से मिलकर $F_{n}$ का उपसमुच्चय सम्मिलित है। माना कि तब $F$, $F$ का असंयुक्त संघ है। गणनांक N के $F_{n}$ के उपसमुच्चय की संख्या $X$ अधिकतम है क्योंकि n तत्वों के साथ प्रत्येक उपसमुच्चय $X^{n}$ के n क्षेत्र कार्तीय उत्पाद $X$ का एक तत्व है। इसलिए $X^{n}$ सभी के लिए n (C) द्वारा (B) भिन्न है।

इन परिणामों को एक साथ रखने पर यह देखा जाता है कि $|F_{n}| ≤ |X|^{n} = |X|$ (A) और (C) द्वारा साथ ही $|F| = |⋃_{n ∈ ω}F_{n}| ≤ ℵ_{0} · |X| = |X|$ क्योंकि F में सभी सिंगलटन हैं। इस प्रकार, |$|F| ≥ |X|$ और $|X| ≤ |F|$ इसलिए श्रोडर-बर्नस्टीन प्रमेय द्वारा $|F| ≤ |X|$ इसका अर्थ यह है कि $|F| = |X|$ और $X$ के बीच एक आक्षेप j है। अंत में $F$ के लिए $x, y ∈ X$ को परिभाषित करें। यह $x • y = j^{−1}(j(x) Δ j(y))$ को समूह में परिवर्तित कर देता है। इसलिए प्रत्येक समुच्चय समूह संरचना को स्वीकृत करता है।

समूह संरचना के अतिरिक्त जेडएफ समुच्चय सिद्धान्त
जेडएफ समुच्चय एक ऐसा आंतरिक मॉडल हैं जिनमें चयनित स्वयंसिद्ध सिद्धान्त विफल हो जाता है। ऐसे मॉडल में, ऐसे समुच्चय होते हैं जिन्हें अच्छी तरह से क्रमबद्ध नहीं किया जा सकता है। इन गैर-क्रमबद्ध समुच्चय को कॉल करें। माना कि X ऐसा कोई समुच्चय है। और समुच्चय $(X, •)$ पर विचार करें। यदि $Y = X ∪ ℵ(X)$ के पास एक समूह संरचना होती है तो पहले खंड में निर्माण द्वारा $Y$ को सुव्यवस्थित किया जा सकता है। यह विरोधाभास को दर्शाता है कि समुच्चय $X$ पर कोई समूह संरचना नहीं है।

यदि एक समुच्चय ऐसा है कि इसे समूह संरचना से संपन्न नहीं किया जा सकता है तो यह आवश्यक रूप से गैर-क्रमबद्ध है। अन्यथा दूसरे खंड में निर्माण समूह संरचना उत्पन्न करता है। हालाँकि ये गुण समतुल्य नहीं हैं। अर्थात्, यह उन समुच्चयों के लिए संभव है जिन्हें समूह संरचना के लिए सुव्यवस्थित नहीं किया जा सकता है।

उदाहरण के लिए यदि $$X$$ कोई समुच्चय है तो $$\mathcal P(X)$$ में एक समूह संरचना होती है। जिसमें समूह संचालन के रूप में सममित अंतर होता है। यदि $$X$$ को सुव्यवस्थित नहीं किया जा सकता है, लेकिन $$\mathcal P(X)$$ को सुव्यवस्थित किया जा सकता है। समुच्चय का एक मुख्य उदाहरण है जो समूह संरचना नहीं ले सकता है जो समुच्चय $$X$$ के निम्न दो गुणों के साथ है: यह देखने के लिए कि इन दोनों का संयोजन एक समूह संरचना को स्वीकृत नहीं कर सकता है। ध्यान दें कि इस प्रकार के समुच्चय के किसी भी क्रमपरिवर्तन में केवल परिमित कक्षाएँ होनी चाहिए, और उनमें से लगभग सभी आवश्यक रूप से सिंगलटन हैं। जिसका अर्थ है कि अधिकांश तत्व क्रमचय द्वारा स्थानांतरित नहीं होते हैं।
 * 1) $$X$$ अनंत डेडेकिंड-परिमित समुच्चय है। दूसरे शब्दों में $$X$$ का कोई गणना योग्य अपरिमित उपसमुच्चय नहीं है।
 * 2) यदि $$X$$ को परिमित समुच्चयों में विभाजित किया जाता है, तो उनमें से बहुत से को छोड़कर सभी एकल उपसमुच्चय हैं।

अब $$a$$ के लिए $$x\mapsto a\cdot x$$ द्वारा दिए गए क्रमचय पर विचार करें, जो कि तटस्थ तत्व नहीं है। ऐसे अपरिमित रूप से कई $$x$$ हैं इसीलिए $$a\cdot x=x$$ मे उनमें से कम से कम एक तटस्थ तत्व नहीं है। $$x^{-1}$$ से गुणा करने पर यह पता चलता है कि वास्तव में एक पहचान तत्व है जो एक विरोधाभास है।

ऐसे समुच्चय मे $$X$$ का अस्तित्व समान होता है। उदाहरण के लिए जिसको कोहेन के पहले मॉडल में दिया गया है। हालांकि, अनंत डेडेकिंड-परिमित समुच्चय होना एक समूह संरचना को बाहर करने के लिए पर्याप्त नहीं है, क्योंकि यह समान है कि डेडेकिंड-परिमित घात समुच्चय के साथ अनंत डेडेकिंड-परिमित समुच्चय हैं।