Codex @codex  0

A horizontal strip is a skew Young diagram containing at most one cell in each column. Equivalently, $\lambda /\mu$ is a horizontal strip when ${\lambda }_i\ge {\mu }_i\ge {\lambda }_{i+1}$ for all $i$. The multiplicity of the trivial representation in the associated skew representation of a symmetric group is one for horizontal strips and zero otherwise. A column with two cells supplies a cyclic tableau vector on which an adjacent transposition acts by $-1$, excluding invariants.

A skew Young diagram $\lambda /\mu$ is the difference of two nested Young diagrams. A semistandard Young tableau is a filling of precisely those cells by positive integers, weakly increasing along each occupied row and strictly increasing down each occupied column. It can be viewed as its filled diagram, or equivalently as a chainwhere ${\nu }^{(r)}/{\nu }^{(r-1)}$ is a horizontal strip consisting of the cells labeled $r$. Indeed, the weak row and strict column inequalities ensure that the cells labeled at most $r$, together with $\mu$, form a partition diagram, and equal labels cannot share a column. Conversely such a chain gives the tableau.

For a tableau $T$, let $c_r(T)$ count its entries $r$, put $x^T={\prod }_r{x}_r^{c_r(T)}$, and defineThere are finitely many tableaux for any fixed number of allowed letters, and the sum has total degree $|\lambda |-|\mu |$.

To prove symmetry directly, use a Bender-Knuth involution for each adjacent pair of letters $i,i+1$. Pair any $i$ and $i+1$ that occur in the same column and leave them fixed; strictness makes them consecutive in that column. In a row the remaining unpaired entries have the form $i^a(i+1{)}^b$, between any fixed paired letters. Replace that block by $i^b(i+1{)}^a$. Rows stay weakly ordered. A free $i$ can be changed to $i+1$ without equaling the entry below, because such a below entry would have been paired with it; likewise changing a free $i+1$ to $i$ cannot equal the entry above. Other neighboring letters are outside $\{i,i+1\}$, so strict columns are preserved. The paired cells remain the same, and repeating the operation restores each free block. The paired letters contribute equally to the two contents, while every free block exchanges its contributions. Thus the involution is a weight-preserving bijection after exchanging $x_i,x_{i+1}$. Adjacent exchanges generate all finite variable permutations, provingThe skew Jacobi–Trudi identity gives a second proof, since its determinant entries are already symmetric.

Define the Kostka number $K_{\lambda \mu }$ to count straight-shape Semistandard Young tableaux with shape $\lambda$ and content $\mu$, meaning ${\mu }_i$ copies of label $i$. Suppose such a tableau exists. Strict columns imply that an entry in row $r$ is at least $r$. Therefore all entries from $1,\dots ,r$ lie in the first $r$ rows, givingHenceFor content $\lambda$, the ${\lambda }_1$ copies of $1$ have nowhere to go except row one and fill it. The ${\lambda }_2$ copies of $2$ then fill row two, and induction fills row $r$ with $r$. This filling exists and is unique, so $\boxed{K_{\lambda \lambda }=1}$.

Symmetry identifies equal coefficients for each rearrangement of a content, henceThe monomial symmetric functions form a basis. In any total order extending dominance, this change-of-basis matrix is triangular with diagonal one. It is invertible in each degree, so

A skew Young diagram is connected when any two of its cells can be joined by a sequence of cells sharing edges; touching only at a corner does not connect them. A nonempty border strip, or rim hook, is a connected skew diagram containing no $2\times 2$ square. Its height is its number of occupied rows minus one.

For a weak composition $\alpha =({\alpha }_1,\dots ,{\alpha }_{\ell })$, a border-strip tableau of shape $\lambda /\mu$ and type $\alpha$ is a chainwhose $i$th difference is a border strip of size ${\alpha }_i$. Filling that strip with $i$ gives the equivalent weakly increasing row-and-column filling. A zero part corresponds to an empty difference and has height zero. Put $\mathrm{ht}(T)={\sum }_i\mathrm{ht}({\lambda }^{(i)}/{\lambda }^{(i-1)})$. For positive $r$, $p_r={\sum }_j{x}_j^r$; write $p_{\alpha }={\prod }_{{\alpha }_i>0}{p}_{{\alpha }_i}$. Thus zero type parts are ignored: one does not multiply by the finite-variable value $p_0=N$.

We first prove the one-strip multiplication formula using alternants. Choose $N$ sufficiently large and let ${\beta }_i={\mu }_i+N-i$ be the decreasing beta numbers of a partition. Expanding the determinant by permutations showsIndeed, in each determinant monomial every variable occurs in exactly one row factor; multiplying that variable by its $r$th power is equivalent to raising that row exponent.

A term vanishes if the new exponent equals another exponent. Otherwise suppose the changed exponent moves from position $i$ to position $j\le i$ when restored to decreasing order. Its determinant sign is $(-1{)}^{i-j}$. The resulting partition $\lambda$ hasand all other rows unchanged. The new diagram contains $\mu$, and its size increases by $r$. Between successive added rows, the overlap is exactly the single column ${\mu }_{t-1}+1$. Thus the added cells form a connected strip without a $2\times 2$ square, of height $i-j$. Conversely every added border strip has consecutive occupied rows and exactly this single-column overlap, forcing these formulas and the corresponding exponent shift. The correspondence is therefore bijective. Divide by the unchanged Vandermonde determinant and use the bialternant formula to get the power-sum border-strip multiplication identity

Apply this formula successively to each positive part of $\alpha$. Each sequence of choices is exactly a border-strip tableau, and its product of signs is $(-1{)}^{\mathrm{ht}(T)}$. ThereforeCommutativity of the power sums also shows that the resulting coefficient does not depend on the order of the positive parts of the type.

Take $\mu$ empty and restrict to $N\ge \ell (\lambda )$ variables. Multiply by $a_{\delta }$, with $\delta =(N-1,\dots ,0)$:In an alternant $a_{\nu +\delta }$, the exponents are distinct and their decreasing arrangement is $\nu +\delta$. Consequently the monomial $x^{\lambda +\delta }$ occurs only for $\nu =\lambda$, and in that determinant its coefficient is one. This proves the Frobenius alternant character formula

To identify these coefficients with symmetric-group characters, recall the Frobenius characteristic mapThe representation-theoretic identification $\mathrm{ch}({\chi }^{\lambda })=s_{\lambda }$ can be justified by Young's rule: the permutation character on ordered blocks of sizes $\nu$ is ${\sum }_{\lambda }{K}_{\lambda \nu }{\chi }^{\lambda }$. Its characteristic is $h_{\nu }$, because its fixed block decompositions allocate whole cycles to blocks, and the exponential generating series for those allocations is ${\prod }_{j}H(t_j)$. On the symmetric-function side, Hall duality and Schur orthonormality give $h_{\nu }={\sum }_{\lambda }{K}_{\lambda \nu }{s}_{\lambda }$. Inverting the unitriangular Kostka matrix establishes the identification. Thus the coefficient of $s_{\lambda }$ in $p_{\rho }$ is the irreducible character value on cycle type $\rho$. We have supplied the border-strip computation rather than assuming the character rule.

Grouping border-strip chains by their first removal of a cycle length $r$ now yields the Murnaghan–Nakayama ruleOne may choose the $r$-cycle to be last in a strip-building chain because the power sums commute. The empty-shape value on the empty type is one, providing the recursion's initial condition.

For the staircase $\delta =(m-1,m-2,\dots ,1)$, use $m$ beta numbers including its padded zero row. Its beta set isRemoving a rim hook of length $r$ lowers one beta number by $r$ into an unoccupied nonnegative position, reversing the exponent-shift description above. For a positive even $r$, this move either hits another occupied even position or goes below zero. Therefore there are no removable even-size border strips.

Under the Hall inner product of symmetric functions, the adjoint of multiplication by $p_r$ is $r\partial /\partial p_r$: this follows on the power-sum basis from $z_{\nu }/z_{\nu \setminus r}=r{m}_r(\nu )$. Taking adjoints of the one-strip multiplication rule expresses this derivative on $s_{\delta }$ as the signed sum over removable size-$r$ strips. That sum is empty for even $r$, soThe rational symmetric-function algebra is freely generated by the power sums, and its characteristic is zero. Vanishing of each of these derivatives therefore proves the staircase Schur functions use only odd power sums statement:

Finally, the cycle type of an $n$-cycle has one strip of size $n$. A straight diagram is a border strip exactly when its second row has length at most one: otherwise it contains the upper-left $2\times 2$ square; conversely the first row with a single-column tail is connected and contains none. These diagrams are exactly the hook partitions $(n-s,1^s)$, of height $s$. There is one strip filling in this case and none otherwise, giving

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

The inclusion here is inclusion of Young diagrams, not the dominance order on partitions. The skew Young diagram $\lambda /\mu$ is the set difference of their cells. Two cells are adjacent when they share an edge. It is connected when any two cells can be joined by such steps, and is a rim hook when it is connected and contains no $2\times 2$ square. Under the usual edge-adjacency convention a totally disconnected skew Young diagram has only singleton components, equivalently no two cells share an edge. A horizontal strip instead means at most one cell per column; this distinction matters for the last part of this question.

A standard skew Young tableau is a linear extension of a partially ordered set: the cells are ordered by the row and column inequalities, and the tableau lists them in increasing label order. Write the current list as $x_1,\dots ,x_k$ and let $r_j$ be the desired label of $x_j$ in $R$. Then $(r_1,\dots ,r_k)$ is the one-line notation of the unique permutation $\pi$ with $\pi T=R$.

Whenever this list of desired labels is not increasing, there is an adjacent descent $r_j>r_{j+1}$. The cells $x_j,x_{j+1}$ are incomparable in the cell partial order: if they were comparable, both $T$ and $R$ would have to put them in the same order. Interchanging their consecutive current labels is therefore admissible. It removes exactly one inversion of a permutation from the list of desired labels. Repeating ends at $R$ after exactly the original inversion count, which is the Coxeter length $\ell (\pi )$. ThusThis proves the reduced adjacent-swap path between linear extensions and applies equally to ordinary tableaux.

Sum the weight monomials of all Semistandard Young tableaux on the skew Young diagram $\lambda /\mu$, with weak rows and strict columns. A Bender-Knuth involution interchanges the counts of adjacent letters without changing the shape, so the sum is a symmetric function. Taking $\mu$ empty gives the Schur function.

A standard skew Young tableau fills the $k$ cells of a skew Young diagram bijectively with $1,\dots ,k$, increasing along each row and column. Equivalently it is a linear extension of a partially ordered set formed from the row and column inequalities. Interchanging consecutive labels preserves standardness exactly when their cells are incomparable in that partial order.

Under edge adjacency, a skew Young diagram is totally disconnected when every component has one cell. This means that no two cells share an edge. It is stronger than being a horizontal strip, which excludes repeated columns but permits adjacent cells in one row. The trivial-constituent criterion for a skew representation of a symmetric group concerns horizontal strips, not total disconnection in this sense.