Let be all pth order invariant polynomials
Can define a multiplication. through multiplication then symmetrization.