Dérivation (algèbre)

Une dérivation d'un anneau A à valeurs dans un -module est une application additive de dans vérifiant l'identité de Leibniz :

Pour les articles homonymes, voir dérivation.

Cette notion est en particulier vérifiée par l'opérateur de dérivation d'une fonction (de variable réelle, par exemple); elle en est une généralisation utilisée en géométrie algébrique et en calcul différentiel sur les variétés (par exemple pour définir le crochet de Lie). Toute application de dérivation vérifie la formule de Leibniz.

  • Portail de l’algèbre
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Sharealike. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.