इकाई वलय पर तर्कसंगत बिंदुओं का समूह

पायथागॉरियन ट्रिपल (4,3,5) यूनिट सर्कल पर तर्कसंगत बिंदु (4/5,3/5) से जुड़ा है।

गणित में, यूनिट सर्कल पर परिमेय बिंदु वे बिंदु (x, y) होते हैं जैसे कि x और y दोनों परिमेय संख्याएँ ("अंश") हैं और x² + y² = 1 को संतुष्ट करते हैं। ऐसे बिंदुओं का सेट आदिम पायथागॉरियन ट्रिपल से निकटता से संबंधित है। एक आदिम समकोण त्रिभुज पर विचार करें, अर्थात्, पूर्णांक भुजाओं की लंबाई a, b, कर्ण c के साथ, जैसे कि भुजाओं में 1 से बड़ा कोई सामान्य कारक नहीं है। फिर यूनिट सर्कल पर तर्कसंगत बिंदु (a/c, b/c) मौजूद होता है। जो जटिल तल में सिर्फ a/c + ib/c है, जहां i काल्पनिक इकाई है। इसके विपरीत, यदि(x, y) समन्वय प्रणाली के प्रथम चतुर्भुज (अर्थात x > 0, y > 0) में यूनिट सर्कल पर एक परिमेय बिंदु है, तो भुजाओं xc, yc, c, के साथ एक आदिम समकोण त्रिभुज मौजूद है। जहाँ c x और y के हर का लघुत्तम समापवर्तक है। x-y तल में बिंदु (a, b) और जटिल तल में बिंदु a + ib के बीच एक पत्र-व्यवहार है जिसका उपयोग नीचे किया गया है।

समूह संचालन

यूनिट सर्कल पर तर्कसंगत बिंदुओं का सेट, इस आलेख में छोटा G घूर्णन के तहत एक अनंत एबेलियन समूह बनाता है। पहचान तत्व बिंदु अथवा तत्समक तत्व बिंदु (1, 0) = 1 + i0 = 1 है। समूह संचालन, या "उत्पाद" (x, y) * (t, u) = (xt - uy, xu + yt) है। यह गुणनफल कोण जोड़ है क्योंकि x = cos(A) और y = sin(A), जहां A वह कोण है जो सदिश (x, y) सदिश (1,0) के साथ बनाता है, जिसे वामावर्त मापा जाता है। तो (x, y) और (t, u) क्रमशः (1, 0) के साथ कोण A और B बनाते हैं, उनका गुणनफल (xt − uy, xu + yt) कोण कोण A + B (1, 0) के साथ बनाने वाले यूनिट सर्कल पर तर्कसंगत बिंदु है। समूह संचालन जटिल संख्याओं के साथ अधिक आसानी से व्यक्त किया जाता है: बिंदुओं (x, y) और (t, u) को क्रमशः x+iy और t+iu के साथ पहचानना, उपरोक्त समूह गुणनफल सामान्य जटिल संख्या गुणन (x + iy)(t + iu) = xt − yu + i(xu + yt) है, जो उपरोक्त बिंदु (xt − uy, xu + yt) के अनुरूप है।

उदाहरण

3/5 + 4/5i और 5/13 + 12/13i (जो दो सबसे प्रसिद्ध पायथागॉरियन ट्रिपल (3,4,5) और (5,12,13) ​​के अनुरूप हैं) यूनिट सर्कल पर तर्कसंगत बिंदु हैं यह जटिल तल, और इस प्रकार G के तत्व हैं। उनका समूह उत्पाद -33/65 +56/65i है, जो पायथागॉरियन ट्रिपल (33,56,65) से मेल खाता है। अंश 33 और 56 के वर्गों का योग 1089 + 3136 = 4225 है, जो हर 65 का वर्ग है।

समूह का वर्णन करने के अन्य तरीके

$G\cong \mathrm {SO} (2,\mathbb {Q} ).$

तर्कसंगत प्रविष्टियों के साथ सभी 2×2 ओर्थोगोनल का सेट G के साथ मेल खाता है। यह इस तथ्य से अनुसरण करता है कि सर्कल समूह $S^{1}$ के लिए आइसोमॉर्फिक $\mathrm {SO} (2,\mathbb {R} )$ है, और तथ्य यह है कि उनके परिमेय बिंदु मेल खाते हैं।

समूह संरचना

G की संरचना चक्रीय समूहों का एक अनंत योग है। बता दें G₂ बिंदु 0 + 1i द्वारा उत्पन्न G के उपसमूह को दर्शाता है। G₂ क्रम 4 का एक चक्रीय उपसमूह है। 4k + 1 के अभाज्य p के लिए, मान लीजिए G_p हर pⁿ वाले तत्वों के उपसमूह को निरूपित करता है जहाँ n एक गैर-ऋणात्मक पूर्णांक है। G_p एक अनंत चक्रीय समूह है, और बिंदु (a² − b²)/p + (2ab/p)i G_p का एक जनरेटर है। इसके अलावा, G के एक तत्व के हरों का गुणनखण्ड करके, यह दिखाया जा सकता है कि G, G₂ और G_p का प्रत्यक्ष योग है। वह है:

$G\cong G_{2}\oplus \bigoplus _{p\,\equiv \,1\,({\text{mod }}4)}G_{p}.$

चूंकि यह प्रत्यक्ष उत्पाद के बजाय एक प्रत्यक्ष योग है, इसलिए Gps में केवल बहुत से मान गैर-शून्य हैं।

