बिल्डिंग (गणित): Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Mathematical structure}}
{{Short description|Mathematical structure}}
गणित में, '''बिल्डिंग''' (टिट्स बिल्डिंग भी, जिसका नाम [[जैक्स टिट्स]] के नाम पर रखा गया है) संयुक्त और ज्यामितीय संरचना है जो साथ ध्वज विविध, परिमित प्रक्षेप्य विमानों और [[रीमैनियन सममित स्थान|रीमैनियन सममित स्थानों]] के कुछ विषयों को सामान्यीकृत करती है। बिल्डिंग को प्रारम्भ करने में जैक्स टिट्स द्वारा लाई प्रकार के समूह की संरचना को समझने के साधन के रूप में प्रस्तुत किया गया था। ब्रुहट-टिट्स बिल्डिंग का अधिक विशिष्ट सिद्धांत (जिसका नाम फ्रांकोइस ब्रुहट के नाम पर भी रखा गया है) p-एडिक लाई समूह के अध्ययन में भूमिका निभाता है| {{mvar|p}}-एडिक लाई समूह, लाई समूहों के सिद्धांत में [[सममित स्थान|सममित स्थानों]] के सिद्धांत के अनुरूप है।
गणित में, '''बिल्डिंग''' (टिट्स बिल्डिंग भी, जिसका नाम [[जैक्स टिट्स]] के नाम पर रखा गया है) संयुक्त और ज्यामितीय संरचना है जो साथ ध्वज विविध, परिमित प्रक्षेप्य विमानों और [[रीमैनियन सममित स्थान|रीमैनियन सममित स्थानों]] के कुछ विषयों को सामान्यीकृत करती है। बिल्डिंग को प्रारम्भ करने में जैक्स टिट्स द्वारा लाई प्रकार के समूह की संरचना को समझने के साधन के रूप में प्रस्तुत किया गया था। ब्रुहट-टिट्स बिल्डिंग का अधिक विशिष्ट सिद्धांत (जिसका नाम फ्रांकोइस ब्रुहट के नाम पर भी रखा गया है) p-एडिक लाई समूह के अध्ययन में भूमिका निभाता है| {{mvar|p}}-एडिक लाई समूह, लाई समूहों के सिद्धांत में [[सममित स्थान|सममित स्थानों]] के सिद्धांत के अनुरूप है।


==अवलोकन==
==अवलोकन==


[[File:Bruhat-Tits-tree-for-Q-2.png|thumb|2-एडिक लाई समूह के लिए ब्रुहट-टिट्स पेड़ {{math|SL(2,''Q''<sub>2</sub>)}}.]]बिल्डिंग की अवधारणा का आविष्कार जैक्स टिट्स द्वारा स्वेच्छानुसार क्षेत्र (गणित) पर लाई प्रकार के समूह का वर्णन करने के साधन के रूप में किया गया था। स्तन ने ऐसे प्रत्येक समूह को प्रदर्शित किया (गणित) {{mvar|G}} कोई सरल परिसर को जोड़ सकता है {{math|Δ {{=}} Δ(''G'')}} की [[समूह क्रिया (गणित)]] के साथ {{mvar|G}}, की गोलाकार बिल्डिंग कहलाती है {{mvar|G}} समूह {{mvar|G}} कॉम्प्लेक्स पर बहुत दृढ़ संयोजन नियमितता की स्थिति प्रस्तावित करता है {{math|Δ}} जो इस प्रकार उत्पन्न हो सकता है। सरलीकृत परिसरों के वर्ग के लिए इन स्थितियों को स्वयंसिद्ध मानकर, टिट्स बिल्डिंग की अपनी प्रथम परिभाषा पर पहुंचे है। किसी बिल्डिंग को परिभाषित करने वाले डेटा का भाग {{math|Δ}} [[कॉक्सेटर समूह]] है {{mvar|W}}, जो अत्यधिक सममितीय सरलीकृत परिसर को निर्धारित करता है {{math|Σ {{=}} Σ(''W'',''S'')}}, कॉक्सेटर कॉम्प्लेक्स कहा जाता है। बिल्डिंग {{math|Δ}} की कई प्रतियों को साथ एकत्रित कर दिया गया है {{math|Σ}}, निश्चित नियमित फलन में, इसके अपार्टमेंट कहलाते हैं। कब {{mvar|W}} परिमित कॉक्सेटर समूह है, कॉक्सेटर कॉम्प्लेक्स टोपोलॉजिकल क्षेत्र है, और संबंधित बिल्डिंग को गोलाकार प्रकार का कहा जाता है। कब {{mvar|W}} [[एफ़िन वेइल समूह]] है, कॉक्सेटर कॉम्प्लेक्स एफ़िन विमान का उपखंड है और एफ़िन, या यूक्लिडियन, बिल्डिंग की चर्चा करता है। इस प्रकार की एफ़िन बिल्डिंग {{math|''Ã''<sub>1</sub>}} टर्मिनल शीर्षों के अतिरिक्त अनंत ट्री (ग्राफ़ सिद्धांत) के समान है।
[[File:Bruhat-Tits-tree-for-Q-2.png|thumb|2-एडिक लाई समूह के लिए ब्रुहट-टिट्स ट्री {{math|SL(2,''Q''<sub>2</sub>)}}]]बिल्डिंग की अवधारणा का आविष्कार जैक्स टिट्स द्वारा स्वेच्छानुसार क्षेत्र (गणित) पर लाई प्रकार के समूह का वर्णन करने के साधन के रूप में किया गया था। टिट्स ने प्रदर्शित किया कि कैसे ऐसे प्रत्येक समूह {{mvar|G}} के लिए कोई सरल समष्टि {{math|Δ {{=}} Δ(''G'')}} को {{mvar|G}} की [[समूह क्रिया (गणित)]] के साथ जोड़ सकता है, जिसे {{mvar|G}} की गोलाकार बिल्डिंग कहा जाता है I समूह {{mvar|G}} समष्टि {{math|Δ}} पर बहुत दृढ़ संयोजन नियमितता की स्थिति प्रस्तावित करता है, जो इस प्रकार उत्पन्न हो सकता है। सरलीकृत परिसरों के वर्ग के लिए इन स्थितियों को स्वयंसिद्ध मानकर, टिट्स बिल्डिंग की अपनी प्रथम परिभाषा पर पहुंचे है। किसी बिल्डिंग को परिभाषित करने वाले डेटा का भाग {{math|Δ}} [[कॉक्सेटर समूह]] {{mvar|W}} है, जो अत्यधिक सममितीय सरलीकृत समष्टि {{math|Σ {{=}} Σ(''W'',''S'')}} को निर्धारित करता है, जिसे कॉक्सेटर कॉम्प्लेक्स कहा जाता है। बिल्डिंग {{math|Δ}} की कई {{math|Σ}} प्रतियों को साथ एकत्रित कर दिया गया है, निश्चित नियमित फलन में, इसके अपार्टमेंट कहलाते हैं। जब {{mvar|W}} परिमित कॉक्सेटर समूह है, कॉक्सेटर समष्टि टोपोलॉजिकल क्षेत्र है, और संबंधित बिल्डिंग को गोलाकार प्रकार का कहा जाता है। जब {{mvar|W}} [[एफ़िन वेइल समूह]] है, कॉक्सेटर समष्टि एफ़िन विमान का उपखंड है और एफ़िन, या यूक्लिडियन, बिल्डिंग की चर्चा करता है। इस प्रकार की एफ़िन बिल्डिंग {{math|''Ã''<sub>1</sub>}} टर्मिनल शीर्षों के अतिरिक्त अनंत ट्री (ग्राफ़ सिद्धांत) के समान है।


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


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


==परिभाषा==
==परिभाषा==
{{mvar|n}}-आयामी बिल्डिंग {{mvar|X}} अमूर्त सरल संकुल है जो उप संकुलों का संघ है {{mvar|A}}अपार्टमेंट को ऐसे कहा जाता है
{{mvar|n}}-आयामी बिल्डिंग {{mvar|X}} अमूर्त सरल संकुल है जो उप संकुलों का संघ है, {{mvar|A}} अपार्टमेंट को ऐसे कहा जाता है I


* प्रत्येक {{mvar|k}}-का सरलीकरण {{mvar|X}} कम से कम तीन के भीतर है {{mvar|n}}-सरल अगर {{math|''k'' < ''n''}};
* प्रत्येक {{mvar|k}}-का सरलीकरण {{mvar|X}} कम से कम तीन {{mvar|n}}-सिंप्लेक्स के अंदर है, यदि {{math|''k'' < ''n''}} है I
* कोई {{math|(''n'' – 1)}}- अपार्टमेंट में सिंप्लेक्स {{mvar|A}} बिल्कुल दो आसन्न में स्थित है {{mvar|n}}-का सरलीकरण {{mvar|A}} और आसन्न का [[ग्राफ सिद्धांत]] {{mvar|n}}-सरल जुड़ा हुआ है;
* कोई {{math|(''n'' – 1)}}- अपार्टमेंट में सिंप्लेक्स {{mvar|A}} बिल्कुल दो आसन्न में स्थित है, {{mvar|n}}-का सरलीकरण {{mvar|A}} और आसन्न का [[ग्राफ सिद्धांत]] {{mvar|n}}-सरल जुड़ा हुआ है I
*कोई दो सरल में {{mvar|X}} किसी आम अपार्टमेंट में लेट जाओ {{mvar|A}};
*{{mvar|X}} में कोई भी दो सिंप्लेक्स किसी सामान्य अपार्टमेंट {{mvar|A}} में स्थित हैं I
* यदि दो सिंपलिस दोनों अपार्टमेंट में झूठ बोलते हैं {{mvar|A}} और {{math|''A''′}}, तो सरल समरूपता है {{mvar|A}}पर {{math|''A''′}} दो सरलताओं के शीर्षों को ठीक करना।
* यदि दो सिंपलिस दोनों अपार्टमेंट {{mvar|A}} और {{math|''A''′}} में स्थित हैं, तो {{mvar|A}} पर {{math|''A''′}} का सरल समरूपता है, जो दो सिंपलिस के शीर्षों को त्रुटिहीन करता है।


{{mvar|n}}-सिम्पलेक्स इन {{mvar|A}} को कक्ष कहा जाता है (मूल रूप से ''चैम्ब्रे'', यानी फ्रेंच भाषा में ''कमरा'')।
{{mvar|A}} में {{mvar|n}}-सिम्पलेक्स को कक्ष कहा जाता है (मूल रूप से''चैम्ब्रे'', यानी फ्रेंच भाषा में ''कमरा'')।


