@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

psr: a skos:ConceptScheme .
psr:-V2R0LQSL-3
  skos:prefLabel "dérivée"@fr, "derivative"@en ;
  a skos:Concept ;
  skos:related psr:-W2L1F82K-Q .

psr:-RXQC777M-K
  skos:prefLabel "algèbre différentielle"@fr, "differential algebra"@en ;
  a skos:Concept ;
  skos:narrower psr:-W2L1F82K-Q .

psr:-W2L1F82K-Q
  skos:broader psr:-RXQC777M-K ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Derivation_(differential_algebra)>, <https://fr.wikipedia.org/wiki/D%C3%A9rivation_(alg%C3%A8bre)> ;
  dc:modified "2023-08-23"^^xsd:date ;
  skos:prefLabel "dérivation"@fr, "derivation"@en ;
  skos:related psr:-V2R0LQSL-3 ;
  a skos:Concept ;
  skos:definition """In mathematics, a derivation is a function on an algebra which generalizes certain features of the derivative operator. Specifically, given an algebra <i>A</i> over a ring or a field <i>K</i>, a <i>K</i>-derivation is a <i>K</i>-linear map <i>D</i> : <i>A</i> → <i>A</i> that satisfies Leibniz's law : <i>D</i>(<i>ab</i>) = <i>aD</i>(<i>b</i>) + <i>D</i>(<i>a</i>)<i>b</i>. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Derivation_(differential_algebra)">https://en.wikipedia.org/wiki/Derivation_(differential_algebra)</a>)"""@en, """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 <i>A</i> à valeurs dans un <i>A</i>-module, ou bien d'un endomorphisme d'une algèbre unitaire sur un anneau unitaire.
         <br/>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 : ∀(<i>a</i>, <i>b</i>) ∈ <i>A</i> × <i>A</i> , D(<i>a</i> ⋅ <i>b</i>) = <i>a</i> ⋅ D(<i>b</i>) + D(<i>a</i>) ⋅ <i>b</i> 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/D%C3%A9rivation_(alg%C3%A8bre)">https://fr.wikipedia.org/wiki/D%C3%A9rivation_(alg%C3%A8bre)</a>)"""@fr ;
  skos:inScheme psr: ;
  dc:created "2023-08-23"^^xsd:date .