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

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש

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

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

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

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

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

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

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

כסכום של אלגברות לי פשוטות

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

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

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

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

ראו גם

לקריאה נוספת

  • Introduction to Lie Algebras and Representation Theory, James Humphreys, p. 11,15,22-23
P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.