@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:-FSQX3NZD-F
  skos:definition """In mathematics, a locally profinite group is a Hausdorff topological group in which every neighborhood of the identity element contains a compact open subgroup. Equivalently, a locally profinite group is a topological group that is Hausdorff, locally compact, and totally disconnected. Moreover, a locally profinite group is compact if and only if it is profinite; this explains the terminology. Basic examples of locally profinite groups are discrete groups and the <i>p</i>-adic Lie groups. Non-examples are real Lie groups, which have the no small subgroup property. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Locally_profinite_group">https://en.wikipedia.org/wiki/Locally_profinite_group</a>)"""@en ;
  dc:created "2023-08-30"^^xsd:date ;
  dc:modified "2023-08-30"^^xsd:date ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-VJSFMZ3M-S ;
  skos:prefLabel "groupe localement profini"@fr, "locally profinite group"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Locally_profinite_group> .

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