TOPICS
Search

Derivation


A derivation is a sequence of steps, logical or computational, from one result to another. The word derivation comes from the word "derive."

"Derivation" can also refer to an additive map D:R->R on a ring R satisfying D(ab)=aD(b)+D(a)b for all a,b in R. For an algebra over a field, an algebra derivation is additionally linear over that field. The derivations into the algebra itself form its derivation algebra (Schafer 1996, pp. 3-4).

In particular, let A be a Banach algebra and X be a Banach A-bimodule. Any element of

 Z^1(A,X)={delta:A->X;delta is bounded, linear and
 delta(ab)=adelta(b)+delta(a)b}

is called a bounded derivation of A in X; the identity is required for all a,b in A. Any element of

 B^1(A,X)={delta_x:A->X;delta_x(a)=ax-xa,
 a in A,x in X}

is called an inner derivation.


See also

Derivation Algebra, Kaehler Differential, Lipman-Zariski Conjecture, Tangent Sheaf

Portions of this entry contributed by Todd Rowland

Portions of this entry contributed by Mohammad Sal Moslehian

Explore with Wolfram|Alpha

References

Helemskii, A. Ya. The Homology of Banach and Topological Algebras. Dordrecht, Netherlands: Kluwer, 1989.Helemskii, A. Ya. Banach and Locally Convex Algebras. Oxford, England: Oxford University Press, 1993.Helemskii, A. Ya. "Homology for the Algebras of Analysis." In Handbook of Algebra, Vol. 2 (Ed. M. Hazewinkel). Amsterdam, Netherlands: Elsevier, pp. 151-274, 2000. https://doi.org/10.1016/S1570-7954(00)80029-7.Schafer, R. D. An Introduction to Nonassociative Algebras. New York: Dover, pp. 3-4, 1996.

Referenced on Wolfram|Alpha

Derivation

Cite this as:

Weisstein, Eric W., with contributions by Todd Rowland and Mohammad Sal Moslehian. "Derivation." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/Derivation.html

Subject classifications