बिल्डिंग की श्रेणी को परिभाषित किया गया है {{math|''n'' + 1}}.
बिल्डिंग की श्रेणी को {{math|''n'' + 1}} परिभाषित किया गया है I


==प्राथमिक गुण==
==प्राथमिक गुण==
हर अपार्टमेंट {{mvar|A}} बिल्डिंगमें [[कॉक्सेटर कॉम्प्लेक्स]] है। वास्तव में, प्रत्येक दो के लिए {{mvar|n}}- में सरल प्रतिच्छेद {{math|(''n'' – 1)}}-सिम्प्लेक्स या पैनल, दो सरल ऑटोमोर्फिज्म की  अनूठी अवधि है {{mvar|A}}, प्रतिबिंब कहा जाता है, ले जाने वाला {{mvar|n}}-दूसरे पर सरलीकरण करना और उनके सामान्य बिंदुओं को ठीक करना। ये प्रतिबिंब कॉक्सेटर समूह उत्पन्न करते हैं {{mvar|W}}, का [[वेइल समूह]] कहा जाता है {{mvar|A}}, और सरल जटिल {{mvar|A}} के मानक ज्यामितीय बोध से मेल खाता है {{mvar|W}}. कॉक्सेटर समूह के मानक जनरेटर  निश्चित कक्ष की दीवारों में प्रतिबिंब द्वारा दिए जाते हैं {{mvar|A}}. अपार्टमेंट के पश्चात् से {{mvar|A}} बिल्डिंगद्वारा समरूपता तक निर्धारित किया जाता है, यही चर्चा किन्हीं दो सरलताओं के लिए भी सच है {{mvar|X}} किसी सामान्य अपार्टमेंट में पड़ा हुआ {{mvar|A}}. कब {{mvar|W}}परिमित है, बिल्डिंग गोलाकार कहा गया है। जब यह एफ़िन वेइल समूह होता है, तो बिल्डिंगको एफ़िन या यूक्लिडियन कहा जाता है।
बिल्डिंग में प्रत्येक अपार्टमेंट {{mvar|A}} [[कॉक्सेटर कॉम्प्लेक्स|कॉक्सेटर समष्टि]] है। वास्तव में, {{math|(''n'' – 1)}}-सिम्प्लेक्स या पैनल में प्रतिच्छेद करने वाले प्रत्येक दो {{mvar|n}}-सिंप्लेक्स के लिए, {{mvar|A}} की दो सरल ऑटोमोर्फिज्म की अद्वितीय अवधि होती है, जिसे प्रतिबिंब कहा जाता है, जो एक {{mvar|n}}-सिंप्लेक्स को दूसरे पर ले जाता है और उनके सामान्य बिंदुओं को त्रुटिहीन करता है। ये प्रतिबिंब कॉक्सेटर समूह {{mvar|W}} उत्पन्न करते हैं, जिसे {{mvar|A}} का [[वेइल समूह]] कहा जाता है, और सरल परिसर {{mvar|A}}, {{mvar|W}} के मानक ज्यामितीय से मेल खाता है। कॉक्सेटर समूह के मानक जनरेटर {{mvar|A}} में निश्चित कक्ष की दीवारों में प्रतिबिंबों द्वारा दिए जाते हैं। चूँकि अपार्टमेंट {{mvar|A}} को बिल्डिंग द्वारा समरूपता तक निर्धारित किया जाता है, कुछ सामान्य अपार्टमेंट {{mvar|A}} में पड़े {{mvar|X}} में किन्हीं दो सरलताओं के लिए भी यही सत्य है। जब {{mvar|W}} परिमित होता है, तो बिल्डिंग को गोलाकार कहा जाता है। जब यह एफ़िन वेइल समूह होता है, तो बिल्डिंग को एफ़िन या यूक्लिडियन कहा जाता है।


कक्ष प्रणाली कक्षों द्वारा गठित आसन्नता ग्राफ है; आसन्न कक्षों के प्रत्येक जोड़े को किसी मानक द्वारा लेबल किया जा सकता है
कक्ष प्रणाली कक्षों द्वारा गठित आसन्नता ग्राफ है; आसन्न कक्षों के प्रत्येक जोड़े को किसी मानक द्वारा लेबल किया जा सकता है I कॉक्सेटर समूह के जनरेटर (देखें {{harvnb|Tits|1981}}).
कॉक्सेटर समूह के जनरेटर (देखें {{harvnb|Tits|1981}}).


हर बिल्डिंगमें  विहित [[आंतरिक मीट्रिक]] होती है जो [[हिल्बर्ट स्थान]] के [[ऑर्थोनॉर्मल आधार]] के साथ शीर्षों की पहचान करके प्राप्त ज्यामितीय अहसास से विरासत में मिली है। संबद्ध बिल्डिंगों के लिए, यह मीट्रिक CAT(k) स्थान को संतुष्ट करता है|{{math|CAT(0)}} [[अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव]] की तुलनात्मक असमानता, जिसे इस सेटिंग में जियोडेसिक त्रिकोण के लिए ब्रुहट-टिट्स गैर-सकारात्मक वक्रता स्थिति के रूप में जाना जाता है: शीर्ष से विपरीत दिशा के मध्य बिंदु तक की दूरी समान भुजाओं की लंबाई वाले संबंधित यूक्लिडियन त्रिकोण में दूरी से अधिक नहीं है (देखें) {{harvnb|Bruhat|Tits|1972}}).
प्रत्येक बिल्डिंग में विहित [[आंतरिक मीट्रिक]] होती है, जो [[हिल्बर्ट स्थान]] के [[ऑर्थोनॉर्मल आधार]] के साथ शीर्षों की पहचान करके प्राप्त ज्यामितीय प्राप्ति से इनहेरिटेड में मिली है। संबद्ध बिल्डिंगों के लिए, यह मीट्रिक कैट(k) स्थान को संतुष्ट करता है I {{math|कैट(0)}} [[अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव]] की तुलनात्मक असमानता, जिसे इस सेटिंग में जियोडेसिक त्रिकोण के लिए ब्रुहट-टिट्स अन्य-सकारात्मक वक्रता स्थिति के रूप में जाना जाता है: शीर्ष से विपरीत दिशा के मध्य बिंदु तक की दूरी समान भुजाओं की लंबाई वाले संबंधित यूक्लिडियन त्रिकोण में दूरी से अधिक नहीं है (देखें) {{harvnb|ब्रुहत|टिट्स|1972}}).


==के साथ संबंध {{math|(''B'', ''N'')}}जोड़े==
==के साथ संबंध {{math|(''B'', ''N'')}}जोड़े==
यदि कोई समूह {{mvar|G}} किसी बिल्डिंगपर सरलता से कार्य करता है {{mvar|X}}, जोड़ों पर सकर्मक रूप से {{math|(''C'',''A'')}} कक्षों का {{mvar|C}} और अपार्टमेंट {{mvar|A}}उनसे युक्त, तो ऐसी जोड़ी के स्टेबलाइजर्स बीएन जोड़ी को परिभाषित करते हैं|{{math|(''B'', ''N'')}} जोड़ी या [[स्तन प्रणाली]]. वास्तव में उपसमूहों की जोड़ी
यदि कोई समूह {{mvar|G}} किसी बिल्डिंगपर सरलता से कार्य करता है {{mvar|X}}, जोड़ों पर सकर्मक रूप से {{math|(''C'',''A'')}} कक्षों का {{mvar|C}} और अपार्टमेंट {{mvar|A}}उनसे युक्त, तो ऐसी जोड़ी के स्टेबलाइजर्स बीएन जोड़ी को परिभाषित करते हैं|{{math|(''B'', ''N'')}} जोड़ी या [[स्तन प्रणाली|टिट्स प्रणाली]]. वास्तव में उपसमूहों की जोड़ी


:{{math|''B'' {{=}} ''G''<sub>''C''</sub>}} और {{mvar|''N'' {{=}} ''G''<sub>''A''</sub>}}
:{{math|''B'' {{=}} ''G''<sub>''C''</sub>}} और {{mvar|''N'' {{=}} ''G''<sub>''A''</sub>}}
Line 37: Line 36:
ए के सिद्धांतों को संतुष्ट करता है {{math|(''B'', ''N'')}} जोड़ी और वेइल समूह की पहचान की जा सकती है {{math|''N'' / ''N'' ∩ ''B''}}.
ए के सिद्धांतों को संतुष्ट करता है {{math|(''B'', ''N'')}} जोड़ी और वेइल समूह की पहचान की जा सकती है {{math|''N'' / ''N'' ∩ ''B''}}.


इसके विपरीत बिल्डिंग को पुनः प्राप्त किया जा सकता है {{math|(''B'', ''N'')}} जोड़ी, ताकि प्रत्येक {{math|(''B'', ''N'')}} जोड़ी प्रामाणिक रूप से बिल्डिंगको परिभाषित करती है। वास्तव में, की शब्दावली का उपयोग करना {{math|(''B'', ''N'')}} जोड़े और किसी भी संयुग्म को बुलाना {{mvar|B}} [[बोरेल उपसमूह]] और बोरेल उपसमूह वाला कोई भी समूह, [[परवलयिक उपसमूह]],
इसके विपरीत बिल्डिंग को पुनः प्राप्त किया जा सकता है {{math|(''B'', ''N'')}} जोड़ी, ताकि प्रत्येक {{math|(''B'', ''N'')}} जोड़ी प्रामाणिक रूप से बिल्डिंगको परिभाषित करती है। वास्तव में, की शब्दावली का उपयोग करना {{math|(''B'', ''N'')}} जोड़े और किसी भी संयुग्म को बुलाना {{mvar|B}} [[बोरेल उपसमूह]] और बोरेल उपसमूह वाला कोई भी समूह, [[परवलयिक उपसमूह]],


