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.

Take two adjacent columns of a numbered Young tableau, with a bottom segment $A$ of the left column and a top segment $B$ of the right column such that $|A|+|B|$ exceeds the height of the left column. Alternating over permutations of $A\cup B$, modulo permutations preserving $A$ and $B$ separately, gives a signed relation among polytabloids. The full alternation vanishes because each tabloid has two of these entries in one row. Solving for a nonstandard polytabloid replaces its offending row inversion by earlier column-standard tableaux. The relation is proved over the free integral tabloid lattice, where cancellation and division by nonzero integer factors are valid; reduction then makes it valid in every characteristic. Together with column antisymmetry these relations give the standard polytabloid basis.

For a row composition $b$ and a weakly decreasing marking $a$ with $0\le a_i\le b_i$, mark the first $a_i$ cells of each row. Antisymmetrize within the marked columns and span the resulting polytabloids in the Young permutation module $M^b$. This gives $S^{a,b}$; $S^{0,b}=M^b$ and $S^{b,b}=S^b$ for a proper partition $b$. Its characteristic-independent Specht filtration is obtained by successively marking a cell or raising an unmarked row tail, with column-cancellation maps and the good-letter counting recursion.

Read a word of type $b$ from the left. Every $1$ is good; an $i+1$ is good when the number of previous good $i$'s exceeds the number of previous good $(i+1)$'s. The set $s(a,b)$ contains words with at least $a_i$ good $i$'s for each $i$. Their matched chains yield independent marked-column polytabloids; column antisymmetrization and the add-or-raise recursion give $\dim S^{a,b}=|s(a,b)|$ over every 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.

The dominance order on partitions is defined byWrite $\lambda ▹\mu$ when the shapes are distinct as well. We first explain why the nonzero $D^{\lambda }$ from regular partitions exhaust the simple modules. The argument also provides the required constraint on composition factors.

For a regular partition $\lambda$ and a tableau $t$ of that shape, the operator $b_t$ has rank one on $D^{\lambda }$: on $S^{\lambda }$ its image lies in $F{e}_t$, and the nonzero pairing with the row-reversed polytabloid from Question 1 shows that this image survives in $D^{\lambda }$. On $M^{\mu }$, a nonzero $b_t\{u\}$ requires every row of $u$ to meet each column of $t$ at most once, by the same cancellation. Consequently the first $r$ rows of $u$ contain at most $\min (r,{\lambda }_j^{\prime })$ entries from column $j$. Summing givesThus nonzero column action forces $\lambda ⊵\mu$. In particular, if $D^{\lambda }\cong D^{\mu }$, its nonzero column operators applied to the realization of either simple as a composition factor of the other's Young permutation module force both dominances; hence $\lambda =\mu$.

Over an algebraic closure in characteristic $p>0$, the number of simple group modules is the number of p-regular elements' conjugacy classes, by the Brauer character basis theorem. Such classes in $S_n$ have cycle lengths not divisible by $p$. The Glaisher partition bijection equates their number with the number of regular partitions: expand a part $p^{a}d$, with $p\nmid d$, into $p^a$ copies of $d$, and invert by the base-$p$ expansion of each multiplicity. The distinct absolutely irreducible $D^{\lambda }$ therefore form the complete list. Since they are already defined and absolutely irreducible over the prime field, the same list is valid over any $F$ of characteristic $p$. In characteristic zero, the analogous count uses all partitions of an integer and all conjugacy classes.

If $D^{\lambda }$ occurs in a composition series of $M^{\mu }$, its nonzero $b_t$ action lifts through the subquotient, so $b_t{M}^{\mu }\ne 0$. The inequality above proves $\lambda ⊵\mu$. When $\lambda =\mu$ is regular, $b_t$ has rank one on $M^{\mu }$ and rank one on $D^{\mu }$. An operator preserving a finite filtration has rank at least the sum of its ranks on the successive quotients: relative to an adapted basis its matrix is block triangular, and nonzero pivot minors of the diagonal blocks combine to a nonzero minor. Therefore $D^{\mu }$ can occur at most once. It occurs at least once as the quotient of $S^{\mu }\subset M^{\mu }$. We have provedFor a nonregular $\mu$, equality is impossible because $D^{\mu }=0$.

Over $\mathbb{Q}$, Young's rule gives the exact decompositionThe Kostka number $K_{\lambda \mu }$ counts Semistandard Young tableaux of shape $\lambda$ and content $\mu$: entry $i$ occurs ${\mu }_i$ times, rows weakly increase, and columns strictly increase. In particular $K_{\mu \mu }=1$ and nonzero multiplicity requires dominance.

