Isomorphisme de Harish-Chandra

En mathématiques, l'isomorphisme de Harish-Chandra, défini par Harish-Chandra en 1951, est un isomorphisme d'anneaux commutatifs entre le centre ${\displaystyle {\mathcal {Z}}(U({\mathfrak {g}}))}$ de l'algèbre enveloppante universelle ${\displaystyle U({\mathfrak {g}})}$ d'une algèbre de Lie réductive ${\displaystyle {\mathfrak {g}}}$ et les éléments ${\displaystyle S({\mathfrak {h}})^{W}}$ de l'algèbre symétrique ${\displaystyle S({\mathfrak {h}})}$ d'une sous-algèbre de Cartan ${\displaystyle {\mathfrak {h}}}$ invariants sous l'action du groupe de Weyl ${\displaystyle W}$.