*बिल्डिंगके शिखर {{mvar|X}}अधिकतम परवलयिक उपसमूहों के अनुरूप;
*बिल्डिंगके शिखर {{mvar|X}}अधिकतम परवलयिक उपसमूहों के अनुरूप;
* {{math|''k'' + 1}} शीर्ष रूप बनाते हैं {{mvar|k}}-सिंप्लेक्स जब भी संबंधित अधिकतम परवलयिक उपसमूहों का प्रतिच्छेदन भी परवलयिक होता है;
* {{math|''k'' + 1}} शीर्ष रूप बनाते हैं {{mvar|k}}-सिंप्लेक्स जब भी संबंधित अधिकतम परवलयिक उपसमूहों का प्रतिच्छेदन भी परवलयिक होता है;
*अपार्टमेंट नीचे संयुग्मित हैं {{mvar|G}} नीचे संयुग्मों द्वारा दिए गए शीर्षों के साथ सरल उपसंकुल का {{mvar|N}} अधिकतम परवलयिक युक्त {{mvar|B}}.
*अपार्टमेंट नीचे संयुग्मित हैं {{mvar|G}} नीचे संयुग्मों द्वारा दिए गए शीर्षों के साथ सरल उपसंकुल का {{mvar|N}} अधिकतम परवलयिक युक्त {{mvar|B}}.


ही बिल्डिंगका अक्सर अलग-अलग वर्णन किया जा सकता है {{math|(''B'', ''N'')}} जोड़े। इसके अतिरिक्त, हर बिल्डिंग से नहीं आती {{math|(''B'', ''N'')}} जोड़ी: यह निम्न रैंक और आयाम में वर्गीकरण परिणामों की विफलता से मेल खाती है (नीचे देखें)।
ही बिल्डिंगका अक्सर अलग-अलग वर्णन किया जा सकता है {{math|(''B'', ''N'')}} जोड़े। इसके अतिरिक्त, प्रत्येक बिल्डिंग से नहीं आती {{math|(''B'', ''N'')}} जोड़ी: यह निम्न रैंक और आयाम में वर्गीकरण परिणामों की विफलता से मेल खाती है (नीचे देखें)।


==गोलाकार और गोलाकार बिल्डिंग के लिए {{math|SL<sub>''n''</sub>}}==
==गोलाकार और गोलाकार बिल्डिंग के लिए {{math|SL<sub>''n''</sub>}}==
संबद्ध और गोलाकार बिल्डिंग की सरल संरचना {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}, साथ ही उनके अंतर्संबंधों को केवल प्राथमिक [[बीजगणित]] और [[ज्यामिति]] की अवधारणाओं का उपयोग करके सीधे समझाना आसान है (देखें) {{harvnb|Garrett|1997}}). इस विषय में तीन अलग-अलग बिल्डिंग हैं, दो गोलाकार और गोलाकार। प्रत्येक अपार्टमेंट का संघ है, जो स्वयं सरल परिसर हैं। एफ़िन बिल्डिंग के लिए, अपार्टमेंट सरल जटिल [[ चौकोर ]] यूक्लिडियन स्थान है {{math|'''E'''<sup>''n''−1</sup>}} द्वारा {{math|(''n'' − 1)}}-आयामी सरलताएं; जबकि गोलाकार बिल्डिंगके लिए यह सभी द्वारा निर्मित सीमित सरल परिसर है {{math|(''n'' − 1)!}} अनुरूप टेस्सेलेशन में किसी दिए गए सामान्य शीर्ष के साथ सरलता {{math|'''E'''<sup>''n''−2</sup>}}.
संबद्ध और गोलाकार बिल्डिंग की सरल संरचना {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}, साथ ही उनके अंतर्संबंधों को केवल प्राथमिक [[बीजगणित]] और [[ज्यामिति]] की अवधारणाओं का उपयोग करके सीधे समझाना आसान है (देखें) {{harvnb|Garrett|1997}}). इस विषय में तीन अलग-अलग बिल्डिंग हैं, दो गोलाकार और गोलाकार। प्रत्येक अपार्टमेंट का संघ है, जो स्वयं सरल परिसर हैं। एफ़िन बिल्डिंग के लिए, अपार्टमेंट सरल जटिल [[ चौकोर |चौकोर]] यूक्लिडियन स्थान है {{math|'''E'''<sup>''n''−1</sup>}} द्वारा {{math|(''n'' − 1)}}-आयामी सरलताएं; जबकि गोलाकार बिल्डिंगके लिए यह सभी द्वारा निर्मित सीमित सरल परिसर है {{math|(''n'' − 1)!}} अनुरूप टेस्सेलेशन में किसी दिए गए सामान्य शीर्ष के साथ सरलता {{math|'''E'''<sup>''n''−2</sup>}}.


प्रत्येक बिल्डिंग साधारण परिसर है {{mvar|X}} जिसे निम्नलिखित सिद्धांतों को संतुष्ट करना होगा:
प्रत्येक बिल्डिंग साधारण परिसर है {{mvar|X}} जिसे निम्नलिखित सिद्धांतों को संतुष्ट करना होगा:


* {{mvar|X}}अपार्टमेंट का संघ है.
* {{mvar|X}}अपार्टमेंट का संघ है.
* कोई भी दो सरलताएँ {{mvar|X}} सामान्य अपार्टमेंट में समाहित हैं।
* कोई भी दो सरलताएँ {{mvar|X}} सामान्य अपार्टमेंट में समाहित हैं।
* यदि सिम्प्लेक्स दो अपार्टमेंटों में समाहित है, तो सभी सामान्य बिंदुओं को ठीक करते हुए से दूसरे की सरल समरूपता होती है।
* यदि सिम्प्लेक्स दो अपार्टमेंटों में समाहित है, तो सभी सामान्य बिंदुओं को ठीक करते हुए से दूसरे की सरल समरूपता होती है।


===गोलाकार बिल्डिंग===
===गोलाकार बिल्डिंग===
होने देना {{mvar|F}} क्षेत्र (गणित) बनें और रहने दें {{mvar|X}} गैर-तुच्छ वेक्टर उप-स्थानों के शीर्षों के साथ सरल जटिल बनें {{math|''V'' {{=}} ''F''<sup>''n''</sup>}}. दो उपस्थान {{math|''U''<sub>1</sub>}} और {{math|''U''<sub>2</sub>}} जुड़े हुए हैं यदि उनमें से दूसरे का उपसमुच्चय है। वह {{mvar|k}}-का सरलीकरण {{mvar|X}} के सेट से बनते हैं {{math|''k'' + 1}} परस्पर जुड़े हुए उपस्थान। लेने से अधिकतम कनेक्टिविटी प्राप्त होती है {{math|''n'' − 1}} उचित गैर-तुच्छ उप-स्थान और संगत {{math|(''n'' − 1)}}-सिंप्लेक्स ध्वज से मेल खाता है (रैखिक बीजगणित)
होने देना {{mvar|F}} क्षेत्र (गणित) बनें और रहने दें {{mvar|X}} गैर-तुच्छ वेक्टर उप-स्थानों के शीर्षों के साथ सरल जटिल बनें {{math|''V'' {{=}} ''F''<sup>''n''</sup>}}. दो उपस्थान {{math|''U''<sub>1</sub>}} और {{math|''U''<sub>2</sub>}} जुड़े हुए हैं यदि उनमें से दूसरे का उपसमुच्चय है। वह {{mvar|k}}-का सरलीकरण {{mvar|X}} के सेट से बनते हैं {{math|''k'' + 1}} परस्पर जुड़े हुए उपस्थान। लेने से अधिकतम कनेक्टिविटी प्राप्त होती है {{math|''n'' − 1}} उचित गैर-तुच्छ उप-स्थान और संगत {{math|(''n'' − 1)}}-सिंप्लेक्स ध्वज से मेल खाता है (रैखिक बीजगणित)


: {{math|(0) ⊂ ''U''<sub>1</sub> ⊂ ··· ⊂ ''U''<sub>''n'' – 1 </sub> ⊂ ''V''}}
: {{math|(0) ⊂ ''U''<sub>1</sub> ⊂ ··· ⊂ ''U''<sub>''n'' – 1 </sub> ⊂ ''V''}}
Line 61: Line 60:
कम आयामी सरलताएं कम मध्यस्थ उपस्थानों वाले आंशिक झंडों के अनुरूप होती हैं {{math|''U''<sub>''i''</sub>}}.
कम आयामी सरलताएं कम मध्यस्थ उपस्थानों वाले आंशिक झंडों के अनुरूप होती हैं {{math|''U''<sub>''i''</sub>}}.


अपार्टमेंट को परिभाषित करने के लिए {{mvar|X}}, इसमें फ़्रेम को परिभाषित करना सुविधाजनक है {{mvar|V}} आधार रूप से ({{math|''v''<sub>''i''</sub>}}) इसके प्रत्येक सदिश के अदिश गुणन तक निर्धारित किया जाता है {{math|''v''<sub>''i''</sub>}}; दूसरे शब्दों में फ़्रेम -आयामी उप-स्थानों का सेट है {{math|''L''<sub>''i''</sub> {{=}} ''F''·''v''<sub>''i''</sub>}} ऐसा कि कोई भी {{mvar|k}} उनमें से उत्पन्न होता है {{mvar|k}}-आयामी उपस्थान. अब ऑर्डर किया गया फ्रेम {{math|''L''<sub>1</sub>, ..., ''L''<sub>''n''</sub>}} के माध्यम से पूर्ण ध्वज को परिभाषित करता है
अपार्टमेंट को परिभाषित करने के लिए {{mvar|X}}, इसमें फ़्रेम को परिभाषित करना सुविधाजनक है {{mvar|V}} आधार रूप से ({{math|''v''<sub>''i''</sub>}}) इसके प्रत्येक सदिश के अदिश गुणन तक निर्धारित किया जाता है {{math|''v''<sub>''i''</sub>}}; दूसरे शब्दों में फ़्रेम -आयामी उप-स्थानों का सेट है {{math|''L''<sub>''i''</sub> {{=}} ''F''·''v''<sub>''i''</sub>}} ऐसा कि कोई भी {{mvar|k}} उनमें से उत्पन्न होता है {{mvar|k}}-आयामी उपस्थान. अब ऑर्डर किया गया फ्रेम {{math|''L''<sub>1</sub>, ..., ''L''<sub>''n''</sub>}} के माध्यम से पूर्ण ध्वज को परिभाषित करता है


: {{math|''U''<sub>''i''</sub> {{=}} ''L''<sub>1</sub> ⊕ ··· ⊕ ''L''<sub>''i''</sub>}}
: {{math|''U''<sub>''i''</sub> {{=}} ''L''<sub>1</sub> ⊕ ··· ⊕ ''L''<sub>''i''</sub>}}