For the requested induction, products mean induction of the external tensor product of group representations from $S_5\times S_2$ to $S_7$: on $V⊠W$, the pair $(g,h)$ acts as $v\otimes w\mapsto gv\otimes hw$. One can compute using Young's rule alone. The two-row permutation decompositions givewhere subtraction is in the ordinary character group. Reordering row blocks gives isomorphic permutation modules. Inducing after multiplication by the trivial $S^{(2)}$ gives $[M^{(3,2,2)}]-[M^{(4,2,1)}]$. For a direct Kostka number calculation, the differences $K_{\nu ,(3,2,2)}-K_{\nu ,(4,2,1)}$ are one forand zero for every other partition of an integer of seven. To see these counts without enumerating arbitrary fillings, first fill a shape with five entries of content $(3,2)$ or $(4,1)$ and then add two $3$'s. The added cells must be a horizontal strip. Removing them leaves, for content $(3,2)$, one of $(5),(4,1),(3,2)$ with multiplicity one, and for content $(4,1)$ one of $(5),(4,1)$ with multiplicity one. The first two shapes cancel, leaving precisely the horizontal two-cell extensions of $(3,2)$, namely the five listed shapes. ConsequentlyThe hook-length formula checks the dimensions: $14+14+35+21+21=105=\left(\genfrac{}{}{0ex}{}{7}{5}\right)\cdot 5$.

For a Young diagram $\lambda$, a Removable node of a Young diagram is a cell whose deletion leaves a partition of an integer diagram; equivalently it is the last cell of row $i$ with ${\lambda }_i>{\lambda }_{i+1}$. Let ${\lambda }^{-}$ denote the distinct shapes obtained by deleting one such cell. The restriction branching rule for a symmetric group in characteristic zero isIts induction version adds one cell in each possible way. Over an arbitrary field, restriction instead has a Specht filtration with these successive quotients, each once; it need not split.

To prove restriction, list the removable nodes from top to bottom. By the standard polytabloid basis, a basis of $S^{\lambda }$ consists of $e_t$ with $t$ standard. Its entry $n$ is necessarily at a removable node. Let $V_i$ be the span of the basis vectors having $n$ at one of the first $i$ listed nodes, and put $V_0=0$. These are $S_{n-1}$-invariant. To verify this, apply a permutation of $1,\dots ,n-1$ and straighten the resulting polytabloid by column antisymmetry and Garnir relations. A relation not involving the column containing $n$ leaves its row unchanged. In straightening a row descent, $n$ cannot be in the top segment of the right column: such a descent would require a left entry larger than $n$. When $n$ belongs to the bottom segment of the left column, moving it to the shorter right column can only raise its row. In a relation involving that column, the terms which alter the position of $n$ place it in a higher row; the remaining terms have it at its old node. Thus straightening never moves it past the current top-to-bottom cutoff.

On $V_i/V_{i-1}$ send the class of $e_t$, with $n$ at the $i$th node, to the polytabloid obtained by deleting that node. The same straightening calculation proves equivariance: relations not moving $n$ are exactly the relations in the smaller diagram, and terms moving $n$ upwards vanish in the quotient. Deletion bijects the standard basis of this quotient with the standard Young tableaux of the smaller shape. It is consequently an isomorphism, proving the asserted filtration over every field. In characteristic zero, Maschke's theorem splits the filtration and gives the direct sum. Finally Frobenius reciprocity gives the induction rule, since a constituent $S^{\nu }$ has multiplicity one exactly when $\lambda \in {\nu }^{-}$.

The hook-length formula statesThe hook of a Young diagram consists of its cell, the cells to its right in the same row, and the cells below it in the same column. This formula concerns ordinary irreducible dimensions; the standard polytabloid basis also makes the dimension of a modular Specht module the same integer.

All transpositions are conjugate, have order two, and generate $S_n$. In a one-dimensional ordinary representation their common scalar is therefore either $1$ or $-1$. These choices give precisely the trivial representation $S^{(n)}$ and the sign representation $S^{(1^n)}$. At $n=1$ they coincide. The standard shape $(n-1,1)$ has dimension $n-1$: its standard Young tableau is specified by choosing the bottom entry from $2,\dots ,n$. Conjugating the shape preserves the dimension, so $(2,1^{n-2})$ has the same degree.

