如果 A 和 B 是 A 到 B 的 K-代数和 α 和 β 两个 K 同态,则 A 到 B 的 (α,β) 推导是 A 到 B 的 K-线性映射 d 满足关系
d(xy)=(dx)α(y)+β(x)(dy)for x,y in A,
在其他字、推导中,定义 1 (no. 2) 中,A=A′=A′′、B=B′=B′′、d=d′=d′′、μ:A×A→A 是乘法,λ1:B×A→B 是 K 双线性映射 (z,x)↦zα(x)和 λ2:A×B→B K 双线性映射 (x,z)↦β(x)z。
假设从此以后 A 和 B 是 交换域 和 α=β。证明存在元素 b∈B,使得 d 是 (α,β) 导数 x↦bα(x)−β(x)b。 (可以假设d=0。首先证明d的核 N是x∈A的集合,使得α(x)=β(x),然后证明对于x∈/N元素,b=d(x)/(α(x)−β(x))独立于选择 x。)