@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:-RMQ1RP9W-P
  skos:prefLabel "groupe de Lie"@fr, "Lie group"@en ;
  a skos:Concept ;
  skos:narrower psr:-D3HJ5WS9-G .

psr:-D3HJ5WS9-G
  skos:definition """En mathématiques, un sous-groupe compact maximal <i>K</i> d'un groupe topologique <i>G</i> est un sous-groupe <i>K</i> qui est un espace compact, dans la topologie du sous-espace, et maximal parmi ces sous-groupes. Les sous-groupes compacts maximaux jouent un rôle important dans la classification des groupes de Lie et en particulier des groupes de Lie semi-simples. Les sous-groupes compacts maximaux de groupes Lie ne sont pas en général unique, mais sont unique à conjugaison près - ils sont essentiellement uniques. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Sous-groupe_compact_maximal">https://fr.wikipedia.org/wiki/Sous-groupe_compact_maximal</a>)"""@fr, """In mathematics, a maximal compact subgroup <i>K</i> of a topological group <i>G</i> is a subgroup <i>K</i> that is a compact space, in the subspace topology, and maximal amongst such subgroups. Maximal compact subgroups play an important role in the classification of Lie groups and especially semi-simple Lie groups. Maximal compact subgroups of Lie groups are not in general unique, but are unique up to conjugation – they are essentially unique. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Maximal_compact_subgroup">https://en.wikipedia.org/wiki/Maximal_compact_subgroup</a>)"""@en ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Sous-groupe_compact_maximal>, <https://en.wikipedia.org/wiki/Maximal_compact_subgroup> ;
  skos:inScheme psr: ;
  skos:broader psr:-V0V2M6VR-9, psr:-RMQ1RP9W-P ;
  skos:prefLabel "sous-groupe compact maximal"@fr, "maximal compact subgroup"@en ;
  a skos:Concept ;
  dc:modified "2023-08-30"^^xsd:date ;
  dc:created "2023-08-30"^^xsd:date .

psr:-V0V2M6VR-9
  skos:prefLabel "sous-groupe"@fr, "subgroup"@en ;
  a skos:Concept ;
  skos:narrower psr:-D3HJ5WS9-G .