Derivation
In abstract algebra, a derivation on an associative algebra A over a field k is a linear map D:A→A that satisfies Leibniz' law:
- D(ab) = (Da)b + a(Db).
See also: Kähler differential
Derivation may also be used as a synonym for proof, particularly for formulae.
In music using the twelve tone technique see derived row, where a tone row whose entirety of twelve tones is constructed from a segment or portion of the whole, the generator.