आर्किमिडीज़ समूह: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
{{Short description|Type of classification in algebra}} | {{Short description|Type of classification in algebra}} | ||
[[सार बीजगणित|संक्षिप्त बीजगणित]] में, गणित की एक शाखा, आर्किमिडीयन समूह से सम्बंधित [[रैखिक रूप से आदेशित समूह]] है जिसके लिए आर्किमिडीयन | [[सार बीजगणित|संक्षिप्त बीजगणित]] में, गणित की एक शाखा, आर्किमिडीयन समूह से सम्बंधित [[रैखिक रूप से आदेशित समूह]] है जिसके लिए आर्किमिडीयन विशेषताओं का पालन करती है: प्रत्येक दो सकारात्मक समूह तत्व एक दूसरे के [[पूर्णांक]] गुणकों से बंधे होते हैं। जोड़ की [[संक्रिया (गणित)]] के साथ [[वास्तविक संख्या]]ओं का समुच्चय और संख्याओं के युग्मों के बीच सामान्य क्रमबद्ध संबंध एक आर्किमिडीयन समूह है। ओटो होल्डर के परिणामस्वरूप, प्रत्येक आर्किमिडीयन समूह इस समूह के एक [[उपसमूह]] के लिए [[समूह समरूपता]] है। [[आर्किमिडीज]] नाम [[ओटो स्टोल्ज़]] से आया है, जिन्होंने आर्किमिडीज़ के कार्यों में इसकी उपस्थिति के बाद [[आर्किमिडीज़ संपत्ति|आर्किमिडीज़ विशेषताओं]] का नामकरण किया।<ref>{{citation|title=Dictionary of Scientific Principles|first=Stephen|last=Marvin|publisher=John Wiley & Sons|year=2012|isbn=9781118582244|page=17|url=https://books.google.com/books?id=22x0cpypf3EC&pg=PA17}}.</ref> | ||
== परिभाषा == | == परिभाषा == | ||
एक [[समूह (गणित)]] में तत्वों का | एक [[समूह (गणित)]] में तत्वों का समूह होता है, एक साहचर्य जोड़ संक्रिया जो तत्वों के जोड़े को संयुग्मित करता है और एक तत्व देता है, | ||
एक [[पहचान तत्व]] (या शून्य तत्व) जिसका योग किसी अन्य तत्व के साथ अन्य तत्व है, और एक व्युत्क्रम तत्व | एक [[पहचान तत्व]] (या शून्य तत्व) जिसका योग किसी अन्य तत्व के साथ दूसरा अन्य तत्व है, और एक व्युत्क्रम तत्व संक्रिया जैसे कि किसी भी तत्व और उसके व्युत्क्रम का योग शून्य है।<ref>Additive notation for groups is usually only used for [[abelian group]]s, in which the addition operation is [[commutative property|commutative]]. The definition here does not assume commutativity, but it will turn out to follow from the Archimedean property.</ref> | ||
एक समूह | एक समूह रैखिक रूप से आदेशित समूह है, इसके अलावा, इसके तत्व इस तरह से [[रैखिक क्रम]] में हो सकते हैं जो समूह संचालन के अनुकूल हो: सभी तत्वों x, y, और z के लिए, यदि x ≤ y तो x + z ≤ y + z और z + x ≤ z + y. | ||
अंकन | अंकन n (जहाँ n एक [[प्राकृतिक संख्या]] है) a की n प्रतियों के समूह योग के लिए है। एक 'आर्किमिडीयन समूह' (g, +, ≤) निम्नलिखित अतिरिक्त शर्त, आर्किमिडीयन विशेषताओं के अधीन एक रैखिक रूप से क्रमबद्ध समूह है: g में प्रत्येक a और b के लिए जो 0 से अधिक हैं, एक प्राकृतिक संख्या n खोजना संभव है जिसके लिए असमानता b ≤ na रखती है।<ref>{{citation|title=Approximation Theorems in Commutative Algebra: Classical and Categorical Methods|volume=59|series=NATO ASI Series. Series D, Behavioural and Social Sciences|first1=J.|last1=Alajbegovic|first2=J.|last2=Mockor|publisher=Springer|year=1992|isbn=9780792319481|page=5|url=https://books.google.com/books?id=WjI06938xcoC&pg=PA5}}.</ref> | ||
एक 'आर्किमिडीयन समूह' ( | एक समतुल्य परिभाषा यह है कि एक आर्किमिडीयन समूह बिना किसी परिबद्ध [[चक्रीय समूह]] उपसमूह के एक रैखिक रूप से आदेशित समूह है: इसमें एक चक्रीय उपसमूह S और एक तत्व x सम्मिलित नहीं है जिसमें S में सभी तत्वों से अधिक x है।<ref>{{citation | ||
एक समतुल्य परिभाषा यह है कि एक आर्किमिडीयन समूह बिना किसी परिबद्ध [[चक्रीय समूह]] उपसमूह के एक रैखिक रूप से आदेशित समूह है: इसमें एक चक्रीय उपसमूह S और एक तत्व x | |||
| last = Belegradek | first = Oleg | | last = Belegradek | first = Oleg | ||
| contribution = Poly-regular ordered abelian groups | | contribution = Poly-regular ordered abelian groups | ||
| Line 25: | Line 24: | ||
पूर्णांकों के समुच्चय, परिमेय संख्याएँ, और वास्तविक संख्याएँ, साथ में जोड़ की संक्रिया और सामान्य क्रम (≤), आर्किमिडीयन समूह हैं। एक आर्किमिडीज़ समूह का प्रत्येक उपसमूह स्वयं आर्किमिडीज़ है, इसलिए यह अनुसरण करता है कि इन समूहों का प्रत्येक उपसमूह, जैसे कि [[सम संख्या]]ओं का योज्य समूह या डाइएडिक परिमेय भी, एक आर्किमिडीज़ समूह बनाता है। | पूर्णांकों के समुच्चय, परिमेय संख्याएँ, और वास्तविक संख्याएँ, साथ में जोड़ की संक्रिया और सामान्य क्रम (≤), आर्किमिडीयन समूह हैं। एक आर्किमिडीज़ समूह का प्रत्येक उपसमूह स्वयं आर्किमिडीज़ है, इसलिए यह अनुसरण करता है कि इन समूहों का प्रत्येक उपसमूह, जैसे कि [[सम संख्या]]ओं का योज्य समूह या डाइएडिक परिमेय भी, एक आर्किमिडीज़ समूह बनाता है। | ||
[[बातचीत (तर्क)]], जैसा कि ओटो होल्डर ने दिखाया, प्रत्येक आर्किमिडीज़ समूह वास्तविक संख्याओं के एक उपसमूह के लिए [[ समरूपी ]] (एक आदेशित समूह के रूप में) है।<ref name="monnd">{{Citation | last1=Fuchs | first1=László | last2=Salce | first2=Luigi | title=Modules over non-Noetherian domains | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Mathematical Surveys and Monographs | isbn=978-0-8218-1963-0 | mr = 1794715 | year=2001 | volume=84 | page=61 | url=https://books.google.com/books?id=4NzTiOuirN4C&pg=PA61}}</ref><ref>{{cite book|last=Fuchs|first=László|title=आंशिक रूप से आदेशित बीजगणितीय प्रणालियाँ|orig-year=1963|year=2011|publisher=Dover Publications|location=Mineola, New York|isbn=978-0-486-48387-0|pages=45–46}}</ref><ref>{{citation|title=Right-Ordered Groups|series=Siberian School of Algebra and Logic|first1=V. M.|last1=Kopytov|first2=N. Ya.|last2=Medvedev|publisher=Springer|year=1996|isbn=9780306110603|pages=33–34|url=https://books.google.com/books?id=xyGHECthEGEC&pg=PA33}}.</ref><ref>For a [[mathematical proof|proof]] for abelian groups, see {{citation|title=The Theory of Classical Valuations|series=Monographs in Mathematics|first=Paulo|last=Ribenboim|author-link=Paulo Ribenboim|publisher=Springer|year=1999|isbn=9780387985251|page=60|url=https://books.google.com/books?id=kL1HpN1KPZsC&pg=PA60}}.</ref> यह इस बात का अनुसरण करता है कि प्रत्येक आर्किमिडीज़ समूह आवश्यक रूप से एक [[एबेलियन समूह]] है: इसका जोड़ संचालन क्रमविनिमेय | [[बातचीत (तर्क)|सम्पर्क (तर्क)]], जैसा कि ओटो होल्डर ने दिखाया, प्रत्येक आर्किमिडीज़ समूह वास्तविक संख्याओं के एक उपसमूह के लिए [[ समरूपी |समरूपी]] (एक आदेशित समूह के रूप में) है।<ref name="monnd">{{Citation | last1=Fuchs | first1=László | last2=Salce | first2=Luigi | title=Modules over non-Noetherian domains | publisher=[[American Mathematical Society]] | location=Providence, R.I. | series=Mathematical Surveys and Monographs | isbn=978-0-8218-1963-0 | mr = 1794715 | year=2001 | volume=84 | page=61 | url=https://books.google.com/books?id=4NzTiOuirN4C&pg=PA61}}</ref><ref>{{cite book|last=Fuchs|first=László|title=आंशिक रूप से आदेशित बीजगणितीय प्रणालियाँ|orig-year=1963|year=2011|publisher=Dover Publications|location=Mineola, New York|isbn=978-0-486-48387-0|pages=45–46}}</ref><ref>{{citation|title=Right-Ordered Groups|series=Siberian School of Algebra and Logic|first1=V. M.|last1=Kopytov|first2=N. Ya.|last2=Medvedev|publisher=Springer|year=1996|isbn=9780306110603|pages=33–34|url=https://books.google.com/books?id=xyGHECthEGEC&pg=PA33}}.</ref><ref>For a [[mathematical proof|proof]] for abelian groups, see {{citation|title=The Theory of Classical Valuations|series=Monographs in Mathematics|first=Paulo|last=Ribenboim|author-link=Paulo Ribenboim|publisher=Springer|year=1999|isbn=9780387985251|page=60|url=https://books.google.com/books?id=kL1HpN1KPZsC&pg=PA60}}.</ref> यह इस बात का अनुसरण करता है कि प्रत्येक आर्किमिडीज़ समूह आवश्यक रूप से एक [[एबेलियन समूह]] है: इसका जोड़ संचालन क्रमविनिमेय विशेषता होना चाहिए।<ref name="monnd"/> | ||
== गैर-आर्किमिडीयन समूहों के उदाहरण == | == गैर-आर्किमिडीयन समूहों के उदाहरण == | ||
ऐसे समूह जिन्हें रैखिक रूप से क्रमबद्ध नहीं किया जा सकता है, जैसे [[परिमित समूह]], आर्किमिडीज़ नहीं हैं। एक अन्य उदाहरण के लिए, p- | ऐसे समूह जिन्हें रैखिक रूप से क्रमबद्ध नहीं किया जा सकता है, जैसे [[परिमित समूह]], आर्किमिडीज़ नहीं हैं। एक अन्य उदाहरण के लिए, p-एडिक संख्या देखें, संख्याओं की एक प्रणाली जो परिमेय संख्याओं को वास्तविक संख्याओं से भिन्न तरीके से सामान्यीकृत करती है। | ||
गैर-आर्किमिडीयन आदेशित समूह भी | गैर-आर्किमिडीयन आदेशित '''समूह भी सम्मिलित हैं'''; क्रमित समूह (G, +, ≤) को निम्नानुसंक्षिप्त परिभाषित किया गया है जो आर्किमिडीज़ नहीं है। जी के तत्वों को [[यूक्लिडियन विमान]] के बिंदु होने दें, जो उनके कार्टेशियन निर्देशांक द्वारा दिए गए हैं: वास्तविक संख्याओं के जोड़े (x, y)। समूह जोड़ने की कार्रवाई [[बिंदुवार]] (वेक्टर) जोड़ होने दें, और इन बिंदुओं को [[लेक्सिकोग्राफिक ऑर्डर]] में व्यवस्थित करें: यदि a = (u, v) और b = (x, y), तो a + b = (u + x, v + y) ), और | ||
a ≤ b बिल्कुल जब या तो v < y या v = y और u ≤ x। फिर यह एक आदेशित समूह देता है, लेकिन वह जो आर्किमिडीज़ नहीं है। इसे देखने के लिए, तत्वों (1, 0) और (0, 1) पर विचार करें, जो दोनों समूह के शून्य तत्व (मूल (गणित)) से अधिक हैं। प्रत्येक प्राकृतिक संख्या n के लिए, यह इन परिभाषाओं से अनुसरण करता है कि n (1, 0) = (n, 0) < (0, 1), इसलिए ऐसा कोई n नहीं है जो आर्किमिडीज़ गुण को संतुष्ट करता हो।<ref>{{citation|title=Introduction to Global Variational Geometry|volume=13|series=North-Holland Mathematical Library|first=Demeter|last=Krupka|publisher=Elsevier|year=2000|isbn=9780080954202|page=8|url=https://books.google.com/books?id=oyu0DzN6xk8C&pg=PA8}}.</ref> इस समूह को एक वास्तविक संख्या और एक अतिसूक्ष्म जोड़े के योगात्मक समूह के रूप में माना जा सकता है, <math>(x, y) = x \epsilon + y,</math> कहाँ <math>\epsilon</math> एक इकाई अपरिमेय है: <math>\epsilon > 0</math> लेकिन <math>\epsilon < y</math> किसी भी सकारात्मक वास्तविक संख्या के लिए <math>y > 0</math>. [[गैर-आर्किमिडीयन आदेशित क्षेत्र]]ों को समान रूप से परिभाषित किया जा सकता है, और उनके योगात्मक समूह गैर-आर्किमिडीयन आदेशित समूह हैं। इनका उपयोग गैर-मानक विश्लेषण में किया जाता है, और इसमें अतिवास्तविक संख्याएँ और वास्तविक संख्याएँ शामिल होती हैं। | a ≤ b बिल्कुल जब या तो v < y या v = y और u ≤ x। फिर यह एक आदेशित समूह देता है, लेकिन वह जो आर्किमिडीज़ नहीं है। इसे देखने के लिए, तत्वों (1, 0) और (0, 1) पर विचार करें, जो दोनों समूह के शून्य तत्व (मूल (गणित)) से अधिक हैं। प्रत्येक प्राकृतिक संख्या n के लिए, यह इन परिभाषाओं से अनुसरण करता है कि n (1, 0) = (n, 0) < (0, 1), इसलिए ऐसा कोई n नहीं है जो आर्किमिडीज़ गुण को संतुष्ट करता हो।<ref>{{citation|title=Introduction to Global Variational Geometry|volume=13|series=North-Holland Mathematical Library|first=Demeter|last=Krupka|publisher=Elsevier|year=2000|isbn=9780080954202|page=8|url=https://books.google.com/books?id=oyu0DzN6xk8C&pg=PA8}}.</ref> इस समूह को एक वास्तविक संख्या और एक अतिसूक्ष्म जोड़े के योगात्मक समूह के रूप में माना जा सकता है, <math>(x, y) = x \epsilon + y,</math> कहाँ <math>\epsilon</math> एक इकाई अपरिमेय है: <math>\epsilon > 0</math> लेकिन <math>\epsilon < y</math> किसी भी सकारात्मक वास्तविक संख्या के लिए <math>y > 0</math>. [[गैर-आर्किमिडीयन आदेशित क्षेत्र]]ों को समान रूप से परिभाषित किया जा सकता है, और उनके योगात्मक समूह गैर-आर्किमिडीयन आदेशित समूह हैं। इनका उपयोग गैर-मानक विश्लेषण में किया जाता है, और इसमें अतिवास्तविक संख्याएँ और वास्तविक संख्याएँ शामिल होती हैं। | ||
| Line 37: | Line 36: | ||
== अतिरिक्त गुण == | == अतिरिक्त गुण == | ||
प्रत्येक आर्किमिडीज़ समूह के पास वह गुण होता है, जो समूह के प्रत्येक [[ डेडेकाइंड कट ]] के लिए, और प्रत्येक समूह तत्व ε > 0 के लिए, कट के निचले भाग पर x के साथ और कट के ऊपरी भाग पर x + ε के साथ एक अन्य समूह तत्व x | प्रत्येक आर्किमिडीज़ समूह के पास वह गुण होता है, जो समूह के प्रत्येक [[ डेडेकाइंड कट |डेडेकाइंड कट]] के लिए, और प्रत्येक समूह तत्व ε > 0 के लिए, कट के निचले भाग पर x के साथ और कट के ऊपरी भाग पर x + ε के साथ एक अन्य समूह तत्व x सम्मिलित होता है . हालांकि, समान विशेषताओं वाले गैर-आर्किमिडीयन आदेशित समूह सम्मिलित हैं। तथ्य यह है कि आर्किमिडीज़ समूह एबेलियन हैं सामान्यीकृत किया जा सकता है: इस विशेषताओं के साथ प्रत्येक आदेशित समूह एबेलियन है।<ref>{{citation | ||
| last = Vinogradov | first = A. A. | | last = Vinogradov | first = A. A. | ||
| contribution = Ordered algebraic systems | | contribution = Ordered algebraic systems | ||
| Line 59: | Line 58: | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
आर्किमिडीयन समूहों को आर्किमिडीयन [[मोनोइड]]्स के लिए सामान्यीकृत किया जा सकता है, रैखिक क्रम मोनोइड्स जो आर्किमिडीज़ | आर्किमिडीयन समूहों को आर्किमिडीयन [[मोनोइड]]्स के लिए सामान्यीकृत किया जा सकता है, रैखिक क्रम मोनोइड्स जो आर्किमिडीज़ विशेषताओं का पालन करते हैं। उदाहरणों में सामान्य [[बाइनरी ऑपरेशन|बाइनरी संक्रिया]] के साथ प्राकृतिक संख्याएं, गैर-ऋणात्मक परिमेय संख्याएं और गैर-ऋणात्मक वास्तविक संख्याएं शामिल हैं <math>+</math> और आदेश <math><</math>. आर्किमिडीयन समूहों के समान [[गणितीय प्रमाण]] के माध्यम से, आर्किमिडीयन मोनोइड्स को [[क्रमविनिमेय मोनोइड]] दिखाया जा सकता है। | ||
== यह भी देखें == | == यह भी देखें == | ||
Revision as of 14:32, 9 March 2023
संक्षिप्त बीजगणित में, गणित की एक शाखा, आर्किमिडीयन समूह से सम्बंधित रैखिक रूप से आदेशित समूह है जिसके लिए आर्किमिडीयन विशेषताओं का पालन करती है: प्रत्येक दो सकारात्मक समूह तत्व एक दूसरे के पूर्णांक गुणकों से बंधे होते हैं। जोड़ की संक्रिया (गणित) के साथ वास्तविक संख्याओं का समुच्चय और संख्याओं के युग्मों के बीच सामान्य क्रमबद्ध संबंध एक आर्किमिडीयन समूह है। ओटो होल्डर के परिणामस्वरूप, प्रत्येक आर्किमिडीयन समूह इस समूह के एक उपसमूह के लिए समूह समरूपता है। आर्किमिडीज नाम ओटो स्टोल्ज़ से आया है, जिन्होंने आर्किमिडीज़ के कार्यों में इसकी उपस्थिति के बाद आर्किमिडीज़ विशेषताओं का नामकरण किया।[1]
परिभाषा
एक समूह (गणित) में तत्वों का समूह होता है, एक साहचर्य जोड़ संक्रिया जो तत्वों के जोड़े को संयुग्मित करता है और एक तत्व देता है, एक पहचान तत्व (या शून्य तत्व) जिसका योग किसी अन्य तत्व के साथ दूसरा अन्य तत्व है, और एक व्युत्क्रम तत्व संक्रिया जैसे कि किसी भी तत्व और उसके व्युत्क्रम का योग शून्य है।[2] एक समूह रैखिक रूप से आदेशित समूह है, इसके अलावा, इसके तत्व इस तरह से रैखिक क्रम में हो सकते हैं जो समूह संचालन के अनुकूल हो: सभी तत्वों x, y, और z के लिए, यदि x ≤ y तो x + z ≤ y + z और z + x ≤ z + y.
अंकन n (जहाँ n एक प्राकृतिक संख्या है) a की n प्रतियों के समूह योग के लिए है। एक 'आर्किमिडीयन समूह' (g, +, ≤) निम्नलिखित अतिरिक्त शर्त, आर्किमिडीयन विशेषताओं के अधीन एक रैखिक रूप से क्रमबद्ध समूह है: g में प्रत्येक a और b के लिए जो 0 से अधिक हैं, एक प्राकृतिक संख्या n खोजना संभव है जिसके लिए असमानता b ≤ na रखती है।[3] एक समतुल्य परिभाषा यह है कि एक आर्किमिडीयन समूह बिना किसी परिबद्ध चक्रीय समूह उपसमूह के एक रैखिक रूप से आदेशित समूह है: इसमें एक चक्रीय उपसमूह S और एक तत्व x सम्मिलित नहीं है जिसमें S में सभी तत्वों से अधिक x है।[4] यह देखने में सीधा है कि यह दूसरी परिभाषा के समतुल्य है: तत्वों a और b की जोड़ी के लिए आर्किमिडीयन गुण केवल यह कथन है कि a द्वारा उत्पन्न चक्रीय उपसमूह b से घिरा नहीं है।
आर्किमिडीयन समूहों के उदाहरण
पूर्णांकों के समुच्चय, परिमेय संख्याएँ, और वास्तविक संख्याएँ, साथ में जोड़ की संक्रिया और सामान्य क्रम (≤), आर्किमिडीयन समूह हैं। एक आर्किमिडीज़ समूह का प्रत्येक उपसमूह स्वयं आर्किमिडीज़ है, इसलिए यह अनुसरण करता है कि इन समूहों का प्रत्येक उपसमूह, जैसे कि सम संख्याओं का योज्य समूह या डाइएडिक परिमेय भी, एक आर्किमिडीज़ समूह बनाता है।
सम्पर्क (तर्क), जैसा कि ओटो होल्डर ने दिखाया, प्रत्येक आर्किमिडीज़ समूह वास्तविक संख्याओं के एक उपसमूह के लिए समरूपी (एक आदेशित समूह के रूप में) है।[5][6][7][8] यह इस बात का अनुसरण करता है कि प्रत्येक आर्किमिडीज़ समूह आवश्यक रूप से एक एबेलियन समूह है: इसका जोड़ संचालन क्रमविनिमेय विशेषता होना चाहिए।[5]
गैर-आर्किमिडीयन समूहों के उदाहरण
ऐसे समूह जिन्हें रैखिक रूप से क्रमबद्ध नहीं किया जा सकता है, जैसे परिमित समूह, आर्किमिडीज़ नहीं हैं। एक अन्य उदाहरण के लिए, p-एडिक संख्या देखें, संख्याओं की एक प्रणाली जो परिमेय संख्याओं को वास्तविक संख्याओं से भिन्न तरीके से सामान्यीकृत करती है।
गैर-आर्किमिडीयन आदेशित समूह भी सम्मिलित हैं; क्रमित समूह (G, +, ≤) को निम्नानुसंक्षिप्त परिभाषित किया गया है जो आर्किमिडीज़ नहीं है। जी के तत्वों को यूक्लिडियन विमान के बिंदु होने दें, जो उनके कार्टेशियन निर्देशांक द्वारा दिए गए हैं: वास्तविक संख्याओं के जोड़े (x, y)। समूह जोड़ने की कार्रवाई बिंदुवार (वेक्टर) जोड़ होने दें, और इन बिंदुओं को लेक्सिकोग्राफिक ऑर्डर में व्यवस्थित करें: यदि a = (u, v) और b = (x, y), तो a + b = (u + x, v + y) ), और a ≤ b बिल्कुल जब या तो v < y या v = y और u ≤ x। फिर यह एक आदेशित समूह देता है, लेकिन वह जो आर्किमिडीज़ नहीं है। इसे देखने के लिए, तत्वों (1, 0) और (0, 1) पर विचार करें, जो दोनों समूह के शून्य तत्व (मूल (गणित)) से अधिक हैं। प्रत्येक प्राकृतिक संख्या n के लिए, यह इन परिभाषाओं से अनुसरण करता है कि n (1, 0) = (n, 0) < (0, 1), इसलिए ऐसा कोई n नहीं है जो आर्किमिडीज़ गुण को संतुष्ट करता हो।[9] इस समूह को एक वास्तविक संख्या और एक अतिसूक्ष्म जोड़े के योगात्मक समूह के रूप में माना जा सकता है, कहाँ एक इकाई अपरिमेय है: लेकिन किसी भी सकारात्मक वास्तविक संख्या के लिए . गैर-आर्किमिडीयन आदेशित क्षेत्रों को समान रूप से परिभाषित किया जा सकता है, और उनके योगात्मक समूह गैर-आर्किमिडीयन आदेशित समूह हैं। इनका उपयोग गैर-मानक विश्लेषण में किया जाता है, और इसमें अतिवास्तविक संख्याएँ और वास्तविक संख्याएँ शामिल होती हैं।
जबकि गैर-आर्किमिडीयन आदेशित समूहों को वास्तविक संख्याओं में अंतःस्थापित नहीं किया जा सकता है, वे हान अंतःस्थापन प्रमेय द्वारा, शाब्दिक क्रम के साथ, वास्तविक संख्याओं की शक्ति में सन्निहित हो सकते हैं; ऊपर दिया गया उदाहरण 2-आयामी मामला है।
अतिरिक्त गुण
प्रत्येक आर्किमिडीज़ समूह के पास वह गुण होता है, जो समूह के प्रत्येक डेडेकाइंड कट के लिए, और प्रत्येक समूह तत्व ε > 0 के लिए, कट के निचले भाग पर x के साथ और कट के ऊपरी भाग पर x + ε के साथ एक अन्य समूह तत्व x सम्मिलित होता है . हालांकि, समान विशेषताओं वाले गैर-आर्किमिडीयन आदेशित समूह सम्मिलित हैं। तथ्य यह है कि आर्किमिडीज़ समूह एबेलियन हैं सामान्यीकृत किया जा सकता है: इस विशेषताओं के साथ प्रत्येक आदेशित समूह एबेलियन है।[10]
सामान्यीकरण
आर्किमिडीयन समूहों को आर्किमिडीयन मोनोइड्स के लिए सामान्यीकृत किया जा सकता है, रैखिक क्रम मोनोइड्स जो आर्किमिडीज़ विशेषताओं का पालन करते हैं। उदाहरणों में सामान्य बाइनरी संक्रिया के साथ प्राकृतिक संख्याएं, गैर-ऋणात्मक परिमेय संख्याएं और गैर-ऋणात्मक वास्तविक संख्याएं शामिल हैं और आदेश . आर्किमिडीयन समूहों के समान गणितीय प्रमाण के माध्यम से, आर्किमिडीयन मोनोइड्स को क्रमविनिमेय मोनोइड दिखाया जा सकता है।
यह भी देखें
- आर्किमिडीयन तुल्यता
संदर्भ
- ↑ Marvin, Stephen (2012), Dictionary of Scientific Principles, John Wiley & Sons, p. 17, ISBN 9781118582244.
- ↑ Additive notation for groups is usually only used for abelian groups, in which the addition operation is commutative. The definition here does not assume commutativity, but it will turn out to follow from the Archimedean property.
- ↑ Alajbegovic, J.; Mockor, J. (1992), Approximation Theorems in Commutative Algebra: Classical and Categorical Methods, NATO ASI Series. Series D, Behavioural and Social Sciences, vol. 59, Springer, p. 5, ISBN 9780792319481.
- ↑ Belegradek, Oleg (2002), "Poly-regular ordered abelian groups", Logic and algebra, Contemp. Math., vol. 302, Amer. Math. Soc., Providence, RI, pp. 101–111, doi:10.1090/conm/302/05049, MR 1928386.
- ↑ 5.0 5.1 Fuchs, László; Salce, Luigi (2001), Modules over non-Noetherian domains, Mathematical Surveys and Monographs, vol. 84, Providence, R.I.: American Mathematical Society, p. 61, ISBN 978-0-8218-1963-0, MR 1794715
- ↑ Fuchs, László (2011) [1963]. आंशिक रूप से आदेशित बीजगणितीय प्रणालियाँ. Mineola, New York: Dover Publications. pp. 45–46. ISBN 978-0-486-48387-0.
- ↑ Kopytov, V. M.; Medvedev, N. Ya. (1996), Right-Ordered Groups, Siberian School of Algebra and Logic, Springer, pp. 33–34, ISBN 9780306110603.
- ↑ For a proof for abelian groups, see Ribenboim, Paulo (1999), The Theory of Classical Valuations, Monographs in Mathematics, Springer, p. 60, ISBN 9780387985251.
- ↑ Krupka, Demeter (2000), Introduction to Global Variational Geometry, North-Holland Mathematical Library, vol. 13, Elsevier, p. 8, ISBN 9780080954202.
- ↑ Vinogradov, A. A. (1967), "Ordered algebraic systems", Algebra, Topology, Geometry, 1965 (Russian) (in Russian), Akad. Nauk SSSR Inst. Naučn. Tehn. Informacii, Moscow, pp. 83–131, MR 0215761
{{citation}}: CS1 maint: unrecognized language (link). Translated into English in Filippov, N. D., ed. (1970), Ten papers on algebra and functional analysis, American Mathematical Society Translations, Series 2, vol. 96, American Mathematical Society, Providence, R.I., pp. 69–118, ISBN 9780821896662, MR 0268000.
