@prefix psr: <http://data.loterre.fr/ark:/67375/PSR> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

psr: a skos:ConceptScheme .
psr:-SW10HF3W-P
  skos:prefLabel "group theory"@en, "théorie des groupes"@fr ;
  a skos:Concept ;
  skos:narrower psr:-DVCQLC9T-4 .

psr:-DVCQLC9T-4
  skos:definition """Dans l'étude des groupes, le quotient d'un groupe est une opération classique permettant la construction de nouveaux groupes à partir d'anciens. À partir d'un groupe <i>G</i> et d'un sous-groupe <i>H</i> de <i>G</i>, on peut définir une loi de groupe sur l'ensemble <i>G</i>/<i>H</i> des classes de <i>G</i> suivant <i>H</i>, à condition que le sous-groupe <i>H</i> soit normal, c'est-à-dire que les classes à droite soient égales aux classes à gauche (<i>gH</i> = <i>Hg</i>). 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Groupe_quotient">https://fr.wikipedia.org/wiki/Groupe_quotient</a>)"""@fr, """A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves some of the group structure (the rest of the structure is "factored" out). For example, the cyclic group of addition modulo n can be obtained from the group of integers under addition by identifying elements that differ by a multiple of n n and defining a group structure that operates on each such class (known as a congruence class) as a single entity. It is part of the mathematical field known as group theory. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Quotient_group">https://en.wikipedia.org/wiki/Quotient_group</a>)"""@en ;
  a skos:Concept ;
  skos:inScheme psr: ;
  skos:broader psr:-SW10HF3W-P ;
  skos:prefLabel "groupe quotient"@fr, "quotient group"@en ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Groupe_quotient>, <https://en.wikipedia.org/wiki/Quotient_group> .