Let be all pth order invariant polynomials

Can define a multiplication. through multiplication then symmetrization.