विभिन्न के पुनर्क्रमण के पश्चात् से {{math|''L''<sub>''i''</sub>}} फ़्रेम भी दें, यह देखना सीधा है कि उप-स्थान, के योग के रूप में प्राप्त होते हैं {{math|''L''<sub>''i''</sub>}}, गोलाकार बिल्डिंगके अपार्टमेंट के लिए आवश्यक प्रकार का सरल परिसर बनाएं। जॉर्डन-होल्डर अपघटन की विशिष्टता को सिद्ध करने के लिए उपयोग किए जाने वाले शास्त्रीय श्रेयर शोधन प्रमेय का उपयोग करके किसी बिल्डिंगके लिए सिद्धांतों को आसानी से सत्यापित किया जा सकता है।
विभिन्न के पुनर्क्रमण के पश्चात् से {{math|''L''<sub>''i''</sub>}} फ़्रेम भी दें, यह देखना सीधा है कि उप-स्थान, के योग के रूप में प्राप्त होते हैं {{math|''L''<sub>''i''</sub>}}, गोलाकार बिल्डिंगके अपार्टमेंट के लिए आवश्यक प्रकार का सरल परिसर बनाएं। जॉर्डन-होल्डर अपघटन की विशिष्टता को सिद्ध करने के लिए उपयोग किए जाने वाले शास्त्रीय श्रेयर शोधन प्रमेय का उपयोग करके किसी बिल्डिंगके लिए सिद्धांतों को आसानी से सत्यापित किया जा सकता है।


===एफ़िन बिल्डिंग===
===एफ़िन बिल्डिंग===
होने देना {{mvar|K}} के बीच में फ़ील्ड हो {{math|'''Q'''}} और इसका p-एडिक नंबर|{{mvar|p}}-अर्थात् पूर्णता {{math|'''Q'''<sub>''p''</sub>}} सामान्य आर्किमिडीयन संपत्ति के संबंध में|गैर-आर्किमिडीयन p-एडिक मानदंड|{{mvar|p}}-अर्थात आदर्श {{math|{{norm|''x''}}<sub>''p''</sub>}} पर {{math|'''Q'''}} कुछ प्राइम के लिए {{mvar|p}}. होने देना {{mvar|R}} का उपरिंग हो {{mvar|K}} द्वारा परिभाषित
होने देना {{mvar|K}} के बीच में फ़ील्ड हो {{math|'''Q'''}} और इसका p-एडिक नंबर|{{mvar|p}}-अर्थात् पूर्णता {{math|'''Q'''<sub>''p''</sub>}} सामान्य आर्किमिडीयन संपत्ति के संबंध में|गैर-आर्किमिडीयन p-एडिक मानदंड|{{mvar|p}}-अर्थात आदर्श {{math|{{norm|''x''}}<sub>''p''</sub>}} पर {{math|'''Q'''}} कुछ प्राइम के लिए {{mvar|p}}. होने देना {{mvar|R}} का उपरिंग हो {{mvar|K}} द्वारा परिभाषित


:{{math|''R'' {{=}} { ''x'' : {{norm|''x''}}<sub>''p''</sub> ≤ 1 } }}
:{{math|''R'' {{=}} { ''x'' : {{norm|''x''}}<sub>''p''</sub> ≤ 1 } }}


कब {{math|''K'' {{=}} '''Q'''}}, {{mvar|R}} रिंग का स्थानीयकरण है {{math|'''Z'''}} पर {{mvar|p}} और जब {{math|''K'' {{=}} '''Q'''<sub>''p''</sub>}}, {{math|''R'' {{=}} '''Z'''<sub>''p''</sub>}}, p-एडिक पूर्णांक|{{mvar|p}}-एडीआईसी पूर्णांक, यानी बंद करना {{math|'''Z'''}} में {{math|'''Q'''<sub>''p''</sub>}}.
कब {{math|''K'' {{=}} '''Q'''}}, {{mvar|R}} रिंग का स्थानीयकरण है {{math|'''Z'''}} पर {{mvar|p}} और जब {{math|''K'' {{=}} '''Q'''<sub>''p''</sub>}}, {{math|''R'' {{=}} '''Z'''<sub>''p''</sub>}}, p-एडिक पूर्णांक|{{mvar|p}}-एडीआईसी पूर्णांक, यानी बंद करना {{math|'''Z'''}} में {{math|'''Q'''<sub>''p''</sub>}}.


बिल्डिंगके शिखर {{mvar|X}} हैं {{mvar|R}}-में जाली {{math|''V'' {{=}} ''K''<sup>''n''</sup>}}, अर्थात। {{mvar|R}}-फॉर्म के [[उपमॉड्यूल]]
बिल्डिंगके शिखर {{mvar|X}} हैं {{mvar|R}}-में जाली {{math|''V'' {{=}} ''K''<sup>''n''</sup>}}, अर्थात। {{mvar|R}}-फॉर्म के [[उपमॉड्यूल]]
Line 78: Line 77:
:{{math|''L'' {{=}} ''R''·''v''<sub>1</sub> ⊕ ··· ⊕  ''R''·''v''<sub>''n''</sub>}}
:{{math|''L'' {{=}} ''R''·''v''<sub>1</sub> ⊕ ··· ⊕  ''R''·''v''<sub>''n''</sub>}}


कहाँ {{math|(''v''<sub>''i''</sub>)}} का आधार है {{mvar|V}} ऊपर {{mvar|K}}. गुणक समूह के तत्व द्वारा दो जालकों को समतुल्य कहा जाता है यदि दूसरे का अदिश गुणज है {{math|''K''*}} का {{mvar|K}} (वास्तव में केवल पूर्णांक घातें {{mvar|p}} उपयोग करने की आवश्यकता है)। दो जाली {{math|''L''<sub>1</sub>}} और {{math|''L''<sub>2</sub>}} को आसन्न कहा जाता है यदि कुछ जाली के बराबर हो {{math|''L''<sub>2</sub>}} बीच मे स्थित {{math|''L''<sub>1</sub>}} और इसकी उदात्तता {{math|''p''·''L''<sub>1</sub>}}: यह संबंध सममित है. वह {{mvar|k}}-का सरलीकरण {{mvar|X}} के समतुल्य वर्ग हैं {{math|''k'' + 1}} परस्पर आसन्न जाली, वह {{math|(''n'' − 1)}}-सरलताएं, पुनः लेबल करने के पश्चात्, जंजीरों से मेल खाती हैं
कहाँ {{math|(''v''<sub>''i''</sub>)}} का आधार है {{mvar|V}} ऊपर {{mvar|K}}. गुणक समूह के तत्व द्वारा दो जालकों को समतुल्य कहा जाता है यदि दूसरे का अदिश गुणज है {{math|''K''*}} का {{mvar|K}} (वास्तव में केवल पूर्णांक घातें {{mvar|p}} उपयोग करने की आवश्यकता है)। दो जाली {{math|''L''<sub>1</sub>}} और {{math|''L''<sub>2</sub>}} को आसन्न कहा जाता है यदि कुछ जाली के बराबर हो {{math|''L''<sub>2</sub>}} बीच मे स्थित {{math|''L''<sub>1</sub>}} और इसकी उदात्तता {{math|''p''·''L''<sub>1</sub>}}: यह संबंध सममित है. वह {{mvar|k}}-का सरलीकरण {{mvar|X}} के समतुल्य वर्ग हैं {{math|''k'' + 1}} परस्पर आसन्न जाली, वह {{math|(''n'' − 1)}}-सरलताएं, पुनः लेबल करने के पश्चात्, जंजीरों से मेल खाती हैं


:{{math|''p''·''L''<sub>''n''</sub> ⊂ ''L''<sub>1</sub> ⊂ ''L''<sub>2</sub> ⊂ ··· ⊂ ''L''<sub>''n'' – 1 </sub> ⊂ ''L''<sub>''n''</sub>}}
:{{math|''p''·''L''<sub>''n''</sub> ⊂ ''L''<sub>1</sub> ⊂ ''L''<sub>2</sub> ⊂ ··· ⊂ ''L''<sub>''n'' – 1 </sub> ⊂ ''L''<sub>''n''</sub>}}


जहां प्रत्येक क्रमिक भागफल का क्रम होता है {{mvar|p}}. अपार्टमेंट को आधार तय करके परिभाषित किया जाता है {{math|(''v''<sub>''i''</sub>)}} का {{mvar|V}} और सभी जालकों को आधार के साथ लेना {{math|(''p''<sup>''a''<sub>''i''</sub></sup> ''v''<sub>''i''</sub>)}} कहाँ {{math|(''a''<sub>''i''</sub>)}} में निहित है {{math|'''Z'''<sup>''n''</sup>}} और प्रत्येक प्रविष्टि में समान पूर्णांक जोड़ने तक विशिष्ट रूप से निर्धारित किया जाता है।
जहां प्रत्येक क्रमिक भागफल का क्रम होता है {{mvar|p}}. अपार्टमेंट को आधार तय करके परिभाषित किया जाता है {{math|(''v''<sub>''i''</sub>)}} का {{mvar|V}} और सभी जालकों को आधार के साथ लेना {{math|(''p''<sup>''a''<sub>''i''</sub></sup> ''v''<sub>''i''</sub>)}} कहाँ {{math|(''a''<sub>''i''</sub>)}} में निहित है {{math|'''Z'''<sup>''n''</sup>}} और प्रत्येक प्रविष्टि में समान पूर्णांक जोड़ने तक विशिष्ट रूप से निर्धारित किया जाता है।


परिभाषा के अनुसार प्रत्येक अपार्टमेंट का आवश्यक रूप होता है और उनका संघ संपूर्ण होता है {{mvar|X}}. दूसरा स्वयंसिद्ध श्रेयर शोधन तर्क के प्रकार का अनुसरण करता है। अंतिम स्वयंसिद्ध रूप के परिमित एबेलियन समूहों के आदेशों के आधार पर सरल गिनती तर्क का पालन किया जाता है
परिभाषा के अनुसार प्रत्येक अपार्टमेंट का आवश्यक रूप होता है और उनका संघ संपूर्ण होता है {{mvar|X}}. दूसरा स्वयंसिद्ध श्रेयर शोधन तर्क के प्रकार का अनुसरण करता है। अंतिम स्वयंसिद्ध रूप के परिमित एबेलियन समूहों के आदेशों के आधार पर सरल गिनती तर्क का पालन किया जाता है


