@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:-W45GZBT2-Q
  skos:prefLabel "application exponentielle"@fr, "exponential map"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-K130R6C6-4
  skos:prefLabel "groupe de Heisenberg"@fr, "Heisenberg group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-K4DNK8ST-D
  skos:prefLabel "contraction de groupe"@fr, "group contraction"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-NSQVH5GT-C
  skos:prefLabel "general linear group"@en, "groupe général linéaire"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-BZH88W2M-3
  skos:prefLabel "infinitesimal transformation"@en, "transformation infinitésimale"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-D0QJC9QW-P
  skos:prefLabel "pseudogroup"@en, "pseudogroupe"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-ZL6RSFWL-J
  skos:prefLabel "groupe orthogonal indéfini"@fr, "indefinite orthogonal group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-Q71RWXGH-Q
  skos:prefLabel "groupe unitaire"@fr, "unitary group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-QMCH6P0N-M
  skos:prefLabel "lemme du ping-pong"@fr, "ping-pong lemma"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-VR3DQVH1-X
  skos:prefLabel "sous-groupe à un paramètre"@fr, "one-parameter subgroup"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-P2V6PZVV-J
  skos:prefLabel "Wess-Zumino-Witten model"@en, "modèle de Wess-Zumino-Novikov-Witten"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-MRK562GR-B
  skos:prefLabel "groupe unitaire projectif"@fr, "projective unitary group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-NGR27Z8W-6
  skos:prefLabel "closed-subgroup theorem"@en, "théorème de Cartan-von Neumann"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-DG8TBCCD-3
  skos:prefLabel "Bruhat decomposition"@en, "décomposition de Bruhat"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-VBX3DDST-D
  skos:prefLabel "Schrödinger group"@en, "groupe de Schrödinger"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-NBSLMP4T-3
  skos:prefLabel "cône convexe invariant"@fr, "invariant convex cone"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-FMS6R6SC-G
  skos:prefLabel "improper rotation"@en, "antirotation"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-D3HJ5WS9-G
  skos:prefLabel "maximal compact subgroup"@en, "sous-groupe compact maximal"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-H9CFWH2X-C
  skos:prefLabel "groupe symplectique"@fr, "symplectic group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-T8BC5627-6
  skos:prefLabel "groupe réductif"@fr, "reductive group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-RH88S9X0-Z
  skos:prefLabel "Iwasawa decomposition"@en, "décomposition d'Iwasawa"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-GHJDNWMW-1
  skos:prefLabel "Vogel plane"@en, "plan de Vogel"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-FBT35M65-C
  skos:prefLabel "algèbre de Lie"@fr, "Lie algebra"@en ;
  a skos:Concept ;
  skos:related psr:-RMQ1RP9W-P .

