キリング形式
数学において、ヴィルヘルム・キリング(英語版) (Wilhelm Killing) の名に因むキリング形式 (Killing form) とは、リー群とリー環の理論において基本的な役割を果たす対称双線型形式である。