We now prove the lower bound and equality classification, including the rectangular case that a one-step branching argument would miss. Small degrees, computed from the displayed hook-length formula, are summarized below. An exponent in the middle column records multiplicity among partition of an integer labels.

For example, at $n=6$ the conjugate pairs $(6),(1^6)$, $(5,1),(2,1^4)$, $(4,2),(2,2,1,1)$, $(4,1,1),(3,1,1,1)$, $(3,3),(2,2,2)$ have degrees $1,5,9,10,5$, and the remaining shape $(3,2,1)$ has degree $16$. These checks also identify every small equality case.

Induct on $n\ge 9$, assuming the lower bound for all smaller degrees. If a non-linear, nonstandard shape has at least two removable nodes, none of its predecessors is a single row or single column: adding one cell to a row or column could produce only a linear or standard shape. Hence two predecessors each have degree at least $n-2$, and branching gives $f^{\lambda }\ge 2(n-2)>n-1$. If it has only one removable node, it is a rectangle $(a^b)$ with $a,b\ge 2$. Its sole predecessor is $(a^{b-1},a-1)$, which has two removable nodes. Both ensuing shapes of size $n-2$ are non-linear; a linear shape after these two deletions could occur only in the excluded $2\times 2$ rectangle. Therefore two-step branching gives $f^{\lambda }\ge 2(n-3)>n-1$. These arguments prove strict inequality for every other shape and complete the induction.

Consequently the least non-linear ordinary degree of a symmetric group isFor degree $n-1$, the only labels are the two standard conjugate shapes, except that at $n=6$ there are also $(3,3)$ and $(2,2,2)$, both degree five. At $n=4$ the exceptional lower degree is two, while the degree-three labels remain $(3,1),(2,1,1)$. There is a necessary endpoint qualification to the printed lower-bound claim: $S_2$ has only its two one-dimensional representations, so it has no degree exceeding one. At $n=2$ the listed degree-$n-1$ shapes are exactly its two linear shapes; at $n=3$ the two standard conjugate labels coincide.

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.

A standard Young tableau is a filling by $1,\dots ,n$, each used once, increasing along rows and down columns. A semistandard Young tableau is a filling by positive integers, weakly increasing along rows and strictly increasing down columns. Its content $\mu$ means that the entry $i$ occurs ${\mu }_i$ times. The Kostka number $K_{\lambda \mu }$ counts semistandard tableaux of shape $\lambda$ and content $\mu$. The dominance order on partitions isStrict dominance adds $\lambda \ne \mu$. The Young permutation module is $M^{\mu }=F\{\mu \text{-tabloids}\}={\mathrm{Ind}}_{S_{{\mu }_1}\times S_{{\mu }_2}\times \cdots }^{S_n}1$.

Let $D^{\lambda }$ be a composition factor of $M^{\mu }$. It occurs as a submodule of some quotient $M^{\mu }/U$, so its defining surjection $S^{\lambda }\to D^{\lambda }$ gives a nonzero map $\theta :S^{\lambda }\to M^{\mu }/U$. With $t^{\ast }$ the row reversal from Question 1, ${\kappa }_t{e}_{t^{\ast }}=h{e}_t$, $h\ne 0$, and the cyclic generator cannot have zero image under $\theta$. Therefore ${\kappa }_t$ acts nontrivially on $M^{\mu }/U$, and hence on $M^{\mu }$. The column-cancellation argument proves $\lambda ⊵\mu$.

When $\lambda =\mu$, the identity ${\kappa }_{t}v=⟨v,e_t⟩e_t$ shows more: the image of every nonzero map $S^{\mu }\to M^{\mu }/U$ is $(S^{\mu }+U)/U$. In a composition series of $M^{\mu }$, a factor isomorphic to $D^{\mu }$ can thus occur only at the step where $S^{\mu }$ first becomes contained in the series term. Once contained, every later such map would have zero image. Since the quotient $D^{\mu }$ of the submodule $S^{\mu }$ certainly occurs when $\mu$ is regular, it occurs exactly once. If $\mu$ is not regular, no simple is indexed by $\mu$. Consequently every other factor has a strictly dominating regular label. The same conclusion holds for $S^{\mu }\subseteq M^{\mu }$; when regular, its radical quotient supplies the unique $D^{\mu }$ factor.

