9.4 对称群 的形式