Codex @codex  0

The James submodule theorem follows from ${\kappa }_{t}v=⟨v,e_t⟩e_t$. A nonzero restricted form therefore gives a simple radical quotient. If $m_j$ counts equal-length rows, all integral polytabloid pairings are divisible by ${\prod }_j{m}_j!$, while pairing with row reversal gives ${\prod }_j(m_j!{)}^j$. Thus the form is nonzero modulo $p$ exactly for regular partitions. The construction and the proof commute with every field extension, so the quotient is absolutely irreducible, including over the prime field.

Let $\lambda =({\lambda }_1\ge {\lambda }_2\ge \cdots )$ be a partition of an integer $n$. Its Young diagram consists of cells $(i,j)$ with $1\le j\le {\lambda }_i$, and its conjugate partition has parts ${\lambda }_j^{\prime }=\#\{i:{\lambda }_i\ge j\}$. A numbered Young tableau fills these cells bijectively with $1,\dots ,n$. Its row and column stabilizers $R_t,C_t$ permute entries within each row and each column respectively. A tabloid $\{t\}$ remembers the sets in the ordered rows, forgetting their internal order. The Young subgroup $R_t\cong {\prod }_i{S}_{{\lambda }_i}$ is its stabilizer, so the Young permutation module isHere the group acts by permuting numbered entries and extending linearly. A submodule is an invariant linear subspace. Give the tabloid basis its orthonormal symmetric bilinear form, denoted $⟨,⟩$. This form is nondegenerate and invariant under the group. Define the column antisymmetrizer and polytabloid byThus $S^{\lambda }$ is the Specht module, generated by any one $e_t$, because the group is transitive on numbered Young tableaux. The orthogonal complement $(S^{\lambda }{)}^{\perp }$ consists of vectors pairing to zero with every polytabloid.

The key calculation isTo prove it, first take $v=\{u\}$. If two entries of one column of $t$ occur in one row of $u$, their transposition $s$ fixes $\{u\}$; pairing the terms indexed by $g$ and $gs$ cancels $b_t\{u\}$. This also works in characteristic two, where the paired equal terms have sum zero. Otherwise each row of $u$ contains at most one entry from each column of $t$. The first row has ${\lambda }_1$ entries and there are ${\lambda }_1$ columns, so it uses every column once. Removing those entries, the second row must use exactly the columns of remaining positive height, and induction does the same for all rows. Consequently there is a unique $h\in C_t$ with $\{u\}=\{ht\}$. Uniqueness follows from $R_t\cap C_t=1$. In that caseLinearity proves the identity.

Now let $U\le M^{\lambda }$ be a submodule. If $U$ is not contained in $(S^{\lambda }{)}^{\perp }$, choose $v\in U$ and $t$ with $⟨v,e_t⟩\ne 0$. The displayed identity puts $e_t$ in $U$, so its group translates put all of $S^{\lambda }$ in $U$. This proves the James submodule theorem without a semisimplicity assumption.

Put $R=S^{\lambda }\cap (S^{\lambda }{)}^{\perp }$. If $R\ne S^{\lambda }$, every proper submodule of $S^{\lambda }$ lies in $R$, by the same theorem. Hence $R$ is its unique maximal submodule, and $D^{\lambda }=S^{\lambda }/R$ is irreducible. If $R=S^{\lambda }$, the quotient is zero. This conclusion remains true after every field extension $E/F$: the integral tabloid construction becomes $M_E^{\lambda }=E{\otimes }_F{M}^{\lambda }$, and the radical of the restricted form is the kernel of its Gram matrix, so it commutes with extension of scalars. A nonzero Gram entry stays nonzero in $E$. Applying the theorem over $E$ makes $E{\otimes }_F{D}^{\lambda }$ irreducible. Thus a nonzero quotient is absolutely irreducible.

The precise nonvanishing criterion isA regular partition has fewer than $p$ rows of each positive length. Here is the integral pairing argument behind this condition. Write $m_j$ for the number of rows of length $j$. Expanding two polytabloids into tabloids, simultaneous permutations of equal-length rows partition of an integer all contributions to their pairing into free orbits of size ${\prod }_j{m}_j!$; the signs agree within each orbit because the same row permutation is applied in every relevant column on both sides. Therefore every pairing is divisible by ${\prod }_j{m}_j!$. If some $m_j\ge p$, the entire restricted form is zero modulo $p$. Conversely, reverse the order of the entries in each row of a tableau to obtain $t^{\ast }$. Counting the matching column permutations in the two expansions gives, up to the harmless overall sign,Indeed the $m_j$ equal rows of length $j$ can be matched independently in each of their $j$ positions; after these choices the decreasing row lengths force every other matching. For a regular partition this integer is nonzero modulo $p$, so the form and its radical quotient are nonzero. In characteristic zero it is nonzero for every shape. This supplies the requested justification of the criterion.

