对于任何 上的 元置换 , 存在着一个有限序列 , (可以取 ) 使得 .

是第一个轮换, , 继续分解, 经过有限步可得 .

定理 任意置换可以唯一表示成不相交的轮换乘积.

  • 轮换的不交性
  • 分解的唯一性

通常省略轮换分解式中的 阶轮换.