1
2
In mathematics, a derivation is a function on an algebra which generalizes certain features of the derivative operator. Specifically, given an algebra A over a ring or a field K, a K-derivation is a K-linear map D : A → A that satisfies Leibniz's law:
D
(
a
b
)
=
D
(
a
)
b
+
a
D
(
b
)
.
{\displaystyle D(ab)=D(a)b+aD(b).}
More generally, if M is an A-bimodule, a K-linear map D : A → M that satisfies the Leibniz law is also...
6
