群论有限置换群.