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