In general, the Sylow p -subgroups of the symmetric group of degree n are a direct product of a i copies of W p (i), where 0 ≤ a i ≤ p − 1 and n = a 0 + p ⋅ a 1 + ... + p ⋅ a k (the base p expansion of n).