स्थानीय रूप से कॉम्पैक्ट समूह का समूह बीजगणित

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

बीजगणित C_c(जी) कॉम्पैक्ट समर्थन के साथ निरंतर कार्यों का

यदि जी एक स्थानीय रूप से कॉम्पैक्ट समूह है, तो जी एक अनिवार्य रूप से अद्वितीय बायां-अपरिवर्तनीय गिनती योगात्मक बोरेल माप μ को एक हार उपाय कहा जाता है। हार माप का उपयोग करके, कोई अंतरिक्ष सी पर एक कनवल्शन ऑपरेशन को परिभाषित कर सकता है_c(जी) कॉम्पैक्ट समर्थन के साथ जी पर जटिल-मूल्यवान निरंतर कार्यों का; सी_c(जी) को विभिन्न मानदंडों (गणित) में से कोई भी दिया जा सकता है और पूर्णता (आदेश सिद्धांत) एक समूह बीजगणित होगा।

कनवल्शन ऑपरेशन को परिभाषित करने के लिए, f और g को C में दो फंक्शन होने दें_c(जी)। जी में टी के लिए, परिभाषित करें

$[f*g](t)=\int _{G}f(s)g\left(s^{-1}t\right)\,d\mu (s).$

यह तथ्य कि $f*g$ निरंतर है वर्चस्व वाले अभिसरण प्रमेय से तत्काल है। भी

$\operatorname {Support} (f*g)\subseteq \operatorname {Support} (f)\cdot \operatorname {Support} (g)$

जहां डॉट जी सी में उत्पाद के लिए खड़ा है_c(जी) में एक प्राकृतिक समावेशन (गणित) भी है जिसे परिभाषित किया गया है:

$f^{*}(s)={\overline {f(s^{-1})}}\,\Delta (s^{-1})$

जहां Δ हार उपाय है # जी पर मॉड्यूलर फ़ंक्शन। इस समावेशन के साथ, यह एक *-बीजगणित है।

'प्रमेय'। मानदंड के साथ:

$\|f\|_{1}:=\int _{G}|f(s)|\,d\mu (s),$

सी_c(जी) एक अनुमानित पहचान के साथ एक समावेशी आदर्श बीजगणित बन जाता है।

कॉम्पैक्ट सेट से युक्त पहचान के निकट के आधार पर अनुमानित पहचान को अनुक्रमित किया जा सकता है। वास्तव में, यदि V पहचान का एक सघन निकट है, चलो f_Vवी में समर्थित एक गैर-नकारात्मक निरंतर कार्य हो जैसे कि

$\int _{V}f_{V}(g)\,d\mu (g)=1.$

तब {फ_V}_V एक अनुमानित पहचान है। एक समूह बीजगणित की एक पहचान होती है, केवल एक अनुमानित पहचान के विपरीत, अगर और केवल अगर समूह पर टोपोलॉजी असतत टोपोलॉजी है।

ध्यान दें कि असतत समूहों के लिए, सी_c(जी) जटिल समूह अंगूठी 'सी' [जी] जैसा ही है।

समूह बीजगणित का महत्व यह है कि यह जी के एकात्मक प्रतिनिधित्व सिद्धांत को दर्शाता है जैसा कि निम्नलिखित में दिखाया गया है

'प्रमेय'। बता दें कि G स्थानीय रूप से कॉम्पैक्ट समूह है। यदि यू एक हिल्बर्ट स्पेस एच पर जी का दृढ़ता से निरंतर एकात्मक प्रतिनिधित्व है, तो

$\pi _{U}(f)=\int _{G}f(g)U(g)\,d\mu (g)$

मानक बीजगणित सी का एक गैर-पतित परिबद्ध *-प्रतिनिधित्व है_c(जी)। वो नक्शा

$U\mapsto \pi _{U}$

जी के दृढ़ता से निरंतर एकात्मक प्रतिनिधित्व के सेट और सी के गैर-पतित बाध्य * -प्रतिनिधियों के बीच एक आक्षेप है_c(जी)। यह आपत्ति एकात्मक तुल्यता और मजबूत नियंत्रण का सम्मान करती है। विशेष रूप से, π_U इर्रिड्यूसिबल है अगर और केवल अगर यू इर्रिड्यूसिबल है।

एक प्रतिनिधित्व की गैर अध: पतन π सी का_c(जी) हिल्बर्ट स्पेस एच पर_π मतलब कि

$\left\{\pi (f)\xi :f\in \operatorname {C} _{c}(G),\xi \in H_{\pi }\right\}$

H में सघन है_π.

कनवल्शन बीजगणित एल¹(जी)

यह माप सिद्धांत का एक मानक प्रमेय है कि सी का पूरा होना_c(जी) एल में¹(जी) मानक अंतरिक्ष एलपी अंतरिक्ष के लिए आइसोमोर्फिक है। एल¹(G) कार्यों के समतुल्य वर्ग जो हार माप के संबंध में पूर्णांक हैं, जहां, हमेशा की तरह, दो कार्यों को समतुल्य माना जाता है यदि और केवल अगर वे हार माप शून्य के एक सेट पर भिन्न होते हैं।

'प्रमेय'। एल¹(G) एक बैनाच *-बीजगणित है, जिसमें कनवल्शन उत्पाद और इनवोल्यूशन ऊपर और एल के साथ परिभाषित किया गया है^{1</सुप> मानदंड। एल1(G) की भी एक सीमित अनुमानित पहचान है।}

समूह सी * - बीजगणित सी * (जी)

चलो 'सी' [जी] असतत समूह जी की समूह अंगूठी बनें।

