是一个单李代数则 g 上任何不变形式是基灵型的数量倍。 基灵型在李代数 g 的自同构 s 下不变，即： B(s(x),s(y)) = B(x,y) 对 s 属于 Aut(g)。 嘉当判别法（Cartancriterion）断言一个李代数半单当且仅当基灵型非退化。 一个幂零李代数的基灵型恒等于零。 如果
161.579 （英语）. Sharpe, Richard W. Differential Geometry: Cartan's Generalization of Klein's Erlangen Program [微分幾何：克萊因愛爾蘭根綱領的嘉當推廣]. New York: Springer-Verlag