Abstract
We prove that for n≥2, the length of every subgroup chain in Sn is at most 2n-3. The proof rests on an upper bound for the order of primitive permutation groups, due to Praeger and Saxl. The result has applications to worst case complexity estimates for permutation group algorithms.

This publication has 11 references indexed in Scilit: