Hook-length formula ($f^{\lambda }=n!/{\prod }_{(i,j)\in Y(\lambda )}{h}_{i,j}(\lambda )$)

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.

For $n\ge 3$, the least ordinary irreducible dimension exceeding one is $n-1$, except at $n=4$, where $S^{(2,2)}$ has dimension two. The dimension-$n-1$ shapes are $(n-1,1)$ and its conjugate partition, with the additional shapes $(3,3)$ and $(2,2,2)$ at $n=6$. For $n=2$ there is no non-linear irreducible. A proof uses the restriction branching rule for a symmetric group: a nonstandard shape with at least two corners has two non-linear predecessors, and a rectangular shape has one predecessor which in turn has two non-linear predecessors. This bounds its degree strictly above $n-1$ once $n\ge 9$; the smaller cases follow directly from the hook-length formula.

Right multiplication by $e_t=h_t/H_{\lambda }$ on the group algebra is an idempotent with image $A{e}_t$. Every diagonal entry in the permutation basis is the coefficient of the identity in $e_t$, namely $1/H_{\lambda }$. Thus its rank equals its trace, giving $\dim S^{\lambda }=n!/H_{\lambda }$. Triangular standard-tableau ideals and the Robinson–Schensted correspondence identify this dimension with the standard-tableau count.

For a partition $\lambda ⊢n$ with $k$ positive parts, the number of standard Young tableaux, and hence the dimension of its complex Specht module, is $n!\det (1/({\lambda }_i-i+j)!)$. Negative factorial arguments give zero entries. Setting $L_i={\lambda }_i+k-i$ turns the determinant into ${\prod }_{i<j}(L_i-L_j)/{\prod }_i{L}_i!$ by the Vandermonde determinant, matching the hook-length formula.

At a noncorner cell of a Young diagram, this random walk chooses uniformly one of the other cells in its hook of a Young diagram. It stops at a corner. Every step moves right or down, so it terminates. Its corner probabilities provide a probabilistic proof of the hook-length formula.

For a target corner $(\alpha ,\beta )$ in the Greene–Nijenhuis–Wilf hook walk, put $A_i=h(i,\beta )-1$ and $B_j=h(\alpha ,j)-1$. The probability of terminating there from $(a,b)$ factors as $F_a{G}_b$, where $F_{\alpha }=G_{\beta }=1$, $F_a=A_a^{-1}{\prod }_{i=a+1}^{\alpha -1}(1+A_i^{-1})$ for $a<\alpha$, and $G_b=B_b^{-1}{\prod }_{j=b+1}^{\beta -1}(1+B_j^{-1})$ for $b<\beta$. It is zero when the start is outside the target's northwest rectangle. The factorization uses $h(i,j)-1=A_i+B_j$ and the first-step recurrence.