אלגברת לי פשוטה למחצה

באלגברה מופשטת, אלגברת לי פשוטה למחצה היא אלגברת לי בעלת רדיקל טריוויאלי. אלגברות לי פשוטות למחצה הן מהאובייקטים החשובים ביותר בתחום, ויש להן מיון מלא. תנאי שקול לפשוטה למחצה נתון על ידי תבנית קילינג.

הגדרה פורמלית

תהי  אלגברת לי מעל שדה . הרדיקל של  הוא האידיאל הפתיר המקסימלי המוכל ב-. אידיאל כזה קיים ויחיד, מפני שסכום של שני אידיאלים פתירים הוא שוב פתיר. את הרדיקל מסמנים .

 נקראת פשוטה למחצה אם הרדיקל שלה טריוויאלי: .

הגדרות שקולות
התנאים הבאים להיותה של  פשוטה למחצה שקולים:

 תבנית קילינג שלה רגולית.

 כל אידיאל אבלי שלה טריוויאלי.

 כל אידיאל פתיר שלה טריוויאלי.

כסכום של אלגברות לי פשוטות
לעיתים מגדירים אלגברת לי פשוטה למחצה כסכום ישר של אלגברות לי פשוטות. ההגדרות שקולות:

משפט: כל אלגברת לי פשוטה למחצה היא סכום ישר של אידיאלים פשוטים שלה. צורה זו הוא יחידה עד כדי שינוי סדר המחוברים.

כמסקנה ממשפט זה, נובע כי כל אלגברת לי פשוטה למחצה  מקיימת , וכל אידיאל או תמונה אפימורפית שלה פשוטה למחצה. גם נובע כי כל אידיאל של  הוא סכום של אידיאלים פשוטים של .

תכונה חשובה נוספת היא שהנגזרות של אלגברת לי פשוטה למחצה מתלכדות עם העתקות הצמוד שלה, כלומר כל נגזרת היא מהצורה .

ראו גם
 אידיאל (אלגברת לי)
 אלגברת לי פתירה
 אלגברת לי נילפוטנטית
 תבנית קילינג

לקריאה נוספת
Introduction to Lie Algebras and Representation Theory, James Humphreys, p. 11,15,22-23

קישורים חיצוניים
 

פשוטה למחצה