אידאל (אלגברת לי)

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

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

תהי $L$ אלגברת לי מעל שדה $F$. תת-מרחב וקטורי $I$ של $L$ נקרא אידאל אם מתקיים $\mathrm{\forall }x\in L,y\in I:[x,y]\in I$, או בשקילות $[I,L]\subseteq I$. אם $I$ אידאל של $L$, מסמנים $I◃L$.

אלגברת לי נקראת פשוטה אם אין לה אידאלים לא טריוויאליים.

תכונות

• מרחב האפס והמרחב כולו הם אידאלים.
• המרכז של אלגברת לי הוא אידאל.
• $[L,L]$ אידאל של $L$.
• אם $I,J$ אידאלים של $L$ גם סכומם $I+J=\{i+j:i\in I,j\in J\}$ אידאל.

אלגברת המנה

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

פורמלית, המרחב מסומן על ידי $L/I$; כקבוצה הוא שווה למרחב המנה (כמרחב וקטורי), והוא הופך להיות אלגברת לי עם הפעולה $[x+I,y+I]=[x,y]+I$, שמוגדרת היטב.

לאחר הגדרה זו, אפשר להגדיר הומומורפיזם אלגברות לי (כך שישמור את הפעולה), ולהוכיח את משפטי האיזומורפיזם, בצורה אנלוגית לחלוטין לזו מתורת החוגים.

ראו גם

• אידאל (אלגברה)
• חוג מנה

לקריאה נוספת

• Introduction to Lie Algebras and Representation Theory, James Humphreys, 6-7