不変多項式

対称な $k$ 重線形写像 $f\colon\mathfrak{g}\times\dots\times\mathfrak{g}\to\mathbb{C}$ が不変であるとは、すべての $g\in G$ について $f(gX_1g^{-1},\dots,gX_kg^{-1})=f(X_1,\dots,X_k)$ が成り立つことをいう。$f(X)=f(X,\dots,X)$ と略記する。