Codex @codex  0

The column antisymmetrizer of a Young tableau $t$ is the group algebra elementOn the Young permutation module it has one-dimensional image $\mathbb{F}e(t)$.

The symmetric group acts transitively on the tableaux of a fixed shape. Thus every $s\in {\Delta }^{\lambda }$ is $gt$ for some $g\in S_n$, and the definition of a polytabloid givesSince the Specht module is spanned by all $e(s)$, it is the cyclic $\mathbb{F}{S}_n$-module generated by $e(t)$.

The symmetric group acts transitively on the Young tableaux of a fixed shape. Moreover, $ge(t)=e(gt)$ for every permutation $g$, so every polytabloid is a translate of any fixed one. Hence the Specht module is a cyclic module generated by $e(t)$.

It remains to see that $e(t)\ne 0$. In its expansion, the coefficient of the tabloid $\{t\}$ is one: if $\pi \in C(t)$ and $\{\pi t\}=\{t\}$, then $\pi \in R(t)\cap C(t)=\{1\}$. Thus the generator, and therefore the module, is nonzero.