In the study of the variety of nilpotent elements in a Lie algebra, Premet conjectured that this variety is irreducible for any finite dimensional restricted Lie algebra. In this paper, with the assumption that the ground field is algebraically closed of characteristic p > 3, we confirm this conjecture for the Lie algebras of Cartan type e S n and S n .Moreover, we show that the variety of nilpotent elements in S n is a complete intersection. Motivated by the proof of the irreducibility, we describe explicitly the ring of invariant polynomial functions on S n .