@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:-LCG3ZWKT-0
  skos:prefLabel "structure algébrique"@fr, "algebraic structure"@en ;
  a skos:Concept ;
  skos:narrower psr:-MXZX3S4F-T .

psr: a skos:ConceptScheme .
psr:-QX8JSJH4-9
  skos:prefLabel "algèbre topologique"@fr, "topological algebra"@en ;
  a skos:Concept ;
  skos:narrower psr:-MXZX3S4F-T .

psr:-MXZX3S4F-T
  skos:broader psr:-FTGGBTC5-X, psr:-QX8JSJH4-9, psr:-LCG3ZWKT-0 ;
  skos:prefLabel "complétion"@fr, "completion"@en ;
  skos:definition """In abstract algebra, a completion is any of several related functors on rings and modules that result in complete topological rings and modules. Completion is similar to localization, and together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's lemma applies to them. In algebraic geometry, a completion of a ring of functions <i>R</i> on a space <i>X</i> concentrates on a formal neighborhood of a point of <i>X</i>: heuristically, this is a neighborhood so small that all Taylor series centered at the point are convergent. An algebraic completion is constructed in a manner analogous to completion of a metric space with Cauchy sequences, and agrees with it in the case when <i>R</i> has a metric given by a non-Archimedean absolute value. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Completion_of_a_ring">https://en.wikipedia.org/wiki/Completion_of_a_ring</a>)"""@en, """En mathématiques, le mot "complétion" a des sens variés d'un contexte à l'autre.
<br/>- En topologie générale, la complétion d'un espace uniforme E (souvent un espace métrique) est un autre espace dans lequel s'envoie E, qui est complet et qui est minimal parmi ceux-ci, en un sens technique précis. Lorsque E est séparé - c'est en particulier le cas si E est métrique - E est un sous-espace de son complété.
<br/>- L'algèbre hérite de cette notion avec, par exemple, la complétion d'un anneau topologique ou d'un groupe profini.
<br/>- En théorie de la mesure, la complétion d'une mesure est un procédé qui associe à une mesure (mathématiques) une mesure complète qui la prolonge. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Compl%C3%A9tion_(math%C3%A9matiques)">https://fr.wikipedia.org/wiki/Compl%C3%A9tion_(math%C3%A9matiques)</a>)"""@fr ;
  dc:created "2023-07-21"^^xsd:date ;
  a skos:Concept ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Compl%C3%A9tion_(math%C3%A9matiques)>, <https://en.wikipedia.org/wiki/Completion_of_a_ring> ;
  skos:inScheme psr: ;
  dc:modified "2023-07-21"^^xsd:date .

psr:-FTGGBTC5-X
  skos:prefLabel "algèbre commutative"@fr, "commutative algebra"@en ;
  a skos:Concept ;
  skos:narrower psr:-MXZX3S4F-T .