:{{math|''L'' + ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub> / ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub>}}
:{{math|''L'' + ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub> / ''p''<sup>''k''</sup> ·''L''<sub>''i''</sub>}}
Line 90: Line 89:
मानक कॉम्पैक्टनेस तर्क यह दर्शाता है {{mvar|X}} वास्तव में चयन से स्वतंत्र है {{mvar|K}}. विशेष रूप से लेना {{math|''K'' {{=}} '''Q'''}}, यह इस प्रकार है कि {{mvar|X}} गणनीय है. दूसरी ओर, ले रहा है {{math|''K'' {{=}} '''Q'''<sub>''p''</sub>}}, परिभाषा यह दर्शाती है {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} बिल्डिंगपर स्वाभाविक सरल कार्रवाई को स्वीकार करता है।
मानक कॉम्पैक्टनेस तर्क यह दर्शाता है {{mvar|X}} वास्तव में चयन से स्वतंत्र है {{mvar|K}}. विशेष रूप से लेना {{math|''K'' {{=}} '''Q'''}}, यह इस प्रकार है कि {{mvar|X}} गणनीय है. दूसरी ओर, ले रहा है {{math|''K'' {{=}} '''Q'''<sub>''p''</sub>}}, परिभाषा यह दर्शाती है {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} बिल्डिंगपर स्वाभाविक सरल कार्रवाई को स्वीकार करता है।


बिल्डिंगअपने शीर्षों पर मूल्यों के साथ लेबलिंग से सुसज्जित है {{math|'''Z''' / ''n'''''Z'''}}. दरअसल, संदर्भ जाली को ठीक करना {{mvar|L}}, का लेबल {{mvar|M}} द्वारा दिया गया है
बिल्डिंगअपने शीर्षों पर मूल्यों के साथ लेबलिंग से सुसज्जित है {{math|'''Z''' / ''n'''''Z'''}}. दरअसल, संदर्भ जाली को ठीक करना {{mvar|L}}, का लेबल {{mvar|M}} द्वारा दिया गया है


:{{math|label(''M'') {{=}} log<sub>''p''</sub> {{abs|''M'' / ''p''<sup>''k''</sup> ''L''}} modulo ''n''}}
:{{math|label(''M'') {{=}} log<sub>''p''</sub> {{abs|''M'' / ''p''<sup>''k''</sup> ''L''}} modulo ''n''}}


के लिए {{mvar|k}} पर्याप्त रूप से बड़ा. किसी का शीर्ष {{math|(''n'' – 1)}}-सिम्पलेक्स इन {{mvar|X}} के अलग-अलग लेबल हैं, जो संपूर्ण रूप से चल रहे हैं {{math|'''Z''' / ''n'''''Z'''}}. कोई भी सरल ऑटोमोर्फिज्म {{mvar|φ}} का {{mvar|X}} क्रमपरिवर्तन को परिभाषित करता है {{mvar|π}} का {{math|'''Z''' / ''n'''''Z'''}} ऐसा है कि {{math|label(''φ''(''M'')) {{=}} ''π''(label(''M''))}}. विशेष रूप से के लिए {{mvar|g}} में {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}},
के लिए {{mvar|k}} पर्याप्त रूप से बड़ा. किसी का शीर्ष {{math|(''n'' – 1)}}-सिम्पलेक्स इन {{mvar|X}} के अलग-अलग लेबल हैं, जो संपूर्ण रूप से चल रहे हैं {{math|'''Z''' / ''n'''''Z'''}}. कोई भी सरल ऑटोमोर्फिज्म {{mvar|φ}} का {{mvar|X}} क्रमपरिवर्तन को परिभाषित करता है {{mvar|π}} का {{math|'''Z''' / ''n'''''Z'''}} ऐसा है कि {{math|label(''φ''(''M'')) {{=}} ''π''(label(''M''))}}. विशेष रूप से के लिए {{mvar|g}} में {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}},


:{{math|label(''g''·''M'') {{=}} label(''M'') + log<sub>''p''</sub> {{norm|det ''g''}}<sub>''p''</sub> modulo ''n''}}.
:{{math|label(''g''·''M'') {{=}} label(''M'') + log<sub>''p''</sub> {{norm|det ''g''}}<sub>''p''</sub> modulo ''n''}}.
Line 101: Line 100:


===[[ स्वचालितता ]]===
===[[ स्वचालितता ]]===
टिट्स ने सिद्ध कर दिया कि एफ़िन बिल्डिंग का कोई भी लेबल-संरक्षण ऑटोमोर्फिज्म तत्व से उत्पन्न होता है {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}. चूंकि बिल्डिंगकी ऑटोमोर्फिज्म लेबल को क्रमबद्ध करती है, इसलिए प्राकृतिक होमोमोर्फिज्म होता है
टिट्स ने सिद्ध कर दिया कि एफ़िन बिल्डिंग का कोई भी लेबल-संरक्षण ऑटोमोर्फिज्म तत्व से उत्पन्न होता है {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}. चूंकि बिल्डिंगकी ऑटोमोर्फिज्म लेबल को क्रमबद्ध करती है, इसलिए प्राकृतिक होमोमोर्फिज्म होता है


:{{math|Aut ''X'' → ''S''<sub>''n''</sub>}}.
:{{math|Aut ''X'' → ''S''<sub>''n''</sub>}}.


की कार्रवाई {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} चक्रीय क्रमपरिवर्तन को जन्म देता है|{{mvar|n}}-चक्र{{mvar|τ}}. बिल्डिंगकी अन्य ऑटोमोर्फिज्म [[बाहरी स्वचालितता]] से उत्पन्न होती हैं {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}डाइनकिन आरेख के ऑटोमोर्फिज्म से जुड़ा हुआ है। ऑर्थोनॉर्मल आधार के साथ मानक सममित द्विरेखीय रूप लेना {{math|''v''<sub>''i''</sub>}}, जाली को उसकी दोहरी जाली में भेजने वाला नक्शा ऑटोमोर्फिज्म देता है जिसका वर्ग पहचान है, जो क्रमपरिवर्तन देता है {{mvar|σ}} जो प्रत्येक लेबल को उसके नकारात्मक मॉड्यूलो पर भेजता है {{mvar|n}}. उपरोक्त समरूपता की छवि किसके द्वारा उत्पन्न होती है {{mvar|σ}} और {{mvar|τ}} और [[डायहेड्रल समूह]] के लिए समरूp है {{math|''D''<sub>''n''</sub>}} आदेश की {{math|2''n''}}; कब {{math|''n'' {{=}} 3}}, यह संपूर्ण देता है {{math|''S''<sub>3</sub>}}.
की कार्रवाई {{math|GL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} चक्रीय क्रमपरिवर्तन को जन्म देता है|{{mvar|n}}-चक्र{{mvar|τ}}. बिल्डिंगकी अन्य ऑटोमोर्फिज्म [[बाहरी स्वचालितता|बाप्रत्येकी स्वचालितता]] से उत्पन्न होती हैं {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}डाइनकिन आरेख के ऑटोमोर्फिज्म से जुड़ा हुआ है। ऑर्थोनॉर्मल आधार के साथ मानक सममित द्विरेखीय रूप लेना {{math|''v''<sub>''i''</sub>}}, जाली को उसकी दोप्रत्येकी जाली में भेजने वाला नक्शा ऑटोमोर्फिज्म देता है जिसका वर्ग पहचान है, जो क्रमपरिवर्तन देता है {{mvar|σ}} जो प्रत्येक लेबल को उसके नकारात्मक मॉड्यूलो पर भेजता है {{mvar|n}}. उपरोक्त समरूपता की छवि किसके द्वारा उत्पन्न होती है {{mvar|σ}} और {{mvar|τ}} और [[डायहेड्रल समूह]] के लिए समरूp है {{math|''D''<sub>''n''</sub>}} आदेश की {{math|2''n''}}; कब {{math|''n'' {{=}} 3}}, यह संपूर्ण देता है {{math|''S''<sub>3</sub>}}.


अगर {{mvar|E}} का सीमित गैलोज़ विस्तार है {{math|'''Q'''<sub>''p''</sub>}} एवं बिल्डिंग का निर्माण किया गया है {{math|SL<sub>''n''</sub>(''E'')}} के बजाय {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}, गैलोज़ समूह {{math|Gal(''E'' / '''Q'''<sub>''p''</sub>)}} बिल्डिंगपर ऑटोमोर्फिज्म द्वारा भी कार्य करेगा।
अगर {{mvar|E}} का सीमित गैलोज़ विस्तार है {{math|'''Q'''<sub>''p''</sub>}} एवं बिल्डिंग का निर्माण किया गया है {{math|SL<sub>''n''</sub>(''E'')}} के बजाय {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}}, गैलोज़ समूह {{math|Gal(''E'' / '''Q'''<sub>''p''</sub>)}} बिल्डिंगपर ऑटोमोर्फिज्म द्वारा भी कार्य करेगा।


===ज्यामितीय संबंध===
===ज्यामितीय संबंध===
Line 115: Line 114:
* बिल्डिंग{{mvar|X}} के लिए गोलाकार बिल्डिंग को जोड़कर [[संघनन (गणित)]] किया जा सकता है {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} अनंत पर सीमा के रूप में (देखें {{harvnb|Garrett|1997}} या {{harvnb|Brown|1989}}).
* बिल्डिंग{{mvar|X}} के लिए गोलाकार बिल्डिंग को जोड़कर [[संघनन (गणित)]] किया जा सकता है {{math|SL<sub>''n''</sub>('''Q'''<sub>''p''</sub>)}} अनंत पर सीमा के रूप में (देखें {{harvnb|Garrett|1997}} या {{harvnb|Brown|1989}}).


===ब्रुहट-जटिल गुणन वाले स्तन वृक्ष===
===ब्रुहट-जटिल गुणन वाले टिट्स वृक्ष===


