تحلل ليفي

في نظرية لي ونظرية التمثيل ، تنص نظرية ليفي ، التي افترضها ويلهلم كيلينغ [ 1 ] وإيلي كارتان [ 2 ] وأثبتها يوجينيو إيليا ليفي ( 1905 ) ، على أن أي جبر لي محدود الأبعاد g على حقل ذي خاصية صفرية هو حاصل الضرب شبه المباشر لمثالي قابل للحل وجبر فرعي شبه بسيط . أحدهما هو جذره ، وهو مثالي قابل للحل أقصى، والآخر هو جبر فرعي شبه بسيط، يُسمى جبر ليفي الفرعي . 

عند النظر إلى هذا الجبر شبه البسيط من نوع لي باعتباره جبرًا عامليًا للدالة g ، يُطلق عليه أيضًا اسم عامل ليفي للدالة g . وإلى حد ما، يمكن استخدام هذا التفكيك لتبسيط المسائل المتعلقة بجبر لي ذي الأبعاد المحدودة ومجموعات لي، وذلك لفصل المسائل المتعلقة بجبر لي إلى فئتين خاصتين: قابلة للحل وشبه بسيطة.

علاوة على ذلك، أظهر مالسيف (1942) أن أي جبرين جزئيين من جبر ليفي يكونان مترافقين بواسطة تشاكل ذاتي (داخلي) من الشكل

خبرة(أد(z)) {\displaystyle \exp(\mathrm {ad} (z))\ }

حيث z في الجذر الصفري ( نظرية ليفي-مالسيف ).

وتوجد نتيجة مماثلة صالحة للجبر الترابطي وتسمى نظرية ويدربورن الرئيسية .

توسيع النتائج

في نظرية التمثيل، يُعدّ تحليل ليفي للمجموعات الجزئية المكافئة لمجموعة اختزالية ضروريًا لبناء عائلة كبيرة مما يُسمى بالتمثيلات المستحثة مكافئيًا . ويُعتبر تحليل لانجلاندز تحسينًا طفيفًا لتحليل ليفي للمجموعات الجزئية المكافئة المستخدمة في هذا السياق.

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

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

انظر أيضاً

مراجع

  1. ^ القتل ، دبليو (1888). "Die Zusammensetzung der stetigen endlichen Transformationsgroupen" . الرياضيات أنالن . 31 (2): 252-290 . دوى : 10.1007 / BF01211904 .
  2. ^ كارتان ، إيلي (1894)، Sur la هيكل مجموعات التحولات النهائية والمستمرة ، أطروحة، نوني

فهرس