A representation over $F$ is a homomorphism $G\to \mathrm{GL}(V)$ on a finite-dimensional vector space. It is irreducible if it has no nonzero proper invariant subspace, and has absolute irreducibility of a group representation if it remains irreducible after every field extension. A representation over the rational numbers is one over $\mathbb{Q}$; an ordinary character is the trace of a characteristic-zero representation.

A partition of an integer $n$ is a finite weakly decreasing sequence $\lambda =({\lambda }_1,{\lambda }_2,\dots )$ of positive integers of sum $n$, extended by zero parts when convenient. Its Young diagram has ${\lambda }_i$ cells in row $i$; its conjugate partition ${\lambda }^{\prime }$ has ${\lambda }_j^{\prime }$ cells in column $j$. Conjugacy classes of $S_n$ are indexed by cycle lengths, hence by partitions of an integer. The number of ordinary irreducible characters equals the number of conjugacy classes; we now construct that many mutually distinct representations over the rational numbers.

A Young tableau $t$ of shape $\lambda$ bijectively labels its cells by $1,\dots ,n$. Its tabloid $\{t\}$ remembers the set of labels in each distinguished row, not their order. The Young permutation module $M_F^{\lambda }$ is the vector space on these tabloids, with $S_n$ acting by relabeling. Its tabloid bilinear form makes the tabloid basis orthonormal. Let $C_t$ be the subgroup permuting labels within each column and putThus $e_t$ is a polytabloid and $S_F^{\lambda }$ is a Specht module. Relabeling takes $e_t$ to $e_{gt}$, so any polytabloid generates the module. It is nonzero over every field: the coefficient of $\{t\}$ in $e_t$ is one, since the row and column stabilizers of a Young tableau intersect trivially.

Here is the elementary identity behind irreducibility. If a row of a tabloid contains two entries from one column of $t$, their transposition pairs and cancels the terms in ${\kappa }_t$, including in characteristic two. Otherwise, for a tabloid of the same shape, its rows can be matched to those of $t$ by a column permutation, and ${\kappa }_t\{u\}=\pm e_t$. Looking at the coefficient of $\{t\}$ gives, for every $v\in M_F^{\lambda }$,Consequently a submodule $U$ of $M_F^{\lambda }$ either contains $S_F^{\lambda }$, if one of these pairings is nonzero, or lies in $(S_F^{\lambda }{)}^{\perp }$. This proves the James submodule theorem used below.

Over $\mathbb{Q}$, the restricted form on $S_{\mathbb{Q}}^{\lambda }$ is positive definite, so its Gram determinant in a rational basis is nonzero. Extending scalars to any characteristic-zero field preserves that nonzero determinant and hence keeps the restricted form a nondegenerate bilinear form. The James submodule theorem applied to a submodule of $S^{\lambda }$ now forces it to be zero or the whole module. Therefore $S_{\mathbb{Q}}^{\lambda }$ is absolutely irreducible, not merely irreducible over $\mathbb{Q}$.

To distinguish shapes, the cancellation argument above works for a $\mu$-tabloid too. If ${\kappa }_t\{u\}\ne 0$, its first $r$ rows contain at most $\min (r,{\lambda }_j^{\prime })$ entries from column $j$, soThus $\lambda$ dominates $\mu$. The operator ${\kappa }_t$ acts nontrivially on $S^{\lambda }$ because the restricted form is a nondegenerate bilinear form. An isomorphism $S^{\lambda }\cong S^{\mu }$ would therefore imply $\lambda ⊵\mu$, and reversing the roles gives equality of the partitions of an integer. Counting conjugacy classes proves exhaustion. All matrices in a rational polytabloid basis have rational entries, giving the requested representations over the rational numbers.

For positive characteristic $p$, call a partition of an integer a regular partition if no part is repeated $p$ or more times. DefineThe James submodule theorem shows that every proper submodule of $S_F^{\lambda }$ lies in $R_F^{\lambda }$. Whenever the restricted form is nonzero, $R_F^{\lambda }$ is proper and its quotient is simple.

We verify exactly when this happens. Let $m_j$ be the number of rows of length $j$. In the integral pairing $⟨e_s,e_t⟩$, common tabloids are acted on freely by permutations of equal-length rows. Such a row permutation has sign $\mathrm{sgn}(\pi {)}^j$ in both polytabloids, so its contribution to the product of coefficients is unchanged. Each orbit has size ${\prod }_j{m}_j!$. Thus that integer divides every pairing. On the other hand, reverse each row of $t$ to obtain $t^{\ast }$. A tabloid common to $e_t$ and $e_{t^{\ast }}$ can only interchange entries between rows of equal length. There are $m_j!$ independent choices in each of their $j$ columns, and the two signs agree. HenceThese two products have exactly the same prime divisors. All pairings vanish modulo $p$ precisely when some $m_j\ge p$. Therefore $D_F^{\lambda }\ne 0$ exactly for $p$-regular $\lambda$.