कब {{mvar|L}} समूह के लिए बिल्डिंग पर आर्किमिडीयन स्थानीय क्षेत्र है {{math|SL<sub>2</sub>(''L'')}} जटिल गुणन के साथ बिल्डिंगकी अतिरिक्त संरचना लगाई जा सकती है। इन्हें सबसे पहले मार्टिन एल. ब्राउन द्वारा प्रस्तुत किया गया था ({{harvnb|Brown|2004}}). ये बिल्डिंग द्विघात विस्तार से उत्पन्न होती हैं {{mvar|L}} सदिश समष्टि पर कार्य करता है {{math|''L''<sup>2</sup>}}. जटिल गुणन वाली इन बिल्डिंग को किसी भी वैश्विक क्षेत्र तक बढ़ाया जा सकता है। वे शास्त्रीय मॉड्यूलर वक्र पर हेगनर बिंदुओं पर हेके ऑपरेटरों की कार्रवाई का वर्णन करते हैं {{math|''X''<sub>0</sub>(''N'')}} साथ ही ड्रिनफेल्ड मॉड्यूलर वक्र पर भी {{math|''X''{{su|b=0|p=Drin}}(''I'')}}. जटिल गुणन वाली ये बिल्डिंग पूरी तरह से विषय के लिए वर्गीकृत हैं {{math|SL<sub>2</sub>(''L'')}} में {{harvnb|Brown|2004}}
कब {{mvar|L}} समूह के लिए बिल्डिंग पर आर्किमिडीयन स्थानीय क्षेत्र है {{math|SL<sub>2</sub>(''L'')}} जटिल गुणन के साथ बिल्डिंगकी अतिरिक्त संरचना लगाई जा सकती है। इन्हें सबसे पहले मार्टिन एल. ब्राउन द्वारा प्रस्तुत किया गया था ({{harvnb|Brown|2004}}). ये बिल्डिंग द्विघात विस्तार से उत्पन्न होती हैं {{mvar|L}} सदिश समष्टि पर कार्य करता है {{math|''L''<sup>2</sup>}}. जटिल गुणन वाली इन बिल्डिंग को किसी भी वैश्विक क्षेत्र तक बढ़ाया जा सकता है। वे शास्त्रीय मॉड्यूलर वक्र पर हेगनर बिंदुओं पर हेके ऑपरेटरों की कार्रवाई का वर्णन करते हैं {{math|''X''<sub>0</sub>(''N'')}} साथ ही ड्रिनफेल्ड मॉड्यूलर वक्र पर भी {{math|''X''{{su|b=0|p=Drin}}(''I'')}}. जटिल गुणन वाली ये बिल्डिंग पूरी तरह से विषय के लिए वर्गीकृत हैं {{math|SL<sub>2</sub>(''L'')}} में {{harvnb|Brown|2004}}


==वर्गीकरण==
==वर्गीकरण==
टिट्स ने सिद्ध किया कि 2 से अधिक रैंक की सभी अपरिवर्तनीय गोलाकार बिल्डिंग (यानी परिमित वेइल समूह के साथ) सरल बीजगणितीय या शास्त्रीय समूहों से जुड़ी हैं।
टिट्स ने सिद्ध किया कि 2 से अधिक रैंक की सभी अपरिवर्तनीय गोलाकार बिल्डिंग (यानी परिमित वेइल समूह के साथ) सरल बीजगणितीय या शास्त्रीय समूहों से जुड़ी हैं।


समान परिणाम 2 से अधिक आयाम की इरेड्यूसिबल एफ़िन बिल्डिंग के लिए होता है (अनंत पर उनकी बिल्डिंग दो से अधिक रैंक के गोलाकार होती हैं)। निचली श्रेणी या आयाम में, ऐसा कोई वर्गीकरण नहीं है। दरअसल, प्रत्येक [[घटना संरचना]] रैंक 2 की गोलाकार बिल्डिंगदेती है (देखें)। {{harvnb|Pott|1995}}); और बॉलमैन और ब्रिन ने सिद्ध किया कि प्रत्येक 2-आयामी सरल परिसर जिसमें शीर्षों के लिंक परिमित प्रक्षेप्य विमान के [[ध्वज परिसर]] के समरूp होते हैं, बिल्डिंगकी संरचना होती है, जरूरी नहीं कि शास्त्रीय हो। कई 2-आयामी एफ़िन बिल्डिंग का निर्माण हाइपरबोलिक [[प्रतिबिंब समूह]]ों या [[ कक्षीय ]]्स से जुड़े अन्य अधिक विदेशी निर्माणों का उपयोग करके किया गया है।
समान परिणाम 2 से अधिक आयाम की इरेड्यूसिबल एफ़िन बिल्डिंग के लिए होता है (अनंत पर उनकी बिल्डिंग दो से अधिक रैंक के गोलाकार होती हैं)। निचली श्रेणी या आयाम में, ऐसा कोई वर्गीकरण नहीं है। दरअसल, प्रत्येक [[घटना संरचना]] रैंक 2 की गोलाकार बिल्डिंगदेती है (देखें)। {{harvnb|Pott|1995}}); और बॉलमैन और ब्रिन ने सिद्ध किया कि प्रत्येक 2-आयामी सरल परिसर जिसमें शीर्षों के लिंक परिमित प्रक्षेप्य विमान के [[ध्वज परिसर]] के समरूp होते हैं, बिल्डिंगकी संरचना होती है, जरूरी नहीं कि शास्त्रीय हो। कई 2-आयामी एफ़िन बिल्डिंग का निर्माण हाइपरबोलिक [[प्रतिबिंब समूह]]ों या [[ कक्षीय |कक्षीय]] ्स से जुड़े अन्य अधिक विदेशी निर्माणों का उपयोग करके किया गया है।


टिट्स ने यह भी सिद्ध किया कि हर बार किसी बिल्डिंगका वर्णन द्वारा किया जाता है {{math|(''B'', ''N'')}} समूह में जोड़ी, तो लगभग सभी विषयों में बिल्डिंगकी ऑटोमोर्फिज्म समूह की ऑटोमोर्फिज्म के अनुरूप होती है (देखें) {{harvnb|Tits|1974}}).
टिट्स ने यह भी सिद्ध किया कि प्रत्येक बार किसी बिल्डिंगका वर्णन द्वारा किया जाता है {{math|(''B'', ''N'')}} समूह में जोड़ी, तो लगभग सभी विषयों में बिल्डिंगकी ऑटोमोर्फिज्म समूह की ऑटोमोर्फिज्म के अनुरूप होती है (देखें) {{harvnb|Tits|1974}}).


==अनुप्रयोग==
==अनुप्रयोग==


बिल्डिंग के सिद्धांत का कई अलग-अलग क्षेत्रों में महत्वपूर्ण अनुप्रयोग है। सामान्य और स्थानीय क्षेत्रों में रिडक्टिव बीजगणितीय समूहों की संरचना के साथ पहले से उल्लिखित कनेक्शन के अतिरिक्त, बिल्डिंग का उपयोग उनके [[समूह प्रतिनिधित्व]] का अध्ययन करने के लिए किया जाता है। किसी समूह के निर्माण द्वारा उसके निर्धारण पर टिट्स के परिणामों का [[जॉर्ज मोस्टो]] और [[ग्रिगोरी मार्गुलिस]] के मोस्टो कठोरता प्रमेय और [[मार्गुलिस अंकगणित]] के साथ गहरा संबंध है।
बिल्डिंग के सिद्धांत का कई अलग-अलग क्षेत्रों में महत्वपूर्ण अनुप्रयोग है। सामान्य और स्थानीय क्षेत्रों में रिडक्टिव बीजगणितीय समूहों की संरचना के साथ पहले से उल्लिखित कनेक्शन के अतिरिक्त, बिल्डिंग का उपयोग उनके [[समूह प्रतिनिधित्व]] का अध्ययन करने के लिए किया जाता है। किसी समूह के निर्माण द्वारा उसके निर्धारण पर टिट्स के परिणामों का [[जॉर्ज मोस्टो]] और [[ग्रिगोरी मार्गुलिस]] के मोस्टो कठोरता प्रमेय और [[मार्गुलिस अंकगणित]] के साथ गप्रत्येका संबंध है।


असतत गणित में विशेष प्रकार की बिल्डिंग का अध्ययन किया जाता है, और सरल समूहों को चिह्नित करने के लिए ज्यामितीय दृष्टिकोण का विचार परिमित सरल समूहों के वर्गीकरण में बहुत उपयोगी सिद्ध हुआ। गोलाकार या एफ़िन से अधिक सामान्य प्रकार की बिल्डिंग का सिद्धांत अभी भी अपेक्षाकृत अविकसित है, किन्तु इन सामान्यीकृत बिल्डिंग को पहले से ही बीजगणित में केएसी-मूडी बीजगणित | केएसी-मूडी समूहों के निर्माण और टोपोलॉजी में गैर-सकारात्मक रूप से घुमावदार विविध और हाइपरबोलिक समूहों के निर्माण के लिए आवेदन मिल चुके हैं। और [[ज्यामितीय समूह सिद्धांत]]।
असतत गणित में विशेष प्रकार की बिल्डिंग का अध्ययन किया जाता है, और सरल समूहों को चिह्नित करने के लिए ज्यामितीय दृष्टिकोण का विचार परिमित सरल समूहों के वर्गीकरण में बहुत उपयोगी सिद्ध हुआ। गोलाकार या एफ़िन से अधिक सामान्य प्रकार की बिल्डिंग का सिद्धांत अभी भी अपेक्षाकृत अविकसित है, किन्तु इन सामान्यीकृत बिल्डिंग को पहले से ही बीजगणित में केएसी-मूडी बीजगणित | केएसी-मूडी समूहों के निर्माण और टोपोलॉजी में गैर-सकारात्मक रूप से घुमावदार विविध और हाइपरबोलिक समूहों के निर्माण के लिए आवेदन मिल चुके हैं। और [[ज्यामितीय समूह सिद्धांत]]।
Line 168: Line 167:




