Codex @codex  0

For any partition of an integer $\lambda ⊢n$, the number $f^{\lambda }$ of standard Young tableaux of shape $\lambda$ isThe numerator is a factorial, and the denominator is the hook product of a partition, using every cell's hook length once. The empty shape has one empty standard Young tableau, and the formula still holds with $0!=1$ and an empty product equal to one. By the standard polytabloid basis, $f^{\lambda }$ is also the dimension of the Specht module $S^{\lambda }$ over the complex numbers, or equivalently the degree ${\chi }^{\lambda }(1)$ of its irreducible character. For a teaching derivation of this dimension formula, see Etingof et al., Introduction to Representation Theory, §5.17, Theorem 5.17.1.

In the Young diagram of $(3,2)$, the hook length array $[[4,3,1],[2,1]]$ givesThis agrees with the five explicit fillings in standard Young tableau. Its conjugate partition $(2,2,1)$ has the same hook lengths after transposition, hence also gives dimension five. At the extremes, for $n\ge 1$, a single row $(n)$ and a single column $(1^n)$ each have hook product $n!$ and exactly one standard Young tableau; their Specht modules over the complex numbers are the trivial representation and sign representation, respectively.

Why the formula is beautiful: global compatibility of all the row and column inequalities reduces to a product of local hook lengths. It is useful when enumeration is already expensive: computing one hook length per cell replaces testing up to $n!$ numbered Young tableaux. For $(3,2)$, the proportion of the $120$ bijective fillings that are standard Young tableaux is $5/120=1/24$, the reciprocal of the hook product. This product does not justify treating overlapping hook conditions as independent; Grinberg explains that tempting but invalid argument in §1.3 of his teaching slides.

Historically, the modern hook-product statement was published by J. S. Frame, G. de B. Robinson and R. M. Thrall in 1954: ^[ref]. Their manuscript was received on 1 September 1953, and their proof reorganizes an earlier irreducible character degree formula into the product of the hook lengths. The theorem unifies the counting and representation viewpoints developed earlier by Young. For proof routes within this wiki, see trace computation of Specht module dimension, determinant formula for Specht module dimension, and Greene–Nijenhuis–Wilf hook walk.

Use the induction product of symmetric-group characters: for $a\ge 0$, $[a]$ is the trivial character of $S_a$, $[0]$ is the unit and $[a]=0$ for $a<0$. Products mean induction of external tensor products. The determinantal form iswhere $r\ge \ell (\lambda )$. Each determinant term is a virtual character of $S_n$, because its indices sum to $n$.

Here is a proof. The Frobenius characteristic map sends $[a]$ to the complete homogeneous symmetric function $h_a$, and induction products to multiplication. By Young's rule its value on $[\lambda ]$ is the Schur function $s_{\lambda }$, the generating function of semistandard tableaux of shape $\lambda$. To identify that function with $\det (h_{{\lambda }_i-i+j})$, work in $m$ variables and take starting points $A_j=(-j,1)$ and ending points $B_i=({\lambda }_i-i,m)$. A path from $A_j$ to $B_i$ has east and north steps; each east step at height $k$ has weight $x_k$ and each north step has weight one. Its east-step count is ${\lambda }_i-i+j$, so its weight sum is $h_{{\lambda }_i-i+j}$. Expanding the determinant sums signed systems of paths with permuted endpoints. For a system with an intersection, exchange the two tails after the first intersection. This preserves its monomial weight and reverses the endpoint permutation's sign, so all intersecting systems cancel in pairs. Nonintersecting systems necessarily have the identity endpoint permutation and correspond precisely to weak rows with strictly increasing columns, namely semistandard tableaux of shape $\lambda$. Their signs are positive. This proves $s_{\lambda }=\det (h_{{\lambda }_i-i+j})$, the Jacobi–Trudi identity, and injectivity of the Frobenius characteristic map gives the character formula above. The path sum may be taken in finitely many variables first and then stabilized, so no infinite formal sum is required in the argument.

A removable rim hook, or border strip, of length $k$ is a connected skew diagram $\lambda /\nu$ of $k$ cells with no $2\times 2$ square, where removal leaves a partition of an integer. Its leg length is the number of occupied rows minus one. The Murnaghan–Nakayama rule statesA proof sketch follows directly from the alternant form of Schur functions. Multiply an alternant by $p_k={\sum }_j{x}_j^k$. In each term one alternant exponent increases by $k$. Equal exponents cancel; otherwise reordering the exponents contributes the sign of the number crossed. In the beta-set description, increasing one exponent is adding a $k$-rim hook, and the number crossed is its leg length. Therefore $p_k{s}_{\nu }={\sum }_{\lambda }(-1{)}^{\mathrm{leg}(\lambda /\nu )}{s}_{\lambda }$. Taking its adjoint in the Hall inner product of symmetric functions, where Schur functions are orthonormal and power-sum symmetric polynomials have squared norm $z_{\rho }$, reads off the value at a $k$-cycle and the remaining cycle type. This gives the stated rule and explains its sign.

