Bourbaki

Exercise 1, § 10

Algebra, III, 645

If A and B are K-algebras and α\alpha and β\beta two K-homomorphisms of A into B, an (α,β)(\alpha, \beta)-derivation of A into B is a K-linear mapping dd of A into B satisfying the relation

d(xy)=(dx)α(y)+β(x)(dy)for x,y in A, d(xy) = (dx)\alpha(y) + \beta(x)(dy) \quad \text{for } x, y \text{ in } A,

in other words, a derivation in the sense of Definition 1 (no. 2) where A=A′=A′′A = A' = A'', B=B′=B′′B = B' = B'', d=d′=d′′d = d' = d'', μ:A×A→A\mu : A \times A \to A is multiplication, λ1:B×A→B\lambda_1 : B \times A \to B is the K-bilinear mapping (z,x)↦zα(x)(z, x) \mapsto z\alpha(x) and λ2:A×B→B\lambda_2 : A \times B \to B the K-bilinear mapping (x,z)↦β(x)z(x, z) \mapsto \beta(x)z.

Suppose henceforth that A and B are commutative fields and that α≠β\alpha \neq \beta. Show that there then exists an element b∈Bb \in B such that dd is the (α,β)(\alpha, \beta)-derivation x↦bα(x)−β(x)bx \mapsto b\alpha(x) - \beta(x)b. (It can be assumed that d≠0d \neq 0. Show first that the kernel N of dd is the set of x∈Ax \in A such that α(x)=β(x)\alpha(x) = \beta(x) and then show that for x∉Nx \notin N the element b=d(x)/(α(x)−β(x))b = d(x)/(\alpha(x) - \beta(x)) is independent of the choice of xx.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.