Last update: 25 June 2012
Let be a commutative ring, let be a algebra and let be an bimodule.
A derivation from to is a linear map such that
A derivation of is a linear map such that
Let be a algebra with multiplication
is a derivation and
- If is an bimodule and is a derivation then there exists a unique bimodule homomorphism such that
- If is commutative then
is a algebra with product
provides a algebra isomorphism
is a derivation.
- c3. If is an module and is a derivation then there exists a unique module homomorphism