psr:-H483TNV8-B
  skos:prefLabel "système intégrable de Hitchin"@fr, "Hitchin integrable system"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-KSGTQ4H9-8
  skos:prefLabel "Cartan decomposition"@en, "décomposition de Cartan"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-P4ZXJJPR-H
  skos:prefLabel "spin tensor"@en, "tenseur de spin"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-GH4HF1JL-R
  skos:prefLabel "groupe de Virasoro"@fr, "Virasoro group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-H5LXNQLZ-1
  skos:prefLabel "maximal torus"@en, "tore maximal"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-K9JTNW7Z-6
  skos:prefLabel "algebraic torus"@en, "tore algébrique"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-NZ67SBF1-F
  skos:prefLabel "Einstein group"@en, "groupe d'Einstein"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-RMQ1RP9W-P
  skos:narrower psr:-K130R6C6-4, psr:-XT27BDPB-C, psr:-DTJ0P56T-7, psr:-BZH88W2M-3, psr:-N2Z283Q7-W, psr:-GT54GL92-Q, psr:-P64TCLGF-0, psr:-K9JTNW7Z-6, psr:-KLFTZGBF-T, psr:-KSGTQ4H9-8, psr:-R15183XZ-N, psr:-HTW4TM2B-H, psr:-HZLJP7SN-6, psr:-K4DNK8ST-D, psr:-NZ67SBF1-F, psr:-Q71RWXGH-Q, psr:-GH4HF1JL-R, psr:-HCC5TNV7-3, psr:-W45GZBT2-Q, psr:-P6THQQQ9-6, psr:-KRMCJZW3-1, psr:-NQBFGBJ1-6, psr:-TLF32HJP-D, psr:-M3NJVVTK-V, psr:-BJWP71GV-G, psr:-RH88S9X0-Z, psr:-GZPZT00T-6, psr:-B3K4NQNZ-W, psr:-KRC6TPM7-N, psr:-QVW29S4H-N, psr:-DG8TBCCD-3, psr:-JFLZPZTN-J, psr:-GMQS050D-B, psr:-M5XRSRF1-Q, psr:-QMCH6P0N-M, psr:-M5Q7KFH3-T, psr:-P4ZXJJPR-H, psr:-B8WV4BTX-0, psr:-ZL6RSFWL-J, psr:-NBSLMP4T-3, psr:-Q7XC0C1D-3, psr:-H483TNV8-B, psr:-H5LXNQLZ-1, psr:-N488WBGG-9, psr:-VBX3DDST-D, psr:-NGR27Z8W-6, psr:-P2V6PZVV-J, psr:-LSCBPPHF-9, psr:-D0QJC9QW-P, psr:-MRK562GR-B, psr:-VR3DQVH1-X, psr:-HTZLJ37J-M, psr:-K5WLHL83-R, psr:-NSQVH5GT-C, psr:-W53FVX08-B, psr:-T8BC5627-6, psr:-LDDK1PPJ-D, psr:-GHJDNWMW-1, psr:-N44TNB5H-5, psr:-GC8Z7N05-C, psr:-H9CFWH2X-C, psr:-D8ZBDS6X-T, psr:-PZB19WL5-6, psr:-FMS6R6SC-G, psr:-TCRDC7FL-J, psr:-NL3TJM53-X, psr:-WWT7F0GZ-9, psr:-D36NJ8ZJ-5, psr:-ZQCB7CDF-H, psr:-QHV7WX86-T, psr:-D3HJ5WS9-G ;
  dc:modified "2023-08-30"^^xsd:date ;
  skos:related psr:-FBT35M65-C, psr:-WKN6VCP6-V, psr:-GSXNJJR7-M ;
  skos:inScheme psr: ;
  skos:broader psr:-RZMJ5VH2-S, psr:-VJSFMZ3M-S ;
  skos:exactMatch <https://en.wikipedia.org/wiki/Lie_group>, <https://fr.wikipedia.org/wiki/Groupe_de_Lie> ;
  skos:prefLabel "Lie group"@en, "groupe de Lie"@fr ;
  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 thought of as a "transformation" in the abstract sense, 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. 
