In
mathematics, a derivation is a function on an
algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics.
Elementary ...
which generalizes certain features of the
derivative
In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. ...
operator. Specifically, given an algebra ''A'' over a
ring
Ring may refer to:
* Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry
* To make a sound with a bell, and the sound made by a bell
:(hence) to initiate a telephone connection
Arts, entertainment and media Film and ...
or a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
''K'', a ''K''-derivation is a ''K''-
linear map
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
that satisfies
Leibniz's law:
:
More generally, if ''M'' is an ''A''-
bimodule In abstract algebra, a bimodule is an abelian group that is both a left and a right module, such that the left and right multiplications are compatible. Besides appearing naturally in many parts of mathematics, bimodules play a clarifying role, in t ...
, a ''K''-linear map that satisfies the Leibniz law is also called a derivation. The collection of all ''K''-derivations of ''A'' to itself is denoted by Der
''K''(''A''). The collection of ''K''-derivations of ''A'' into an ''A''-module ''M'' is denoted by .
Derivations occur in many different contexts in diverse areas of mathematics. The
partial derivative with respect to a variable is an R-derivation on the algebra of
real-valued
In mathematics, value may refer to several, strongly related notions.
In general, a mathematical value may be any definite mathematical object. In elementary mathematics, this is most often a number – for example, a real number such as or an i ...
differentiable functions on R
''n''. The
Lie derivative
In differential geometry, the Lie derivative ( ), named after Sophus Lie by Władysław Ślebodziński, evaluates the change of a tensor field (including scalar functions, vector fields and one-forms), along the flow defined by another vector fi ...
with respect to a
vector field is an R-derivation on the algebra of differentiable functions on a
differentiable manifold; more generally it is a derivation on the
tensor algebra
In mathematics, the tensor algebra of a vector space ''V'', denoted ''T''(''V'') or ''T''(''V''), is the algebra of tensors on ''V'' (of any rank) with multiplication being the tensor product. It is the free algebra on ''V'', in the sense of being ...
of a manifold. It follows that the
adjoint representation of a Lie algebra
In mathematics, the adjoint representation (or adjoint action) of a Lie group ''G'' is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, if ''G'' is GL( ...
is a derivation on that algebra. The
Pincherle derivative
In mathematics, the Pincherle derivative T' of a linear operator T: \mathbb \to \mathbb /math> on the vector space of polynomials in the variable ''x'' over a field \mathbb is the commutator of T with the multiplication by ''x'' in the algebra of ...
is an example of a derivation in
abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathe ...
. If the algebra ''A'' is noncommutative, then the
commutator with respect to an element of the algebra ''A'' defines a linear
endomorphism
In mathematics, an endomorphism is a morphism from a mathematical object to itself. An endomorphism that is also an isomorphism is an automorphism. For example, an endomorphism of a vector space is a linear map , and an endomorphism of a gr ...
of ''A'' to itself, which is a derivation over ''K''. That is,
: