Codex @codex  0

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.

For induction of $S^{\mu }⊠S^{\lambda }$ to the symmetric group on $|\mu |+|\lambda |$ letters, the Specht filtration multiplicity of $S^{\nu }$ is the number of Semistandard Young tableaux of skew shape $\nu /\mu$, content $\lambda$, and lattice word read from right to left in each row, taking rows from top to bottom. In characteristic zero these are irreducible constituents; in positive characteristic they remain Specht factors rather than simple constituents. Content $(1)$ gives the add-one-cell induction rule.

Use $[\lambda ]$ for the ordinary irreducible character of $S_{|\lambda |}$. Multiplication of different degrees is the product in the induction ring of symmetric-group characters: it induces an external tensor product of group representations. For $\alpha \subseteq \nu$, the skew Young diagram $\nu /\alpha$ is the set of cells of $\nu$ outside $\alpha$. A filling of it is a semistandard Young tableau when entries weakly increase along rows and strictly increase down columns. Its content $\beta$ means that $i$ occurs ${\beta }_i$ times. Its reading word takes each row right to left and the rows top to bottom. A lattice word has, in every initial segment, at least as many $i$'s as $(i+1)$'s for every $i$.

The Littlewood–Richardson rule sayswhere the Littlewood–Richardson coefficient $c_{\alpha \beta }^{\nu }$ counts such skew semistandard fillings with content $\beta$ and lattice reading word. If $\alpha$ is not contained in $\nu$, the coefficient is zero. Over characteristic zero this is an actual direct-sum multiplicity statement; over other fields the analogous statement describes a Specht filtration, not necessarily a decomposition into simple modules.

For the required coefficient, the five skew cells areTheir columns are all distinct. Content $(3,2)$ uses three $1$'s and two $2$'s. The first reading letter must be $1$ by the lattice word condition, and row monotonicity forces both top cells to be $1$. The remaining three cells, in reading order, can then be filled by $122$, $212$, or $221$. The resulting words $11122$, $11212$, $11221$ all satisfy the lattice inequalities, and exhaust the possibilities. Thus

For the determinantal form of a symmetric-group character, set $[0]=1$ in degree zero and $[r]=0$ for $r<0$. The one-row character $[r]$ is trivial. The one-row specialization of the Littlewood–Richardson rule is the Pieri rule: multiplication by $[r]$ adds a horizontal strip of $r$ cells, since all entries are $1$ and no column can contain two of them.

Here is an explicit determinant argument, so that the desired form is genuinely deduced. Under the Frobenius characteristic map, $[r]$ corresponds to the complete homogeneous symmetric polynomial $h_r$, whose monomials enumerate weakly increasing sequences of $r$ entries. Fix $N$ variables and $l$ rows. Let a directed lattice path run right or up from $A_i=(-i,1)$ to $B_j=({\lambda }_j-j,N)$, and assign weight $x_k$ to a horizontal step at height $k$ and weight one to a vertical step. The sum of its weights is $h_{{\lambda }_j-j+i}$. Expanding the determinant of this path matrix sums signed families connecting the sources to a permutation of the destinations.

Cancel intersecting families as follows. Choose the first intersection in a fixed order of vertices, and then the first pair of paths meeting there. Exchange their tails after that vertex. The total weight is unchanged, while the endpoint permutation changes by a transposition, reversing the sign. Choosing the intersection in this fixed order makes the operation an involution. The surviving families are nonintersecting; the ordered sources and ordered destinations force the identity endpoint pairing. Record the heights of the horizontal steps of path $i$ as row $i$ of a tableau. Rows weakly increase, and nonintersection of successive paths is precisely strict increase down the shared columns. Conversely every semistandard Young tableau gives one surviving path family. Thus the determinant has the semistandard-tableau generating function $s_{\lambda }$.

Young's rule identifies this generating function with the characteristic of $[\lambda ]$: its coefficient at a monomial of weight $\mu$ is $K_{\lambda \mu }$, the multiplicity obtained by pairing with the Young permutation module of type $\mu$. The Frobenius characteristic map is injective and respects induction products. Transposing the path matrix does not change its determinant, soThis is the character version of the Jacobi–Trudi identity.

For the example the matrix isExpanding gives the concise answerAt the identity the six induction-product dimensions are $210,140,105,35,42,21$, respectively; their alternating sum is $21$, agreeing with the hook-length formula for $(3,2,2)$.

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 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.

A Specht filtration is a finite chain of submodules whose successive quotients are Specht modules. In positive characteristic it need not split and is not a composition series, because its Specht factors may themselves be reducible. Dimensions and ordinary lifted characters can still be added along the filtration.