设g为李代数,r为其根式,D为g的推导。 (a) 如果D(r)={0},则D为内部。 (令c为g中r的中心化子。c上g∗=g/r的g 定义表示 x∗↦ρ(x∗)的伴随表示。另一方面, [D(g),r]⊂D([g,r])+[g,D(r)]={0},因此D(g)⊂c,因此D定义线性映射D∗:g∗→c。
D∗([x∗,y∗])=ρ(x∗)D∗y∗−ρ(y∗)D∗x∗ 对于
g∗中的所有
x∗,y∗。推断存在
a∈c,使得
D∗x∗=ρ(x∗)a 对于所有
x∗∈g∗(cf. no. 2,*注* 2),从而
Dx=[x,a] 对于所有
x∈g。) (b) 如果
r上有
D重合,且
g有内部推导,则
D为内部。 (应用(a)。)