प्रेरित प्रतिनिधित्व: Difference between revisions

Revision as of 18:38, 30 May 2023

समूह सिद्धांत में, प्रेरित प्रतिनिधित्व एक समूह प्रतिनिधित्व है, $G$ , जो एक उपसमूह $H$ के ज्ञात प्रतिनिधित्व का उपयोग करके बनाया गया है। $H$ के प्रतिनिधित्व को देखते हुए, प्रेरित प्रतिनिधित्व एक अर्थ में, G का "सबसे सामान्य" प्रतिनिधित्व है जो दिए गए को बढ़ाता है। चूंकि प्रायः छोटे समूह $H$ की तुलना में $G$ के प्रतिनिधित्वों को खोजना आसान होता है, नए अभ्यावेदन के निर्माण के लिए प्रेरित अभ्यावेदन बनाने का संचालन एक महत्वपूर्ण उपकरण है।

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

निर्माण

बीजीय

मान लीजिए कि G एक परिमित समूह है और H, G का कोई उपसमूह है। इसके अतिरिक्त मान लीजिये $(π, V)$ $H$ का प्रतिनिधित्व है। मान लीजिए कि n = [G : H], G में H का सूचकांक है और g1, ..., gn को G/H में बाएँ सहसमुच्चयों के G में प्रतिनिधियों का एक पूरा सम्मुच्चय होने दें। प्रेरित प्रतिनिधित्व $Ind G H π$ को निम्नलिखित स्थान पर कार्य करने के बारे में सोचा जा सकता है:

W=\bigoplus _{i=1}^{n}g_{i}V.

G

H

G

यहाँ प्रत्येक $g i V$ सदिश समष्टि V की एक तुल्याकार प्रति है जिसके अवयवों को इस प्रकार लिखा गया है। G में प्रत्येक g के लिए और प्रत्येक gi में H में एक hi और {1, ..., n} में j(i) होता है जैसे कि $g g i = g j(i) h i$ । (यह कहने का एक और तरीका है कि $g 1, ..., g n$ प्रतिनिधियों का एक पूरा सम्मुच्चय है।) प्रेरित प्रतिनिधित्व के माध्यम से $G$ $W$ पर कार्य करता है:

g\cdot \sum _{i=1}^{n}g_{i}v_{i}=\sum _{i=1}^{n}g_{j(i)}\pi (h_{i})v_{i}

जहाँ $v_{i}\in V$ प्रत्येक i के लिए है।

वैकल्पिक रूप से, कोई वलय के परिवर्तन द्वारा प्रेरित प्रतिनिधित्व का निर्माण कर सकता है: कोई भी k-रैखिक प्रतिनिधित्व $\pi$ समूह H को समूह वलय K[H] के ऊपर एक मापदंड (गणित) V के रूप में देखा जा सकता है। हम तब निम्न परिभाषित कर सकते हैं

\operatorname {Ind} _{H}^{G}\pi =K[G]\otimes _{K[H]}V.

इस बाद वाले सूत्र का उपयोग किसी भी समूह $G$ और उपसमूह $H$ के लिए $Ind G H π$ को परिभाषित करने के लिए बिना किसी परिमितता की आवश्यकता के भी किया जा सकता है। ^[1]

उदाहरण

किसी भी समूह के लिए, तुच्छ उपसमूह के तुच्छ प्रतिनिधित्व का प्रेरित प्रतिनिधित्व सही नियमित प्रतिनिधित्व है। सामान्यतः किसी भी उपसमूह के तुच्छ प्रतिनिधित्व का प्रेरित प्रतिनिधित्व उस उपसमूह के सहसमुच्चय पर क्रमचय प्रतिनिधित्व होता है।

एक आयामी प्रतिनिधित्व के प्रेरित प्रतिनिधित्व को एकपद प्रतिनिधित्व कहा जाता है, क्योंकि इसे एकपद आव्यूह के रूप में दर्शाया जा सकता है। कुछ समूहों के पास यह गुण होता है कि उनके सभी अलघुकरणीय निरूपण एकपदी होते हैं, तथाकथित एकपदी समूह होते हैं।

गुण

यदि H समूह G का एक उपसमूह है, तो G के प्रत्येक K-रैखिक प्रतिनिधित्व ρ को H के K-रैखिक प्रतिनिधित्व के रूप में देखा जा सकता है; इसे ρ से H के प्रतिबंध के रूप में जाना जाता है और Res (ρ) द्वारा निरूपित किया जाता है। परिमित समूहों और परिमित-आयामी अभ्यावेदन की स्तिथि में, फ्रोबेनियस पारस्परिक प्रमेय में कहा गया है कि, G के h और p के σ दिया गया है। जैसा कि $Ind(σ)$ से ρ तक G-समतुल्य रैखिक मानचित्रों का है। ^[2] ${\hat {f}}$

प्रेरित प्रतिनिधित्व की सार्वभौमिक संपत्ति, जो अनंत समूहों के लिए भी मान्य है, पारस्परिकता प्रमेय में दिए गए संयोजन के बराबर है। अगर $(\sigma ,V)$ H और $(\operatorname {Ind} (\sigma ),{\hat {V}})$ का प्रतिनिधित्व है, $\sigma$ द्वारा प्रेरित G का प्रतिनिधित्व है, तो एक H-समतुल्य रैखिक मानचित्र $j:V\to {\hat {V}}$ उपस्थित है निम्नलिखित संपत्ति के साथ: G और H-एक्विवारीअन्ट रैखिक मानचित्र $f:V\to W$ का कोई भी प्रतिनिधित्व $(ρ, W)$ दिया गया है, एक अद्वितीय G-एक्विवारीअन्ट रैखिक मानचित्र है ${\hat {f}}:{\hat {V}}\to W$ के साथ ${\hat {f}}j=f$ है: ^[3]

