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

गणित में, यूनिट सर्कल पर परिमेय बिंदु वे बिंदु (x, y) होते हैं जैसे कि x और y दोनों परिमेय संख्याएँ ("अंश") हैं और x2 + y2 = 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) के साथ बनाने वाले यूनिट सर्कल पर तर्कसंगत बिंदु है (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 की संरचना चक्रीय समूहों ों का एक अनंत योग है। बता दें G2 बिंदु 0 + 1i द्वारा उत्पन्न G के उपसमूह को दर्शाता है। G2 क्रम 4 का एक चक्रीय उपसमूह है। 4k + 1 के अभाज्य p के लिए, मान लीजिए Gp हर pn वाले तत्वों के उपसमूह को निरूपित करता है जहाँ n एक गैर-ऋणात्मक पूर्णांक है। Gp एक अनंत चक्रीय समूह है, और बिंदु (a2 − b2)/p + (2ab/p)i  Gp का एक जनरेटर है। इसके अलावा, G के एक तत्व के हरों का गुणनखण्ड करके, यह दिखाया जा सकता है कि G,  G2 और Gp का प्रत्यक्ष योग है। वह है:

(a2 − ख 2)/p + (2ab/p)i, G का जनरेटर हैp. इसके अलावा, G के एक तत्व के हर का गुणनखण्ड करके, यह दिखाया जा सकता है कि G, G का प्रत्यक्ष योग है2 और जीp. वह है:


 * $$G \cong G_2 \oplus \bigoplus_{p \, \equiv \, 1 \, (\text{mod } 4)} G_p.$$

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

उदाहरण
G को अनंत प्रत्यक्ष योग के रूप में देखते हुए, तत्व ({0}; 2, 0, 1, 0, 0, ..., 0, ...) पर विचार करें जहां पहला निर्देशांक 0 चक्रीय समूह C4 में है|और अन्य निर्देशांक (a2 − b2)/p(r) + i2ab/p(r) की शक्तियां देते हैं2  − ख 2)/p(r) + i 2ab/b(r)  की शक्तियां देते हैं, जहां p(r) फॉर्म 4k + 1 की nवीं अभाज्य संख्या है। फिर यह G में, परिमेय बिंदु (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, Lin Tan, Mathematics Magazine Vol. 69, No. 3 (June, 1996), pp. 163–171
 * The Group of Primitive Pythagorean Triangles, Ernest J. Eckert, Mathematics Magazine Vol 57 No. 1 (January, 1984), pp 22–26
 * ’’Rational Points on Elliptic Curves’’ Joseph Silverman