置换群的运用和Polya定理