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

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

 

 

 

==הגדרות שקולות==

 

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

כמסקנה ממשפט זה, נובע כי כל אלגברת לי פשוטה למחצה <math>L</math> מקיימת <math>[L,L]=L</math>, וכל אידאל או תמונה [[הומומורפיזם|אפימורפית]] שלה פשוטה למחצה. גם נובע כי כל אידאל של <math>L</math> הוא סכום של אידאלים פשוטים של <math>L</math>.

 

 

==ראו גם==

* [[אידאל (אלגברת לי)]]

* [[אלגברת לי פתירה]]

* [[אלגברת לי נילפוטנטית]]

* [[תבנית קילינג]]

 

==לקריאה נוספת==

<div class="mw-content-ltr">

</div>