pub fn derived_subgroup(degree: usize, gens: &[Perm]) -> Vec<Perm> ⓘExpand description
Generators of the derived (commutator) subgroup [G, G] — the normal closure of the commutators of
the generators. Always normal; G / [G, G] is the abelianisation, and [G, G] is trivial iff G is
abelian.