@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:-TTBXXW26-C
  skos:prefLabel "Riemannian geometry"@en, "géométrie riemannienne"@fr ;
  a skos:Concept ;
  skos:narrower psr:-S4PRDDCP-S .

psr:-S4PRDDCP-S
  skos:prefLabel "Margulis lemma"@en, "lemme de Margulis"@fr ;
  skos:broader psr:-TTBXXW26-C, psr:-VX20K4H9-G ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Margulis_lemma>, <https://fr.wikipedia.org/wiki/Lemme_de_Margulis> ;
  dc:created "2023-08-31"^^xsd:date ;
  dc:modified "2023-08-31"^^xsd:date ;
  skos:definition """Le lemme de Margulis est un résultat de géométrie riemannienne, branche de la géométrie qui étudie les espaces courbes munis d'une métrique. Il est nommé en l'honneur du mathématicien russe Gregori Margulis qui en établit une version de référence en 1975, mais celle-ci s'inscrit dans une succession de nombreux résultats apparentés. Le lemme porte sur les sous-groupes du groupe des isométries d'une variété à courbure négative mais bornée ; il s'applique donc notamment au cadre de la géométrie hyperbolique. L'idée générale de l'énoncé est que, quand on limite l'écart entre les points et les images en dessous d'une certaine valeur (la constante de Margulis), les orbites d'un tel groupe ont nécessairement une structure simple. Dans une formulation plus géométrique, cela conduit à une décomposition entre les parties "mince" et "épaisse" de la variété, les parties dites minces ayant une structure simple. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Lemme_de_Margulis">https://fr.wikipedia.org/wiki/Lemme_de_Margulis</a>)"""@fr, """In differential geometry, the Margulis lemma (named after Grigory Margulis) is a result about discrete subgroups of isometries of a non-positively curved Riemannian manifold (e.g. the hyperbolic n-space). Roughly, it states that within a fixed radius, usually called the Margulis constant, the structure of the orbits of such a group cannot be too complicated. More precisely, within this radius around a point all points in its orbit are in fact in the orbit of a nilpotent subgroup (in fact a bounded finite number of such). 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Margulis_lemma">https://en.wikipedia.org/wiki/Margulis_lemma</a>)"""@en ;
  skos:inScheme psr: ;
  a skos:Concept .

psr:-VX20K4H9-G
  skos:prefLabel "hyperbolic geometry"@en, "géométrie hyperbolique"@fr ;
  a skos:Concept ;
  skos:narrower psr:-S4PRDDCP-S .