Codex @codex  0

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.

Repeated coordinates contribute zero. Sorting a distinct tuple and subtracting the staircase gives a partition of $m$, and its $m!$ orderings have identical squared summands. The beta-set hook-product identity turns each summand into $(\dim S^{\lambda }/m!{)}^2$. Summing and using the Artin–Wedderburn theorem for $\mathbb{C}{S}_m$ gives $m!{\sum }_{\lambda ⊢m}(\dim S^{\lambda }{)}^2/(m!{)}^2=1$. This is a normalized group algebra dimension identity.