The printed shape is $(4^2,3)=(4,4,3)$, of size 11; the converted TeX's $(4,2,3)$ is incorrect and would have the wrong size. There are two removable length-5 rim hooks. They leave $(3,2,1)$ with leg length 2 and $(4,2)$ with leg length 1. ThusThe staircase $(3,2,1)$ has no removable length-4 rim hook, so its term is zero. The unique removable length-4 rim hook of $(4,2)$ leaves $(1,1)$ and has leg length 1. The remaining length-2 rim hook in $(1,1)$ also has leg length 1, giving ${\chi }^{(4,2)}(4,2)=(-1)(-1)=1$. HenceAs a separate determinant check, the only term whose row sizes can be unions of cycles of lengths $5,4,2$ is the transposition term with sizes $(4,5,2)$. Its permutation character has value one and its determinant sign is negative.

Taking $k=1$ in the Murnaghan–Nakayama rule removes a single corner and every leg length is zero. Evaluating on a permutation fixing the distinguished point therefore givesThis is the restriction branching rule for a symmetric group; ordinary semisimple representation theory converts the character equality into a direct-sum decomposition. Frobenius reciprocity gives the corresponding add-one-cell induction rule.

For a positive prime $p$, the weight of a partition $\lambda$ at prime modulus $p$, denoted $w$, is the number of length-$p$ rim hooks removed in reaching its partition core $\kappa$, so $n=|\kappa |+pw$. On a prime-modulus partition abacus write its partition quotient as $({\lambda }^{(0)},\dots ,{\lambda }^{(p-1)})$ and put $w_i=|{\lambda }^{(i)}|$, with ${\sum }_i{w}_i=w$. Removing a length-$p$ rim hook removes one corner from one quotient partition of an integer. Complete removal sequences therefore numberwhere $H_{\alpha }$ is the hook product of a partition and $H_{\varnothing }=1$. Each component's standard tableaux encode its possible removal orders, and the multinomial coefficient interleaves the components.

All these sequences have the same total sign ${\epsilon }_p(\lambda )$. To see this, label the beads on each runner in their preserved order. Each slide crosses exactly the beads counted by its rim-hook leg. Its sign is the change in the total order of bead labels, and the product telescopes to the permutation from the initial ordering to the final packed-core ordering, independently of the slides chosen. Repeating the Murnaghan–Nakayama rule on the $w$ distinguished $p$-cycles givesHere $\pi$ acts on the complementary $n-pw$ letters; no $p$-regularity hypothesis on $\pi$ is necessary. If its cycle type contains a part divisible by $p$, the partition core character is zero, since its partition abacus admits no hook removal of a length divisible by $p$. For $w=0$ the coefficient and sign are one.

For a Young tableau $t$, let $R_t$ permute the entries within its rows and $C_t$ within its columns. We use the Young symmetrizer conventionReversing the order gives another usual realization of the same irreducible polynomial module. On the tensor power $T=V^{\otimes n}$, the actions areThey commute because applying $g$ to every factor commutes with permuting the factors.

We state the permitted combinatorial input explicitly. A Young symmetrizer satisfies $h_t^2=H_{\lambda }{h}_t$, where $H_{\lambda }$ is the nonzero hook product of a partition. Thus $e_t=H_{\lambda }^{-1}{h}_t$ is a primitive idempotent. The standard-tableau decomposition of the right regular module is $\mathbb{C}{S}_n={⨁}_{\lambda ,t\mathrm{standard}}{e}_t\mathbb{C}{S}_n$. Tensor this right-module direct sum with the left module $T$. The map $e_t\mathbb{C}{S}_n{\otimes }_{\mathbb{C}{S}_n}T\to e_{t}T$ sending $e_{t}a\otimes v$ to $e_{t}av$ is an isomorphism, with inverse $w\mapsto e_t\otimes w$. Therefore the Young-symmetrizer tensor decomposition isThis is a direct sum of $GL(V)$-modules; individual summands need not be $S_n$-invariant.

We also state the allowed Schur algebra result, namely Schur–Weyl duality: the two actions are mutual commutants, andwhere the $D_{\lambda }(V)$ are pairwise nonisomorphic irreducible homogeneous polynomial representations of degree $n$. We also use the standard Schur algebra equivalence between its modules and homogeneous degree-$n$ polynomial representations, so these exhaust the irreducibles in that category. A primitive idempotent $e_t$ has one-dimensional image on $S^{\lambda }$ and zero image on the other simple factors, so $h_{t}T\cong D_{\lambda }(V)$. This identifies the requested irreducibles. They classify the polynomial degree-$n$ representations in this tensor power, not all rational representations of every degree.

The length bound for a Schur module is $D_{\lambda }(V)\ne 0$ if and only if $\ell (\lambda )\le m$. A column of length greater than $m$ antisymmetrizes more than $m$ vectors and gives zero. Conversely, for $\ell (\lambda )\le m$, fill every tensor position in row $i$ with the $i$th basis vector of $V$. Row symmetrization multiplies it by ${\prod }_i{\lambda }_i!$, and column antisymmetrization is nonzero because the vectors within each column are distinct basis vectors.

A rational representation of an algebraic group is a regular morphism into the general linear group of its representation space. For $G{L}_m$, its matrix entries belong to $\mathbb{C}[g_{ij},\det (g{)}^{-1}]$; rational here permits determinant denominators but not arbitrary poles on $G{L}_m$. A one-dimensional rational character of ${\mathbb{C}}^{\times }$ is a Laurent polynomial $p(z)$ with $p(zw)=p(z)p(w)$ and $p(1)=1$. Comparing Laurent coefficients shows that just one monomial occurs and its coefficient is $1$, hence $p(z)=z^r$ for $r\in \mathbb{Z}$.

Restrict a one-dimensional rational character of $G{L}_m$ to its diagonal torus. The same argument in several variables gives ${\prod }_i{x}_i^{r_i}$. Conjugation by permutation matrices makes all $r_i$ equal. On every diagonalizable invertible matrix it consequently agrees with $(\det g{)}^r$. The allowed Zariski-density statement, and equality of regular functions on a dense subset, giveThese are the one-dimensional rational characters of the general linear group.

For complete reducibility of rational GL and SL representations, use the compact-group averaging argument. Average any positive definite Hermitian inner product over $SU(m)$ using normalized Haar measure. The orthogonal complement of an invariant subspace is then $SU(m)$-invariant. Differentiating makes it invariant under $\mathfrak{su}(m)$ and therefore under its complex span ${\mathfrak{sl}}_m(\mathbb{C})$. The elementary unipotent matrices $\exp (t{E}_{ij})$ generate $S{L}_m(\mathbb{C})$, so the complement is $S{L}_m$-invariant. This proves complete reducibility. Averaging over $U(m)$ similarly gives complete reducibility for rational $G{L}_m$ representations.

Here is an explicit rational extension from SL to GL. Decompose the representation space by the finite scalar center of $S{L}_m$ into subspaces $W_k$ on which $\zeta I$ acts as ${\zeta }^k$, with $0\le k<m$ and ${\zeta }^m=1$. These subspaces are invariant. For $g\in G{L}_m$, choose $a$ with $a^m=\det g$, set $s=a^{-1}g\in S{L}_m$, and defineChanging $a$ to $\zeta a$ changes $s$ to ${\zeta }^{-1}s$, so the two factors cancel. It is a homomorphism, since scalar roots multiply up to the same harmless factor, and it restricts to $\rho$ on $S{L}_m$.

It is rational as well. Every matrix coefficient of $\rho {|}_{W_k}$ has a polynomial representative on $S{L}_m$. Averaging that representative over the finite scalar center selects its homogeneous parts $P_d$ with $d\equiv k(\mathrm{mod}m)$. Substitution in the extension gives ${\sum }_d(\det g{)}^{(k-d)/m}{P}_d(g)$, a regular function on $G{L}_m$. Each $S{L}_m$-invariant subspace decomposes into its $W_k$ parts, and the extension acts on each part by a scalar times an $S{L}_m$ action. Thus these subspaces are also invariant under the chosen extension. Consequently $\rho$ is irreducible if and only if this ${\rho }^{\prime }$ is irreducible. For $m=1$, $S{L}_1$ is trivial and the trivial extension supplies the same conclusion.

