Codex @codex  0

Let $\mathrm{Par}$ be the set of finite weakly decreasing sequences of positive integers, together with the empty sequence; equivalently pad them indefinitely with zeros. The size is $|\lambda |={\sum }_i{\lambda }_i$, the length counts positive parts, and $\mathrm{Par}(n)$ consists of size-$n$ integer partitions. Their Young diagrams have cells $(i,j)$ with $1\le j\le {\lambda }_i$.

Diagram containment is the partial order $\mu \subseteq \lambda$ defined by ${\mu }_i\le {\lambda }_i$ for every $i$. Componentwise minimum and maximum give its meet and join, so this is Young's lattice. Its covers add one cell. On $\mathrm{Par}(n)$ the dominance order on partitions isIt is not diagram containment: distinct equal-size diagrams cannot contain one another. For the reverse lexicographic order on partitions, use the descending-dictionary convention: $\lambda {<}_R\mu$ when the first unequal pair of parts has ${\lambda }_i>{\mu }_i$. Thus for size four its increasing list is $(4),(3,1),(2,2),(2,1,1),(1,1,1,1)$. This is a total order opposite to increasing dictionary order on integer partitions, not the last-differing-exponent order on polynomial monomials.

Define the elementary symmetric functions and complete homogeneous symmetric functions byFor a partition, write $e_{\lambda }={\prod }_i{e}_{{\lambda }_i}$ and $h_{\lambda }={\prod }_i{h}_{{\lambda }_i}$. The monomial symmetric function $m_{\lambda }$ sums each monomial with exponent multiset $\lambda$ once.

Here is a proof of the Fundamental theorem of symmetric polynomials sufficient for the stable algebra. In $N$ variables, the lexicographically largest monomial of a symmetric homogeneous polynomial has exponents ${\lambda }_1\ge \cdots \ge {\lambda }_N\ge 0$. Otherwise exchanging an inverted pair of variables produces a larger monomial with the same coefficient. The polynomialhas that monomial as its largest one, with coefficient one. Subtract a suitable multiple and continue; there are only finitely many monomials of the fixed degree, so the procedure terminates and proves generation. Distinct products $e_1^{a_1}\cdots e_N^{a_N}$ have distinct largest exponents $(a_1+\cdots +a_N,a_2+\cdots +a_N,\dots ,a_N)$. The largest such monomial in any nonzero polynomial relation cannot cancel, proving algebraic independence. Stabilizing in each degree, where only $e_r$ with $r$ no greater than that degree can occur, gives

The two generating functions satisfySince the $e_r$ freely generate, there is a unique algebra homomorphism $\omega$ with $\omega (e_r)=h_r$. Apply it to the last identity:It follows that $\omega (h_r)=e_r$ and ${\omega }^2(e_r)=e_r$. Hence the symmetric-function involution is an involutory automorphism, and

For the forgotten coefficients, it is useful to derive the required duality explicitly. Put $p_r={\sum }_i{x}_i^r$. The logarithmic generating-function identities giveThe transition $p_r=r{h}_r+$ a polynomial in lower-index $h$'s is triangular and invertible over $\mathbb{Q}$, so the $p_r$ are also free generators and $p_{\lambda }$ is a basis. Define the Hall inner product of symmetric functions byExpand the same formal kernel in two ways:The last expansion is a reproducing kernel for this inner product. Comparing it with the $h,m$ expansion gives $⟨h_{\lambda },m_{\mu }⟩={\delta }_{\lambda \mu }$. One can see this without assuming any Schur orthogonality: pair either kernel with $h_{\nu }(y)$; the reproducing property gives $h_{\nu }(x)$, and uniqueness of its $h$ expansion proves the duality. The signs in $\omega (p_{\lambda })$ show that $\omega$ is an isometry; together with ${\omega }^2=1$ this makes it self-adjoint.

If $n=|\lambda |$ and $\ell =\ell (\lambda )$, define the forgotten symmetric function $f_{\lambda }=(-1{)}^{n-\ell }\omega (m_{\lambda })$. Its monomial coefficient is consequentlyIt remains to compute this coefficient rather than merely invoke duality. Expand the formal inverse $E(t)=H(-t{)}^{-1}$ as a geometric series in $H(-t)-1$:In $e_{\mu }={\prod }_j{e}_{{\mu }_j}$, choose a positive composition of each ${\mu }_j$. A term is $h_{\lambda }$ precisely when the concatenated list is a distinct rearrangement $\alpha$ of the parts of $\lambda$. Its boundaries at the end of each chosen composition are exactly the prescribed prefix sums of $\mu$. Conversely such a rearrangement uniquely determines the compositions by cutting at those prefix sums. Every one of its signs is $(-1{)}^{\sum {\mu }_j-\ell }=(-1{)}^{n-\ell }$, canceled by the prefactor in $a_{\lambda \mu }$. ThusIdentical parts are not artificially distinguished. For example $f_{(2,1)}=m_{(2,1)}+2m_{(3)}$: only the order $(2,1)$ refines $(2,1)$, while both orders refine the single block $(3)$.

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