==बाहरी संबंध==
==बाप्रत्येकी संबंध==
* Rousseau: [http://hal.inria.fr/docs/00/09/43/63/PDF/_04a5_Euclidean_buildings_Grenoble_.pdf Euclidean Buildings]
* Rousseau: [http://hal.inria.fr/docs/00/09/43/63/PDF/_04a5_Euclidean_buildings_Grenoble_.pdf Euclidean Buildings]


Revision as of 07:26, 26 July 2023

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

अवलोकन

2-एडिक लाई समूह के लिए ब्रुहट-टिट्स ट्री SL(2,Q2)

बिल्डिंग की अवधारणा का आविष्कार जैक्स टिट्स द्वारा स्वेच्छानुसार क्षेत्र (गणित) पर लाई प्रकार के समूह का वर्णन करने के साधन के रूप में किया गया था। टिट्स ने प्रदर्शित किया कि कैसे ऐसे प्रत्येक समूह G के लिए कोई सरल समष्टि Δ = Δ(G) को G की समूह क्रिया (गणित) के साथ जोड़ सकता है, जिसे G की गोलाकार बिल्डिंग कहा जाता है I समूह G समष्टि Δ पर बहुत दृढ़ संयोजन नियमितता की स्थिति प्रस्तावित करता है, जो इस प्रकार उत्पन्न हो सकता है। सरलीकृत परिसरों के वर्ग के लिए इन स्थितियों को स्वयंसिद्ध मानकर, टिट्स बिल्डिंग की अपनी प्रथम परिभाषा पर पहुंचे है। किसी बिल्डिंग को परिभाषित करने वाले डेटा का भाग Δ कॉक्सेटर समूह W है, जो अत्यधिक सममितीय सरलीकृत समष्टि Σ = Σ(W,S) को निर्धारित करता है, जिसे कॉक्सेटर कॉम्प्लेक्स कहा जाता है। बिल्डिंग Δ की कई Σ प्रतियों को साथ एकत्रित कर दिया गया है, निश्चित नियमित फलन में, इसके अपार्टमेंट कहलाते हैं। जब W परिमित कॉक्सेटर समूह है, कॉक्सेटर समष्टि टोपोलॉजिकल क्षेत्र है, और संबंधित बिल्डिंग को गोलाकार प्रकार का कहा जाता है। जब W एफ़िन वेइल समूह है, कॉक्सेटर समष्टि एफ़िन विमान का उपखंड है और एफ़िन, या यूक्लिडियन, बिल्डिंग की चर्चा करता है। इस प्रकार की एफ़िन बिल्डिंग Ã1 टर्मिनल शीर्षों के अतिरिक्त अनंत ट्री (ग्राफ़ सिद्धांत) के समान है।

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

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

परिभाषा

n-आयामी बिल्डिंग X अमूर्त सरल संकुल है जो उप संकुलों का संघ है, A अपार्टमेंट को ऐसे कहा जाता है I

  • प्रत्येक k-का सरलीकरण X कम से कम तीन n-सिंप्लेक्स के अंदर है, यदि k < n है I
  • कोई (n – 1)- अपार्टमेंट में सिंप्लेक्स A बिल्कुल दो आसन्न में स्थित है, n-का सरलीकरण A और आसन्न का ग्राफ सिद्धांत n-सरल जुड़ा हुआ है I
  • X में कोई भी दो सिंप्लेक्स किसी सामान्य अपार्टमेंट A में स्थित हैं I
  • यदि दो सिंपलिस दोनों अपार्टमेंट A और A′ में स्थित हैं, तो A पर A′ का सरल समरूपता है, जो दो सिंपलिस के शीर्षों को त्रुटिहीन करता है।

A में n-सिम्पलेक्स को कक्ष कहा जाता है (मूल रूप सेचैम्ब्रे, यानी फ्रेंच भाषा में कमरा)।

बिल्डिंग की श्रेणी को n + 1 परिभाषित किया गया है I

प्राथमिक गुण

बिल्डिंग में प्रत्येक अपार्टमेंट A कॉक्सेटर समष्टि है। वास्तव में, (n – 1)-सिम्प्लेक्स या पैनल में प्रतिच्छेद करने वाले प्रत्येक दो n-सिंप्लेक्स के लिए, A की दो सरल ऑटोमोर्फिज्म की अद्वितीय अवधि होती है, जिसे प्रतिबिंब कहा जाता है, जो एक n-सिंप्लेक्स को दूसरे पर ले जाता है और उनके सामान्य बिंदुओं को त्रुटिहीन करता है। ये प्रतिबिंब कॉक्सेटर समूह W उत्पन्न करते हैं, जिसे A का वेइल समूह कहा जाता है, और सरल परिसर A, W के मानक ज्यामितीय से मेल खाता है। कॉक्सेटर समूह के मानक जनरेटर A में निश्चित कक्ष की दीवारों में प्रतिबिंबों द्वारा दिए जाते हैं। चूँकि अपार्टमेंट A को बिल्डिंग द्वारा समरूपता तक निर्धारित किया जाता है, कुछ सामान्य अपार्टमेंट A में पड़े X में किन्हीं दो सरलताओं के लिए भी यही सत्य है। जब W परिमित होता है, तो बिल्डिंग को गोलाकार कहा जाता है। जब यह एफ़िन वेइल समूह होता है, तो बिल्डिंग को एफ़िन या यूक्लिडियन कहा जाता है।

कक्ष प्रणाली कक्षों द्वारा गठित आसन्नता ग्राफ है; आसन्न कक्षों के प्रत्येक जोड़े को किसी मानक द्वारा लेबल किया जा सकता है I कॉक्सेटर समूह के जनरेटर (देखें Tits 1981).

प्रत्येक बिल्डिंग में विहित आंतरिक मीट्रिक होती है, जो हिल्बर्ट स्थान के ऑर्थोनॉर्मल आधार के साथ शीर्षों की पहचान करके प्राप्त ज्यामितीय प्राप्ति से इनहेरिटेड में मिली है। संबद्ध बिल्डिंगों के लिए, यह मीट्रिक कैट(k) स्थान को संतुष्ट करता है I कैट(0) अलेक्जेंडर डेनिलोविच अलेक्जेंड्रोव की तुलनात्मक असमानता, जिसे इस सेटिंग में जियोडेसिक त्रिकोण के लिए ब्रुहट-टिट्स अन्य-सकारात्मक वक्रता स्थिति के रूप में जाना जाता है: शीर्ष से विपरीत दिशा के मध्य बिंदु तक की दूरी समान भुजाओं की लंबाई वाले संबंधित यूक्लिडियन त्रिकोण में दूरी से अधिक नहीं है (देखें) ब्रुहत & टिट्स 1972).

के साथ संबंध (B, N)जोड़े

यदि कोई समूह G किसी बिल्डिंगपर सरलता से कार्य करता है X, जोड़ों पर सकर्मक रूप से (C,A) कक्षों का C और अपार्टमेंट Aउनसे युक्त, तो ऐसी जोड़ी के स्टेबलाइजर्स बीएन जोड़ी को परिभाषित करते हैं|(B, N) जोड़ी या टिट्स प्रणाली. वास्तव में उपसमूहों की जोड़ी

B = GC और N = GA

ए के सिद्धांतों को संतुष्ट करता है (B, N) जोड़ी और वेइल समूह की पहचान की जा सकती है N / N ∩ B.

इसके विपरीत बिल्डिंग को पुनः प्राप्त किया जा सकता है (B, N) जोड़ी, ताकि प्रत्येक (B, N) जोड़ी प्रामाणिक रूप से बिल्डिंगको परिभाषित करती है। वास्तव में, की शब्दावली का उपयोग करना (B, N) जोड़े और किसी भी संयुग्म को बुलाना B बोरेल उपसमूह और बोरेल उपसमूह वाला कोई भी समूह, परवलयिक उपसमूह,

  • बिल्डिंगके शिखर Xअधिकतम परवलयिक उपसमूहों के अनुरूप;
  • k + 1 शीर्ष रूप बनाते हैं k-सिंप्लेक्स जब भी संबंधित अधिकतम परवलयिक उपसमूहों का प्रतिच्छेदन भी परवलयिक होता है;
  • अपार्टमेंट नीचे संयुग्मित हैं G नीचे संयुग्मों द्वारा दिए गए शीर्षों के साथ सरल उपसंकुल का N अधिकतम परवलयिक युक्त B.

ही बिल्डिंगका अक्सर अलग-अलग वर्णन किया जा सकता है (B, N) जोड़े। इसके अतिरिक्त, प्रत्येक बिल्डिंग से नहीं आती (B, N) जोड़ी: यह निम्न रैंक और आयाम में वर्गीकरण परिणामों की विफलता से मेल खाती है (नीचे देखें)।

गोलाकार और गोलाकार बिल्डिंग के लिए SLn

संबद्ध और गोलाकार बिल्डिंग की सरल संरचना SLn(Qp), साथ ही उनके अंतर्संबंधों को केवल प्राथमिक बीजगणित और ज्यामिति की अवधारणाओं का उपयोग करके सीधे समझाना आसान है (देखें) Garrett 1997). इस विषय में तीन अलग-अलग बिल्डिंग हैं, दो गोलाकार और गोलाकार। प्रत्येक अपार्टमेंट का संघ है, जो स्वयं सरल परिसर हैं। एफ़िन बिल्डिंग के लिए, अपार्टमेंट सरल जटिल चौकोर यूक्लिडियन स्थान है En−1 द्वारा (n − 1)-आयामी सरलताएं; जबकि गोलाकार बिल्डिंगके लिए यह सभी द्वारा निर्मित सीमित सरल परिसर है (n − 1)! अनुरूप टेस्सेलेशन में किसी दिए गए सामान्य शीर्ष के साथ सरलता En−2.

प्रत्येक बिल्डिंग साधारण परिसर है X जिसे निम्नलिखित सिद्धांतों को संतुष्ट करना होगा:

  • Xअपार्टमेंट का संघ है.
  • कोई भी दो सरलताएँ X सामान्य अपार्टमेंट में समाहित हैं।
  • यदि सिम्प्लेक्स दो अपार्टमेंटों में समाहित है, तो सभी सामान्य बिंदुओं को ठीक करते हुए से दूसरे की सरल समरूपता होती है।

गोलाकार बिल्डिंग

होने देना F क्षेत्र (गणित) बनें और रहने दें X गैर-तुच्छ वेक्टर उप-स्थानों के शीर्षों के साथ सरल जटिल बनें V = Fn. दो उपस्थान U1 और U2 जुड़े हुए हैं यदि उनमें से दूसरे का उपसमुच्चय है। वह k-का सरलीकरण X के सेट से बनते हैं k + 1 परस्पर जुड़े हुए उपस्थान। लेने से अधिकतम कनेक्टिविटी प्राप्त होती है n − 1 उचित गैर-तुच्छ उप-स्थान और संगत (n − 1)-सिंप्लेक्स ध्वज से मेल खाता है (रैखिक बीजगणित)

(0) ⊂ U1 ⊂ ··· ⊂ Un – 1 ⊂ V

कम आयामी सरलताएं कम मध्यस्थ उपस्थानों वाले आंशिक झंडों के अनुरूप होती हैं Ui.