The integral standard-basis theorem says that the standard polytabloids form a basis over every field. Thus $\dim S_F^{\mu }=f^{\mu }$ is independent of characteristic. In the decomposition matrix, rows are indexed by all ordinary shapes $\mu$ and columns by regular shapes $\lambda$:Ordering shapes by a common linear extension of dominance gives a rectangular triangular matrix, whose regular-row square submatrix is unitriangular. The standard basis also gives $f^{\mu }={\sum }_{\lambda }{d}_{\mu \lambda }\dim D^{\lambda }$.

Young's rule states that $M^{\mu }$ has a Specht filtration with $K_{\lambda \mu }$ copies of $S^{\lambda }$. In characteristic zero this is a direct-sum decomposition into irreducibles. In positive characteristic these are Specht factors, not simple factors; ratherFor content $\lambda$ and shape $\lambda$, entries at most $r$ must lie in the first $r$ rows, because columns strictly increase. Their number is exactly the size of those rows, so successive rows must be filled by their row number. Hence $K_{\lambda \lambda }=1$. A one-row shape has a unique weakly increasing arrangement of any prescribed content, so $K_{(n),\lambda }=1$. Content $(1^n)$ uses every label once, making semistandard and standard conditions identical, so $K_{\lambda ,(1^n)}=f^{\lambda }$.

For content $(n-m,m)$ only the entries $1,2$ are available; strict columns allow at most two rows. In shape $(n-j,j)$ every bottom entry is $2$ and every entry above it is $1$. The remaining top row is uniquely fixed by the content, and such a filling exists exactly for $0\le j\le m$ when $m\le n/2$. Young's rule therefore giveswhere multiplication denotes induction from the indicated Young subgroup, not pointwise multiplication of characters of the same group. The dimension of this permutation module is $\left(\genfrac{}{}{0ex}{}{n}{m}\right)$. Subtracting the analogous identity with $m-1$ yieldswith $\left(\genfrac{}{}{0ex}{}{n}{-1}\right)=0$ for $m=0$. This dimension holds over every field.

Use the pair of partitions for a generalized Specht module convention appropriate to generalized Specht modules. Put $a={\mu }^{♯}$ and $b=\mu$. Here $b=(b_1,b_2,\dots )$ is a sequence of nonnegative row lengths of total $n$, and $a$ is a proper partition of an integer satisfying $0\le a_i\le b_i$ and $a_{i+1}\le a_i$. The row-length sequence $b$ is allowed to be a composition; it need not decrease. The first $a_i$ cells of row $i$ are marked. This construction is not an arbitrary pair of unrelated partitions of an integer and is not simply a skew diagram $b/a$.

A word has type $b$ if it contains $b_i$ occurrences of $i$. Read it from left to right. Every occurrence of $1$ is good; an occurrence of $i+1$ is good exactly when there have so far been more good occurrences of $i$ than good occurrences of $i+1$. Otherwise it is bad. DefineThus $s(0,b)$ is the set of all words of type $b$, and $s(b,b)$ consists of lattice words when $b$ is a proper partition of an integer. Marking the whole first row makes no difference because every $1$ is good.

For a Young tableau $T$ with row lengths $b$, let $C_T^a$ permute labels within each column of its marked subdiagram, fixing all unmarked labels. Its generalized polytabloid and generalized Specht module areIn particular $S^{0,b}=M^b$ and $S^{b,b}=S^b$. The Young tableau shape in this definition must be the row sequence $b$.

We give the filtration argument, keeping its combinatorial and module-theoretic steps separate. Normalize $a_1=b_1$, and if $a\ne b$ choose the first row $c>1$ with $a_c<b_c$. Then $a_{c-1}=b_{c-1}$. Define $A_c(a,b)=(a+e_c,b)$ if $a_{c-1}>a_c$; otherwise the add branch is empty. Define $R_c(a,b)=(a,b^{\prime })$ by moving the unmarked tail of row $c$ into row $c-1$:with other row lengths unchanged. Re-normalize the first marked row if necessary. The Basic Combinatorial Theorem supplies the counting and formal-character recursionsAt a terminal pair $(\nu ,\nu )$ the formal term is $[\nu ]$. Thus the second recursion specifies the Specht multiplicities by the terminal leaves, with repeated leaves counted separately.

Define an equivariant map $\psi :M^b\to M^{b^{\prime }}$ by summing, on each tabloid, over all choices of the $a_c$ labels retained in row $c$, moving the remaining labels to row $c-1$. Column cancellation givesFor the first identity, terms that put two marked labels of one column in the raised row cancel in pairs; the surviving marked antisymmetrizer is the one for the raised pair, and every target generator has a preimage. For the second, the extra marked cell makes such a collision unavoidable, so the sum vanishes. Also antisymmetrizing the extra cell expresses its generator as a sum of old generators, proving containment in $S^{a,b}$.