फ्रोबेनियस सूत्र कहता है कि यदि $χ$ प्रतिनिधित्व का चरित्र सिद्धांत $σ$ है, $χ (h) = Tr σ (h)$ निम्न द्वारा दिए गए, फिर चरित्र ψ प्रेरित प्रतिनिधित्व का द्वारा दिया गया है

\psi (g)=\sum _{x\in G/H}{\widehat {\chi }}\left(x^{-1}gx\right),

जहां $G$ और में $H$ के बाएं सह समुच्चय के प्रतिनिधियों की एक प्रणाली पर योग लिया जाता है

{\widehat {\chi }}(k)={\begin{cases}\chi (k)&{\text{if }}k\in H\\0&{\text{otherwise}}\end{cases}}

विश्लेषणात्मक

यदि $G$ स्थानीय रूप से सघन सांस्थितिक समूह (संभवतः अनंत) है और $H$ एक बंद सम्मुच्चय उपसमूह है तो प्रेरित प्रतिनिधित्व का एक सामान्य विश्लेषणात्मक निर्माण होता है। मान लीजिये $(π, V)$ का एक सतत कार्य एकात्मक प्रतिनिधित्व $H$ हो । हम तब दे सकते हैं:

\operatorname {Ind} _{H}^{G}\pi =\left\{\phi \colon G\to V\ :\ \phi (gh^{-1})=\pi (h)\phi (g){\text{ for all }}h\in H,\;g\in G{\text{ and }}\ \phi \in L^{2}(G/H)\right\}.

यहाँ $φ\in L 2 (G / H)$ का अर्थ है: अंतरिक्ष G/H में एक उपयुक्त अपरिवर्तनीय माप होता है, और इसके मानदंड के बाद से $φ(g)$ H के प्रत्येक बाएं सहसमुच्चय पर स्थिर है, हम इन मानदंडों के वर्ग को G/H पर एकीकृत कर सकते हैं और एक परिमित परिणाम प्राप्त कर सकते हैं। समूह $G$ अनुवाद द्वारा प्रेरित प्रतिनिधित्व स्थान पर कार्य करता है, अर्थात $(g .φ)(x)=φ(g -1 x)$ के लिए g,x∈G और $φ\inInd G H π$ ।

आवश्यक अनुप्रयोगों को उचित करने के लिए इस निर्माण को प्रायः विभिन्न तरीकों से संशोधित किया जाता है। एक सामान्य संस्करण को सामान्यीकृत प्रेरण कहा जाता है और सामान्यतः उसी अंकन का उपयोग करता है। प्रतिनिधित्व स्थान की परिभाषा इस प्रकार है:

\operatorname {Ind} _{H}^{G}\pi =\left\{\phi \colon G\to V\ :\ \phi (gh^{-1})=\Delta _{G}^{-{\frac {1}{2}}}(h)\Delta _{H}^{\frac {1}{2}}(h)\pi (h)\phi (g){\text{ and }}\phi \in L^{2}(G/H)\right\}.

यहाँ ΔG, ΔH क्रमशः G और H के प्रमापीय कार्य हैं।। सामान्यीकृत कारकों के अतिरिक्त यह प्रेरण संचालक एकात्मक प्रतिनिधित्वों के लिए एकात्मक प्रतिनिधित्व लेता है।

प्रवर्तन पर एक अन्य भिन्नता को 'सघन प्रवर्तन' कहा जाता है। यह सघन समर्थन वाले कार्यों के लिए प्रतिबंधित मानक प्रेरण है। औपचारिक रूप से इसे इंड द्वारा निरूपित किया जाता है और इसे इस प्रकार परिभाषित किया जाता है:

\operatorname {ind} _{H}^{G}\pi =\left\{\phi \colon G\to V\ :\ \phi (gh^{-1})=\pi (h)\phi (g){\text{ and }}\phi {\text{ has compact support mod }}H\right\}.

ध्यान दें कि यदि $G / H$ सघन है तो Ind और ind एक ही प्रकार्यक हैं।

ज्यामितीय

मान लीजिये $G$ एक सामयिक समूह है और $H$ का एक बंद सम्मुच्चय उपसमूह $G$ है। साथ ही, मान लीजिए π सदिश समष्टि V पर H का निरूपण है। तब G, गुणनफल G × V पर निम्नानुसार कार्य करता है::

g.(g',x)=(gg',x)

जहाँ $g$ और $g'$ के तत्व हैं $G$ और $x$ का एक तत्व $V$ है।

$G \times V$ पर तुल्यता संबंध परिभाषित करें

(g,x)\sim (gh,\pi (h^{-1})(x)){\text{ for all }}h\in H.

$[g,x]$ द्वारा $(g,x)$ के तुल्यता वर्ग को निरूपित करें। ध्यान दें कि यह तुल्यता संबंध की कार्रवाई के अंतर्गत अपरिवर्तनीय $G$ है; फलस्वरूप, $G$ $(G \times V)/~$ कार्य करता है। उत्तरार्द्ध संरचना समूह के रूप में H के साथ और फाइबर के रूप में V के साथ भागफल स्थान G / H पर एक सदिश बंडल है। मान लीजिये $W$ अनुभागों $\phi :G/H\to (G\times V)/\!\sim$ का स्थान इस वेक्टर बंडल का हो। यह प्रेरित प्रतिनिधित्व के अंतर्गत सदिश स्थान $Ind G H π$ है। समूह $G$ एक खंड पर कार्य करता है $\phi :G/H\to {\mathcal {L}}_{W}$ द्वारा दिए गए $gH\mapsto [g,\phi _{g}]$ निम्नलिखित नुसार:

