جدول مجموعات الكذب

تقدم هذه المقالة جدولاً لبعض مجموعات لي الشائعة وجبر لي المرتبط بها .

يتم ملاحظة ما يلي: الخصائص الطوبولوجية للمجموعة ( البعد ؛ الاتصال ؛ التراص ؛ طبيعة المجموعة الأساسية ؛ وما إذا كانت متصلة ببساطة أم لا ) بالإضافة إلى خصائصها الجبرية ( أبيلية ؛ بسيطة ؛ شبه بسيطة ).

لمزيد من الأمثلة على مجموعات لي والمواضيع الأخرى ذات الصلة، انظر قائمة مجموعات لي البسيطة ؛ تصنيف بيانكي للمجموعات التي تصل إلى ثلاثة أبعاد؛ انظر تصنيف جبر لي الحقيقي منخفض الأبعاد لما يصل إلى أربعة أبعاد؛ وقائمة مواضيع مجموعات لي .

مجموعات لي الحقيقية وجبرها

مفتاح العمود

جماعة كاذبةوصفنقيبπ0{\displaystyle \pi _{0}}π1{\displaystyle \pi _{1}}جامعة كاليفورنياملاحظاتجبر ليخافت/ R
R nالفضاء الإقليدي مع الجمعشمال00أبيليةR nن
R ×الأعداد الحقيقية غير الصفرية مع عملية الضربشمالZ 2أبيليةR1
R +الأعداد الحقيقية الموجبة مع عملية الضربشمال00أبيليةR1
S 1  =  U(1)مجموعة الدائرة : الأعداد المركبة ذات القيمة المطلقة 1 مع عملية الضرب؛Y0ZRأبيلية، متماثلة مع SO(2) و Spin(2) و R / ZR1
Aff(1)التحويلات الأفينية العكسية من R إلى R.شمالZ 2حاصل ضرب شبه مباشر قابل للحل لـ R + و R ×{[أب01]:أR*،بR}{\displaystyle \left\{\left[{\begin{smallmatrix}a&b\\0&1\end{smallmatrix}}\right]:a\in \mathbb {R} ^{*},b\in \mathbb {R} \right\}}2
H ×الأعداد الرباعية غير الصفرية مع عملية الضربشمال00ح4
S 3  =  Sp(1)الأعداد الرباعية ذات القيمة المطلقة 1 مع عملية الضرب؛ طوبولوجيًا، هي كرة ثلاثية الأبعادY00متماثل مع SU(2) ومع Spin(3) ؛ غطاء مزدوج لـ SO(3)Im( H )3
GL( n , R )المجموعة الخطية العامة : المصفوفات الحقيقية القابلة للعكس من الرتبة n × nشمالZ 2M( n , R )ن 2
GL + ( n , R )مصفوفات حقيقية من الرتبة n × n ذات محدد موجبشمال0Z n =2 Z 2 n > 2   GL + (1, R ) متماثل مع R + وهو متصل ببساطةM( n , R )ن 2
SL( n , R )مجموعة خطية خاصة : مصفوفات حقيقية ذات محدد يساوي 1شمال0Z n =2 Z 2 n > 2   SL(1, R ) هي نقطة واحدة، وبالتالي فهي متراصة ومتصلة ببساطة.sl( n , R )n 2 1
SL(2, R )التماثلات المحافظة على الاتجاه لنصف مستوى بوانكاريه ، متماثلة مع SU(1,1)، متماثلة مع Sp(2, R ).شمال0Zلا يحتوي الغلاف العالمي على تمثيلات دقيقة ذات أبعاد محدودة.sl(2, R )3
على )المجموعة المتعامدة : المصفوفات المتعامدة الحقيقيةYZ 2مجموعة التناظر للكرة ( n = 3) أو الكرة الفائقة .so( n )n ( n 1)/2
SO( n )المجموعة المتعامدة الخاصة : المصفوفات المتعامدة الحقيقية ذات المحدد 1Y0Z n =2 Z 2 n > 2   Spin( n ) n > 2SO(1) هي نقطة واحدة و SO(2) متماثلة مع مجموعة الدائرة ، و SO(3) هي مجموعة دوران الكرة.so( n )n ( n 1)/2
SE( n )المجموعة الإقليدية الخاصة : مجموعة من حركات الجسم الصلب في فضاء ذي أبعاد n.شمال0se( n )n + n ( n 1)/2
الدوران ( ن )مجموعة الدوران : غطاء مزدوج لـ SO( n )Y0 ن > 1 0 ن > 2 Spin(1) متماثل مع Z 2 وغير متصل؛ Spin(2) متماثل مع مجموعة الدائرة وغير متصل ببساطةso( n )n ( n 1)/2
Sp(2 n , R )المجموعة التبسيطية : المصفوفات التبسيطية الحقيقيةشمال0Zsp(2 n , R )ن (2 ن +1)
Sp( n )مجموعة سيمبلكتية متراصة : مصفوفات وحدوية رباعية الأبعاد من الرتبة n × nY00sp( n )ن (2 ن +1)
Mp( 2n , R )المجموعة الميتابليكتية : الغطاء المزدوج للمجموعة التبسيطية الحقيقية Sp( 2n , R )Y0ZMp(2, R ) هي زمرة لي غير جبريةsp( 2n , R )ن (2 ن +1)
U( n )المجموعة الوحدوية : المصفوفات الوحدوية المركبة من الرتبة n × nY0ZR × SU( n )عندما n = 1: متماثل مع S 1. ملاحظة: هذه ليست زمرة/جبر لي معقد.u( n )ن 2
شمس )مجموعة وحدوية خاصة : مصفوفات وحدوية معقدة من الرتبة n × n ذات محدد يساوي 1Y00ملاحظة: هذا ليس زمرة لي معقدة/جبرشمس )n 2 1

