If A and B are K-algebras and α and β two K-homomorphisms of A into B, an (α,β)-derivation of A into B is a K-linear mapping d of A into B satisfying the relation
d(xy)=(dx)α(y)+β(x)(dy)for x,y in A,
in other words, a derivation in the sense of Definition 1 (no. 2) where A=A′=A′′, B=B′=B′′, d=d′=d′′, μ:A×A→A is multiplication, λ1:B×A→B is the K-bilinear mapping (z,x)↦zα(x) and λ2:A×B→B the K-bilinear mapping (x,z)↦β(x)z.
Suppose henceforth that A and B are commutative fields and that α=β. Show that there then exists an element b∈B such that d is the (α,β)-derivation x↦bα(x)−β(x)b. (It can be assumed that d=0. Show first that the kernel N of d is the set of x∈A such that α(x)=β(x) and then show that for x∈/N the element b=d(x)/(α(x)−β(x)) is independent of the choice of x.)