An invariant polynomial is a polynomial that is invariant under a (compact) Lie group acting on a vector space . Therefore is -invariant polynomial if for all and .