<br/>(Wikipedia, The Free Encyclopedia, <a href="https://en.wikipedia.org/wiki/Lie_group">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. 
<br/>(Wikipedia, L'Encylopédie Libre, <a href="https://fr.wikipedia.org/wiki/Groupe_de_Lie">https://fr.wikipedia.org/wiki/Groupe_de_Lie</a>)"""@fr ;
  a skos:Concept .

psr:-D8ZBDS6X-T
  skos:prefLabel "groupe spécial unitaire"@fr, "special unitary group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-TLF32HJP-D
  skos:prefLabel "groupe orthogonal"@fr, "orthogonal group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-BJWP71GV-G
  skos:prefLabel "groupe orthogonal projectif"@fr, "projective orthogonal group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-GZPZT00T-6
  skos:prefLabel "Klein geometry"@en, "géométrie de Klein"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-GMQS050D-B
  skos:prefLabel "forme réelle"@fr, "real form"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-M5Q7KFH3-T
  skos:prefLabel "Baker-Campbell-Hausdorff formula"@en, "formule de Baker-Campbell-Hausdorff"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

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

psr:-NQBFGBJ1-6
  skos:prefLabel "root system"@en, "système de racines"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-TCRDC7FL-J
  skos:prefLabel "champ vectoriel fondamental"@fr, "fundamental vector field"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-M5XRSRF1-Q
  skos:prefLabel "Poincaré group"@en, "groupe de Poincaré"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-PZB19WL5-6
  skos:prefLabel "Lie's third theorem"@en, "troisième théorème de Lie"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-D36NJ8ZJ-5
  skos:prefLabel "Dunkl operator"@en, "opérateur de Dunkl"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-GSXNJJR7-M
  skos:prefLabel "Oppenheim conjecture"@en, "conjecture d'Oppenheim"@fr ;
  a skos:Concept ;
  skos:related psr:-RMQ1RP9W-P .

psr:-N2Z283Q7-W
  skos:prefLabel "Kleinian group"@en, "groupe kleinien"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-GC8Z7N05-C
  skos:prefLabel "Laguerre transformation"@en, "transformation de Laguerre"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-HTZLJ37J-M
  skos:prefLabel "anneau de représentation"@fr, "representation ring"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-KRMCJZW3-1
  skos:prefLabel "symmetric cone"@en, "cône symétrique"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr: a skos:ConceptScheme .
psr:-W53FVX08-B
  skos:prefLabel "special linear group"@en, "groupe spécial linéaire"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-KLFTZGBF-T
  skos:prefLabel "exponentielle d'une matrice"@fr, "matrix exponential"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-HTW4TM2B-H
  skos:prefLabel "circle group"@en, "groupe du cercle"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-WWT7F0GZ-9
  skos:prefLabel "Jacobi group"@en, "groupe de Jacobi"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-N44TNB5H-5
  skos:prefLabel "décomposition polaire"@fr, "polar decomposition"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-P6THQQQ9-6
  skos:prefLabel "representation of a Lie group"@en, "représentation des groupes de Lie"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-LDDK1PPJ-D
  skos:prefLabel "groupe projectif linéaire"@fr, "projective linear group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-QVW29S4H-N
  skos:prefLabel "groupe de Lorentz"@fr, "Lorentz group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-JFLZPZTN-J
  skos:prefLabel "Trombi-Varadarajan theorem"@en, "théorème de Trombi-Varadarajan"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-WKN6VCP6-V
  skos:prefLabel "fonction zêta de Witten"@fr, "Witten zeta function"@en ;
  a skos:Concept ;
  skos:related psr:-RMQ1RP9W-P .

psr:-K5WLHL83-R
  skos:prefLabel "Carnot group"@en, "groupe de Carnot"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-P64TCLGF-0
  skos:prefLabel "groupe de Weyl"@fr, "Weyl group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-M3NJVVTK-V
  skos:prefLabel "homogeneous space"@en, "espace homogène"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-LSCBPPHF-9
  skos:prefLabel "Lie groupoid"@en, "groupoïde de Lie"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-B8WV4BTX-0
  skos:prefLabel "algèbre de Lie spéciale linéaire"@fr, "special linear Lie algebra"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-ZQCB7CDF-H
  skos:prefLabel "Hilbert's fifth problem"@en, "cinquième problème de Hilbert"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-N488WBGG-9
  skos:prefLabel "covering group"@en, "groupe couvrant"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-R15183XZ-N
  skos:prefLabel "automorphic form"@en, "forme automorphe"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-NL3TJM53-X
  skos:prefLabel "groupe de pin"@fr, "pin group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-QHV7WX86-T
  skos:prefLabel "groupe spinoriel"@fr, "spin group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-RZMJ5VH2-S
  skos:prefLabel "differentiable manifold"@en, "variété différentielle"@fr ;
  a skos:Concept ;
  skos:narrower psr:-RMQ1RP9W-P .

psr:-DTJ0P56T-7
  skos:prefLabel "Poisson-Lie group"@en, "groupe de Lie-Poisson"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-HZLJP7SN-6
  skos:prefLabel "Maurer-Cartan form"@en, "forme de Maurer-Cartan"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-HCC5TNV7-3
  skos:prefLabel "Freudenthal magic square"@en, "carré magique de Freudenthal"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-GT54GL92-Q
  skos:prefLabel "Killing form"@en, "forme de Killing"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-Q7XC0C1D-3
  skos:prefLabel "complex Lie group"@en, "groupe de Lie complexe"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-XT27BDPB-C
  skos:prefLabel "Darboux derivative"@en, "dérivée de Darboux"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-B3K4NQNZ-W
  skos:prefLabel "groupe affine"@fr, "affine group"@en ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .

psr:-KRC6TPM7-N
  skos:prefLabel "fundamental representation"@en, "représentation fondamentale"@fr ;
  a skos:Concept ;
  skos:broader psr:-RMQ1RP9W-P .