Permutation group (source code)

= Permutation group
{wiki}

A subgroup of the <symmetric group> of a set, acting faithfully by <permutations>. A finite permutation group specified by generators can be enumerated by repeatedly multiplying the elements already found by those generators until no new element appears. Its orbits and conjugacy classes can then be computed directly.