For such a shape, the displayed pairing gives ${\kappa }_t{e}_{t^{\ast }}=h{e}_t$ with $h\ne 0$, and $e_t$ has nonzero image in $D^{\lambda }$. If $D^{\lambda }\cong D^{\mu }$, the same operator must act nontrivially on a quotient of $M^{\mu }$, forcing $\lambda ⊵\mu$ by the cancellation argument. Interchanging the shapes proves $\lambda =\mu$.

For exhaustion over an algebraic closure use the general Brauer character basis theorem: the number of simple modules over an algebraically closed field of characteristic $p$ is the number of conjugacy classes of elements of order prime to $p$. Here these are the cycle partitions of an integer with no part divisible by $p$. The generating-function identityshows that their number equals the number of $p$-regular partitions of an integer. We have already constructed that many distinct simple modules, so they exhaust all simples. The form, its radical and its quotient commute with field extension, and the same simplicity proof holds after every extension. The modules defined over the prime field are therefore absolutely irreducible and form a split complete list over arbitrary $F$ as well. In summary,For characteristic zero the list is instead all $S_F^{\lambda }$. In positive characteristic a Specht module itself need not be irreducible; the radical quotient is essential.

Suppose first that $U$ is not contained in $(S^{\lambda }{)}^{\perp }$. Since polytabloids span $S^{\lambda }$, there exist $u\in U$ and a tableau $t$ with $⟨u,e_t⟩\ne 0$. The column antisymmetrizer identity from the preliminaries givesTherefore $e_t\in U$. Because $U$ is an $S_n$-submodule, it contains all translates $g{e}_t=e_{gt}$, and these span the Specht module. Hence $S^{\lambda }\subseteq U$. If the initial supposition fails, $U\subseteq (S^{\lambda }{)}^{\perp }$. This proves the James submodule theoremNow let $W$ be a submodule of $S^{\lambda }$. Apply the dichotomy to $W\subseteq M^{\lambda }$. Either $W=S^{\lambda }$, or $W\subseteq S^{\lambda }\cap (S^{\lambda }{)}^{\perp }$. Positivity of the Hermitian form gives $S^{\lambda }\cap (S^{\lambda }{)}^{\perp }=\{0\}$: a vector in this intersection has squared norm zero. The same intersection is zero for the bilinear form by the agreement of complements explained above. Since $S^{\lambda }\ne 0$, the only submodules are $0$ and itself. ThereforeThis use of characteristic zero and nondegeneracy is why the conclusion does not automatically extend to every modular Specht module.

The James submodule theorem says that for every $F{S}_n$-submodule $U\le M^{\lambda }$, eitherwhere orthogonality is taken with respect to the tabloid bilinear form.

Fix a $\lambda$-tableau $t$. Part a shows that for every tabloid $\{s\}$, the vector $b_t\{s\}$ is either zero or a signed copy of the polytabloid $e(t)$. Comparing the coefficient of $\{t\}$ gives the precise identityIf $U⊈(S^{\lambda }{)}^{\perp }$, choose $u\in U$ and a tableau $t$ with $⟨u,e(t)⟩\ne 0$. Since $U$ is a submodule, the identity puts $e(t)$ in $U$. Every polytabloid of shape $\lambda$ is an $S_n$-translate of $e(t)$, so their span $S^{\lambda }$ lies in $U$. If no such $u,t$ exist, then by definition $U\subseteq (S^{\lambda }{)}^{\perp }$. This proves the theorem over the arbitrary field $F$.

The preceding part shows that $\theta (e(t^{\prime }))\ne 0$ in characteristic zero, so $S^{{\lambda }^{\prime }}⊈\ker \theta$. Apply the James submodule theorem to the proper submodule $\ker \theta \le M^{{\lambda }^{\prime }}$ to obtainThe Hook-length formula gives $\dim S^{\lambda }=\dim S^{{\lambda }^{\prime }}$. Surjectivity of $\theta$ therefore givesand hence

Fix the original tableaux $t,u$. For a $\lambda$-tableau $w$, let $g_w$ be the unique permutation satisfying $w=g_{w}t$ and put ${\epsilon }_w=\mathrm{sgn}(g_w)$. Sincethe quotient pairing $M^{{\lambda }^{\prime }}/(S^{{\lambda }^{\prime }}{)}^{\perp }\cong (S^{{\lambda }^{\prime }}{)}^{\ast }$ gives the explicit conjugate Specht module as a sign-twisted dual isomorphismfor every $\lambda$-tableau $w$.