אלגברת לי נילפוטנטית

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

הגדרה

תהי ${\displaystyle L}$ אלגברת לי מעל שדה ${\displaystyle F}$. סדרת הנגזרת של ${\displaystyle L}$ היא הסדרה המוגדרת על ידי ${\displaystyle {L}^{0}=L,{L}^{n}=[L,{L}^{n-1}]}$. כלומר, הסדרה היא ${\displaystyle L,[L,L],[L,[L,L]],...}$.

${\displaystyle L}$ היא נילפוטנטית אם הסדרה המרכזית היורדת שלה מתאפסת החל ממקום מסוים, כלומר קיים ${\displaystyle n}$ כך ש-${\displaystyle {L}^{n}=0}$.

תכונות

• כל אלגברת לי אבלית היא נילפוטנטית.

• כל אלגברת לי נילפוטנטית היא גם פתירה, וההפך לא נכון.

• כל תמונה אפימורפית ואלגברת מנה של אלגברת לי נילפוטנטית הם נילפוטנטיים.

• המרכז של אלגברת לי נילפוטנטית לא ריק.

• אם ${\displaystyle L/Z(L)}$ נילפוטנטית אז גם ${\displaystyle L}$.

• תנאי שקול לנילפוטנטיות הוא ${\displaystyle \forall {x}_{i},y\in L:ad{x}_{1}ad{x}_{2}...ad{x}_{n}(y)=0}$ עבור ${\displaystyle n}$ ספציפי.

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

ראו גם

• אלגברת לי פתירה
• ההצגה הצמודה
• משפט אנגל

לקריאה נוספת