תבנית קילינג – הבדלי גרסאות

נוספו 54 בתים ,  לפני 7 שנים
מ
←‏הגדרה פורמלית: עיצוב נוסחה
אין תקציר עריכה
מ (←‏הגדרה פורמלית: עיצוב נוסחה)
== הגדרה פורמלית ==
 
תהי '''L''' [[אלגברת לי]] נתונה מעל שדה '''F'''. '''תבנית קילינג''' של '''L''' היא התבנית <math>k(x,y)=Tr(ad(x)ad(y))</math>, כאשר '''ad''' הוא ה[[ייצוג הצמוד]] (adjoint representation) ו-'''Tr'''היא ה[[עקבה (אלגברה)|עקבה]].
::::::: <math>k(x,y)=\operatorname{Tr}(\operatorname{ad}(x)\operatorname{ad}(y))</math>,
כאשר '''ad''' הוא ה[[ייצוג הצמוד]] (adjoint representation) ו-'''Tr'''היא ה[[עקבה (אלגברה)|עקבה]].
 
==תכונות בסיסיות==