@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:-TW7HFXF6-Q
  skos:prefLabel "forme différentielle"@fr, "differential form"@en ;
  a skos:Concept ;
  skos:narrower psr:-WK4R6NV8-P .

psr:-WK4R6NV8-P
  skos:prefLabel "differential ideal"@en, "idéal différentiel"@fr ;
  skos:broader psr:-R2X1SGRQ-V, psr:-RXQC777M-K, psr:-TW7HFXF6-Q ;
  a skos:Concept ;
  dc:created "2023-08-23"^^xsd:date ;
  skos:definition """In the theory of differential forms, a differential ideal <i>I</i> is an algebraic ideal in the ring of smooth differential forms on a smooth manifold, in other words a graded ideal in the sense of ring theory, that is further closed under exterior differentiation <i>d</i>, meaning that for any form α in <i>I</i>, the exterior derivative <i>d</i>α is also in <i>I</i>. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Differential_ideal">https://en.wikipedia.org/wiki/Differential_ideal</a>)"""@en ;
  skos:inScheme psr: ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Differential_ideal> ;
  dc:modified "2023-08-23"^^xsd:date .

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

psr: a skos:ConceptScheme .
psr:-R2X1SGRQ-V
  skos:prefLabel "graded ring"@en, "algèbre graduée"@fr ;
  a skos:Concept ;
  skos:narrower psr:-WK4R6NV8-P .