在数学中，基灵型（），是在李群与李代数理论中起着基本作用的一个对称双线性形式。它以数学家威廉·基灵命名，但事实上基灵型是埃利·嘉当发现的，而嘉当矩阵则属于威廉·基灵。
定义.考虑域 "K" 上一个李代数"g"，"g" 中任何元素定义了 "g" 的一个伴随同态 "ad"("x")（也记作 "ad"），用李括号表示为：现在假设 "g" 是有限维，两个这样的同态的复合的迹定义了一个对称双线性形式取值于 "K"，这就是 "g" 上的基灵型。Section:::