@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:-MWCNRVL3-7
  skos:prefLabel "groupe pro-p"@fr, "pro-p group"@en ;
  a skos:Concept ;
  skos:broader psr:-FFVRQC8M-R .

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

psr: a skos:ConceptScheme .
psr:-FFVRQC8M-R
  skos:prefLabel "groupe profini"@fr, "profinite group"@en ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Profinite_group>, <https://fr.wikipedia.org/wiki/Groupe_profini> ;
  skos:narrower psr:-MWCNRVL3-7 ;
  skos:broader psr:-HNJM0NVW-7, psr:-VJSFMZ3M-S ;
  skos:definition """In mathematics, a profinite group is a topological group that is in a certain sense assembled from a system of finite groups. The idea of using a profinite group is to provide a "uniform", or "synoptic", view of an entire system of finite groups. Properties of the profinite group are generally speaking uniform properties of the system. For example, the profinite group is finitely generated (as a topological group) if and only if there exists <span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\\\\displaystyle d\\\\in \\\\mathbb {N} }">
         <semantics>
         <mrow class="MJX-TeXAtom-ORD">
         <mstyle displaystyle="true" scriptlevel="0">
         <mi>d</mi>
         <mo>∈<!-- ∈ --></mo>
         <mrow class="MJX-TeXAtom-ORD">
         <mi mathvariant="double-struck">N</mi>
         </mrow>
         </mstyle>
         </mrow>
         <annotation encoding="application/x-tex">{\\\\displaystyle d\\\\in \\\\mathbb {N} }</annotation>
         </semantics>
         </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/6a86f7fcd041c0196f44e7c04f4b3eac94e5a757" class="mwe-math-fallback-image-inline mw-invert" aria-hidden="true" style="vertical-align: -0.338ex; width:5.735ex; height:2.176ex;" alt="{\\\\displaystyle d\\\\in \\\\mathbb {N} }"></span> such that every group in the system can be generated by d elements. Many theorems about finite groups can be readily generalised to profinite groups; examples are Lagrange's theorem and the Sylow theorems. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Profinite_group">https://en.wikipedia.org/wiki/Profinite_group</a>)"""@en, """En théorie des groupes, un groupe profini est un groupe topologique obtenu comme limite projective de groupes finis discrets. La notion de groupe profini est particulièrement utile en théorie de Galois, pour pouvoir travailler avec des extensions infinies. Comme plus généralement en théorie des catégories, cette limite projective est uniquement définie à unique isomorphisme près. Elle peut être interprétée comme objet final d'une bonne catégorie. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Groupe_profini">https://fr.wikipedia.org/wiki/Groupe_profini</a>)"""@fr ;
  skos:inScheme psr: ;
  dc:created "2023-08-30"^^xsd:date ;
  a skos:Concept ;
  dc:modified "2023-08-30"^^xsd:date .

psr:-HNJM0NVW-7
  skos:prefLabel "groupe infini"@fr, "infinite group"@en ;
  a skos:Concept ;
  skos:narrower psr:-FFVRQC8M-R .