无穷多项式环的对称理想