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

psr: a skos:ConceptScheme .
psr:-PR1K23N6-S
  skos:definition """In mathematics, a bialgebra over a field <i>K</i> is a vector space over <i>K</i> which is both a unital associative algebra and a counital coassociative coalgebra. The algebraic and coalgebraic structures are made compatible with a few more axioms. Specifically, the comultiplication and the counit are both unital algebra homomorphisms, or equivalently, the multiplication and the unit of the algebra both are coalgebra morphisms. (These statements are equivalent since they are expressed by the same commutative diagrams.) 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Bialgebra">https://en.wikipedia.org/wiki/Bialgebra</a>)"""@en, """En mathématiques, une bialgèbre ou bigèbre est un ensemble qui possède à la fois une structure d'algèbre et une structure de coalgèbre, et tel que ces deux structures soient compatibles entre elles. Les algèbres de Hopf sont en particulier des bigèbres. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Bialg%C3%A8bre">https://fr.wikipedia.org/wiki/Bialg%C3%A8bre</a>)"""@fr ;
  skos:prefLabel "bialgèbre"@fr, "bialgebra"@en ;
  skos:narrower psr:-PWGX16JX-6 ;
  skos:exactMatch <https://fr.wikipedia.org/wiki/Bialg%C3%A8bre>, <https://en.wikipedia.org/wiki/Bialgebra> ;
  skos:inScheme psr: ;
  skos:broader psr:-LCG3ZWKT-0 ;
  skos:altLabel "bigèbre"@fr ;
  a skos:Concept .

psr:-LCG3ZWKT-0
  skos:prefLabel "structure algébrique"@fr, "algebraic structure"@en ;
  a skos:Concept ;
  skos:narrower psr:-PR1K23N6-S .

psr:-PWGX16JX-6
  skos:prefLabel "algèbre de Hopf"@fr, "Hopf algebra"@en ;
  a skos:Concept ;
  skos:broader psr:-PR1K23N6-S .

