Exercise 5, § 10

Let K be a field of characteristic $p > 0$, B the field $K(X)$ of rational functions in one indeterminate and A the subfield $K(X^p)$ of B. Show that the canonical homomorphism $\Omega_K(A) \otimes_A B \to \Omega_K(B)$ is not injective.*