(g\cdot \phi )(g'H)=[g',\phi _{g^{-1}g'}]\ {\text{ for }}g,g'\in G.

अभेद्यता की प्रणाली

स्थानीय रूप से सघन समूहों के एकात्मक अभ्यावेदन की स्तिथि में, प्रवर्तन अभिप्राय को इंप्रिमिटिविटी की प्रणाली के संदर्भ में तैयार किया जा सकता है।

लाइ थ्योरी

लाइ थ्योरी में, एक अत्यंत महत्वपूर्ण उदाहरण परवलयिक प्रेरण है: अपने परवलयिक उपसमूहों के प्रतिनिधित्व से एक अपचायक समूह के प्रतिनिधित्व को प्रेरित करता है। यह कस्प रूपों के दर्शन के माध्यम से लैंगलैंड्स क्रमादेश की ओर जाता है।

यह भी देखें

प्रतिबंधित प्रतिनिधित्व
गैर रेखीय प्राप्ति
फ्रोबेनियस वर्ण सूत्र

↑ Brown, Cohomology of Groups, III.5
↑ Serre, Jean-Pierre (1926–1977). परिमित समूहों का रैखिक प्रतिनिधित्व. New York: Springer-Verlag. ISBN 0387901906. OCLC 2202385.
↑ Thm. 2.1 from Miller, Alison. "Math 221 : Algebra notes Nov. 20". Archived from the original on 2018-08-01. Retrieved 2018-08-01.

संदर्भ

Alperin, J. L.; Rowen B. Bell (1995). Groups and Representations. Springer-Verlag. pp. 164–177. ISBN 0-387-94526-1.
Folland, G. B. (1995). A Course in Abstract Harmonic Analysis. CRC Press. pp. 151–200. ISBN 0-8493-8490-7.
Kaniuth, E.; Taylor, K. (2013). Induced Representations of Locally Compact Groups. Cambridge University Press. ISBN 9780521762267.
Mackey, G. W. (1951), "On induced representations of groups", American Journal of Mathematics, 73 (3): 576–592, doi:10.2307/2372309, JSTOR 2372309
Mackey, G. W. (1952), "Induced representations of locally compact groups I", Annals of Mathematics, 55 (1): 101–139, doi:10.2307/1969423, JSTOR 1969423
Mackey, G. W. (1953), "Induced representations of locally compact groups II : the Frobenius reciprocity theorem", Annals of Mathematics, 58 (2): 193–220, doi:10.2307/1969786, JSTOR 1969786
Sengupta, Ambar N. (2012). "Chapter 8: Induced Representations". Representing Finite Groups, A Semimsimple Introduction. Springer. ISBN 978-1-4614-1232-8. OCLC 875741967.

[1] Brown, Cohomology of Groups, III.5

[2] Serre, Jean-Pierre (1926–1977). परिमित समूहों का रैखिक प्रतिनिधित्व. New York: Springer-Verlag. ISBN 0387901906. OCLC 2202385.

[3] Thm. 2.1 from Miller, Alison. "Math 221 : Algebra notes Nov. 20". Archived from the original on 2018-08-01. Retrieved 2018-08-01.

[1]

[2]

[3]

@@ Line 1: / Line 1: @@
 {{Short description|Process of extending a representation of a subgroup to the parent group}}
-[[समूह सिद्धांत]] में, प्रेरित प्रतिनिधित्व एक [[समूह प्रतिनिधित्व]] है, {{mvar|G}}, जो एक [[उपसमूह]] के ज्ञात प्रतिनिधित्व का उपयोग करके बनाया गया है {{mvar|H}}. का प्रतिनिधित्व दिया {{mvar|H}}, प्रेरित प्रतिनिधित्व, एक अर्थ में, का सबसे सामान्य प्रतिनिधित्व है {{mvar|G}} जो दिए गए को बढ़ाता है। चूंकि अक्सर छोटे समूह के प्रतिनिधित्वों को खोजना आसान होता है {{mvar|H}} की तुलना में {{mvar|G}}, नए अभ्यावेदन के निर्माण के लिए प्रेरित अभ्यावेदन बनाने का संचालन एक महत्वपूर्ण उपकरण है।
+[[समूह सिद्धांत]] में, प्रेरित प्रतिनिधित्व एक [[समूह प्रतिनिधित्व]] है, {{mvar|G}}, जो एक [[उपसमूह]] {{mvar|H}} के ज्ञात प्रतिनिधित्व का उपयोग करके बनाया गया है। {{mvar|H}} के प्रतिनिधित्व को देखते हुए, प्रेरित प्रतिनिधित्व एक अर्थ में, G का "सबसे सामान्य" प्रतिनिधित्व है जो दिए गए को बढ़ाता है। चूंकि प्रायः छोटे समूह {{mvar|H}} की तुलना में {{mvar|G}} के प्रतिनिधित्वों को खोजना आसान होता है, नए अभ्यावेदन के निर्माण के लिए प्रेरित अभ्यावेदन बनाने का संचालन एक महत्वपूर्ण उपकरण है।
-[[परिमित समूह]]ों के रैखिक निरूपण के लिए प्रेरित अभ्यावेदन को शुरू में [[फर्डिनेंड जॉर्ज फ्रोबेनियस]] द्वारा परिभाषित किया गया था। विचार परिमित समूहों के मामले तक ही सीमित नहीं है, लेकिन उस मामले में सिद्धांत विशेष रूप से अच्छी तरह से व्यवहार किया जाता है।
+[[परिमित समूह]]ों के रैखिक निरूपण के लिए प्रेरित अभ्यावेदन को प्रारम्भ में [[फर्डिनेंड जॉर्ज फ्रोबेनियस]] द्वारा परिभाषित किया गया था। विचार परिमित समूहों की स्तिथि तक ही सीमित नहीं है, लेकिन उस स्तिथि में सिद्धांत विशेष रूप से अच्छी तरह से व्यवहार किया जाता है
 == निर्माण ==
 === बीजीय ===
-{{See also|Representation theory of finite groups#The induced representation}}
+{{See also|परिमित समूहों का प्रतिनिधित्व सिद्धांत#प्रेरित प्रतिनिधित्व}}
-होने देना {{mvar|G}} एक परिमित समूह हो और {{mvar|H}} का कोई भी उपसमूह {{mvar|G}}. इसके अलावा चलो {{math|(''π'', ''V'')}} का प्रतिनिधित्व हो {{mvar|H}}. होने देना {{math|''n'' {{=}} [''G'' : ''H'']}} के [[एक उपसमूह का सूचकांक]] हो {{mvar|H}} में {{mvar|G}} और जाने {{math|''g''<sub>1</sub>, ..., ''g<sub>n</sub>''}} में प्रतिनिधियों का पूरा सेट हो {{mvar|G}[[ सह समुच्चय ]] का } में {{math|''G''/''H''}}. प्रेरित प्रतिनिधित्व {{math|Ind{{su|b=''H''|p=''G''}} ''π''}} को निम्न स्थान पर अभिनय करने के बारे में सोचा जा सकता है:
-:<math>W=\bigoplus_{i=1}^n g_i V.</math>
+मान लीजिए कि G एक परिमित समूह है और H, G का कोई उपसमूह है। इसके अतिरिक्त मान लीजिये {{math|(''π'', ''V'')}} {{mvar|H}} का प्रतिनिधित्व है। मान लीजिए कि n = [G : H], G में H का सूचकांक है और g1, ..., gn को G/H में बाएँ सहसमुच्चयों के G में प्रतिनिधियों का एक पूरा सम्मुच्चय होने दें। प्रेरित प्रतिनिधित्व {{math|Ind{{su|b=''H''|p=''G''}} ''π''}} को निम्नलिखित स्थान पर कार्य करने के बारे में सोचा जा सकता है:
-यहाँ प्रत्येक {{math|''g<sub>i</sub>&thinsp;V''}} सदिश समष्टि V की एक तुल्याकार प्रति है जिसके अवयवों को इस प्रकार लिखा गया है {{math|''g<sub>i</sub>&thinsp;v''}} साथ {{math|''v''&isin;''V''}}. प्रत्येक जी के लिए {{mvar|G}} और प्रत्येक जी<sub>i</sub>एक एच है<sub>i</sub>में {{mvar|H}} और j(i) {1, ..., n} में ऐसा है कि  {{math|1=''g'' ''g<sub>i</sub>'' = ''g<sub>j(i)</sub>'' ''h<sub>i</sub>''}} . (यह कहने का एक और तरीका है {{math|''g''<sub>1</sub>, ..., ''g<sub>n</sub>''}} प्रतिनिधियों का एक पूरा सेट है।) प्रेरित प्रतिनिधित्व के माध्यम से {{mvar|G}} कार्य करता है {{mvar|W}} निम्नलिखित नुसार:
+:<math>W=\bigoplus_{i=1}^n g_i V.</math>{{mvar|G}}{{mvar|H}}{{mvar|G}}
+यहाँ प्रत्येक {{math|''g<sub>i</sub>&thinsp;V''}} सदिश समष्टि V की एक तुल्याकार प्रति है जिसके अवयवों को इस प्रकार लिखा गया है। G में प्रत्येक g के लिए और प्रत्येक gi में H में एक hi और {1, ..., n} में j(i) होता है जैसे कि {{math|1=''g'' ''g<sub>i</sub>'' = ''g<sub>j(i)</sub>'' ''h<sub>i</sub>''}}। (यह कहने का एक और तरीका है कि {{math|''g''<sub>1</sub>, ..., ''g<sub>n</sub>''}} प्रतिनिधियों का एक पूरा सम्मुच्चय है।) प्रेरित प्रतिनिधित्व के माध्यम से {{mvar|G}} {{mvar|W}} पर कार्य करता है:
 :<math> g\cdot\sum_{i=1}^n g_i v_i=\sum_{i=1}^n g_{j(i)} \pi(h_i) v_i</math>
-कहाँ <math> v_i \in V</math> प्रत्येक मैं के लिए
+जहाँ <math> v_i \in V</math> प्रत्येक i के लिए है।
-वैकल्पिक रूप से, कोई रिंग के परिवर्तन द्वारा प्रेरित प्रतिनिधित्व का निर्माण कर सकता है: कोई भी के-रैखिक प्रतिनिधित्व <math>\pi</math> समूह H को समूह रिंग K[H] के ऊपर एक [[मॉड्यूल (गणित)]] V के रूप में देखा जा सकता है। हम तब परिभाषित कर सकते हैं
+वैकल्पिक रूप से, कोई वलय के परिवर्तन द्वारा प्रेरित प्रतिनिधित्व का निर्माण कर सकता है: कोई भी k-रैखिक प्रतिनिधित्व <math>\pi</math> समूह H को समूह वलय K[H] के ऊपर एक [[मॉड्यूल (गणित)|मापदंड (गणित)]] V के रूप में देखा जा सकता है। हम तब निम्न परिभाषित कर सकते हैं
 :<math>\operatorname{Ind}_H^G\pi= K[G]\otimes_{K[H]} V.</math>
-इस बाद वाले सूत्र का उपयोग परिभाषित करने के लिए भी किया जा सकता है {{math|Ind{{su|b=''H''|p=''G''}} ''π''}} किसी भी समूह के लिए {{mvar|G}} और उपसमूह {{mvar|H}}, किसी परिमितता की आवश्यकता के बिना।<ref>Brown, Cohomology of Groups, III.5</ref>
+इस बाद वाले सूत्र का उपयोग किसी भी समूह {{mvar|G}} और उपसमूह {{mvar|H}} के लिए {{math|Ind{{su|b=''H''|p=''G''}} ''π''}} को परिभाषित करने के लिए बिना किसी परिमितता की आवश्यकता के भी किया जा सकता है। <ref>Brown, Cohomology of Groups, III.5</ref>
 ==== उदाहरण ====
-किसी भी समूह के लिए, [[तुच्छ उपसमूह]] के [[तुच्छ प्रतिनिधित्व]] का प्रेरित प्रतिनिधित्व सही [[नियमित प्रतिनिधित्व]] है। आम तौर पर किसी भी उपसमूह के तुच्छ प्रतिनिधित्व का प्रेरित प्रतिनिधित्व उस उपसमूह के सहसमुच्चय पर क्रमचय प्रतिनिधित्व होता है।
+किसी भी समूह के लिए, [[तुच्छ उपसमूह]] के [[तुच्छ प्रतिनिधित्व]] का प्रेरित प्रतिनिधित्व सही [[नियमित प्रतिनिधित्व]] है। सामान्यतः किसी भी उपसमूह के तुच्छ प्रतिनिधित्व का प्रेरित प्रतिनिधित्व उस उपसमूह के सहसमुच्चय पर क्रमचय प्रतिनिधित्व होता है।
-एक आयामी प्रतिनिधित्व के प्रेरित प्रतिनिधित्व को मोनोमियल प्रतिनिधित्व कहा जाता है, क्योंकि इसे [[मोनोमियल मैट्रिक्स]] के रूप में दर्शाया जा सकता है। कुछ समूहों के पास यह गुण होता है कि उनके सभी अलघुकरणीय निरूपण एकपदी होते हैं, तथाकथित एकपदी समूह।
+एक आयामी प्रतिनिधित्व के प्रेरित प्रतिनिधित्व को एकपद प्रतिनिधित्व कहा जाता है, क्योंकि इसे [[मोनोमियल मैट्रिक्स|एकपद आव्यूह]] के रूप में दर्शाया जा सकता है। कुछ समूहों के पास यह गुण होता है कि उनके सभी अलघुकरणीय निरूपण एकपदी होते हैं, तथाकथित एकपदी समूह होते हैं।
 ==== गुण ====
-अगर {{mvar|H}} समूह का एक उपसमूह है {{mvar|G}}, फिर हर {{mvar|K}}-रैखिक प्रतिनिधित्व {{mvar|ρ}} का {{mvar|G}} के रूप में देखा जा सकता है {{mvar|K}}-रेखीय प्रतिनिधित्व {{mvar|H}}; इसे [[प्रतिबंधित प्रतिनिधित्व]] के रूप में जाना जाता है {{mvar|ρ}} को {{mvar|H}} और द्वारा दर्शाया गया {{math|Res(&rho;)}}. परिमित समूहों और परिमित-आयामी अभ्यावेदन के मामले में, [[फ्रोबेनियस पारस्परिकता]] बताती है कि दिए गए निरूपण {{mvar|σ}} का {{mvar|H}} और {{mvar|ρ}} का {{mvar|G}}, का स्थान {{mvar|H}}-[[समतुल्य]] रेखीय मानचित्र से {{mvar|σ}} को {{math|Res(''ρ'')}} का K पर वही आयाम है जो का है {{mvar|G}}-समतुल्य रेखीय मानचित्र से {{math|Ind(''σ'')}} को {{mvar|ρ}}.<ref>{{Cite book|url=https://archive.org/details/linearrepresenta1977serr|title=परिमित समूहों का रैखिक प्रतिनिधित्व|last=Serre|first=Jean-Pierre|date=1926–1977|publisher=Springer-Verlag|isbn=0387901906|location=New York|oclc=2202385|url-access=registration}}</ref>
+यदि H समूह G का एक उपसमूह है, तो G के प्रत्येक K-रैखिक प्रतिनिधित्व ρ को H के K-रैखिक प्रतिनिधित्व के रूप में देखा जा सकता है; इसे ρ से H के प्रतिबंध के रूप में जाना जाता है और Res (ρ) द्वारा निरूपित किया जाता है। परिमित समूहों और परिमित-आयामी अभ्यावेदन की स्तिथि में, फ्रोबेनियस पारस्परिक प्रमेय में कहा गया है कि, G के h और p के σ दिया गया है। जैसा कि {{math|Ind(''σ'')}} से ρ तक G-समतुल्य रैखिक मानचित्रों का है। <ref>{{Cite book|url=https://archive.org/details/linearrepresenta1977serr|title=परिमित समूहों का रैखिक प्रतिनिधित्व|last=Serre|first=Jean-Pierre|date=1926–1977|publisher=Springer-Verlag|isbn=0387901906|location=New York|oclc=2202385|url-access=registration}}</ref>  <math>\hat{f}</math>
-प्रेरित प्रतिनिधित्व की [[सार्वभौमिक संपत्ति]], जो अनंत समूहों के लिए भी मान्य है, पारस्परिकता प्रमेय में दिए गए संयोजन के बराबर है। अगर <math>(\sigma,V)</math> एच और का प्रतिनिधित्व है <math>(\operatorname{Ind}(\sigma),\hat{V})</math> द्वारा प्रेरित जी का प्रतिनिधित्व है <math>\sigma</math>, तो वहाँ एक मौजूद है {{mvar|H}}-समतुल्य रेखीय मानचित्र <math>j:V\to\hat{V}</math> निम्नलिखित संपत्ति के साथ: कोई प्रतिनिधित्व दिया गया {{math|(ρ,''W'')}} का {{mvar|G}} और {{mvar|H}}-समतुल्य रेखीय मानचित्र <math>f:V\to W</math>, एक अनूठा है {{mvar|G}}-समतुल्य रेखीय मानचित्र <math>\hat{f}: \hat{V}\to W</math> साथ <math>\hat{f}j=f</math>. दूसरे शब्दों में, <math>\hat{f}</math> निम्नलिखित [[क्रमविनिमेय आरेख]] बनाने वाला अद्वितीय मानचित्र है:<ref>Thm. 2.1 from {{cite web|url=https://canvas.harvard.edu/files/1502130/download?download_frd=1&verifier=Ms6OjK8y2wqN6WKri4v4vrjnxsgOMYOzEb5KoyRt|title=Math 221 : Algebra notes Nov. 20|last=Miller|first=Alison|archive-url=https://archive.today/20180801043646/https://canvas.harvard.edu/files/1502130/download?download_frd=1&verifier=Ms6OjK8y2wqN6WKri4v4vrjnxsgOMYOzEb5KoyRt|archive-date=2018-08-01|url-status=live|access-date=2018-08-01}}</ref>
+प्रेरित प्रतिनिधित्व की सार्वभौमिक संपत्ति, जो अनंत समूहों के लिए भी मान्य है, पारस्परिकता प्रमेय में दिए गए संयोजन के बराबर है। अगर <math>(\sigma,V)</math> H और <math>(\operatorname{Ind}(\sigma),\hat{V})</math> का प्रतिनिधित्व है, <math>\sigma</math> द्वारा प्रेरित G का प्रतिनिधित्व है, तो एक H-समतुल्य रैखिक मानचित्र <math>j:V\to\hat{V}</math> उपस्थित है निम्नलिखित संपत्ति के साथ: G और H-एक्विवारीअन्ट रैखिक मानचित्र <math>f:V\to W</math> का कोई भी प्रतिनिधित्व {{math|(ρ,''W'')}} दिया गया है, एक अद्वितीय G-एक्विवारीअन्ट रैखिक मानचित्र है <math>\hat{f}: \hat{V}\to W</math> के साथ <math>\hat{f}j=f</math> है: <ref>Thm. 2.1 from {{cite web|url=https://canvas.harvard.edu/files/1502130/download?download_frd=1&verifier=Ms6OjK8y2wqN6WKri4v4vrjnxsgOMYOzEb5KoyRt|title=Math 221 : Algebra notes Nov. 20|last=Miller|first=Alison|archive-url=https://archive.today/20180801043646/https://canvas.harvard.edu/files/1502130/download?download_frd=1&verifier=Ms6OjK8y2wqN6WKri4v4vrjnxsgOMYOzEb5KoyRt|archive-date=2018-08-01|url-status=live|access-date=2018-08-01}}</ref>
-[[Image:Universal property of the induced representation 2.svg|200px]]फ्रोबेनियस सूत्र कहता है कि यदि {{mvar|χ}} प्रतिनिधित्व का [[चरित्र सिद्धांत]] है {{mvar|σ}}, द्वारा दिए गए {{math|''χ''(''h'') {{=}} Tr ''σ''(''h'')}}, फिर चरित्र {{mvar|ψ}प्रेरित प्रतिनिधित्व का } द्वारा दिया गया है
+[[Image:Universal property of the induced representation 2.svg|200px]]फ्रोबेनियस सूत्र कहता है कि यदि {{mvar|χ}} प्रतिनिधित्व का [[चरित्र सिद्धांत]] {{mvar|σ}} है, {{math|''χ''(''h'') {{=}} Tr ''σ''(''h'')}} निम्न द्वारा दिए गए, फिर चरित्र ψ प्रेरित प्रतिनिधित्व का द्वारा दिया गया है
 : <math>\psi(g) = \sum_{x\in G / H} \widehat{\chi}\left(x^{-1}gx \right),</math>
-जहां योग के बाएं कोसेट के प्रतिनिधियों की एक प्रणाली पर ले जाया जाता है {{mvar|H}} में {{mvar|G}} और
+जहां {{mvar|G}} और में {{mvar|H}} के बाएं सह समुच्चय के प्रतिनिधियों की एक प्रणाली पर योग लिया जाता है
 :<math> \widehat{\chi} (k) = \begin{cases} \chi(k) & \text{if } k \in H \\ 0 & \text{otherwise}\end{cases}</math>
@@ Line 41: / Line 43: @@
 === विश्लेषणात्मक ===
-अगर {{mvar|G}} [[स्थानीय रूप से कॉम्पैक्ट]] [[टोपोलॉजिकल समूह]] (संभवतः अनंत) है और {{mvar|H}} एक [[बंद सेट]] उपसमूह है तो प्रेरित प्रतिनिधित्व का एक सामान्य विश्लेषणात्मक निर्माण होता है। होने देना {{math|(''π'', ''V'')}} का एक सतत कार्य एकात्मक प्रतिनिधित्व हो {{mvar|H}} एक [[ हिल्बर्ट अंतरिक्ष ]] वी में। हम तब दे सकते हैं:
+यदि {{mvar|G}} [[स्थानीय रूप से कॉम्पैक्ट|स्थानीय रूप से सघन]] [[टोपोलॉजिकल समूह|सांस्थितिक समूह]] (संभवतः अनंत) है और {{mvar|H}} एक [[बंद सेट|बंद सम्मुच्चय]] उपसमूह है तो प्रेरित प्रतिनिधित्व का एक सामान्य विश्लेषणात्मक निर्माण होता है। मान लीजिये {{math|(''π'', ''V'')}} का एक सतत कार्य एकात्मक प्रतिनिधित्व {{mvar|H}} हो । हम तब दे सकते हैं:
 :<math>\operatorname{Ind}_H^G\pi= \left\{\phi\colon G \to V \ : \ \phi(gh^{-1})=\pi(h)\phi(g)\text{ for all }h\in H,\; g\in G \text{ and } \ \phi \in L^2(G/H)\right\}.</math>
-यहाँ {{math|&phi;&isin;''L''<sup>2</sup>(''G''/''H'')}} का अर्थ है: अंतरिक्ष G/H में एक उपयुक्त अपरिवर्तनीय माप होता है, और इसके मानदंड के बाद से  {{math|&phi;(''g'')}} एच के प्रत्येक बाएं सहसमुच्चय पर स्थिर है, हम इन मानदंडों के वर्ग को जी/एच पर एकीकृत कर सकते हैं और एक परिमित परिणाम प्राप्त कर सकते हैं। समूह {{mvar|G}} अनुवाद द्वारा प्रेरित प्रतिनिधित्व स्थान पर कार्य करता है, अर्थात {{math|1=(''g''.&phi;)(''x'')=&phi;(''g''<sup>−1</sup>''x'')}} के लिए g,x∈G और {{math|&phi;&isin;Ind{{su|b=''H''|p=''G''}} ''π''}}.
+यहाँ {{math|&phi;&isin;''L''<sup>2</sup>(''G''/''H'')}} का अर्थ है: अंतरिक्ष G/H में एक उपयुक्त अपरिवर्तनीय माप होता है, और इसके मानदंड के बाद से  {{math|&phi;(''g'')}} H के प्रत्येक बाएं सहसमुच्चय पर स्थिर है, हम इन मानदंडों के वर्ग को G/H पर एकीकृत कर सकते हैं और एक परिमित परिणाम प्राप्त कर सकते हैं। समूह {{mvar|G}} अनुवाद द्वारा प्रेरित प्रतिनिधित्व स्थान पर कार्य करता है, अर्थात {{math|1=(''g''.&phi;)(''x'')=&phi;(''g''<sup>−1</sup>''x'')}} के लिए g,x∈G और {{math|&phi;&isin;Ind{{su|b=''H''|p=''G''}} ''π''}}।
-आवश्यक अनुप्रयोगों को फिट करने के लिए इस निर्माण को अक्सर विभिन्न तरीकों से संशोधित किया जाता है। एक सामान्य संस्करण को सामान्यीकृत प्रेरण कहा जाता है और आमतौर पर उसी अंकन का उपयोग करता है। प्रतिनिधित्व स्थान की परिभाषा इस प्रकार है:
+आवश्यक अनुप्रयोगों को उचित करने के लिए इस निर्माण को प्रायः विभिन्न तरीकों से संशोधित किया जाता है। एक सामान्य संस्करण को सामान्यीकृत प्रेरण कहा जाता है और सामान्यतः उसी अंकन का उपयोग करता है। प्रतिनिधित्व स्थान की परिभाषा इस प्रकार है:
 :<math>\operatorname{Ind}_H^G\pi= \left \{\phi \colon G \to V \ : \  \phi(gh^{-1})=\Delta_G^{-\frac{1}{2}}(h)\Delta_H^{\frac{1}{2}}(h)\pi(h)\phi(g)  \text{ and }  \phi\in L^2(G/H) \right \}.</math>
-यहाँ {{math|Δ<sub>''G''</sub>, Δ<sub>''H''</sub>}} हार उपाय हैं # का मॉड्यूलर कार्य {{mvar|G}} और {{mvar|H}} क्रमश। सामान्यीकृत कारकों के अतिरिक्त यह प्रेरण [[ऑपरेटर]] [[एकात्मक प्रतिनिधित्व]]ों के लिए एकात्मक प्रतिनिधित्व लेता है।
+यहाँ ΔG, ΔH क्रमशः G और H के प्रमापीय कार्य हैं।। सामान्यीकृत कारकों के अतिरिक्त यह प्रेरण [[ऑपरेटर|संचालक]] [[एकात्मक प्रतिनिधित्व]]ों के लिए एकात्मक प्रतिनिधित्व लेता है।
-इंडक्शन पर एक अन्य भिन्नता को 'कॉम्पैक्ट इंडक्शन' कहा जाता है। यह [[कॉम्पैक्ट समर्थन]] वाले कार्यों के लिए प्रतिबंधित मानक प्रेरण है। औपचारिक रूप से इसे इंड द्वारा निरूपित किया जाता है और इसे इस प्रकार परिभाषित किया जाता है:
+प्रवर्तन पर एक अन्य भिन्नता को 'सघन प्रवर्तन' कहा जाता है। यह [[कॉम्पैक्ट समर्थन|सघन समर्थन]] वाले कार्यों के लिए प्रतिबंधित मानक प्रेरण है। औपचारिक रूप से इसे इंड द्वारा निरूपित किया जाता है और इसे इस प्रकार परिभाषित किया जाता है:
 :<math>\operatorname{ind}_H^G\pi= \left\{\phi\colon G \to V \ : \ \phi(gh^{-1})=\pi(h)\phi(g) \text{ and } \phi \text{ has compact support mod } H \right\}.</math>
-ध्यान दें कि अगर {{math|''G''/''H''}} कॉम्पैक्ट है तो इंड और इंड एक ही फ़ैक्टर हैं।
+ध्यान दें कि यदि {{math|''G''/''H''}} सघन है तो Ind और ind  एक ही प्रकार्यक हैं।
 === ज्यामितीय ===
-कल्पना करना {{mvar|G}} एक सामयिक समूह है और {{mvar|H}} का एक बंद सेट उपसमूह है {{mvar|G}}. साथ ही, मान लीजिए {{mvar|&pi;}} का प्रतिनिधित्व है {{mvar|H}} सदिश स्थान पर {{math|''V''}}. तब {{mvar|G}} उत्पाद पर [[समूह क्रिया (गणित)]]। {{math|''G'' × ''V''}}  निम्नलिखित नुसार:
+मान लीजिये {{mvar|G}} एक सामयिक समूह है और {{mvar|H}} का एक बंद सम्मुच्चय उपसमूह {{mvar|G}} है। साथ ही, मान लीजिए π सदिश समष्टि V पर H का निरूपण है। तब G, गुणनफल G × V पर निम्नानुसार कार्य करता है::
 :<math>g.(g',x)=(gg',x)</math>
-कहाँ {{math|''g''}} और {{math|''g''′}} के तत्व हैं {{mvar|G}} और {{math|''x''}} का एक तत्व है {{math|''V''}}.
+जहाँ {{math|''g''}} और {{math|''g''′}} के तत्व हैं {{mvar|G}} और {{math|''x''}} का एक तत्व {{math|''V''}} है।
-पर परिभाषित करें  {{math|''G'' × ''V''}} [[तुल्यता संबंध]]
+{{math|''G'' × ''V''}} पर [[तुल्यता संबंध]] परिभाषित करें
 :<math>(g,x) \sim (gh,\pi(h^{-1})(x)) \text{ for all }h\in H.</math>
-के तुल्यता वर्ग को निरूपित करें <math>(g,x)</math> द्वारा <math>[g,x]</math>. ध्यान दें कि यह तुल्यता संबंध की कार्रवाई के तहत अपरिवर्तनीय है {{mvar|G}}; फलस्वरूप, {{mvar|G}} कार्य करता है {{math|(''G'' × ''V'')/~}} . उत्तरार्द्ध [[भागफल स्थान (टोपोलॉजी)]] पर एक [[वेक्टर बंडल]] है {{math|''G''/''H''}} साथ {{math|''H''}} [[संरचना समूह]] के रूप में और {{math|''V''}} फाइबर के रूप में। होने देना {{math|''W''}} अनुभागों का स्थान हो <math>\phi : G/H \to (G \times V)/ \! \sim</math> इस वेक्टर बंडल का। यह प्रेरित प्रतिनिधित्व के अंतर्गत सदिश स्थान है {{math|Ind{{su|b=''H''|p=''G''}} ''π''}}. समूह {{mvar|G}} एक खंड पर कार्य करता है <math>\phi : G/H \to \mathcal L_W</math> द्वारा दिए गए <math>gH \mapsto [g,\phi_g]</math> निम्नलिखित नुसार:
+<math>[g,x]</math> द्वारा <math>(g,x)</math> के तुल्यता वर्ग को निरूपित करें। ध्यान दें कि यह तुल्यता संबंध की कार्रवाई के अंतर्गत अपरिवर्तनीय {{mvar|G}} है; फलस्वरूप, {{mvar|G}} {{math|(''G'' × ''V'')/~}} कार्य करता है। उत्तरार्द्ध संरचना समूह के रूप में H के साथ और फाइबर के रूप में V के साथ भागफल स्थान G / H पर एक सदिश बंडल है। मान लीजिये {{math|''W''}} अनुभागों <math>\phi : G/H \to (G \times V)/ \! \sim</math> का स्थान इस वेक्टर बंडल का हो। यह प्रेरित प्रतिनिधित्व के अंतर्गत सदिश स्थान {{math|Ind{{su|b=''H''|p=''G''}} ''π''}} है। समूह {{mvar|G}} एक खंड पर कार्य करता है <math>\phi : G/H \to \mathcal L_W</math> द्वारा दिए गए <math>gH \mapsto [g,\phi_g]</math> निम्नलिखित नुसार:
 :<math>(g\cdot \phi)(g'H)=[g',\phi_{g^{-1}g'}] \ \text{ for } g,g'\in G.</math>
 === [[अभेद्यता की प्रणाली]] ===
-स्थानीय रूप से कॉम्पैक्ट समूहों के एकात्मक अभ्यावेदन के मामले में, इंडक्शन कंस्ट्रक्शन को इंप्रिमिटिविटी की प्रणाली के संदर्भ में तैयार किया जा सकता है।
+स्थानीय रूप से सघन समूहों के एकात्मक अभ्यावेदन की स्तिथि में, प्रवर्तन अभिप्राय को इंप्रिमिटिविटी की प्रणाली के संदर्भ में तैयार किया जा सकता है।
-== [[झूठ सिद्धांत]] ==
+== [[झूठ सिद्धांत|लाइ थ्योरी]] ==
-लाइ थ्योरी में, एक अत्यंत महत्वपूर्ण उदाहरण [[परवलयिक प्रेरण]] है: अपने [[परवलयिक उपसमूह]]ों के प्रतिनिधित्व से एक रिडक्टिव समूह के प्रतिनिधित्व को प्रेरित करना। यह कस्प रूपों के दर्शन के माध्यम से [[लैंगलैंड्स कार्यक्रम]] की ओर जाता है।
+लाइ थ्योरी में, एक अत्यंत महत्वपूर्ण उदाहरण [[परवलयिक प्रेरण]] है: अपने [[परवलयिक उपसमूह]]ों के प्रतिनिधित्व से एक अपचायक समूह के प्रतिनिधित्व को प्रेरित करता है। यह कस्प रूपों के दर्शन के माध्यम से [[लैंगलैंड्स कार्यक्रम|लैंगलैंड्स क्रमादेश]] की ओर जाता है।
 == यह भी देखें ==

Anonymous

Search

प्रेरित प्रतिनिधित्व: Difference between revisions

Namespaces

More

Page actions

Revision as of 18:38, 30 May 2023

Contents

निर्माण

बीजीय

उदाहरण

गुण

विश्लेषणात्मक

ज्यामितीय

अभेद्यता की प्रणाली

लाइ थ्योरी

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

प्रेरित प्रतिनिधित्व: Difference between revisions

Revision as of 18:38, 30 May 2023

निर्माण

बीजीय

उदाहरण

गुण

विश्लेषणात्मक

ज्यामितीय

अभेद्यता की प्रणाली

लाइ थ्योरी

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories