>>806
K は (12)(34) と (13)(24) で生成できるので rank ≦ 2.
また,巡回群でないので rank > 1,よって rank = 2.

台集合 {1,2,3,4} の非自明な分割 { {1,2}, {3,4} } が K 不変なので
K は原始的ではない.