جبر لي الحقيقي

جبر ليوصفبسيط؟شبه بسيط ؟ملاحظاتخافت/ R
Rالأعداد الحقيقية ، قوس لي يساوي صفرًا1
R nقوس لي يساوي صفرًان
R 3قوس لي هو حاصل الضرب الاتجاهينعمنعم3
حالأعداد الرباعية ، مع قوس لي، المبدل4
Im( H )الأعداد الرباعية ذات الجزء الحقيقي الصفري، مع وجود قوس لي الذي يحيط بالمبدل؛ متماثلة مع المتجهات الثلاثية الحقيقية،

باستخدام قوس لي ، يكون الضرب الاتجاهي متماثلاً أيضاً مع su(2) ومع so(3, R ).

نعمنعم3
M( n , R )المصفوفات من الرتبة n × n ، مع قوس لي للمبدلن 2
sl( n , R )المصفوفات المربعة ذات الأثر 0، مع قوس لي للمبدلنعمنعمn 2 1
so( n )المصفوفات الحقيقية المربعة المتناظرة المائلة ، مع وجود قوس لي للمبدل.نعم، باستثناء n = 4نعماستثناء: so(4) شبه بسيط،

لكن الأمر ليس بهذه البساطة.

n ( n 1)/2
sp(2 n , R )المصفوفات الحقيقية التي تحقق المعادلة JA + A T J = 0 حيث J هي المصفوفة المتناظرة المعكوسة القياسيةنعمنعمن (2 ن +1)
sp( n )المصفوفات الرباعية المربعة A التي تحقق A = A ، مع قوس لي للمبدلنعمنعمن (2 ن +1)
u( n )المصفوفات المركبة المربعة A التي تحقق A = A ، مع قوس لي للمبدلملاحظة: هذا ليس جبر لي معقدن 2
su( n ) n ≥2المصفوفات المركبة المربعة A ذات الأثر 0 والتي تحقق A = A ، مع قوس لي للمبدلنعمنعمملاحظة: هذا ليس جبر لي معقدn 2 1

زمر لي المعقدة وجبرها

