# Derivation

From Diffgeom

## Definition

Let be a commutative unital ring (resp. sheaf of commutative unital rings). A derivation of is a map (resp. a sheaf-theoretic map from to itself) such that:

- is -linear (viz, its a map of -modules)

A derivation on a differential manifold is a derivation on its sheaf of differentiable functions, viewed as a sheaf of commutative unital rings.

## Facts

Every vector field on a differential manifold gives rise to a derivation, and this gives a correspondence between vector fields and derivations. *For full proof, refer: Vector field equals derivation*