एक स्थानीय रूप से कॉम्पैक्ट समूह G के लिए, G का समूह C*-बीजगणित C*(G) L के C*-आवरण बीजगणित के रूप में परिभाषित किया गया है¹(जी), यानी सी का पूरा होना_c(जी) सबसे बड़े सी*-मानदंड के संबंध में:

$\|f\|_{C^{*}}:=\sup _{\pi }\|\pi (f)\|,$

कहाँ π सी के सभी गैर-पतित *-निरूपणों की सीमाएँ_c(जी) हिल्बर्ट रिक्त स्थान पर। जब G असतत है, तो यह त्रिभुज असमानता से अनुसरण करता है कि, किसी भी तरह के लिए π, किसी के पास:

$\|\pi (f)\|\leq \|f\|_{1},$

इसलिए मानदंड अच्छी तरह से परिभाषित है।

यह परिभाषा से इस प्रकार है कि, जब G एक असतत समूह है, C*(G) में निम्नलिखित सार्वभौमिक संपत्ति है: 'C'[G] से कुछ 'B'(H) तक कोई भी *-समरूपता (C*-बीजगणित) समावेशन मानचित्र के माध्यम से कुछ हिल्बर्ट अंतरिक्ष एच) कारकों पर बाध्य ऑपरेटरों की संख्या:

$\mathbf {C} [G]\hookrightarrow C_{\max }^{*}(G).$

घटा हुआ समूह C*-बीजगणित C_r*(जी)

घटा हुआ समूह C*-बीजगणित C_r*(जी) सी की पूर्णता है_c(जी) आदर्श के संबंध में

$\|f\|_{C_{r}^{*}}:=\sup \left\{\|f*g\|_{2}:\|g\|_{2}=1\right\},$

कहाँ

$\|f\|_{2}={\sqrt {\int _{G}|f|^{2}\,d\mu }}$

एल^{2 है मानदंड C2 के पूरा होने के बाद से_c(जी) एल के संबंध में मानदंड एक हिल्बर्ट स्पेस है, C_r* मानदंड एल पर अभिनय करने वाले बाध्य ऑपरेटर का मानदंड है (G) f के साथ कनवल्शन द्वारा और इस प्रकार एक C*-मानदंड।}

समान रूप से, सी_r*(G) ℓ पर बाएं नियमित प्रतिनिधित्व की छवि द्वारा उत्पन्न C²*-बीजगणित है(जी).

सामान्य तौर पर, सी_r*(G) C*(G) का भागफल है। कम किया गया समूह C*-बीजगणित ऊपर परिभाषित गैर-कम किए गए समूह C*-बीजगणित के लिए आइसोमोर्फिक है यदि और केवल अगर G अनुकूल समूह है।

वॉन न्यूमैन बीजगणित समूहों से जुड़े

G का समूह वॉन न्यूमैन बीजगणित W*(G) C*(G) का लिफाफा वॉन न्यूमैन बीजगणित है।

असतत समूह G² के लिए, हम हिल्बर्ट स्पेस ℓ पर विचार कर सकते हैं (G) जिसके लिए G² एक अलौकिक आधार है। चूँकि G ℓ पर कार्य करता है (G), आधार सदिशों की अनुमति देकर, हम जटिल समूह वलय 'C'[G]² की पहचान ℓ पर परिबद्ध संचालकों के बीजगणित के एक उप-लजेब्रा के साथ कर सकते हैं (जी). इस सबलजेब्रा, एनजी का कमजोर समापन वॉन न्यूमैन बीजगणित है।

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

एनजी के केंद्र को जी के उन तत्वों के संदर्भ में वर्णित किया जा सकता है जिनके संयुग्मन वर्ग परिमित हैं। विशेष रूप से, यदि G का पहचान तत्व उस संपत्ति के साथ एकमात्र समूह तत्व है (अर्थात, G में अनंत संयुग्मन वर्ग गुण है), तो NG के केंद्र में केवल पहचान के जटिल गुणक होते हैं।

एनजी हाइपरफिनिट टाइप II-1 फैक्टर के लिए आइसोमॉर्फिक है। हाइपरफिनिट टाइप II₁ कारक अगर और केवल अगर G गणनीय है, उत्तरदायी समूह है, और अनंत संयुग्मन वर्ग की संपत्ति है।

यह भी देखें

• ग्राफ बीजगणित
• घटना बीजगणित
• स्थानीय रूप से कॉम्पैक्ट समूह का हेके बीजगणित
• पथ बीजगणित
• ग्रुपॉयड बीजगणित
• स्टीरियोटाइप बीजगणित
• स्टीरियोटाइप समूह बीजगणित
• हॉफ बीजगणित

संदर्भ

• Lang, S. (2002). Algebra. Graduate Texts in Mathematics. Springer. ISBN 978-1-4613-0041-0.
• Vinberg, E.B. (2003). A Course in Algebra. doi:10.1090/gsm/056. ISBN 978-0-8218-3318-6. {{cite book}}: |journal= ignored (help)
• Dixmier, J. (2003). C*-algebras. North Holland. ISBN 978-0444557476.
• Kirillov, A.A. (1976). Elements of the theory of representations. ISBN 978-3-642-66243-0. {{cite book}}: |journal= ignored (help)
• Loomis, L.H. (2011). Introduction to Abstract Harmonic Analysis. ISBN 978-0486481234. {{cite book}}: |journal= ignored (help)
• A.I. Shtern (2001) [1994], "Group algebra of a locally compact group", Encyclopedia of Mathematics, EMS Press This article incorporates material from Group $C^*$-algebra on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.