आदर्श वर्ग समूह

संख्या सिद्धांत में, एक बीजगणितीय संख्या क्षेत्र K का आदर्श वर्ग समूह (या वर्ग समूह) भागफल समूह है $J_{K}/P_{K}$ जहाँ $J_{K}$, K के पूर्णांकों के वलय के भिन्नात्मक आदर्शों का समूह है और $P_{K}$ इसके प्रमुख आदर्शों का उपसमूह है। वर्ग समूह इस बात का पैमाना है कि पूर्णांकों के वलय में अद्वितीय गुणनखंडन किस सीमा तक विफल रहता है। समूह का क्रम जो परिमित है वह K की वर्ग संख्या कहलाती है।

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

आदर्श वर्ग समूह का इतिहास और उत्पत्ति
प्रभावी रूप से आदर्श वर्ग समूह का अध्ययन एक आदर्श (वृत्त परिकल्पना) के विचार को तैयार करने से कुछ समय पहले किया गया था। ये समूह द्विघात रूपों के सिद्धांत में दिखाई दिए: जैसा कि द्विआधारी अभिन्न द्विघात रूपों के स्थिति में कार्ल फ्रेडरिक गॉस द्वारा अंतिम रूप में रखा गया था और एक रचना कानून के रूपों के कुछ समतुल्य वर्गों पर परिभाषित किया गया था। इसने एक परिमित गणित में विनिमेय समूह दिया, जो उस समय पहचाना गया था।

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

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

परिभाषा
जब भी R के शून्येतर अवयव a और b ऐसे हों कि (a)I = (b)J, तो R के शून्येतर भिन्नात्मक आदर्शों पर I ~J द्वारा एक संबंध ~ परिभाषित करें,यदि R एक पूर्णांकीय प्रांत है (यहाँ अंकन (a) का अर्थ R के प्रमुख गुणक से है, जिसमें a के सभी गुणक सम्मिलित हैं।) यह सरलता से दिखाया गया है कि यह एक तुल्यता संबंध है। तुल्यता वर्ग को R का आदर्श वर्ग कहा जाता है।

आदर्श वर्गों को गुणा किया जा सकता है: यदि [I] आदर्श I के तुल्यता वर्ग को दर्शाता है, तो गुणन [I] [J] = [IJ] अच्छी तरह से परिभाषित और क्रमविनिमेय है। प्रमुख गुण आदर्श वर्ग [R] बनाते हैं जो इस गुणन के लिए एक पहचान तत्व के रूप में कार्य करता है। यदि एक आदर्श J है जैसे कि IJ एक प्रमुख आदर्श है तो इस प्रकार एक वर्ग [I] का व्युत्क्रम [J] होता है। सामान्यता, J का अस्तित्व नहीं हो सकता है और फलस्वरूप R के आदर्श वर्गों का समूह केवल एक एकाभ हो सकता है।

हालाँकि, यदि R एक बीजगणितीय संख्या क्षेत्र में बीजगणितीय पूर्णांकों का वलय है, या R का आदर्श वर्ग समूह अधिक सामान्यतः का एक डेडेकिंड क्षेत्र है, तो ऊपर परिभाषित गुणन भिन्नात्मक आदर्श वर्गों के समूह को एक गणित में विनिमेय समूह में बदल देता है। व्युत्क्रम तत्वों के अस्तित्व की समूह संपत्ति इस तथ्य से सरलता से अनुसरण करती है कि, डेडेकिंड कार्यक्षेत्र में, प्रत्येक शून्येतर आदर्श (R को छोड़कर) प्रमुख आदर्शों का एक उत्पाद है।

गुण
आदर्श वर्ग समूह नगण्य है (अर्थात् केवल एक तत्व है) यदि केवल R के सभी आदर्श प्रमुख हैं। इस अर्थ में, आदर्श वर्ग समूह यह मापता है कि R एक प्रमुख आदर्श क्षेत्र होने से कितना दूर है और इसलिए अद्वितीय सिद्धांत गुणनखंड को संतुष्ट करने से (डेडेकिंड कार्यक्षेत्र अद्वितीय गुणनखंड क्षेत्र हैं, यदि केवल वे प्रमुख आदर्श क्षेत्र हैं)।

आदर्श वर्गों की संख्या (R की वर्ग संख्या) सामान्य रूप से अनंत हो सकता है। वास्तव में, प्रत्येक गणित में विनिमेय समूह कुछ डेडेकाइंड कार्यक्षेत्र के आदर्श वर्ग समूह के लिए समरूप है। लेकिन यदि R वास्तव में बीजगणितीय पूर्णांकों का एक वलय है, तो वर्ग संख्या हमेशा परिमित होती है। यह उत्तम बीजगणितीय संख्या सिद्धांत के मुख्य परिणामों में से एक है।

मिन्कोव्स्की की सीमा का उपयोग करते हुए वर्ग समूह की गणना सामान्यतःछोटे विभेदक के बीजगणितीय संख्या क्षेत्र में पूर्णांकों के वलय के लिए हाथ से किया जा सकता है। यह परिणाम वलय के आधार पर एक सीमा देता है, जैसे कि प्रत्येक आदर्श वर्ग में सीमा से कम एक आदर्श मानदंड होता है। सामान्यतः सीमा बहुत प्रखर नहीं है कि बड़े विभेदक वाले क्षेत्रों के लिए गणना को व्यावहारिक बनाया जा सके, लेकिन कंप्यूटर इस कार्य के लिए उपयुक्त हैं।

पूर्णांक R के वलय से उनके संबंधित वर्ग समूहों के लिए मानचित्रण क्रियात्मक है, और वर्ग समूह को बीजगणितीय K- सिद्धांत के शीर्षक के तहत सम्मिलित किया जा सकता है, K0(R)) R को इसके आदर्श वर्ग समूह को नियत करने वाला कारकीय है; अधिक शुद्ध रुप से, K0(R) =Z×C(R), जहां C(R) वर्ग समूह है। पूर्णांकों के वलयों के संबंध में उच्च K समूहों को अंकगणितीय रूप से नियोजित और व्याख्यायित किया जा सकता है।

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

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

आदर्श वर्ग समूहों के उदाहरण

 * वलय Z, Z[ω], और Z[i], जहां ω 1 का घनमूल है और i 1 का चौथा मूल है (अर्थात् −1 का वर्गमूल), सभी प्रमुख आदर्श कार्यक्षेत्र हैं (और वास्तव में सभी यूक्लिडीय क्षेत्र हैं), और इसलिए वर्ग संख्या 1 है: अर्थात, उनके पास नगण्य आदर्श वर्ग समूह हैं।
 * यदि k एक क्षेत्र है, तो बहुपद वलय k[X1, X2, X3, ...] एक अभिन्न क्षेत्र है। इसमें आदर्श वर्गों का एक अनगिनत अनंत समूह है।

द्विघात क्षेत्रों की वर्ग संख्या
यदि d 1 के अतिरिक्त एक वर्ग-मुक्त पूर्णांक (विभिन्न अभाज्य संख्याओं का गुणनफल) है, तो 'Q'($\sqrt{d}$) Q का द्विघात विस्तार है। यदि d < 0, तो Q(√d) के बीजगणितीय पूर्णांकों के वलय R की वर्ग संख्या 1 के बराबर है, ठीक d के निम्नलिखित मानों के लिए: d = −1, −2, −3, −7, −11, -19, -43, -67, और -163। यह परिणाम पहले गॉस द्वारा अनुमान लगाया गया था और कर्ट हेगनर द्वारा सिद्ध किया गया था, हालांकि हेगनेर के प्रमाण पर तब तक विश्वास नहीं किया गया था जब तक हेरोल्ड स्टार्क ने 1967 में बाद का प्रमाण नहीं दिया था। ((देखें स्टार्क-हेगनेर प्रमेय।) यह प्रसिद्ध वर्ग संख्या प्रश्न की एक विशेष स्थिति है।.

यदि, दूसरी ओर, d > 0, तो यह अज्ञात है कि कक्षा संख्या 1 के साथ अपरिमित रूप से अनेक क्षेत्र Q(√d) हैं या नहीं। अभिकलनात्‍मक परिणाम बताते हैं कि बहुत ऐसे क्षेत्र हैं। हालाँकि, यह भी ज्ञात नहीं है कि वर्ग संख्या 1 के साथ असीम रूप से कई संख्याएँ हैं।

d< 0 के लिए, Q(√d) का आदर्श वर्ग समूह, Q(√d) के विभेदक के बराबर विभेदक के अभिन्न द्विआधारी द्विघात रूपों के वर्ग समूह के लिए समरूप है। d > 0 के लिए, आदर्श वर्ग समूह आधे आकार का हो सकता है क्योंकि पूर्णांक द्विघात रूपों का वर्ग समूह Q(√d) के संकीर्ण वर्ग समूह के लिए समरूप है।

वास्तविक द्विघात पूर्णांक वलयों के लिए, वर्ग संख्या OEIS A003649 में दी गई है; काल्पनिक स्थिति के लिए, उन्हें OEIS A000924 में दिया गया है।

गैर-नगण्य वर्ग समूह का उदाहरण
द्विघात पूर्णांक वलय R = 'Z' [$\sqrt{&minus;5}$] Q($\sqrt{&minus;5}$) के पूर्णांकों का वलय है। इसमें अद्वितीय गुणनखंड नहीं है; वास्तव में R का वर्ग समूह क्रम 2 का चक्रीय है। वास्तव में, आदर्श
 * J = (2, 1 + $\sqrt{&minus;5}$)

सिद्धांत नहीं है, जिसे विरोधाभास द्वारा निम्नानुसार सिद्ध किया जा सकता है। $$R$$ का एक आदर्श कार्य है $$N(a + b \sqrt{-5}) = a^2 + 5 b^2 $$, जो संतुष्ट करता है $$N(uv) = N(u)N(v)$$, और $$N(u) = 1$$ अगर और केवल अगर $$u$$ में एक $$R$$ इकाई है। सबसे पहले, $$ J \ne R$$, क्योंकि भागफल का वलय $$R$$ मापांक आदर्श $$(1 + \sqrt{-5})$$ के लिए समरूप है $$\mathbf{Z} / 6 \mathbf{Z}$$, ताकि भागफल का वलय $$R$$ मापांक $$J$$ के लिए समरूप है $$\mathbf{Z} / 2 \mathbf{Z}$$. यदि J को R के एक तत्व x द्वारा उत्पन्न किया गया था, तो x 2 और 1 + √−5 दोनों को विभाजित करेगा। फिर आदर्श $$N(x)$$ दोनों को विभाजित करेगा $$N(2) = 4$$ और $$N(1 + \sqrt{-5}) = 6$$, इसलिए N(x) 2 को विभाजित करेगा। यदि $$N(x) = 1$$, तब $$x$$ एक इकाई है, और $$J = R$$, एक विरोधाभास। लेकिन $$N(x)$$ 2 भी नहीं हो सकता है, क्योंकि R में मानक 2 के कोई तत्व नहीं हैं, क्योंकि डायोफैंटाइन समीकरण $$b^2 + 5 c^2 = 2$$ का पूर्णांकों में कोई समाधान नहीं है, क्योंकि इसका कोई समाधान मापांक 5 नहीं है।

एक यह भी गणना करता है कि J2 = (2), जो कि सिद्धांत है, इसलिए आदर्श वर्ग समूह में J के वर्ग का क्रम दो है। यह दिखाने के लिए कि कोई अन्य आदर्श वर्ग नहीं है, अधिक प्रयास की आवश्यकता है।

तथ्य यह है कि यह J  प्रधाननहीं है, इस तथ्य से भी संबंधित है कि तत्व 6 में दो अलग-अलग गुणनखंड हैं:
 * 6 = 2 × 3 = (1 + $\sqrt{&minus;5}$) × (1 − $\sqrt{&minus;5}$).

वर्ग क्षेत्र सिद्धांत से सम्बन्ध
वर्ग क्षेत्र सिद्धांत बीजगणितीय संख्या सिद्धांत की एक शाखा है जो किसी दिए गए बीजगणितीय संख्या क्षेत्र के सभी गणित में विनिमेय समूह सिद्धांतों को वर्गीकृत करना चाहता है, जिसका अर्थ है गणित में विनिमेय समूह गाल्वा समूह के साथ गाल्वा क्षेत्र। एक संख्या क्षेत्र के हिल्बर्ट वर्ग क्षेत्र में एक विशेष रूप से सुंदर उदाहरण पाया जाता है, जिसे ऐसे क्षेत्र के अधिकतम असम्बद्ध गणित में विनिमेय समूह विस्तार के रूप में परिभाषित किया जा सकता है। हिल्बर्ट वर्ग क्षेत्र L एक संख्या क्षेत्र K अद्वितीय है और इसमें निम्नलिखित गुण हैं:


 * K के पूर्णांकों के वलय की प्रत्येक आदर्श L में सिद्धांत बन जाती है, अर्थात, यदि I, K की एक समाकल आदर्श है तो I की छवि L में सिद्धांत आदर्श है।
 * L, K के आदर्श वर्ग समूह के लिए गाल्वा समूह समरूप के साथ K का एक गाल्वा विस्तार है।

किसी भी संपत्ति को सिद्ध करना विशेष रूप से आसान नहीं है।

यह भी देखें

 * वर्ग संख्या सूत्र
 * कक्षा संख्या प्रश्न
 * ब्राउर-सीगल प्रमेय- वर्ग संख्या के लिए एक स्पर्शोन्मुख विश्लेषण सूत्र
 * वर्ग संख्या एक के साथ संख्या क्षेत्रों की सूची
 * सिद्धांत आदर्श कार्यक्षेत्र
 * बीजगणितीय K-सिद्धांत
 * गाल्वा सिद्धांत
 * फर्मेट की अंतिम प्रमेय
 * संकीर्ण वर्ग समूह
 * पिकार्ड समूह—बीजगणितीय ज्यामिति में दिखने वाले वर्ग समूह का एक सामान्यीकरण
 * अरकेलोव वर्ग समूह