Symmetrische und alternierende Gruppen

Ist \(\sigma = \sigma _1 \cdots \sigma _k\) die kanonische Zyklenzerlegung von \(\sigma \in S_n\) mit \(\ell (\sigma _1) \le \cdots \le \ell (\sigma _k)\) , so nennt man das k-Tupel \((\ell (\sigma _1) ,\ldots ,\,\ell (\sigma _k))\) den TypTypeiner Permutation von \(\sigma \) .