对称群作为对称函数基的性质