अपार्टमेंट को परिभाषित करने के लिए X, इसमें फ़्रेम को परिभाषित करना सुविधाजनक है V आधार रूप से (vi) इसके प्रत्येक सदिश के अदिश गुणन तक निर्धारित किया जाता है vi; दूसरे शब्दों में फ़्रेम -आयामी उप-स्थानों का सेट है Li = F·vi ऐसा कि कोई भी k उनमें से उत्पन्न होता है k-आयामी उपस्थान. अब ऑर्डर किया गया फ्रेम L1, ..., Ln के माध्यम से पूर्ण ध्वज को परिभाषित करता है

Ui = L1 ⊕ ··· ⊕ Li

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

एफ़िन बिल्डिंग

होने देना K के बीच में फ़ील्ड हो Q और इसका p-एडिक नंबर|p-अर्थात् पूर्णता Qp सामान्य आर्किमिडीयन संपत्ति के संबंध में|गैर-आर्किमिडीयन p-एडिक मानदंड|p-अर्थात आदर्श ||x||p पर Q कुछ प्राइम के लिए p. होने देना R का उपरिंग हो K द्वारा परिभाषित

R = { x : ||x||p ≤ 1 }

कब K = Q, R रिंग का स्थानीयकरण है Z पर p और जब K = Qp, R = Zp, p-एडिक पूर्णांक|p-एडीआईसी पूर्णांक, यानी बंद करना Z में Qp.

बिल्डिंगके शिखर X हैं R-में जाली V = Kn, अर्थात। R-फॉर्म के उपमॉड्यूल

L = R·v1 ⊕ ··· ⊕ R·vn

कहाँ (vi) का आधार है V ऊपर K. गुणक समूह के तत्व द्वारा दो जालकों को समतुल्य कहा जाता है यदि दूसरे का अदिश गुणज है K* का K (वास्तव में केवल पूर्णांक घातें p उपयोग करने की आवश्यकता है)। दो जाली L1 और L2 को आसन्न कहा जाता है यदि कुछ जाली के बराबर हो L2 बीच मे स्थित L1 और इसकी उदात्तता p·L1: यह संबंध सममित है. वह k-का सरलीकरण X के समतुल्य वर्ग हैं k + 1 परस्पर आसन्न जाली, वह (n − 1)-सरलताएं, पुनः लेबल करने के पश्चात्, जंजीरों से मेल खाती हैं

p·Ln ⊂ L1 ⊂ L2 ⊂ ··· ⊂ Ln – 1 ⊂ Ln

जहां प्रत्येक क्रमिक भागफल का क्रम होता है p. अपार्टमेंट को आधार तय करके परिभाषित किया जाता है (vi) का V और सभी जालकों को आधार के साथ लेना (pai vi) कहाँ (ai) में निहित है Zn और प्रत्येक प्रविष्टि में समान पूर्णांक जोड़ने तक विशिष्ट रूप से निर्धारित किया जाता है।

परिभाषा के अनुसार प्रत्येक अपार्टमेंट का आवश्यक रूप होता है और उनका संघ संपूर्ण होता है X. दूसरा स्वयंसिद्ध श्रेयर शोधन तर्क के प्रकार का अनुसरण करता है। अंतिम स्वयंसिद्ध रूप के परिमित एबेलियन समूहों के आदेशों के आधार पर सरल गिनती तर्क का पालन किया जाता है

L + pk ·Li / pk ·Li

मानक कॉम्पैक्टनेस तर्क यह दर्शाता है X वास्तव में चयन से स्वतंत्र है K. विशेष रूप से लेना K = Q, यह इस प्रकार है कि X गणनीय है. दूसरी ओर, ले रहा है K = Qp, परिभाषा यह दर्शाती है GLn(Qp) बिल्डिंगपर स्वाभाविक सरल कार्रवाई को स्वीकार करता है।

बिल्डिंगअपने शीर्षों पर मूल्यों के साथ लेबलिंग से सुसज्जित है Z / nZ. दरअसल, संदर्भ जाली को ठीक करना L, का लेबल M द्वारा दिया गया है

label(M) = logp |M / pk L| modulo n

के लिए k पर्याप्त रूप से बड़ा. किसी का शीर्ष (n – 1)-सिम्पलेक्स इन X के अलग-अलग लेबल हैं, जो संपूर्ण रूप से चल रहे हैं Z / nZ. कोई भी सरल ऑटोमोर्फिज्म φ का X क्रमपरिवर्तन को परिभाषित करता है π का Z / nZ ऐसा है कि label(φ(M)) = π(label(M)). विशेष रूप से के लिए g में GLn(Qp),

label(g·M) = label(M) + logp ||det g||p modulo n.

इस प्रकार g यदि लेबल सुरक्षित रखता है g में निहित है SLn(Qp).

स्वचालितता

टिट्स ने सिद्ध कर दिया कि एफ़िन बिल्डिंग का कोई भी लेबल-संरक्षण ऑटोमोर्फिज्म तत्व से उत्पन्न होता है SLn(Qp). चूंकि बिल्डिंगकी ऑटोमोर्फिज्म लेबल को क्रमबद्ध करती है, इसलिए प्राकृतिक होमोमोर्फिज्म होता है

Aut X → Sn.

की कार्रवाई GLn(Qp) चक्रीय क्रमपरिवर्तन को जन्म देता है|n-चक्रτ. बिल्डिंगकी अन्य ऑटोमोर्फिज्म बाप्रत्येकी स्वचालितता से उत्पन्न होती हैं SLn(Qp)डाइनकिन आरेख के ऑटोमोर्फिज्म से जुड़ा हुआ है। ऑर्थोनॉर्मल आधार के साथ मानक सममित द्विरेखीय रूप लेना vi, जाली को उसकी दोप्रत्येकी जाली में भेजने वाला नक्शा ऑटोमोर्फिज्म देता है जिसका वर्ग पहचान है, जो क्रमपरिवर्तन देता है σ जो प्रत्येक लेबल को उसके नकारात्मक मॉड्यूलो पर भेजता है n. उपरोक्त समरूपता की छवि किसके द्वारा उत्पन्न होती है σ और τ और डायहेड्रल समूह के लिए समरूp है Dn आदेश की 2n; कब n = 3, यह संपूर्ण देता है S3.

अगर E का सीमित गैलोज़ विस्तार है Qp एवं बिल्डिंग का निर्माण किया गया है SLn(E) के बजाय SLn(Qp), गैलोज़ समूह Gal(E / Qp) बिल्डिंगपर ऑटोमोर्फिज्म द्वारा भी कार्य करेगा।

ज्यामितीय संबंध

एफ़िन बिल्डिंग के संबंध में गोलाकार बिल्डिंग दो बिल्कुल अलग-अलग तरीकों से उत्पन्न होती हैं X के लिए SLn(Qp):

  • प्रत्येक शीर्ष का लिंक (ज्यामिति)। L एफ़िन बिल्डिंग में सबमॉड्यूल से मेल खाता है L / p·L परिमित क्षेत्र के अंतर्गत F = R / p·R = Z / (p). यह सिर्फ गोलाकार बिल्डिंगके लिए है SLn(F).
  • बिल्डिंगX के लिए गोलाकार बिल्डिंग को जोड़कर संघनन (गणित) किया जा सकता है SLn(Qp) अनंत पर सीमा के रूप में (देखें Garrett 1997 या Brown 1989).

ब्रुहट-जटिल गुणन वाले टिट्स वृक्ष

कब L समूह के लिए बिल्डिंग पर आर्किमिडीयन स्थानीय क्षेत्र है SL2(L) जटिल गुणन के साथ बिल्डिंगकी अतिरिक्त संरचना लगाई जा सकती है। इन्हें सबसे पहले मार्टिन एल. ब्राउन द्वारा प्रस्तुत किया गया था (Brown 2004). ये बिल्डिंग द्विघात विस्तार से उत्पन्न होती हैं L सदिश समष्टि पर कार्य करता है L2. जटिल गुणन वाली इन बिल्डिंग को किसी भी वैश्विक क्षेत्र तक बढ़ाया जा सकता है। वे शास्त्रीय मॉड्यूलर वक्र पर हेगनर बिंदुओं पर हेके ऑपरेटरों की कार्रवाई का वर्णन करते हैं X0(N) साथ ही ड्रिनफेल्ड मॉड्यूलर वक्र पर भी XDrin
0(I). जटिल गुणन वाली ये बिल्डिंग पूरी तरह से विषय के लिए वर्गीकृत हैं SL2(L) में Brown 2004

वर्गीकरण

टिट्स ने सिद्ध किया कि 2 से अधिक रैंक की सभी अपरिवर्तनीय गोलाकार बिल्डिंग (यानी परिमित वेइल समूह के साथ) सरल बीजगणितीय या शास्त्रीय समूहों से जुड़ी हैं।

समान परिणाम 2 से अधिक आयाम की इरेड्यूसिबल एफ़िन बिल्डिंग के लिए होता है (अनंत पर उनकी बिल्डिंग दो से अधिक रैंक के गोलाकार होती हैं)। निचली श्रेणी या आयाम में, ऐसा कोई वर्गीकरण नहीं है। दरअसल, प्रत्येक घटना संरचना रैंक 2 की गोलाकार बिल्डिंगदेती है (देखें)। Pott 1995); और बॉलमैन और ब्रिन ने सिद्ध किया कि प्रत्येक 2-आयामी सरल परिसर जिसमें शीर्षों के लिंक परिमित प्रक्षेप्य विमान के ध्वज परिसर के समरूp होते हैं, बिल्डिंगकी संरचना होती है, जरूरी नहीं कि शास्त्रीय हो। कई 2-आयामी एफ़िन बिल्डिंग का निर्माण हाइपरबोलिक प्रतिबिंब समूहों या कक्षीय ्स से जुड़े अन्य अधिक विदेशी निर्माणों का उपयोग करके किया गया है।

टिट्स ने यह भी सिद्ध किया कि प्रत्येक बार किसी बिल्डिंगका वर्णन द्वारा किया जाता है (B, N) समूह में जोड़ी, तो लगभग सभी विषयों में बिल्डिंगकी ऑटोमोर्फिज्म समूह की ऑटोमोर्फिज्म के अनुरूप होती है (देखें) Tits 1974).

अनुप्रयोग

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

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

यह भी देखें

संदर्भ


बाप्रत्येकी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=बिल्डिंग_(गणित)&oldid=232540’