@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:-P5LK3GP4-C
  skos:prefLabel "automorphic function"@en, "fonction automorphe"@fr ;
  a skos:Concept ;
  skos:broader psr:-ZZV8LLFT-V .

psr: a skos:ConceptScheme .
psr:-VJSFMZ3M-S
  skos:prefLabel "topological group"@en, "groupe topologique"@fr ;
  a skos:Concept ;
  skos:narrower psr:-ZZV8LLFT-V .

psr:-NWFJ6ZKC-L
  skos:prefLabel "groupe de réflexion"@fr, "reflection group"@en ;
  a skos:Concept ;
  skos:broader psr:-ZZV8LLFT-V .

psr:-ZZV8LLFT-V
  skos:narrower psr:-NWFJ6ZKC-L, psr:-QMCH6P0N-M, psr:-P5LK3GP4-C, psr:-N2Z283Q7-W ;
  dc:modified "2023-08-18"^^xsd:date ;
  skos:definition """In mathematics, a topological group <i>G</i> is called a discrete group if there is no limit point in it (i.e., for each element in <i>G</i>, there is a neighborhood which only contains that element). Equivalently, the group <i>G</i> is discrete if and only if its identity is isolated. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Discrete_group">https://en.wikipedia.org/wiki/Discrete_group</a>)"""@en, """Un groupe discret est, en mathématiques, un groupe muni de la topologie discrète, c'est-à-dire de la topologie telle que tout singleton est un ouvert. C'est donc un exemple de groupe topologique, puisque la loi de groupe et l'inversion sont alors continues (en effet, sur un espace discret, toute application est continue), qui de plus est complètement métrisable. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Groupe_discret">https://fr.wikipedia.org/wiki/Groupe_discret</a>)"""@fr ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Groupe_discret>, <https://en.wikipedia.org/wiki/Discrete_group> ;
  skos:broader psr:-VJSFMZ3M-S ;
  a skos:Concept ;
  skos:inScheme psr: ;
  dc:created "2023-08-18"^^xsd:date ;
  skos:prefLabel "groupe discret"@fr, "discrete group"@en .

psr:-QMCH6P0N-M
  skos:prefLabel "lemme du ping-pong"@fr, "ping-pong lemma"@en ;
  a skos:Concept ;
  skos:broader psr:-ZZV8LLFT-V .

psr:-N2Z283Q7-W
  skos:prefLabel "Kleinian group"@en, "groupe kleinien"@fr ;
  a skos:Concept ;
  skos:broader psr:-ZZV8LLFT-V .