9.1 对称群 的形式