For a box $(i,j)$ of a Young diagram, its hook of a Young diagram contains that box, all boxes to its right in its row, and all boxes below it in its column. Its hook length is $h_{ij}={\lambda }_i-j+{\lambda }_j^{\prime }-i+1$. The hook graph of a partition is the diagram with each box labeled by its hook length. Write $H_{\lambda }={\prod }_{(i,j)\in \lambda }{h}_{ij}$ for the hook product of a partition. The hook-length formula is

Pad $\lambda$ to $m$ rows and use the beta set of a partition ${\ell }_i={\lambda }_i+m-i$, so ${\ell }_1>\cdots >{\ell }_m\ge 0$ and ${\sum }_i{\ell }_i=n+d$, where $d=\left(\genfrac{}{}{0ex}{}{m}{2}\right)$. We prove the beta-set hook-product identity row by row. For $1\le j\le {\lambda }_i$, put $q_j=m+j-{\lambda }_j^{\prime }-1$; then $h_{ij}={\ell }_i-q_j$. The $q_j$ are distinct integers in $[0,{\ell }_i-1]$, and none equals a beta number. Indeed, if $k\le {\lambda }_j^{\prime }$ then ${\ell }_k\ge q_j+1$, whereas if $k>{\lambda }_j^{\prime }$ then ${\ell }_k\le q_j-1$. Exactly $m-i$ beta numbers lie below ${\ell }_i$, so the remaining ${\lambda }_i$ integers in that interval are precisely these $q_j$. ThereforeThis gives the equivalent Specht module dimension expression $f^{\lambda }=n!\Delta (\ell )/{\prod }_i{\ell }_i!$.

The standard Young tableaux of shape $\lambda$ form the dimension count for the Specht module. The largest entry $n$ must occupy a removable corner. Deleting it bijects tableaux with the disjoint union of standard tableaux of the shapes obtained by deleting a corner, provingSet a term to zero whenever $\lambda -e_i$ is not a partition: this includes equal adjacent rows and an attempted deletion from a zero row. The empty diagram has dimension $1$.

For an algebraic proof that the proposed formula has the same recurrence, establish the Vandermonde shift identityIts left side is an alternating polynomial in the $x_i$, because permuting the variables permutes the summands and changes the sign of every Vandermonde factor. It is therefore divisible by $\Delta (x)$. The quotient is symmetric in $x$ and homogeneous of total degree one in $(x,t)$, so has the form $a{\sum }_i{x}_i+bt$. At $t=0$, $a=1$. Differentiating in $t$ at zero and using the Euler theorem for homogeneous functions gives ${\sum }_i{x}_i{\partial }_i\Delta =d\Delta$, so $b=d$. This proves the identity as a polynomial identity, including repeated coordinates.

Take $x=\ell$ and $t=-1$. Since ${\sum }_i{\ell }_i=n+d$, it gives ${\sum }_i{\ell }_i\Delta (\ell -e_i)=n\Delta (\ell )$. For $n\ge 1$, this is exactlyThe summand is the proposed dimension for $\lambda -e_i$; if two beta numbers collide its Vandermonde is zero, and if ${\ell }_i=0$ its coefficient is zero, so no negative factorial is needed. For the empty partition, $\ell =(m-1,\dots ,0)$ and $\Delta (\ell )={\prod }_{k=0}^{m-1}k!$, giving initial value $1$. Induction now proves the hook-length formula from the tableau recurrence.

For the final sum, tuples with repeated coordinates contribute zero. Sorting each distinct nonnegative tuple with sum $\left(\genfrac{}{}{0ex}{}{m+1}{2}\right)$ gives one beta set of a partition of size $m$, since subtracting the staircase removes $\left(\genfrac{}{}{0ex}{}{m}{2}\right)$ from the sum. Conversely every partition of $m$, padded to $m$ rows, supplies exactly $m!$ ordered tuples, with the same squared summand. Hence the square-sum identity for shifted partition coordinates isThe middle equality uses the Artin–Wedderburn theorem for the group algebra and the complete classification of its simple modules by Specht modules. It explains why the last identity is a representation-dimension count rather than an accidental cancellation.

For a Young tableau $t$, let $r_t$ sum its row permutations and $c_t$ be the signed sum of its column permutations in the group algebra of the symmetric group. The product $h_t=c_t{r}_t$ is a Young symmetrizer. The other order is another conventional realization. It satisfies $h_t^2=H_{\lambda }{h}_t$, where $H_{\lambda }$ is the hook product of a partition, so division by that scalar gives a primitive idempotent in characteristic zero. Acting on a tensor power constructs a Schur module.