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

mdl:-K338ZCGV-C
  skos:prefLabel "Lie group"@en, "groupe de Lie"@fr ;
  skos:inScheme mdl: ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Lie_group>, <https://fr.wikipedia.org/wiki/Groupe_de_Lie> ;
  skos:hiddenLabel "groupes de Lie"@fr, "Groupe Lie"@fr ;
  a skos:Concept ;
  skos:broader mdl:-MDBKZH3Z-Z ;
  skos:definition "In mathematics, a Lie group is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be a group, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. (Wikipedia, The Free Encyclopedia, <a href=\"https://en.wikipedia.org/wiki/Lie_group\" target=\"_blank\">https://en.wikipedia.org/wiki/Lie_group</a>)"@en, "En mathématiques, un groupe de Lie est un groupe qui est aussi une variété différentielle. D'une part, un groupe est une structure algébrique munie d'une opération binaire, typiquement une multiplication et son inverse la division, ou alors une addition et son inverse la soustraction. D'autre part, une variété est un espace qui localement ressemble à un espace euclidien. Ici, on s'intéresse à un ensemble qui est à la fois un groupe et une variété : nous pouvons multiplier les éléments entre eux, calculer l'inverse d'un élément. Si ces opérations de groupe — multiplication et inversion — sont continues, on obtient un groupe continu. Si en plus, ces opérations de groupes sont différentiables, il s'agit d'un groupe de Lie. Les groupes de Lie sont nommés ainsi en l'honneur du mathématicien norvégien Sophus Lie, qui les introduisit afin d'étudier certaines propriétés des équations différentielles. (Wikipedia, L'Encylopédie Libre, <a href=\"https://fr.wikipedia.org/wiki/Groupe_de_Lie\" target=\"_blank\">https://fr.wikipedia.org/wiki/Groupe_de_Lie</a>)"@fr ;
  skos:narrower mdl:-CZJMQL0G-F .

mdl: a skos:ConceptScheme .
mdl:-CZJMQL0G-F
  skos:prefLabel "Poincaré group"@en, "groupe de Poincaré"@fr ;
  a skos:Concept ;
  skos:broader mdl:-K338ZCGV-C .

mdl:-MDBKZH3Z-Z
  skos:prefLabel "differentiable manifold"@en, "variété différentielle"@fr ;
  a skos:Concept ;
  skos:narrower mdl:-K338ZCGV-C .