There is a characteristic-independent lower bound $\dim S^{a,b}\ge |s(a,b)|$. Given a word in $s(a,b)$, place the label $j$ in its letter's row: good occurrences fill that row from the left and bad occurrences fill it from the right. The marked cells form increasing column chains because each good $i+1$ has an earlier unmatched good $i$. Its generalized polytabloid has the original row-assignment tabloid with coefficient one; every other term changes an earlier member of a marked chain. Ordering these row assignments gives a triangular coefficient matrix. The resulting vectors are independent over every field.

Start with $(0,v)$, where equality holds because the tabloid basis is indexed by all words of type $v$. Any pair is reached from such a pair by a sequence of add and raise operations: reverse a raise by splitting a raised tail, and reverse an add by unmarking a cell; row by row these recover an entirely unmarked composition. Suppose equality holds at a pair. The map and kernel containment above giveEvery inequality is therefore equality. In particular the containment is the whole kernel, andis exact. The process terminates because each add marks an extra cell and each raise decreases the total row index of unmarked cells. Induction from the terminal Specht modules, splicing their filtrations through these exact sequences, proves a Specht series with factors precisely $[0{]}^{[{\mu }^{♯},\mu ]}$. No splitting of these sequences in positive characteristic is asserted.

Applying the same marking, raising and straightening procedure to the two sets of column antisymmetrizers in $(S^{\mu }⊠S^{\lambda }){\uparrow }^{S_{r+s}}$, where $|\mu |=r$, $|\lambda |=s$, leaves the cells of $\mu$ fixed and records the added cells by their row labels from $\lambda$. The column relations require strict increase down columns, the row relations weak increase along rows, and the good-letter matching in a tableau word test requires a lattice word. Thus the surviving terminal multiplicity is the number $c_{\mu \lambda }^{\nu }$ of Semistandard Young tableaux of skew shape of shape $\nu /\mu$ and content $\lambda$ whose word, read right-to-left along successive rows from top to bottom, has at least as many $i$'s as $(i+1)$'s in every prefix. The same triangular leading-tabloid argument identifies each quotient with $S^{\nu }$. Consequently the Littlewood–Richardson rule isIt describes ordinary irreducible constituents in characteristic zero and Specht filtration factors over arbitrary $F$.

For induction by one letter, content $(1)$ permits exactly one added cell and each multiplicity is one. A Specht series for the requested induced module has successive quotients, ordered by addable nodes from bottom to top,Equivalently there is $0=N_0\subset N_1\subset N_2\subset N_3\subset N_4=S^{(4,2,2,1)}{\uparrow }^{S_{10}}$ with these four quotients in order. Their dimensions $567,300,768,525$ sum to $2160=10\cdot 216$, the dimension of the induced module.

Let $0\ne f:S^{\lambda }\to M^{\mu }$ be a module homomorphism. Since $S^{\lambda }$ is simple, $f$ is injective. Fix a $\lambda$-tableau $t$; its nonzero polytabloid $e_t$ then has $f(e_t)\ne 0$. The sign sum in the column group satisfiesbecause every coefficient in the square receives $|C_t|$ equal contributions. Thus ${\kappa }_t{e}_t=|C_t|e_t$, and equivariance givesThe column antisymmetrizer therefore acts nontrivially on $M^{\mu }$, so some basis tabloid $[s]$ has ${\kappa }_t[s]\ne 0$. The stated dominance from a nonzero column antisymmetrizer yieldsFor $\mu =\lambda$, the same calculation forces $f(e_t)=|C_t{|}^{-1}{\kappa }_{t}f(e_t)$ into the one-dimensional space $\mathbb{C}{e}_t$. Write $f(e_t)=c{e}_t$. Since $e_t$ generates the Specht module, equivariance gives $f(g{e}_t)=cg{e}_t$ for every $g$, so $f$ is $c$ times the inclusion $S^{\lambda }\hookrightarrow M^{\lambda }$. That inclusion is nonzero, henceAs a useful consequence, if $S^{\lambda }\cong S^{\mu }$, their inclusions into $M^{\lambda },M^{\mu }$ give dominance both ways. Antisymmetry of the dominance order on partitions then gives $\lambda =\mu$, so different partitions produce nonisomorphic simple modules.

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.