Concept information
Preferred term
dérivation
Definition
-
En algèbre, le terme dérivation est employé dans divers contextes pour désigner une application vérifiant l'identité de Leibniz. Selon le contexte, il peut s'agir, entre autres, d'une application additive définie sur un anneau A à valeurs dans un A-module, ou bien d'un endomorphisme d'une algèbre unitaire sur un anneau unitaire.
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 : ∀(a, b) ∈ A × A , D(a ⋅ b) = a ⋅ D(b) + D(a) ⋅ b
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/D%C3%A9rivation_(alg%C3%A8bre))
Broader concept
In other languages
-
English
URI
http://data.loterre.fr/ark:/67375/PSR-W2L1F82K-Q
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}