उदाहरण

G को अनंत प्रत्यक्ष योग के रूप में देखते हुए, पदार्थ ({0}; 2, 0, 1, 0, 0, ..G को अनंत प्रत्यक्ष योग के रूप में देखते हुए, पदार्थ ({0}; 2, 0, 1, 0, 0, ..., 0, ...) पर विचार करें जहां पहला अक्षर 0 चक्रीय समूह C₄ में है|और अन्य शेयरधारकों (a² − b²)/p(r) + i2ab/p(r) की पॉवर्स देते हैं, जहां p(r) फॉर्म 4k + 1 की nवीं अभाज्य संख्या है। फिर यह G में, परिमेय पॉइंट (3/5 + i4/5)² · (8/17 + i15/17)¹ = −416/425 + i87/4255 है। हर 425, हर 5 का दो बार और हर 17 का एक बार गुणफल है, और पिछले उदाहरण की तरह, अंश -416 का वर्ग और अंश 87 का वर्ग, हर 425 के वर्ग के है। इस पर भी ध्यान दिया जाना चाहिए, इसे बनाए रखने में मदद करने के लिए एक संबंध के रूप में, कि भाजक 5 = p(1) फॉर्म 4k + 1 का पहला अभियोग है, और भाजक 17 = p(3) फॉर्म 4k + 1 का तीसरा अभिज्य है।., 0, ...) पर विचार करें जहां पहला अक्षर 0 चक्रीय समूह C4 में है|और अन्य विवरण (a2 − b2)/p(r) + i2ab/p(r) की शक्तियां देते हैं हैं, जहां p(r) फॉर्म 4k+1 की nवीं अभाज्य संख्या है। फिर यह जी में, परिमेय बिंदु (3/ 5 + i4/5)2 · (8/17 + i15/17)1 = −416/425 + i87/425 है। हर 425, हर 5 का दो बार और हर 17 का एक बार गुणनफल है, और पिछले उदाहरण की तरह, अंश -416 का वर्ग और अंश 87 का वर्ग, हर 425 के वर्ग के वर्ग है। इस पर भी ध्यान दिया जाना चाहिए, इसे बनाए रखने में मदद करने के लिए एक संबंध के रूप में, कि भाजक 5 = p(1) फॉर्म 4k + 1 का पहला अभियोग है, और भाजक 17 = p(3) फॉर्म 4k + 1 का तीसरा विधानसभा है।

इकाई अतिपरवलय का तर्कसंगत बिंदुओं का समूह

यूनिट हाइपरबोला पर इस समूह और ऊपर चर्चा किए गए समूह के बीच घनिष्ठ संबंध है। अगर ${\frac {a+ib}{c}}$ यूनिट सर्कल पर एक तर्कसंगत बिंदु है, जहां ए/सी और बी/सी कम अंश हैं, फिर (सी/ए, बी/ए) यूनिट हाइपरबोला पर एक तर्कसंगत बिंदु है, क्योंकि $(c/a)^{2}-(b/a)^{2}=1,$ यूनिट हाइपरबोला के लिए समीकरण को संतुष्ट करना। यहाँ समूह संचालन है $(x,y)\times (u,v)=(xu+yv,xv+yu),$और समूह की पहचान ऊपर के समान बिंदु (1, 0) है। इस समूह में अतिशयोक्तिपूर्ण कोसाइन और अतिशयोक्तिपूर्ण साइन के साथ घनिष्ठ संबंध है, जो उपरोक्त यूनिट सर्कल समूह में कोसाइन और साइन के साथ संबंध के समानांतर है।

एक बड़े समूह के अंदर कॉपी

समीकरण द्वारा दिए गए चार-आयामी अंतरिक्ष में एबेलियन किस्म पर तर्कसंगत बिंदुओं के समूह के उपसमूह (और ज्यामितीय वस्तुओं के रूप में) दोनों समूहों की आइसोमोर्फिक प्रतियां हैं। $w^{2}+x^{2}-y^{2}+z^{2}=0.$ ध्यान दें कि यह विविधता 0 के बराबर मूल के सापेक्ष मिन्कोव्स्की मीट्रिक के साथ बिंदुओं का सेट है। इस बड़े समूह में पहचान (1, 0, 1, 0) है, और समूह संचालन है $(a,b,c,d)\times (w,x,y,z)=(aw-bx,ax+bw,cy+dz,cz+dy).$

यूनिट सर्कल पर समूह के लिए, उपयुक्त उपसमूह फॉर्म के बिंदुओं का उपसमूह है (w, x, 1, 0), के साथ $w^{2}+x^{2}=1,$ और इसका तत्समक अवयव (1, 0, 1, 0) है। यूनिट हाइपरबोला समूह फॉर्म के बिंदुओं (1, 0, y, z) से मेल खाता है $y^{2}-z^{2}=1,$ और फिर से तत्समक (1, 0, 1, 0) है। (बेशक, चूँकि वे बड़े समूह के उपसमूह हैं, उन दोनों में एक ही पहचान तत्व होना चाहिए।)

यह भी देखें

• मंडल समूह

संदर्भ

• The Group of Rational Points on the Unit Circle[1], Lin Tan, Mathematics Magazine Vol. 69, No. 3 (June, 1996), pp. 163–171
• The Group of Primitive Pythagorean Triangles[2], Ernest J. Eckert, Mathematics Magazine Vol 57 No. 1 (January, 1984), pp 22–26
• ’’Rational Points on Elliptic Curves’’ Joseph Silverman