لاحظ أن "زمرة لي المركبة" تُعرَّف بأنها مشعب تحليلي مركب، وهو أيضًا زمرة، حيث تُعطى عمليتا الضرب والانعكاس فيه بواسطة دالة تحليلية. الأبعاد المذكورة في الجدول أدناه هي أبعاد على C. لاحظ أيضًا أنه يمكن اعتبار كل زمرة/جبر لي مركب زمرة/جبر لي حقيقي ذي بُعد مضاعف.

جماعة كاذبةوصفنقيبπ0{\displaystyle \pi _{0}}π1{\displaystyle \pi _{1}}جامعة كاليفورنياملاحظاتجبر ليخافت/ ج
سي إنعملية المجموعة هي الجمعشمال00أبيليةسي إنن
ج ×الأعداد المركبة غير الصفرية مع الضربشمال0Zأبيليةج1
GL( n , C )المجموعة الخطية العامة : المصفوفات المركبة القابلة للعكس من الرتبة n × nشمال0Zلـ n = 1: متماثل مع C ×M( n , C )ن 2
SL( n , C )مجموعة خطية خاصة : مصفوفات معقدة ذات محدد

1

شمال00بالنسبة لـ n = 1، هذه نقطة واحدة وبالتالي فهي مضغوطة.sl( n , C )n 2 1
SL(2, C )حالة خاصة من SL( n , C ) عندما n = 2شمال00متماثل مع Spin(3, C )، متماثل مع Sp(2, C )sl(2, C )3
PSL(2, C )المجموعة الخطية الخاصة الإسقاطيةشمال0Z 2SL(2, C )متماثل مع مجموعة موبيوس ، متماثل مع مجموعة لورنتز المقيدة SO + (3,1, R )، متماثل مع SO(3, C ).sl(2, C )3
O( n , C )المجموعة المتعامدة : المصفوفات المتعامدة المعقدةشمالZ 2محدودة لـ n = 1so( n , C )n ( n 1)/2
SO( n , C )المجموعة المتعامدة الخاصة : المصفوفات المتعامدة المعقدة ذات المحدد 1شمال0Z n =2 Z 2 n > 2   المجموعة SO(2, C ) تبديلية ومتماثلة مع C × ؛ وغير تبديلية عندما يكون n > 2. أما المجموعة SO(1, C ) فهي نقطة واحدة، وبالتالي فهي متراصة وبسيطة الاتصال.so( n , C )n ( n 1)/2
Sp(2 n , C )المجموعة التبسيطية : المصفوفات التبسيطية المعقدةشمال00sp(2 n , C )ن (2 ن +1)

جبر لي المعقد

الأبعاد المعطاة هي أبعاد على C. لاحظ أنه يمكن أيضًا اعتبار كل جبر لي معقد جبر لي حقيقي ذو بُعد مضاعف.

جبر ليوصفبسيط؟شبه بسيط؟ملاحظاتخافت/ ج
جالأعداد المركبة1
سي إنقوس لي يساوي صفرًان
M( n , C )مصفوفات من الرتبة n × n مع قوس لي الذي يتبادلن 2
sl( n , C )المصفوفات المربعة ذات الأثر 0 مع قوس لي

المبدل

نعمنعمn 2 1
sl(2, C )حالة خاصة من sl( n , C ) حيث n = 2نعمنعممتماثل مع su(2){\displaystyle \otimes }ج3
so( n , C )المصفوفات المربعة المعقدة المتناظرة المائلة ذات قوس لي

المبدل

نعم، باستثناء n = 4نعماستثناء: so(4, C ) شبه بسيط،

لكن الأمر ليس بهذه البساطة.

n ( n 1)/2
sp(2 n , C )المصفوفات المعقدة التي تحقق المعادلة JA + A T J = 0

حيث J هي المصفوفة المتناظرة المعكوسة القياسية

نعمنعمن (2 ن +1)

في الواقع، توجد جبر لي للتحويلات الأفينية ذات البعد الثاني لأي حقل. وقد تم إدراج مثال عليها في الجدول الأول لجبر لي الحقيقي.

انظر أيضاً

مراجع