स्पिन समूह: Difference between revisions
(Created page with "{{Short description|Double cover Lie group of the special orthogonal group}} {{Group theory sidebar}}गणित में स्पिन समूह स्पिन(''ए...") |
No edit summary |
||
(8 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Double cover Lie group of the special orthogonal group}} | {{Short description|Double cover Lie group of the special orthogonal group}} | ||
{{Group theory sidebar}}गणित में स्पिन समूह स्पिन('' | {{Group theory sidebar}}गणित में स्पिन समूह स्पिन(''n'')<ref>{{Cite book | last1=Lawson | first1=H. Blaine | last2=Michelsohn | first2=Marie-Louise | author2-link=Marie-Louise Michelsohn| title=स्पिन ज्यामिति| publisher=[[Princeton University Press]] | isbn=978-0-691-08542-5 | year=1989 }} page 14</ref><ref>{{citation | last1=Friedrich|first1=Thomas| title = Dirac Operators in Riemannian Geometry| publisher=[[American Mathematical Society]] | year=2000|isbn=978-0-8218-2055-1}} page 15</ref> [[ विशेष ऑर्थोगोनल समूह |विशेष ऑर्थोगोनल समूह]] {{nowrap|1=SO(''n'') = SO(''n'', '''R''')}} का दोहरा आवरण स्थान है, जैसे कि [[ झूठ समूह |लाई समूह]] का एक संक्षिप्त निर्धारित क्रम अवस्थित है (जब {{nowrap|''n'' ≠ 2}}) | ||
:<math>1 \to \mathrm{Z}_2 \to \operatorname{Spin}(n) \to \operatorname{SO}(n) \to 1.</math> | :<math>1 \to \mathrm{Z}_2 \to \operatorname{Spin}(n) \to \operatorname{SO}(n) \to 1.</math> | ||
लाई समूह के रूप में, स्पिन (n) इसलिए अपने आयाम, एन (एन - 1)/2, और विशेष ओर्थोगोनल समूह के साथ अपने लाई बीजगणित को स्थानांतरित करता है। | |||
{{nowrap|''n'' > 2}} के लिए, स्पिन (n) मुख्य रूप से [[ बस जुड़ा हुआ है |संयोजित]] होता है इसलिए विशेष ऑर्थोगोनल समूह SO(n) के सार्वभौमिक आवरण के साथ समानता रखता है। | |||
[[ कर्नेल (समूह सिद्धांत) ]] के गैर-तुच्छ तत्व को -1 के रूप में दर्शाया गया है, जिसे [[ उत्पत्ति के माध्यम से प्रतिबिंब ]] के ऑर्थोगोनल परिवर्तन के साथ भ्रमित नहीं होना चाहिए, जिसे | [[ कर्नेल (समूह सिद्धांत) |कर्नेल (समूह सिद्धांत)]] के गैर-तुच्छ तत्व को -1 के रूप में दर्शाया गया है, जिसे [[ उत्पत्ति के माध्यम से प्रतिबिंब |उत्पत्ति के माध्यम से प्रतिबिंब]] के ऑर्थोगोनल परिवर्तन के साथ भ्रमित नहीं होना चाहिए, जिसे सामान्यतः -{{math|''I''}} द्वारा निरूपित किया जाता है . | ||
[[ क्लिफर्ड बीजगणित ]] | [[ क्लिफर्ड बीजगणित |क्लिफर्ड बीजगणित]] Cl (n) में उल्टे तत्वों के [[ उपसमूह |उपसमूह]] के रूप में स्पिन (n) का निर्माण किया जा सकता है। एक अलग लेख स्पिन अभ्यावेदन पर चर्चा करता है। | ||
== प्रेरणा और | == प्रेरणा और संरचनात्मक व्याख्या == | ||
स्पिन समूह का उपयोग भौतिकी में (विद्युत रूप से तटस्थ, अपरिवर्तित) फर्मों की समरूपता का वर्णन करने के लिए किया जाता है। इसकी जटिलता | स्पिन समूह का उपयोग भौतिकी में (विद्युत रूप से तटस्थ, अपरिवर्तित) फर्मों की समरूपता का वर्णन करने के लिए किया जाता है। इसकी जटिलता और स्पिन का उपयोग विद्युत रूप से आवेशित [[ फर्मियन |फर्मियन]], विशेष रूप से [[ इलेक्ट्रॉन |इलेक्ट्रॉन]] का वर्णन करने के लिए किया जाता है। सार्वभौमिक कथित रूप से, स्पिन समूह शून्य-आयामी अंतरिक्ष में एक फ़र्मियन का वर्णन करता है; लेकिन निश्चित रूप से, अंतरिक्ष शून्य-आयामी नहीं है, और इसलिए स्पिन समूह का उपयोग (आभासी) [[ रीमैनियन कई गुना |रीमैनियन मैनिफोल्ड्स]] पर [[ स्पिन संरचना |स्पिन संरचना]]ओं को परिभाषित करने के लिए किया जाता है, स्पिन समूह एक [[ स्पिनर बंडल |स्पिनर बंडल]] का [[ संरचना समूह |संरचना समूह]] है। स्पिनर बंडल पर [[ affine कनेक्शन |अफ्फीन (affine) कनेक्शन]] [[ स्पिन कनेक्शन |स्पिन कनेक्शन]] है; स्पिन कनेक्शन उपयोगी है क्योंकि यह [[ सामान्य सापेक्षता |सामान्य सापेक्षता]] में कई जटिल गणनाओं को सरल बना सकता है और सुगमता ला सकता है। परिणामतः स्पिन कनेक्शन [[ डायराक समीकरण |डायराक समीकरण]] को वक्राकार स्पेसटाइम (प्रभावी रूप से टेट्राड (सामान्य सापेक्षता) निर्देशांक में) में लिखने में सक्षम बनाता है, जो बदले में क्वांटम गुरुत्वाकर्षण बल के लिए एक आधार प्रदान करता है, साथ ही [[ हॉकिंग विकिरण |हॉकिंग विकिरण]] (जहां एक विखंडित हुए, आभासी फ़र्मियन की जोड़ी घटना क्षितिज से आगे निकल जाती है, और दूसरा नहीं)। संक्षेप में, स्पिन समूह एक महत्वपूर्ण आधारशिला है, जो आधुनिक सैद्धांतिक भौतिकी में उन्नत अवधारणाओं को समझने के लिए केंद्रीय रूप से महत्वपूर्ण है। गणित में, स्पिन समूह अपने आप में दिलचस्प है: न केवल इन कारणों से, बल्कि और भी कई कारणों से प्रमुख है। | ||
== निर्माण == | == निर्माण == | ||
स्पिन समूह का निर्माण | स्पिन समूह का निर्माण प्रायः एक [[ निश्चित द्विघात रूप |निश्चित द्विघात रूप]] q के साथ एक वास्तविक सदिश स्थान V पर क्लिफर्ड बीजगणित के निर्माण के साथ प्रारम्भ होता है।<ref name="jost">Jürgen Jost, ''Riemannian Geometry and Geometric Analysis'', (2002) Springer Verlag {{isbn|3-540-42627-2}} ''(See Chapter 1.)''</ref> क्लिफर्ड बीजगणित द्वि-स्तरीय आदर्श द्वारा V के [[ टेंसर बीजगणित |टेंसर बीजगणित]] टीवी का भागफल है। टेंसर बीजगणित (वास्तविक से अधिक) को इस रूप में लिखा जा सकता है | ||
:<math>\mathrm{T}V= \mathbb {R} \oplus V \oplus (V\otimes V) \oplus \cdots </math> | :<math>\mathrm{T}V= \mathbb {R} \oplus V \oplus (V\otimes V) \oplus \cdots </math> | ||
क्लिफर्ड बीजगणित | क्लिफर्ड बीजगणित Cl (V) तब [[ भागफल साहचर्य बीजगणित |भागफल साहचर्य बीजगणित]] है | ||
:<math>\operatorname{Cl}(V) = \mathrm{T}V / \left( v \otimes v - q(v) \right) ,</math> | :<math>\operatorname{Cl}(V) = \mathrm{T}V / \left( v \otimes v - q(v) \right) ,</math> | ||
जहाँ <math>q(v)</math> सदिश पर लागू होने वाला द्विघात रूप है <math>v\in V</math>. परिणामी स्थान परिमित आयामी, स्वाभाविक रूप से [[ वर्गीकृत (गणित) |वर्गीकृत (गणित)]] (एक वेक्टर स्थान के रूप में) है, और इसे इस रूप में लिखा जा सकता है | |||
:<math>\operatorname{Cl}(V) = \operatorname{Cl}^0 \oplus \operatorname{Cl}^1 \oplus \operatorname{Cl}^2 \oplus \cdots \oplus \operatorname{Cl}^n</math> | :<math>\operatorname{Cl}(V) = \operatorname{Cl}^0 \oplus \operatorname{Cl}^1 \oplus \operatorname{Cl}^2 \oplus \cdots \oplus \operatorname{Cl}^n</math> | ||
जहाँ <math>V</math>,<math>n</math> का आयाम है , <math>\operatorname{Cl}^0 = \mathbf{R}</math> और <math>\operatorname{Cl}^1 = V</math>. [[ स्पिन बीजगणित |स्पिन बीजगणित]] <math>\mathfrak{spin}</math> की तरह परिभाषित किया गया है | |||
:<math>\operatorname{Cl}^n =\mathfrak{spin}(V) = \mathfrak{spin}(n) ,</math> | :<math>\operatorname{Cl}^n =\mathfrak{spin}(V) = \mathfrak{spin}(n) ,</math> | ||
जहां अंतिम V वास्तविक आयाम n का वास्तविक सदिश स्थान होने के लिए एक | जहां अंतिम V वास्तविक आयाम n का वास्तविक सदिश स्थान होने के लिए एक शार्ट-हैंड है। यह एक लाई बीजगणित है, यह V पर एक प्राकृतिक क्रिया है, और इस तरह <math>\mathfrak{so}(n)</math> विशेष ऑर्थोगोनल समूह की लाई बीजगणित के लिए आइसोमोर्फिक दिखाया जा सकता है। | ||
[[ पिन समूह ]] <math>\operatorname{Pin}(V)</math> का एक उपसमूह है <math>\operatorname{Cl}(V)</math>प्रपत्र के सभी तत्वों का क्लिफोर्ड समूह | [[ पिन समूह | पिन समूह]] <math>\operatorname{Pin}(V)</math> का एक उपसमूह है <math>\operatorname{Cl}(V)</math> प्रपत्र के सभी तत्वों का क्लिफोर्ड समूह | ||
:<math>v_1 v_2 \cdots v_k ,</math> जहां प्रत्येक <math>v_i\in V</math> इकाई लंबाई की है: <math>q(v_i) = 1.</math> | :<math>v_1 v_2 \cdots v_k ,</math> जहां प्रत्येक <math>v_i\in V</math> इकाई लंबाई की है: <math>q(v_i) = 1.</math> | ||
स्पिन समूह | स्पिन समूह के रूप में परिभाषित किया गया है | ||
<math>\operatorname{Spin}(V) = \operatorname{Pin}(V) \cap \operatorname{Cl}^{\text{even}} ,</math> | |||
उन तत्वों द्वारा उत्पन्न उप-समष्टि है जो सदिशों की सम संख्या का गुणनफल | जहाँ | ||
<math>\operatorname{Cl}^\text{even}=\operatorname{Cl}^0 \oplus \operatorname{Cl}^2 \oplus \operatorname{Cl}^4 \oplus \cdots</math> | |||
उन तत्वों द्वारा उत्पन्न उप-समष्टि है जो सदिशों की सम संख्या का गुणनफल हैं अर्थात्, स्पिन (V) में ऊपर दिए गए पिन (V) के सभी तत्व सम्मिलित हैं, जिसमें k एक सम संख्या है। नीचे निर्मित दो-घटक (वेइल) स्पिनरों के गठन के लिए भी उप-स्थान पर प्रतिबंध महत्वपूर्ण है। | |||
यदि सेट <math>\{e_i\}</math> (वास्तविक) वेक्टर स्पेस V का एक अलौकिक आधार है, तो ऊपर का भागफल एक प्राकृतिक एंटी-कम्यूटिंग संरचना के साथ अंतरिक्ष को संपन्न करता है: | यदि सेट <math>\{e_i\}</math> (वास्तविक) वेक्टर स्पेस V का एक अलौकिक आधार है, तो ऊपर का भागफल एक प्राकृतिक एंटी-कम्यूटिंग संरचना के साथ अंतरिक्ष को संपन्न करता है: | ||
:<math>e_i e_j = -e_j e_i</math> के लिए <math>i \ne j ,</math> | :<math>e_i e_j = -e_j e_i</math> के लिए <math>i \ne j ,</math> | ||
जो विचार करके | जो विचार करके <math>v\otimes v</math> के लिए <math>v=e_i+e_j</math> अनुसरण करता है। यह एंटी-कम्यूटेशन भौतिकी में महत्वपूर्ण हो जाता है, क्योंकि यह [[ पाउली अपवर्जन सिद्धांत |पाउली अपवर्जन सिद्धांत]] की भावना को फर्मों के लिए पकड़ लेता है। एक निर्धारित सूत्रीकरण यहाँ दायरे से बाहर है, लेकिन इसमें [[ मिन्कोव्स्की स्पेसटाइम |मिन्कोव्स्की स्पेसटाइम]] पर एक स्पिनर बंडल का निर्माण सम्मिलित है; परिणामी स्पिनर क्षेत्रों को क्लिफर्ड बीजगणित निर्माण के उप-उत्पाद के रूप में विरोधी-आवागमन के रूप में देखा जा सकता है। यह एंटी-कम्यूटेशन गुण [[ सुपरसिमेट्री |सुपरसिमेट्री]] के निर्माण के लिए भी महत्वपूर्ण है। क्लिफर्ड बीजगणित और स्पिन समूह में कई दिलचस्प गुण हैं, जिनमें से कुछ नीचे सूचीबद्ध हैं। | ||
== डबल कवरिंग == | == डबल कवरिंग == | ||
द्विघात स्थान V के लिए, स्पिन (V) द्वारा SO(V) का दोहरा आवरण स्पष्ट रूप से निम्नानुसार दिया जा सकता है। | द्विघात स्थान V के लिए, स्पिन (V) द्वारा SO(V) का दोहरा आवरण स्पष्ट रूप से निम्नानुसार दिया जा सकता है।<math>\{e_i\}</math> V के लिए एक असामान्य आधार बनें। एक [[ antiautomorphism |एंटीऑटोमोरफिस्म]] को परिभाषित करें <math>t : \operatorname{Cl}(V) \to \operatorname{Cl}(V)</math> द्वारा | ||
:<math> | :<math> | ||
\left(e_i e_j \cdots e_k\right)^t | \left(e_i e_j \cdots e_k\right)^t | ||
Line 44: | Line 48: | ||
इसे के सभी तत्वों तक बढ़ाया जा सकता है <math>a,b\in \operatorname{Cl}(V)</math> रैखिकता द्वारा। यह तब से एक एंटीहोमोमोर्फिज्म है | इसे के सभी तत्वों तक बढ़ाया जा सकता है <math>a,b\in \operatorname{Cl}(V)</math> रैखिकता द्वारा। यह तब से एक एंटीहोमोमोर्फिज्म है | ||
:<math> (a b)^t = b^t a^t.</math> | :<math> (a b)^t = b^t a^t.</math> | ||
ध्यान दें कि | ध्यान दें कि पिन(V) को तब सभी तत्वों के रूप में परिभाषित किया जा सकता है <math>a \in \operatorname{Cl}(V)</math> जिसके लिए | ||
:<math>a a^t = 1.</math> | :<math>a a^t = 1.</math> | ||
अब ऑटोमोर्फिज्म को परिभाषित कीजिए <math>\alpha\colon \operatorname{Cl}(V)\to\operatorname{Cl}(V)</math> जो डिग्री 1 तत्वों द्वारा दिया जाता है | अब ऑटोमोर्फिज्म को परिभाषित कीजिए <math>\alpha\colon \operatorname{Cl}(V)\to\operatorname{Cl}(V)</math> जो डिग्री 1 तत्वों द्वारा दिया जाता है | ||
:<math>\alpha(v)=-v,\quad v\in V,</math> | :<math>\alpha(v)=-v,\quad v\in V,</math> | ||
और | और <math>a^*</math> निरूपित <math>\alpha(a)^t</math>, जो Cl(V) का एक एंटीऑटोमोर्फिज्म है। इस संकेतन के साथ, एक स्पष्ट दोहरा आवरण समाकारिता है <math>\operatorname{Pin}(V)\to\operatorname O(V)</math> के द्वारा दिया गया | ||
:<math>\rho(a) v = a v a^* ,</math> | :<math>\rho(a) v = a v a^* ,</math> | ||
जहाँ <math>v \in V</math>. जब a के पास डिग्री 1 हो (अर्थात <math>a\in V</math>), <math>\rho(a)</math> हाइपरप्लेन ऑर्थोगोनल में एक प्रतिबिंब से समानता रखती है; यह क्लिफोर्ड बीजगणित की एंटी-कम्यूटिंग से निर्मित होती है। | |||
यह पिन ( | यह पिन (V) द्वारा O(V) और स्पिन (V) द्वारा SO(V) दोनों का दोहरा आवरण देता है क्योंकि <math>a</math> के समान परिवर्तन देता है। | ||
== स्पिनर स्पेस == | == स्पिनर स्पेस == | ||
इस औपचारिकता को देखते हुए, स्पिनर स्पेस और [[ वेइल स्पिनर ]] | इस औपचारिकता को देखते हुए, स्पिनर स्पेस और [[ वेइल स्पिनर |वेइल स्पिनर]] का निर्माण कैसे किया जाता है, इसकी समीक्षा करना उचित है। आयाम की एक वास्तविक सदिश समष्टि V दी गई है {{nowrap|1=''n'' = 2''m''}} एक सम संख्या, इसकी [[ जटिलता |जटिलता]] है <math>V \otimes \mathbf{C}</math>. इसे एक उपसमष्टि के प्रत्यक्ष योग के रूप में लिखा जा सकता है <math>W</math> स्पिनरों और एक उप-स्थान की <math>\overline{W}</math> विरोधी स्पिनरों की: | ||
:<math>V \otimes \mathbf{C} = W \oplus \overline{W}</math> | :<math>V \otimes \mathbf{C} = W \oplus \overline{W}</math> | ||
अंतरिक्ष <math>W</math> स्पिनरों द्वारा फैलाया जाता है | अंतरिक्ष <math>W</math> स्पिनरों द्वारा फैलाया जाता है | ||
<math>\eta_k = \left( e_{2k-1} - ie_{2k} \right) / \sqrt 2</math> | <math>\eta_k = \left( e_{2k-1} - ie_{2k} \right) / \sqrt 2</math> | ||
के लिए <math>1\le k\le m</math> और जटिल संयुग्मी स्पिनर स्पैन <math>\overline{W}</math>. यह देखना सीधा है कि स्पिनर एंटी-कम्यूट करते हैं, और स्पिनर और एंटी-स्पिनर का उत्पाद एक | के लिए <math>1\le k\le m</math> और जटिल संयुग्मी स्पिनर स्पैन <math>\overline{W}</math>. यह देखना सीधा है कि स्पिनर एंटी-कम्यूट करते हैं, और स्पिनर और एंटी-स्पिनर का उत्पाद एक सदिश है। | ||
स्पिनर स्पेस को [[ बाहरी बीजगणित ]] के रूप में परिभाषित किया गया | स्पिनर स्पेस को [[ बाहरी बीजगणित |बाहरी बीजगणित]] के रूप में परिभाषित किया गया है। क्लिफोर्ड बीजगणित स्वाभाविक रूप से इस स्थान पर कार्य करता है, (जटिल) स्पिन समूह लंबाई-संरक्षण [[ एंडोमोर्फिज्म |एंडोमोर्फिज्म]] से समानता रखता है। बाहरी बीजगणित पर एक प्राकृतिक ग्रेडिंग है, विषम संख्या में प्रतियों का गुणनफल <math>W</math> फर्मिऑन्स की भौतिकी धारणा के अनुरूप सम उपसमष्टि बोसोन के अनुरूप है। स्पिनर स्पेस पर स्पिन समूह की कार्रवाई का प्रतिनिधित्व अपेक्षाकृत सरल फैशन में बनाया जा सकता है।<ref name="jost"/> | ||
== जटिल | == जटिल परिस्थिति == | ||
{{Main| | {{Main|स्पिन संरचना#स्पिन C संरचनाएं}} | ||
द स्पिन | |||
द स्पिन समूह को निर्धारित अनुक्रम द्वारा परिभाषित किया गया है | |||
:<math>1 \to \mathrm{Z}_2 \to \operatorname{Spin}^{\mathbf{C}}(n) \to \operatorname{SO}(n)\times \operatorname{U}(1) \to 1.</math> | :<math>1 \to \mathrm{Z}_2 \to \operatorname{Spin}^{\mathbf{C}}(n) \to \operatorname{SO}(n)\times \operatorname{U}(1) \to 1.</math> | ||
यह जटिलता का गुणक उपसमूह है <math>\operatorname{Cl}(V)\otimes \mathbf{C}</math> क्लिफर्ड बीजगणित का, और विशेष रूप से, यह स्पिन ( | यह जटिलता का गुणक उपसमूह है <math>\operatorname{Cl}(V)\otimes \mathbf{C}</math> क्लिफर्ड बीजगणित का, और विशेष रूप से, यह स्पिन (V) और 'C' में यूनिट सर्कल द्वारा उत्पन्न उपसमूह है। वैकल्पिक रूप से, यह भागफल है | ||
:<math>\operatorname{Spin}^{\mathbf{C}}(V) = \left( \operatorname{Spin}(V) \times S^1 \right) / \sim</math> | :<math>\operatorname{Spin}^{\mathbf{C}}(V) = \left( \operatorname{Spin}(V) \times S^1 \right) / \sim</math> | ||
जहां समानता <math>\sim</math> पहचानता {{nowrap|(''a'', ''u'')}} साथ {{nowrap|(−''a'', −''u'')}}. | जहां समानता <math>\sim</math> पहचानता {{nowrap|(''a'', ''u'')}} साथ {{nowrap|(−''a'', −''u'')}}. | ||
इसमें 4-मैनिफोल्ड थ्योरी और सीबर्ग-विटन थ्योरी में महत्वपूर्ण अनुप्रयोग हैं। भौतिकी में, स्पिन समूह अनावेशित फ़र्मियन का वर्णन करने के लिए उपयुक्त है, जबकि स्पिन<sup>C</sup> समूह का उपयोग [[ विद्युत ]] आवेशित फ़र्मियन का वर्णन करने के लिए किया जाता है। इस | इसमें 4-मैनिफोल्ड थ्योरी और सीबर्ग-विटन थ्योरी में महत्वपूर्ण अनुप्रयोग हैं। भौतिकी में, स्पिन समूह अनावेशित फ़र्मियन का वर्णन करने के लिए उपयुक्त है, जबकि स्पिन<sup>C</sup> समूह का उपयोग [[ विद्युत |विद्युत]] आवेशित फ़र्मियन का वर्णन करने के लिए किया जाता है। इस परिस्थिति में, यू (1) समरूपता विशेष रूप से विद्युत चुंबकत्व का [[ गेज समूह |गेज समूह]] है। | ||
== [[ असाधारण समरूपता ]] == | == [[ असाधारण समरूपता ]] == | ||
कम आयामों में, असाधारण [[ समाकृतिकता ]] कहे जाने वाले | कम आयामों में, असाधारण [[ समाकृतिकता |समाकृतिकता]] कहे जाने वाले मानक लाई समूहों के बीच समरूपताएं हैं। उदाहरण के लिए, साधारण लाई बीजगणित के विभिन्न परिवारों के [[ मूल प्रक्रिया |मूल प्रक्रिया]] (और [[ डायनकिन आरेख |डायनकिन आरेख]] के संगत समरूपता) के बीच निम्न-आयामी समरूपता के कारण निम्न-आयामी स्पिन समूहों और कुछ मानक लाई समूहों के बीच समरूपताएं हैं। वास्तविक के लिए 'R' लिखना, जटिल संख्याओं के लिए 'C', चतुष्कोणों के लिए 'h' और सामान्य समझ है कि Cl (n) Cl<sup>n</sup> ('R' के लिए एक संक्षिप्त पक्ष है) और वह स्पिन (n) स्पिन('R') के लिए शॉर्ट-हैंड है<sup>n</sup>) और इसी तरह, एक के पास वह समूह है<ref name="jost"/> | ||
: | :Cl<sup>सम</sup>(1) = R वास्तविक संख्याएँ | ||
: | : Pin(1) = {+i, -i, +1, -1} | ||
: | :Spin(1) = O(1) = {+1, −1} लंबकोणीय समूह, | ||
:आयाम शून्य का लंबकोणीय समूह। | |||
-- | -- | ||
: | :Cl<sup>सम</sup>(2) = C सम्मिश्र संख्याएँ | ||
: | : Spin(2) = U (1) = विशेष ऑर्थोगोनल समूह, | ||
:SO (2), जो R<sup>2</sup> में 'Z' पर कार्य करता है डबल फेज रोटेशन द्वारा {{nowrap|''z'' ↦ ''u''<sup>2</sup>''z''}}. dim = 1 | |||
-- | -- | ||
: | :Cl<sup>सम</sup>(3) = चतुष्कोण H | ||
: | : Spin (3) = [[ सहानुभूतिपूर्ण समूह |कोरसपोंडेंस समूह]], | ||
:Sp (1) = [[ विशेष एकात्मक समूह |विशेष एकात्मक समूह]], | |||
:SU (2), इसके अनुरूप <math>B_1 \cong A_1</math>. dim = 3 | |||
-- | -- | ||
: | :Cl<sup>सम</sup>(4) = H ⊕ H | ||
: | :Spin(4) = SU(2) × SU(2), इसके अनुरूप <math>D_2 \cong A_1 \times A_1</math>. dim = 6 | ||
-- | -- | ||
: | :Cl<sup>सम</sup>(5)= M(2, H) चतुर्थ गुणांक वाले दो-दो आव्यूह | ||
: | : Spin (5) = कोरसपोंडेंस समूह, | ||
:Sp (2), इसके अनुरूप <math>B_2 \cong C_2</math>. dim = 10 | |||
-- | -- | ||
: | :Cl<sup>सम</sup>(6)= M(4, C) जटिल गुणांक वाले चार गुणा चार आव्यूह | ||
: | : Spin (6) = विशेष एकात्मक समूह, | ||
:SU (4), इसके अनुरूप <math>D_3 \cong A_3</math>. dim = 15 | |||
इन समरूपताओं के कुछ अवशेषों के लिए {{nowrap|1=''n'' = 7, 8}} छोड़ दिया गया है (अधिक विवरण के लिए [[ स्पिन(8) |स्पिन(8)]] (8) देखें)। उच्च n के लिए, ये समरूपता पूरी तरह से अदृश्य हो जाती है। | |||
== अनिश्चितकालीन संकेत == | |||
[[ हस्ताक्षर (द्विघात रूप) |संकेत (द्विघात रूप)]] में, स्पिन समूह {{nowrap|Spin(''p'', ''q'')}} क्लिफर्ड बीजगणित के माध्यम से मानक स्पिन समूहों के समान बनाया गया है। यह एक {{nowrap|SO<sub>0</sub>(''p'', ''q'')}} [[ आवरण समूह |आवरण समूह]] है, [[ अनिश्चितकालीन ऑर्थोगोनल समूह |अनिश्चितकालीन ऑर्थोगोनल समूह]] की [[ पहचान का जुड़ा हुआ घटक |पहचान का जुड़ा हुआ घटक]] {{nowrap|SO(''p'', ''q'')}}. जिसके लिए {{nowrap|1=''p'' + ''q'' > 2}}, {{nowrap|Spin(''p'', ''q'')}} जुड़ा हुआ है; जिसके लिए {{nowrap|1=(''p'', ''q'') = (1, 1)}} दो जुड़े हुए घटक हैं।<ref name=":0">{{Cite book|title=गणितज्ञों के लिए सुपरसिममेट्री: एक परिचय|last=Varadarajan|first=V. S.|date=2004|publisher=American Mathematical Society|isbn=0821835742|location=Providence, R.I.|oclc=55487352}}</ref>{{rp|193}} निश्चित संकेत के रूप में, निम्न आयामों में कुछ आकस्मिक समरूपताएँ हैं: | |||
:Spin(1, 1) = [[General linear group|GL(1, '''R''')]] | |||
:Spin(2, 1) = [[SL2(R)|SL(2, '''R''')]] | |||
:Spin(3, 1) = [[Special linear group|SL(2, '''C''')]] | |||
:Spin(2, 2) = [[SL2(R)|SL(2, '''R''')]] × [[SL2(R)|SL(2, '''R''')]] | |||
:Spin(4, 1) = [[Symplectic group|Sp(1, 1)]] | |||
:Spin(3, 2) = [[Symplectic group|Sp(4, '''R''')]] | |||
:Spin(5, 1) = [[Special linear group|SL(2, '''H''')]] | |||
:Spin(4, 2) = [[Special unitary group|SU(2, 2)]] | |||
:Spin(3, 3) = [[Special linear group|SL(4, '''R''')]] | |||
:Spin(6, 2) = [[Special unitary group|SU(2, 2, '''H''')]] | |||
ध्यान दें कि {{nowrap|1=Spin(''p'', ''q'') = Spin(''q'', ''p'')}}. | |||
== सामयिक विचार == | == सामयिक विचार == | ||
[[ जुड़ा हुआ स्थान ]] और बस कनेक्टेड लाइ ग्रुप्स को उनके ले बीजगणित द्वारा वर्गीकृत किया जाता है। इसलिए यदि | [[ जुड़ा हुआ स्थान |जुड़ा हुआ स्थान]] और बस कनेक्टेड लाइ ग्रुप्स को उनके ले बीजगणित द्वारा वर्गीकृत किया जाता है। इसलिए यदि G एक साधारण लाई बीजगणित के साथ जुड़ा हुआ लाई समूह है, G के सार्वभौमिक आवरण G के साथ, इसमें एक समावेश है | ||
:<math> \pi_1 (G) \subset \operatorname{Z}(G'), </math> | :<math> \pi_1 (G) \subset \operatorname{Z}(G'), </math> | ||
Z(G′) के साथ G′ का [[ केंद्र (समूह सिद्धांत) ]] | Z(G′) के साथ G′ का [[ केंद्र (समूह सिद्धांत) |केंद्र (समूह सिद्धांत)]] यह समावेशन और लाई बीजगणित <math>\mathfrak{g}</math> G पूरी तरह से निर्धारित करता है (ध्यान दें कि ऐसा नहीं है कि <math>\mathfrak{g}</math> और π<sub>1</sub>(जी) पूरी तरह से जी का निर्धारण; उदाहरण के लिए SL(2, 'R') और PSL(2, 'R') में समान लाई बीजगणित और समान मौलिक समूह 'Z' है, लेकिन आइसोमॉर्फिक नहीं हैं)। | ||
निश्चित सिग्नेचर स्पिन(n) सभी बस n > 2 के लिए जुड़े हुए हैं, इसलिए वे SO(n) के सार्वभौमिक आवरण हैं। | निश्चित सिग्नेचर स्पिन(n) सभी बस n > 2 के लिए जुड़े हुए हैं, इसलिए वे SO(n) के सार्वभौमिक आवरण हैं। | ||
अनिश्चितकालीन | अनिश्चितकालीन संकेत में, स्पिन (p, q) आवश्यक रूप से जुड़ा नहीं है, और सामान्यतः [[ पहचान घटक |पहचान घटक]], Spin<sub>0</sub>(p, q), केवल जुड़ा नहीं है, इस प्रकार यह एक सार्वभौमिक आवरण नहीं है। [[ मौलिक समूह |मौलिक समूह]] को SO(p, q) के [[ अधिकतम कॉम्पैक्ट उपसमूह |अधिकतम कॉम्पैक्ट उपसमूह]] पर विचार करके सबसे आसानी से समझा जा सकता है, जो SO(p) ×SO(q) है, और ध्यान दें कि 2-गुना आवरण का उत्पाद होने के बजाय (इसलिए a 4-गुना आवरण), स्पिन (p, q) विकर्ण 2-गुना आवरण है, यह 4-गुना आवरण का 2-गुना भागफल है। स्पष्ट रूप से, स्पिन (p, q) का अधिकतम कॉम्पैक्ट कनेक्टेड उपसमूह है | ||
: | :Spin(p) × Spin(q)/{(1, 1), (−1, −1)}. | ||
यह हमें | यह हमें Spin (p, q) के मौलिक समूहों की गणना करने की अनुमति देता है, p ≥ q लेते हुए: | ||
:<math>\pi_1(\mbox{Spin}(p,q)) = \begin{cases} | :<math>\pi_1(\mbox{Spin}(p,q)) = \begin{cases} | ||
Line 137: | Line 158: | ||
\mathrm{Z}_2 & p, q >2\\ | \mathrm{Z}_2 & p, q >2\\ | ||
\end{cases}</math> | \end{cases}</math> | ||
इस प्रकार एक बार {{nowrap|''p'', ''q'' > 2}} मौलिक समूह Z | इस प्रकार एक बार {{nowrap|''p'', ''q'' > 2}} मौलिक समूह Z<sub>2</sub> है, क्योंकि यह दो सार्वभौमिक आवरणों के उत्पाद का 2 गुना भागफल है। | ||
मौलिक समूहों पर मानचित्र इस प्रकार दिए गए हैं। | मौलिक समूहों पर मानचित्र इस प्रकार दिए गए हैं। जिसके लिए {{nowrap|''p'', ''q'' > 2}}, इसका तात्पर्य है कि मैप {{nowrap|π<sub>1</sub>(Spin(''p'', ''q'')) → π<sub>1</sub>(SO(''p'', ''q''))}} द्वारा दिया गया है, {{nowrap|1 ∈ Z<sub>2</sub>}} {{nowrap|(1, 1) ∈ Z<sub>2</sub> × Z<sub>2</sub>}}. के लिए {{nowrap|1=''p'' = 2, ''q'' > 2}}, यह नक्शा द्वारा दिया गया है {{nowrap|1 ∈ '''Z''' → (1,1) ∈ '''Z''' × Z<sub>2</sub>}}. और अंत में, के लिए {{nowrap|1=''p'' = ''q'' = 2}}, {{nowrap|(1, 0) ∈ '''Z''' × '''Z'''}} को भेजा जाता है {{nowrap|(1,1) ∈ '''Z''' × '''Z'''}} और {{nowrap|(0, 1)}} को {{nowrap|(1, −1)}} भेजा जाता है। | ||
== केंद्र == | == केंद्र == | ||
स्पिन समूहों | स्पिन समूहों के केंद्र के लिए {{nowrap|''n'' ≥ 3}}, (जटिल और वास्तविक) इस प्रकार दिए गए हैं:<ref name=":0" />{{rp|208}} | ||
:<math>\begin{align} | :<math>\begin{align} | ||
\operatorname{Z}(\operatorname{Spin}(n,\mathbf{C})) &= \begin{cases} | \operatorname{Z}(\operatorname{Spin}(n,\mathbf{C})) &= \begin{cases} | ||
Line 158: | Line 179: | ||
== भागफल समूह == | == भागफल समूह == | ||
केंद्र के एक उपसमूह द्वारा | केंद्र के एक उपसमूह द्वारा उद्धरण समूह प्राप्त किया जा सकता है, स्पिन समूह के साथ परिणामी भागफल का एक आवरणिंग समूह होता है, और दोनों समूहों में एक ही लाई बीजगणित होता है। | ||
पूरे केंद्र द्वारा भाग लेने से न्यूनतम ऐसे समूह का उत्पादन होता है, जैसे कि प्रक्षेपी विशेष ऑर्थोगोनल समूह, जो [[ केंद्रहीन |केंद्रहीन]] होता है, जबकि {±1} द्वारा भाग निकालने से विशेष ऑर्थोगोनल समूह प्राप्त होता है, यदि केंद्र {±1} के बराबर होता है (अर्थात् विषम आयाम में), ये दो भागफल समूह सहमत हैं। यदि स्पिन समूह बस जुड़ा हुआ है (जैसा कि स्पिन (n) के लिए है {{nowrap|''n'' > 2}}), तो स्पिन अनुक्रम में अधिकतम समूह है, और एक के पास तीन समूहों का अनुक्रम है, | |||
:Spin(n) → SO(n) → PSO(n), | |||
समता उपज द्वारा विभाजन: | समता उपज द्वारा विभाजन: | ||
: | :Spin(2n) → SO(2n) → PSO(2n), | ||
: | :Spin(2n+1) → SO(2n+1) = PSO(2n+1), | ||
जो तीन [[ कॉम्पैक्ट वास्तविक रूप ]] हैं (या दो, यदि {{nowrap|1=SO = PSO}}) कॉम्पैक्ट लाई बीजगणित का <math>\mathfrak{so} (n, \mathbf{R}).</math> | जो तीन [[ कॉम्पैक्ट वास्तविक रूप |कॉम्पैक्ट वास्तविक रूप]] हैं (या दो, यदि {{nowrap|1=SO = PSO}}) कॉम्पैक्ट लाई बीजगणित का <math>\mathfrak{so} (n, \mathbf{R}).</math> | ||
आवरण और भागफल के होमोटोपी समूह एक कंपन के लंबे | आवरण और भागफल के होमोटोपी समूह एक कंपन के लंबे निर्धारित अनुक्रम से संबंधित होते हैं, असतत फाइबर (कर्नेल होने वाला फाइबर) के साथ इस प्रकार सभी होमोटोपी समूह {{nowrap|''k'' > 1}} बराबर हैं, लेकिन π<sub>0</sub> और π<sub>1</sub> अलग हो सकता है। | ||
{{nowrap|''n'' > 2}} के लिए , स्पिन (n) बस जुड़ा हुआ है ({{nowrap|1=π<sub>0</sub> = π<sub>1</sub> = Z<sub>1</sub>}} तुच्छ है), इसलिए SO(n) जुड़ा हुआ है और इसका मूलभूत समूह Z<sub>2</sub> है जबकि PSO (n) जुड़ा हुआ है और स्पिन (n) के केंद्र के बराबर मौलिक समूह है। | |||
अनिश्चितकालीन | अनिश्चितकालीन संकेत में आवरण और होमोटॉपी समूह अधिक जटिल होते हैं, स्पिन (p, q) केवल जुड़ा नहीं होता है, और भागफल भी जुड़े हुए घटकों को प्रभावित करता है। यदि कोई अधिकतम (जुड़ा हुआ) कॉम्पैक्ट मानता है तो विश्लेषण सरल होता है {{nowrap|SO(''p'') × SO(''q'') ⊂ SO(''p'', ''q'')}} और [[ घटक समूह |घटक समूह]] {{nowrap|Spin(''p'', ''q'')}}. | ||
== [[ व्हाइटहेड टॉवर ]] == | == [[ व्हाइटहेड टॉवर | व्हाइटहेड स्तम्भ]] == | ||
स्पिन समूह ऑर्थोगोनल समूह द्वारा लगाए गए व्हाइटहेड टावर में दिखाई देता है: | स्पिन समूह ऑर्थोगोनल समूह द्वारा लगाए गए व्हाइटहेड टावर में दिखाई देता है: | ||
:<math>\ldots\rightarrow \text{Fivebrane}(n) \rightarrow \text{String}(n)\rightarrow \text{Spin}(n)\rightarrow \text{SO}(n) \rightarrow \text{O}(n) </math> | :<math>\ldots\rightarrow \text{Fivebrane}(n) \rightarrow \text{String}(n)\rightarrow \text{Spin}(n)\rightarrow \text{SO}(n) \rightarrow \text{O}(n) </math> | ||
बढ़ते क्रम के होमोटोपी समूहों को क्रमिक रूप से हटाकर | बढ़ते क्रम के होमोटोपी समूहों को क्रमिक रूप से हटाकर स्तम्भ प्राप्त किया जाता है। यह होमोटॉपी समूह को हटाए जाने के लिए एलेनबर्ग-मैकलेन स्थान से प्रारम्भ होने वाले छोटे निर्धारित अनुक्रमों का निर्माण करके किया जाता है। {{pi}}<sub>3</sub> स्पिन (n) में होमोटोपी समूह, अनंत-आयामी [[ स्ट्रिंग समूह |स्ट्रिंग समूह]] स्ट्रिंग (n) प्राप्त करता है। | ||
== असतत उपसमूह == | == असतत उपसमूह == | ||
स्पिन समूह के असतत उपसमूहों को विशेष ऑर्थोगोनल समूह (घूर्णी [[ बिंदु समूह ]]) के असतत उपसमूहों से संबंधित करके समझा जा सकता है। | स्पिन समूह के असतत उपसमूहों को विशेष ऑर्थोगोनल समूह (घूर्णी [[ बिंदु समूह |बिंदु समूह]]) के असतत उपसमूहों से संबंधित करके समझा जा सकता है। | ||
डबल आवरण दिया {{nowrap|Spin(''n'') → SO(''n'')}}, [[ जाली प्रमेय |जाली प्रमेय]] द्वारा, स्पिन (n) के उपसमूहों और SO (n) (घूर्णी बिंदु समूहों) के उपसमूहों के बीच [[ गाल्वा कनेक्शन |गाल्वा कनेक्शन]] है: स्पिन (n) के एक उपसमूह की छवि एक घूर्णी बिंदु समूह है, और प्रीइमेज एक बिंदु समूह स्पिन (n) का एक उपसमूह है, और स्पिन (n) के उपसमूहों पर [[ बंद करने वाला ऑपरेटर |बंद करने वाला ऑपरेटर]] {±1} से गुणा है। इन्हें बाइनरी पॉइंट ग्रुप कहा जा सकता है; सबसे परिचित 3-आयामी परिस्थिति है, जिसे [[ बाइनरी पॉलीहेड्रल समूह |बाइनरी पॉलीहेड्रल समूह]] के रूप में जाना जाता है। | |||
ठोस रूप से, प्रत्येक बाइनरी बिंदु समूह या तो एक बिंदु समूह का प्रीइमेज है (इसलिए बिंदु समूह G के लिए 2G को दर्शाया गया है), या एक बिंदु समूह के प्रीइमेज का एक इंडेक्स 2 उपसमूह है जो बिंदु समूह पर मैप करता है, (आइसोमॉर्फिक रूप से) बाद के परिस्थिति में पूर्ण बाइनरी समूह सारगर्भित है। | |||
<math>\mathrm{C}_2 \times G</math> (चूंकि {±1} केंद्रीय है) | |||
इन उत्तरार्द्धों के उदाहरण के रूप में, विषम क्रम का चक्रीय समूह दिया गया है, | |||
<math>\mathrm{Z}_{2k+1}</math> SO(n) में, इसकी पूर्व छवि दो बार क्रम का एक चक्रीय समूह है, | |||
<math>\mathrm{C}_{4k+2} \cong \mathrm{Z}_{2k+1} \times \mathrm{Z}_2,</math> और उपसमूह {{nowrap|Z<sub>2''k''+1</sub> < Spin(''n'')}} आइसोमॉर्फिक {{nowrap|Z<sub>2''k''+1</sub> < SO(''n'')}} रूप से मैप करता है। | |||
विशेष नोट की दो श्रृंखलाएँ हैं: | विशेष नोट की दो श्रृंखलाएँ हैं: | ||
* उच्च [[ बाइनरी टेट्राहेड्रल समूह ]], एन-सिम्प्लेक्स के समरूपता के 2 गुना | * उच्च [[ बाइनरी टेट्राहेड्रल समूह |बाइनरी टेट्राहेड्रल समूह]], एन-सिम्प्लेक्स के समरूपता के 2 गुना आवरण के अनुरूप; इस समूह को वैकल्पिक और सममित समूहों के कवरिंग समूह के रूप में भी माना जा सकता है, {{nowrap|2⋅A<sub>''n''</sub> → A<sub>''n''</sub>}}, वैकल्पिक समूह के साथ n-सिम्प्लेक्स का (घूर्णी) समरूपता समूह है। | ||
* उच्च [[ बाइनरी ऑक्टाहेड्रल समूह ]], [[ हाइपरऑक्टाहेड्रल समूह ]] के 2-गुना | * उच्च [[ बाइनरी ऑक्टाहेड्रल समूह |बाइनरी ऑक्टाहेड्रल समूह]], [[ हाइपरऑक्टाहेड्रल समूह |हाइपरऑक्टाहेड्रल समूह]] के 2-गुना आवरण ([[ अतिविम |अतिविम]] की समरूपता, या इसके दोहरे, [[ क्रॉस-पॉलीटॉप |क्रॉस-पॉलीटॉप]] के समतुल्य) के अनुरूप प्रकृति प्रदर्शित करते हैं। | ||
बिंदु समूहों के लिए जो ओरिएंटेशन को उल्टा करते हैं, स्थिति अधिक जटिल होती है, क्योंकि दो पिन समूह होते हैं, इसलिए किसी दिए गए बिंदु समूह के अनुरूप दो संभावित बाइनरी समूह होते हैं। | बिंदु समूहों के लिए जो ओरिएंटेशन को उल्टा करते हैं, उनकी स्थिति अधिक जटिल होती है, क्योंकि दो पिन समूह होते हैं, इसलिए किसी दिए गए बिंदु समूह के अनुरूप दो संभावित बाइनरी समूह होते हैं। | ||
== यह भी देखें == | == यह भी देखें == | ||
Line 198: | Line 229: | ||
* स्पिनर बंडल | * स्पिनर बंडल | ||
* स्पिन संरचना | * स्पिन संरचना | ||
* [[ | * [[ लाई समूहों की तालिका ]] | ||
* कोई भी | * कोई भी | ||
* [[ अभिविन्यास उलझाव ]] | * [[ अभिविन्यास उलझाव ]] | ||
Line 205: | Line 236: | ||
=== संबंधित समूह === | === संबंधित समूह === | ||
* पिन ग्रुप पिन ( | * पिन ग्रुप पिन (n) - ऑर्थोगोनल ग्रुप का दो गुना आवरण, O(n) | ||
* [[ मेटाप्लेक्टिक समूह ]] Mp(2n) - सहानुभूति समूह का दोहरा आवरण, Sp(2n) | * [[ मेटाप्लेक्टिक समूह |मेटाप्लेक्टिक समूह]] Mp(2n) - सहानुभूति समूह का दोहरा आवरण, Sp(2n) | ||
* स्ट्रिंग समूह स्ट्रिंग ( | * स्ट्रिंग समूह स्ट्रिंग (n) - व्हाइटहेड स्तम्भ में अगला समूह | ||
==संदर्भ== | ==संदर्भ== | ||
Line 214: | Line 245: | ||
== बाहरी कड़ियाँ == | == बाहरी कड़ियाँ == | ||
* The [[essential dimension]] of | * The [[essential dimension]] of sपिन groups is [[OEIS:A280191]]. | ||
* Grothendieck's "torsion index" is [[OEIS:A096336]]. | * Grothendieck's "torsion index" is [[OEIS:A096336]]. | ||
* | |||
* | |||
==आगे की पढाई== | ==आगे की पढाई== | ||
* {{Cite book | last1=Karoubi | first1=Max|title=K-Theory | publisher=Springer | isbn=978-3-540-79889-7 | year=2008 |pages=210–214}} | * {{Cite book | last1=Karoubi | first1=Max|title=K-Theory | publisher=Springer | isbn=978-3-540-79889-7 | year=2008 |pages=210–214}} | ||
{{DEFAULTSORT:Spin Group}} | {{DEFAULTSORT:Spin Group}} | ||
[[Category: | [[Category:Articles with hatnote templates targeting a nonexistent page|Spin Group]] | ||
[[Category:Created On 27/12/2022]] | [[Category:Articles with short description|Spin Group]] | ||
[[Category:Created On 27/12/2022|Spin Group]] | |||
[[Category:Lua-based templates|Spin Group]] | |||
[[Category:Machine Translated Page|Spin Group]] | |||
[[Category:Mathematics sidebar templates|Spin Group]] | |||
[[Category:Multi-column templates|Spin Group]] | |||
[[Category:Pages using div col with small parameter|Spin Group]] | |||
[[Category:Pages with script errors|Spin Group]] | |||
[[Category:Physics sidebar templates|Spin Group]] | |||
[[Category:Short description with empty Wikidata description|Spin Group]] | |||
[[Category:Sidebars with styles needing conversion|Spin Group]] | |||
[[Category:Templates Vigyan Ready|Spin Group]] | |||
[[Category:Templates that add a tracking category|Spin Group]] | |||
[[Category:Templates that generate short descriptions|Spin Group]] | |||
[[Category:Templates using TemplateData|Spin Group]] | |||
[[Category:Templates using under-protected Lua modules|Spin Group]] | |||
[[Category:Wikipedia fully protected templates|Div col]] |
Latest revision as of 10:22, 24 January 2023
बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
---|
गणित में स्पिन समूह स्पिन(n)[1][2] विशेष ऑर्थोगोनल समूह SO(n) = SO(n, R) का दोहरा आवरण स्थान है, जैसे कि लाई समूह का एक संक्षिप्त निर्धारित क्रम अवस्थित है (जब n ≠ 2)
लाई समूह के रूप में, स्पिन (n) इसलिए अपने आयाम, एन (एन - 1)/2, और विशेष ओर्थोगोनल समूह के साथ अपने लाई बीजगणित को स्थानांतरित करता है।
n > 2 के लिए, स्पिन (n) मुख्य रूप से संयोजित होता है इसलिए विशेष ऑर्थोगोनल समूह SO(n) के सार्वभौमिक आवरण के साथ समानता रखता है।
कर्नेल (समूह सिद्धांत) के गैर-तुच्छ तत्व को -1 के रूप में दर्शाया गया है, जिसे उत्पत्ति के माध्यम से प्रतिबिंब के ऑर्थोगोनल परिवर्तन के साथ भ्रमित नहीं होना चाहिए, जिसे सामान्यतः -I द्वारा निरूपित किया जाता है .
क्लिफर्ड बीजगणित Cl (n) में उल्टे तत्वों के उपसमूह के रूप में स्पिन (n) का निर्माण किया जा सकता है। एक अलग लेख स्पिन अभ्यावेदन पर चर्चा करता है।
प्रेरणा और संरचनात्मक व्याख्या
स्पिन समूह का उपयोग भौतिकी में (विद्युत रूप से तटस्थ, अपरिवर्तित) फर्मों की समरूपता का वर्णन करने के लिए किया जाता है। इसकी जटिलता और स्पिन का उपयोग विद्युत रूप से आवेशित फर्मियन, विशेष रूप से इलेक्ट्रॉन का वर्णन करने के लिए किया जाता है। सार्वभौमिक कथित रूप से, स्पिन समूह शून्य-आयामी अंतरिक्ष में एक फ़र्मियन का वर्णन करता है; लेकिन निश्चित रूप से, अंतरिक्ष शून्य-आयामी नहीं है, और इसलिए स्पिन समूह का उपयोग (आभासी) रीमैनियन मैनिफोल्ड्स पर स्पिन संरचनाओं को परिभाषित करने के लिए किया जाता है, स्पिन समूह एक स्पिनर बंडल का संरचना समूह है। स्पिनर बंडल पर अफ्फीन (affine) कनेक्शन स्पिन कनेक्शन है; स्पिन कनेक्शन उपयोगी है क्योंकि यह सामान्य सापेक्षता में कई जटिल गणनाओं को सरल बना सकता है और सुगमता ला सकता है। परिणामतः स्पिन कनेक्शन डायराक समीकरण को वक्राकार स्पेसटाइम (प्रभावी रूप से टेट्राड (सामान्य सापेक्षता) निर्देशांक में) में लिखने में सक्षम बनाता है, जो बदले में क्वांटम गुरुत्वाकर्षण बल के लिए एक आधार प्रदान करता है, साथ ही हॉकिंग विकिरण (जहां एक विखंडित हुए, आभासी फ़र्मियन की जोड़ी घटना क्षितिज से आगे निकल जाती है, और दूसरा नहीं)। संक्षेप में, स्पिन समूह एक महत्वपूर्ण आधारशिला है, जो आधुनिक सैद्धांतिक भौतिकी में उन्नत अवधारणाओं को समझने के लिए केंद्रीय रूप से महत्वपूर्ण है। गणित में, स्पिन समूह अपने आप में दिलचस्प है: न केवल इन कारणों से, बल्कि और भी कई कारणों से प्रमुख है।
निर्माण
स्पिन समूह का निर्माण प्रायः एक निश्चित द्विघात रूप q के साथ एक वास्तविक सदिश स्थान V पर क्लिफर्ड बीजगणित के निर्माण के साथ प्रारम्भ होता है।[3] क्लिफर्ड बीजगणित द्वि-स्तरीय आदर्श द्वारा V के टेंसर बीजगणित टीवी का भागफल है। टेंसर बीजगणित (वास्तविक से अधिक) को इस रूप में लिखा जा सकता है
क्लिफर्ड बीजगणित Cl (V) तब भागफल साहचर्य बीजगणित है
जहाँ सदिश पर लागू होने वाला द्विघात रूप है . परिणामी स्थान परिमित आयामी, स्वाभाविक रूप से वर्गीकृत (गणित) (एक वेक्टर स्थान के रूप में) है, और इसे इस रूप में लिखा जा सकता है
जहाँ , का आयाम है , और . स्पिन बीजगणित की तरह परिभाषित किया गया है
जहां अंतिम V वास्तविक आयाम n का वास्तविक सदिश स्थान होने के लिए एक शार्ट-हैंड है। यह एक लाई बीजगणित है, यह V पर एक प्राकृतिक क्रिया है, और इस तरह विशेष ऑर्थोगोनल समूह की लाई बीजगणित के लिए आइसोमोर्फिक दिखाया जा सकता है।
पिन समूह का एक उपसमूह है प्रपत्र के सभी तत्वों का क्लिफोर्ड समूह
- जहां प्रत्येक इकाई लंबाई की है:
स्पिन समूह के रूप में परिभाषित किया गया है
जहाँ
उन तत्वों द्वारा उत्पन्न उप-समष्टि है जो सदिशों की सम संख्या का गुणनफल हैं अर्थात्, स्पिन (V) में ऊपर दिए गए पिन (V) के सभी तत्व सम्मिलित हैं, जिसमें k एक सम संख्या है। नीचे निर्मित दो-घटक (वेइल) स्पिनरों के गठन के लिए भी उप-स्थान पर प्रतिबंध महत्वपूर्ण है।
यदि सेट (वास्तविक) वेक्टर स्पेस V का एक अलौकिक आधार है, तो ऊपर का भागफल एक प्राकृतिक एंटी-कम्यूटिंग संरचना के साथ अंतरिक्ष को संपन्न करता है:
- के लिए
जो विचार करके के लिए अनुसरण करता है। यह एंटी-कम्यूटेशन भौतिकी में महत्वपूर्ण हो जाता है, क्योंकि यह पाउली अपवर्जन सिद्धांत की भावना को फर्मों के लिए पकड़ लेता है। एक निर्धारित सूत्रीकरण यहाँ दायरे से बाहर है, लेकिन इसमें मिन्कोव्स्की स्पेसटाइम पर एक स्पिनर बंडल का निर्माण सम्मिलित है; परिणामी स्पिनर क्षेत्रों को क्लिफर्ड बीजगणित निर्माण के उप-उत्पाद के रूप में विरोधी-आवागमन के रूप में देखा जा सकता है। यह एंटी-कम्यूटेशन गुण सुपरसिमेट्री के निर्माण के लिए भी महत्वपूर्ण है। क्लिफर्ड बीजगणित और स्पिन समूह में कई दिलचस्प गुण हैं, जिनमें से कुछ नीचे सूचीबद्ध हैं।
डबल कवरिंग
द्विघात स्थान V के लिए, स्पिन (V) द्वारा SO(V) का दोहरा आवरण स्पष्ट रूप से निम्नानुसार दिया जा सकता है। V के लिए एक असामान्य आधार बनें। एक एंटीऑटोमोरफिस्म को परिभाषित करें द्वारा
इसे के सभी तत्वों तक बढ़ाया जा सकता है रैखिकता द्वारा। यह तब से एक एंटीहोमोमोर्फिज्म है
ध्यान दें कि पिन(V) को तब सभी तत्वों के रूप में परिभाषित किया जा सकता है जिसके लिए
अब ऑटोमोर्फिज्म को परिभाषित कीजिए जो डिग्री 1 तत्वों द्वारा दिया जाता है
और निरूपित , जो Cl(V) का एक एंटीऑटोमोर्फिज्म है। इस संकेतन के साथ, एक स्पष्ट दोहरा आवरण समाकारिता है के द्वारा दिया गया
जहाँ . जब a के पास डिग्री 1 हो (अर्थात ), हाइपरप्लेन ऑर्थोगोनल में एक प्रतिबिंब से समानता रखती है; यह क्लिफोर्ड बीजगणित की एंटी-कम्यूटिंग से निर्मित होती है।
यह पिन (V) द्वारा O(V) और स्पिन (V) द्वारा SO(V) दोनों का दोहरा आवरण देता है क्योंकि के समान परिवर्तन देता है।
स्पिनर स्पेस
इस औपचारिकता को देखते हुए, स्पिनर स्पेस और वेइल स्पिनर का निर्माण कैसे किया जाता है, इसकी समीक्षा करना उचित है। आयाम की एक वास्तविक सदिश समष्टि V दी गई है n = 2m एक सम संख्या, इसकी जटिलता है . इसे एक उपसमष्टि के प्रत्यक्ष योग के रूप में लिखा जा सकता है स्पिनरों और एक उप-स्थान की विरोधी स्पिनरों की:
अंतरिक्ष स्पिनरों द्वारा फैलाया जाता है के लिए और जटिल संयुग्मी स्पिनर स्पैन . यह देखना सीधा है कि स्पिनर एंटी-कम्यूट करते हैं, और स्पिनर और एंटी-स्पिनर का उत्पाद एक सदिश है।
स्पिनर स्पेस को बाहरी बीजगणित के रूप में परिभाषित किया गया है। क्लिफोर्ड बीजगणित स्वाभाविक रूप से इस स्थान पर कार्य करता है, (जटिल) स्पिन समूह लंबाई-संरक्षण एंडोमोर्फिज्म से समानता रखता है। बाहरी बीजगणित पर एक प्राकृतिक ग्रेडिंग है, विषम संख्या में प्रतियों का गुणनफल फर्मिऑन्स की भौतिकी धारणा के अनुरूप सम उपसमष्टि बोसोन के अनुरूप है। स्पिनर स्पेस पर स्पिन समूह की कार्रवाई का प्रतिनिधित्व अपेक्षाकृत सरल फैशन में बनाया जा सकता है।[3]
जटिल परिस्थिति
द स्पिन समूह को निर्धारित अनुक्रम द्वारा परिभाषित किया गया है
यह जटिलता का गुणक उपसमूह है क्लिफर्ड बीजगणित का, और विशेष रूप से, यह स्पिन (V) और 'C' में यूनिट सर्कल द्वारा उत्पन्न उपसमूह है। वैकल्पिक रूप से, यह भागफल है
जहां समानता पहचानता (a, u) साथ (−a, −u).
इसमें 4-मैनिफोल्ड थ्योरी और सीबर्ग-विटन थ्योरी में महत्वपूर्ण अनुप्रयोग हैं। भौतिकी में, स्पिन समूह अनावेशित फ़र्मियन का वर्णन करने के लिए उपयुक्त है, जबकि स्पिनC समूह का उपयोग विद्युत आवेशित फ़र्मियन का वर्णन करने के लिए किया जाता है। इस परिस्थिति में, यू (1) समरूपता विशेष रूप से विद्युत चुंबकत्व का गेज समूह है।
असाधारण समरूपता
कम आयामों में, असाधारण समाकृतिकता कहे जाने वाले मानक लाई समूहों के बीच समरूपताएं हैं। उदाहरण के लिए, साधारण लाई बीजगणित के विभिन्न परिवारों के मूल प्रक्रिया (और डायनकिन आरेख के संगत समरूपता) के बीच निम्न-आयामी समरूपता के कारण निम्न-आयामी स्पिन समूहों और कुछ मानक लाई समूहों के बीच समरूपताएं हैं। वास्तविक के लिए 'R' लिखना, जटिल संख्याओं के लिए 'C', चतुष्कोणों के लिए 'h' और सामान्य समझ है कि Cl (n) Cln ('R' के लिए एक संक्षिप्त पक्ष है) और वह स्पिन (n) स्पिन('R') के लिए शॉर्ट-हैंड हैn) और इसी तरह, एक के पास वह समूह है[3]
- Clसम(1) = R वास्तविक संख्याएँ
- Pin(1) = {+i, -i, +1, -1}
- Spin(1) = O(1) = {+1, −1} लंबकोणीय समूह,
- आयाम शून्य का लंबकोणीय समूह।
--
- Clसम(2) = C सम्मिश्र संख्याएँ
- Spin(2) = U (1) = विशेष ऑर्थोगोनल समूह,
- SO (2), जो R2 में 'Z' पर कार्य करता है डबल फेज रोटेशन द्वारा z ↦ u2z. dim = 1
--
- Clसम(3) = चतुष्कोण H
- Spin (3) = कोरसपोंडेंस समूह,
- Sp (1) = विशेष एकात्मक समूह,
- SU (2), इसके अनुरूप . dim = 3
--
- Clसम(4) = H ⊕ H
- Spin(4) = SU(2) × SU(2), इसके अनुरूप . dim = 6
--
- Clसम(5)= M(2, H) चतुर्थ गुणांक वाले दो-दो आव्यूह
- Spin (5) = कोरसपोंडेंस समूह,
- Sp (2), इसके अनुरूप . dim = 10
--
- Clसम(6)= M(4, C) जटिल गुणांक वाले चार गुणा चार आव्यूह
- Spin (6) = विशेष एकात्मक समूह,
- SU (4), इसके अनुरूप . dim = 15
इन समरूपताओं के कुछ अवशेषों के लिए n = 7, 8 छोड़ दिया गया है (अधिक विवरण के लिए स्पिन(8) (8) देखें)। उच्च n के लिए, ये समरूपता पूरी तरह से अदृश्य हो जाती है।
अनिश्चितकालीन संकेत
संकेत (द्विघात रूप) में, स्पिन समूह Spin(p, q) क्लिफर्ड बीजगणित के माध्यम से मानक स्पिन समूहों के समान बनाया गया है। यह एक SO0(p, q) आवरण समूह है, अनिश्चितकालीन ऑर्थोगोनल समूह की पहचान का जुड़ा हुआ घटक SO(p, q). जिसके लिए p + q > 2, Spin(p, q) जुड़ा हुआ है; जिसके लिए (p, q) = (1, 1) दो जुड़े हुए घटक हैं।[4]: 193 निश्चित संकेत के रूप में, निम्न आयामों में कुछ आकस्मिक समरूपताएँ हैं:
- Spin(1, 1) = GL(1, R)
- Spin(2, 1) = SL(2, R)
- Spin(3, 1) = SL(2, C)
- Spin(2, 2) = SL(2, R) × SL(2, R)
- Spin(4, 1) = Sp(1, 1)
- Spin(3, 2) = Sp(4, R)
- Spin(5, 1) = SL(2, H)
- Spin(4, 2) = SU(2, 2)
- Spin(3, 3) = SL(4, R)
- Spin(6, 2) = SU(2, 2, H)
ध्यान दें कि Spin(p, q) = Spin(q, p).
सामयिक विचार
जुड़ा हुआ स्थान और बस कनेक्टेड लाइ ग्रुप्स को उनके ले बीजगणित द्वारा वर्गीकृत किया जाता है। इसलिए यदि G एक साधारण लाई बीजगणित के साथ जुड़ा हुआ लाई समूह है, G के सार्वभौमिक आवरण G के साथ, इसमें एक समावेश है
Z(G′) के साथ G′ का केंद्र (समूह सिद्धांत) यह समावेशन और लाई बीजगणित G पूरी तरह से निर्धारित करता है (ध्यान दें कि ऐसा नहीं है कि और π1(जी) पूरी तरह से जी का निर्धारण; उदाहरण के लिए SL(2, 'R') और PSL(2, 'R') में समान लाई बीजगणित और समान मौलिक समूह 'Z' है, लेकिन आइसोमॉर्फिक नहीं हैं)।
निश्चित सिग्नेचर स्पिन(n) सभी बस n > 2 के लिए जुड़े हुए हैं, इसलिए वे SO(n) के सार्वभौमिक आवरण हैं।
अनिश्चितकालीन संकेत में, स्पिन (p, q) आवश्यक रूप से जुड़ा नहीं है, और सामान्यतः पहचान घटक, Spin0(p, q), केवल जुड़ा नहीं है, इस प्रकार यह एक सार्वभौमिक आवरण नहीं है। मौलिक समूह को SO(p, q) के अधिकतम कॉम्पैक्ट उपसमूह पर विचार करके सबसे आसानी से समझा जा सकता है, जो SO(p) ×SO(q) है, और ध्यान दें कि 2-गुना आवरण का उत्पाद होने के बजाय (इसलिए a 4-गुना आवरण), स्पिन (p, q) विकर्ण 2-गुना आवरण है, यह 4-गुना आवरण का 2-गुना भागफल है। स्पष्ट रूप से, स्पिन (p, q) का अधिकतम कॉम्पैक्ट कनेक्टेड उपसमूह है
- Spin(p) × Spin(q)/{(1, 1), (−1, −1)}.
यह हमें Spin (p, q) के मौलिक समूहों की गणना करने की अनुमति देता है, p ≥ q लेते हुए:
इस प्रकार एक बार p, q > 2 मौलिक समूह Z2 है, क्योंकि यह दो सार्वभौमिक आवरणों के उत्पाद का 2 गुना भागफल है।
मौलिक समूहों पर मानचित्र इस प्रकार दिए गए हैं। जिसके लिए p, q > 2, इसका तात्पर्य है कि मैप π1(Spin(p, q)) → π1(SO(p, q)) द्वारा दिया गया है, 1 ∈ Z2 (1, 1) ∈ Z2 × Z2. के लिए p = 2, q > 2, यह नक्शा द्वारा दिया गया है 1 ∈ Z → (1,1) ∈ Z × Z2. और अंत में, के लिए p = q = 2, (1, 0) ∈ Z × Z को भेजा जाता है (1,1) ∈ Z × Z और (0, 1) को (1, −1) भेजा जाता है।
केंद्र
स्पिन समूहों के केंद्र के लिए n ≥ 3, (जटिल और वास्तविक) इस प्रकार दिए गए हैं:[4]: 208
भागफल समूह
केंद्र के एक उपसमूह द्वारा उद्धरण समूह प्राप्त किया जा सकता है, स्पिन समूह के साथ परिणामी भागफल का एक आवरणिंग समूह होता है, और दोनों समूहों में एक ही लाई बीजगणित होता है।
पूरे केंद्र द्वारा भाग लेने से न्यूनतम ऐसे समूह का उत्पादन होता है, जैसे कि प्रक्षेपी विशेष ऑर्थोगोनल समूह, जो केंद्रहीन होता है, जबकि {±1} द्वारा भाग निकालने से विशेष ऑर्थोगोनल समूह प्राप्त होता है, यदि केंद्र {±1} के बराबर होता है (अर्थात् विषम आयाम में), ये दो भागफल समूह सहमत हैं। यदि स्पिन समूह बस जुड़ा हुआ है (जैसा कि स्पिन (n) के लिए है n > 2), तो स्पिन अनुक्रम में अधिकतम समूह है, और एक के पास तीन समूहों का अनुक्रम है,
- Spin(n) → SO(n) → PSO(n),
समता उपज द्वारा विभाजन:
- Spin(2n) → SO(2n) → PSO(2n),
- Spin(2n+1) → SO(2n+1) = PSO(2n+1),
जो तीन कॉम्पैक्ट वास्तविक रूप हैं (या दो, यदि SO = PSO) कॉम्पैक्ट लाई बीजगणित का आवरण और भागफल के होमोटोपी समूह एक कंपन के लंबे निर्धारित अनुक्रम से संबंधित होते हैं, असतत फाइबर (कर्नेल होने वाला फाइबर) के साथ इस प्रकार सभी होमोटोपी समूह k > 1 बराबर हैं, लेकिन π0 और π1 अलग हो सकता है।
n > 2 के लिए , स्पिन (n) बस जुड़ा हुआ है (π0 = π1 = Z1 तुच्छ है), इसलिए SO(n) जुड़ा हुआ है और इसका मूलभूत समूह Z2 है जबकि PSO (n) जुड़ा हुआ है और स्पिन (n) के केंद्र के बराबर मौलिक समूह है।
अनिश्चितकालीन संकेत में आवरण और होमोटॉपी समूह अधिक जटिल होते हैं, स्पिन (p, q) केवल जुड़ा नहीं होता है, और भागफल भी जुड़े हुए घटकों को प्रभावित करता है। यदि कोई अधिकतम (जुड़ा हुआ) कॉम्पैक्ट मानता है तो विश्लेषण सरल होता है SO(p) × SO(q) ⊂ SO(p, q) और घटक समूह Spin(p, q).
व्हाइटहेड स्तम्भ
स्पिन समूह ऑर्थोगोनल समूह द्वारा लगाए गए व्हाइटहेड टावर में दिखाई देता है:
बढ़ते क्रम के होमोटोपी समूहों को क्रमिक रूप से हटाकर स्तम्भ प्राप्त किया जाता है। यह होमोटॉपी समूह को हटाए जाने के लिए एलेनबर्ग-मैकलेन स्थान से प्रारम्भ होने वाले छोटे निर्धारित अनुक्रमों का निर्माण करके किया जाता है। π3 स्पिन (n) में होमोटोपी समूह, अनंत-आयामी स्ट्रिंग समूह स्ट्रिंग (n) प्राप्त करता है।
असतत उपसमूह
स्पिन समूह के असतत उपसमूहों को विशेष ऑर्थोगोनल समूह (घूर्णी बिंदु समूह) के असतत उपसमूहों से संबंधित करके समझा जा सकता है।
डबल आवरण दिया Spin(n) → SO(n), जाली प्रमेय द्वारा, स्पिन (n) के उपसमूहों और SO (n) (घूर्णी बिंदु समूहों) के उपसमूहों के बीच गाल्वा कनेक्शन है: स्पिन (n) के एक उपसमूह की छवि एक घूर्णी बिंदु समूह है, और प्रीइमेज एक बिंदु समूह स्पिन (n) का एक उपसमूह है, और स्पिन (n) के उपसमूहों पर बंद करने वाला ऑपरेटर {±1} से गुणा है। इन्हें बाइनरी पॉइंट ग्रुप कहा जा सकता है; सबसे परिचित 3-आयामी परिस्थिति है, जिसे बाइनरी पॉलीहेड्रल समूह के रूप में जाना जाता है।
ठोस रूप से, प्रत्येक बाइनरी बिंदु समूह या तो एक बिंदु समूह का प्रीइमेज है (इसलिए बिंदु समूह G के लिए 2G को दर्शाया गया है), या एक बिंदु समूह के प्रीइमेज का एक इंडेक्स 2 उपसमूह है जो बिंदु समूह पर मैप करता है, (आइसोमॉर्फिक रूप से) बाद के परिस्थिति में पूर्ण बाइनरी समूह सारगर्भित है।
(चूंकि {±1} केंद्रीय है)
इन उत्तरार्द्धों के उदाहरण के रूप में, विषम क्रम का चक्रीय समूह दिया गया है,
SO(n) में, इसकी पूर्व छवि दो बार क्रम का एक चक्रीय समूह है,
और उपसमूह Z2k+1 < Spin(n) आइसोमॉर्फिक Z2k+1 < SO(n) रूप से मैप करता है।
विशेष नोट की दो श्रृंखलाएँ हैं:
- उच्च बाइनरी टेट्राहेड्रल समूह, एन-सिम्प्लेक्स के समरूपता के 2 गुना आवरण के अनुरूप; इस समूह को वैकल्पिक और सममित समूहों के कवरिंग समूह के रूप में भी माना जा सकता है, 2⋅An → An, वैकल्पिक समूह के साथ n-सिम्प्लेक्स का (घूर्णी) समरूपता समूह है।
- उच्च बाइनरी ऑक्टाहेड्रल समूह, हाइपरऑक्टाहेड्रल समूह के 2-गुना आवरण (अतिविम की समरूपता, या इसके दोहरे, क्रॉस-पॉलीटॉप के समतुल्य) के अनुरूप प्रकृति प्रदर्शित करते हैं।
बिंदु समूहों के लिए जो ओरिएंटेशन को उल्टा करते हैं, उनकी स्थिति अधिक जटिल होती है, क्योंकि दो पिन समूह होते हैं, इसलिए किसी दिए गए बिंदु समूह के अनुरूप दो संभावित बाइनरी समूह होते हैं।
यह भी देखें
- क्लिफर्ड बीजगणित
- क्लिफोर्ड विश्लेषण
- स्पिनर
- स्पिनर बंडल
- स्पिन संरचना
- लाई समूहों की तालिका
- कोई भी
- अभिविन्यास उलझाव
संबंधित समूह
- पिन ग्रुप पिन (n) - ऑर्थोगोनल ग्रुप का दो गुना आवरण, O(n)
- मेटाप्लेक्टिक समूह Mp(2n) - सहानुभूति समूह का दोहरा आवरण, Sp(2n)
- स्ट्रिंग समूह स्ट्रिंग (n) - व्हाइटहेड स्तम्भ में अगला समूह
संदर्भ
- ↑ Lawson, H. Blaine; Michelsohn, Marie-Louise (1989). स्पिन ज्यामिति. Princeton University Press. ISBN 978-0-691-08542-5. page 14
- ↑ Friedrich, Thomas (2000), Dirac Operators in Riemannian Geometry, American Mathematical Society, ISBN 978-0-8218-2055-1 page 15
- ↑ 3.0 3.1 3.2 Jürgen Jost, Riemannian Geometry and Geometric Analysis, (2002) Springer Verlag ISBN 3-540-42627-2 (See Chapter 1.)
- ↑ 4.0 4.1 Varadarajan, V. S. (2004). गणितज्ञों के लिए सुपरसिममेट्री: एक परिचय. Providence, R.I.: American Mathematical Society. ISBN 0821835742. OCLC 55487352.
बाहरी कड़ियाँ
- The essential dimension of sपिन groups is OEIS:A280191.
- Grothendieck's "torsion index" is OEIS:A096336.
आगे की पढाई
- Karoubi, Max (2008). K-Theory. Springer. pp. 210–214. ISBN 978-3-540-79889-7.