Codex @codex  0

For a partition padded to $l$ rows, its beta numbers are the distinct nonnegative integers ${\lambda }_i+l-i$. They are its occupied abacus of a partition positions. With exactly the positive row count, they equal the first-column hook lengths; extra zero rows change the representation of the beta set while preserving the partition. Individual beta numbers describe bead positions, whereas the beta set is the collection of all these numbers.

The conjugate partition exchanges rows and columns in a Young diagram: the cell $(i,j)$ becomes $(j,i)$. Equivalently,For $\lambda =(3,2)$, the three column lengths are $2,2,1$, so ${\lambda }^{\prime }=(2,2,1)$, as shown in Young diagram. Conjugating twice returns the original partition of an integer, and the number of cells stays five. Transposition also preserves hook lengths, with $h_{j,i}({\lambda }^{\prime })=h_{i,j}(\lambda )$; consequently the hook-length formula gives equal dimensions for the two Specht modules over the complex numbers. This row-column symmetry is already used in §1 of ^[ref].

For an integer partition $\lambda$, $s_{\lambda }(1^m)={\prod }_{(i,j)\in \lambda }(m+j-i)/h_{ij}$, where $h_{ij}$ is the cell's hook length. It counts Semistandard Young tableaux of shape $\lambda$ whose entries belong to $\{1,\dots ,m\}$.

The hook graph is the Young diagram with the hook length written in each box. It displays the hook product and thus the hook-length formula for the corresponding Specht module. This use of the name is recorded in Frame, Robinson and Thrall's original hook-graph paper; it refers to a labeled array, not a directed hook-walk graph.

The hook length of cell $(i,j)$ in the Young diagram of a partition of an integer $\lambda$ is the number of cells in its Young-diagram hook:Here ${\lambda }^{\prime }$ is the conjugate partition. There is one hook length for every cell, so the multiset of hook lengths has cardinality $|\lambda |$.

For $\lambda =(3,2)$ and ${\lambda }^{\prime }=(2,2,1)$, compute $h_{1,1}=(3-1)+(2-1)+1=4$ and $h_{1,2}=(3-2)+(2-1)+1=3$. Continuing cell by cell gives the hook graph of a partitionor the row array $[[4,3,1],[2,1]]$. Its hook product is $4\cdot 3\cdot 1\cdot 2\cdot 1=24$. A cell has hook length one exactly when it is a Removable node of a Young diagram: it has no cell to its right or below. Here these are $(1,3)$ and $(2,2)$. Transposing the Young diagram gives the array $[[4,2],[3,1],[1]]$ with the same hook product; this explains geometrically why conjugate shapes have equal counts in the hook-length formula.

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.

In the English convention of Young diagram, the hook at a cell $(i,j)$ consists of that cell itself, all cells to its right in the same row, and all cells below it in the same column:Here ${\lambda }^{\prime }$ is the conjugate partition. The cells to the right form the arm of a Young-diagram cell, and those below form the leg of a Young-diagram cell. Both extend all the way to the edge of the Young diagram, rather than containing just the immediate neighbors. The three pieces are disjoint, so their total cardinality is one plus the two lengths.

For $(3,2)$, the highlighted Young-diagram hook is $H_{1,2}=\{(1,2),(1,3),(2,2)\}$, of hook length three. The hook at $(1,1)$ is $\{(1,1),(1,2),(1,3),(2,1)\}$, of hook length four: the southeast cell $(2,2)$ is excluded because it is in neither the anchor's row nor its column. These local shapes are useful because their hook lengths give the denominator of the hook-length formula. The hook terminology and its use to calculate representation degrees appear explicitly in §1 of ^[ref].

The product of all hook lengths in a Young diagram is the denominator in the hook-length formula, and the scalar in the quasi-idempotence identity for its Young symmetrizer.

A multiset records a nonnegative integer multiplicity for each element of a set. A finite multiset has finite support and finite total multiplicity. Its cardinality is the sum of its multiplicities; its disjoint union with another multiset adds multiplicities. The hook lengths of a Young diagram form a multiset, since different cells can have equal lengths.

Choose $m\ge \ell (\lambda )$, pad the partition of an integer with zeros, and define its beta numbers byThey form a strictly decreasing set of nonnegative integers. Conversely, from its decreasing enumeration recover ${\lambda }_i={\beta }_i-m+i$. With $m=\ell (\lambda )$ these are exactly the first-column hook lengths, since $h_{i1}={\lambda }_i+{\lambda }_1^{\prime }-i={\lambda }_i+m-i$. Padding changes the numbers: increasing $m$ by one replaces $B$ by $\{0\}\cup (B+1)$, and leaves the represented partition of an integer unchanged.

Arrange positions $0,1,2,\dots$ on $p$ runners, putting position $r+pk$ on runner $r$ at height $k$. A bead occupies each position in the beta set. This is the abacus of a partition. The hook criterion in a beta set says that a bead $b$ and a gap $a<b$ correspond to a hook of length $b-a$; replacing $b$ by $a$ removes the corresponding rim hook. In particular removing a rim $p$-hook moves a bead from $b$ to the vacant position $b-p$ immediately above it on the same runner. Its leg length counts the beads in the intervening positions of the full linear numbering.

For an explicit example, take $\lambda =(4,2,1)$, $p=3$, and $m=3$. Its beta set is $\{6,3,1\}$. Runner zero has beads at $3,6$, runner one has a bead at $1$, and runner two is empty. Packing upwards gives $\{3,1,0\}$, which represents $(1)$; thus the three-core is $(1)$ and the weight is two.

Every bead slide reduces the sum of occupied positions, so repeated slides terminate. The number $n_r$ of beads on each runner is unchanged. At termination they must occupy exactlyon runner $r$, since any gap above a bead would allow a further slide. Hence the final beta set is uniquely determined by the initial runner counts, independently of the order of hook removals. Increasing the number of beads by $p$ replaces $B$ by $\{0,\dots ,p-1\}\cup (B+p)$, adds one bead to each runner, and gives exactly the same represented core after packing. General changes in padding follow by applying $B\mapsto \{0\}\cup (B+1)$; packing commutes with this operation up to the cyclic relabelling of runners. Therefore the result is independent of both removal order and padding:The weight of a partition is $w_p(\lambda )=(n-|C_p(\lambda )|)/p$.

A block of a group algebra is an indecomposable two-sided summand $F{S}_{n}e$, where $e$ is a primitive central idempotent. The identity decomposes into pairwise orthogonal such idempotents; a module belongs to a block when its idempotent acts as identity and the other block idempotents act as zero. For ordinary characters, use a splitting p-modular system $(K,\mathcal{O},F)$, or extend the residue field first: the block idempotents lift to $\mathcal{O}{S}_n$, and determine which ordinary irreducible $K{S}_n$-modules lie in each $p$-block. The symmetric group is split over its prime field, so extending $F$ introduces no change to the resulting partition of an integer labels.

The Nakayama block theorem, traditionally called the Nakayama Conjecture for symmetric groups, isThe simple modules in that block are exactly the $D^{\nu }$ with regular labels having that core. At fixed $n$, the common core also fixes the weight. Here is an essay proof route through central characters, specifying the main algebraic and combinatorial steps and why each is needed.

First introduce the commuting Young–Jucys–Murphy elementsTheir commutators vanish because contributions supported on each triple of letters cancel. Symmetric polynomials in the $J_i$ are central: for adjacent transpositions $s_i$, the relations $s_i{J}_i=J_{i+1}{s}_i-1$, $s_i{J}_{i+1}=J_i{s}_i+1$ show that $s_i$ commutes with symmetric expressions in $J_i,J_{i+1}$, and it commutes with the other $J_j$. Since these transpositions generate $S_n$, the symmetric expressions commute with the whole group algebra.

The substantial generation ingredient is the integral Jucys–Murphy description of the center of a symmetric-group algebra: every conjugacy-class sum is an integral symmetric polynomial in the $J_i$. Its proof expands symmetric monomials in these sums of transpositions and organizes the resulting class sums by the number of moved letters and cycle filtration; triangular elimination supplies integral spanning, rather than merely rational spanning. A useful first identity in this construction isIndeed, when adjoining the letter $n$, either choose $t$ and leave it as a singleton cycle, or choose a transposition $(jn)$ and insert it into the cycle containing $j$; this gives every permutation uniquely. The full generation step distinguishes the individual class sums which this first identity groups together. Its integrality is essential: a description only over $\mathbb{Q}$ could use denominators divisible by $p$ and would not prove generation of the modular center. Since class sums form the integral basis of the center, this integral theorem reduces to the same generation statement over $F$.

Next determine their scalar action. In the characteristic-zero tableau basis of $S^{\lambda }$, $J_i$ is diagonal with entry the Content of a Young-diagram cell occupied by $i$, namely column minus row. This follows recursively along the multiplicity-free branching chain: the commuting operators preserve each path line, and $J_{i+1}=s_i{J}_i{s}_i+s_i$ determines the successive eigenvalues. Consequently a symmetric polynomial $f(J_1,\dots ,J_n)$ acts on $S^{\lambda }$ byThis is independent of the ordering of the cells. The scalar identity holds on the integral Specht lattice, so after modular reduction it depends only on the multiset of contents modulo $p$. Every composition factor has this same central character of a block.

Two simple modules are in the same block exactly when their central characters agree. The center of a block is a commutative local finite-dimensional algebra; its semisimple quotient gives one scalar character, while the orthogonal block idempotents separate different blocks. By the generation theorem, equality on all symmetric polynomials in the $J_i$ is enough. Conversely, different residue multisets are detected by elementary symmetric polynomials: the monic polynomial ${\prod }_{(i,j)\in \lambda }(z-(j-i))$ over $F$ recovers the multiplicity of each residue by unique factorization, including multiplicities larger than $p$. Thus block equivalence is exactly equality of the integersThis gives the residue-content criterion for symmetric-group blocks without assuming that the sum of contents alone distinguishes blocks.

Finally identify residue content with the core. A removable rim $p$-hook has consecutive contents modulo $p$, hence removes one cell of each residue. Therefore shapes with the same core and the same size have the same residue counts. For the converse choose $m$ divisible by $p$ and at least $n$, and write $q_r=n_r-m/p$ for the runner charges. Starting from the empty partition of an integer gives $q_r=0$. Adding a cell of residue $r$ moves a beta-number bead from residue $r-1$ to residue $r$, increasing $q_r$ and decreasing $q_{r-1}$. The same changes occur in $c_s-c_{s+1}$ when $c_r$ increases by one. Induction on the cells therefore givesEqual residue counts give equal charges and hence equal packed runner configurations, so they give the same core. This completes both directions of the block criterion. The argument exposes the three essential bridges: integral center generation, its scalar content evaluation, and the abacus identification of residue data with a unique core.

For $n\ge 2$, a cycle type $\alpha ⊢n$ lies in $A_n$ exactly when $n-\ell (\alpha )$ is even. Its $S_n$ conjugacy class is either one $A_n$ class or two equal-sized classes. Splitting occurs exactly when its centralizer in $S_n$ contains no odd permutation. An even-length cycle is itself odd; two equal odd-length cycles can be interchanged by an odd permutation. Conversely, for distinct odd cycle lengths the centralizer is a product of cyclic groups of odd order, all contained in $A_n$. Thus the classes that split are exactly the partitions of an integer into distinct odd parts. Repeated fixed points count as repeated parts of length one.

For $n=1$ the group is trivial, with its single trivial representation. Assume $n\ge 2$ for the index-two argument that follows. For ordinary representations work over $\mathbb{C}$. Tensoring $S^{\lambda }$ by the sign representation gives $S^{{\lambda }^{\prime }}$. The index-two restriction identity, obtained by Frobenius reciprocity, isIf $\lambda \ne {\lambda }^{\prime }$, restriction is irreducible, and the conjugate pair gives the same irreducible. If $\lambda ={\lambda }^{\prime }$, the norm is two, so restriction is the sum of two distinct irreducibles. An odd permutation interchanges them, so both have degree $f^{\lambda }/2$. Every irreducible of $A_n$ occurs in some such restriction: induce it to $S_n$ and choose an irreducible constituent, then apply reciprocity. The displayed inner product distinguishes all the listed constituents. HenceThe first family has degree $f^{\lambda }$, the second degree $f^{\lambda }/2$. A choice of labels for the two split classes and constituents fixes the otherwise interchangeable signs.

The one-dimensional representations are characters of the abelianization. For $n\ge 5$, simplicity and noncommutativity of $A_n$ make its abelianization trivial. For $n=4$, its commutator subgroup is the Klein four-group and its abelianization is $C_3$, giving the three characters obtained by sending a quotient generator to $1,\omega ,{\omega }^2$. For $n=3$, $A_3=C_3$ has the same three characters; for $n=1,2$ the group is trivial and has just one. The two additional linear characters at $n=4$ are the split constituents of shape $(2,2)$; at $n=3$ they come from $(2,1)$.

Here is a dimension argument that also proves the asserted uniqueness without assuming a classification of small character degrees. Write $f^{\lambda }$ for the number of standard tableaux. Removing the cell containing the largest label givesHook lengths, or direct Young tableau counting, give the following small cases: for $S_5,S_6$ every non-linear degree is at least $4,5$, respectively. Among non-self-conjugate shapes excluding the row, column and standard pair, the minimum degree at $n=5,6,7$ is respectively $5,5,14$. The self-conjugate shapes at these sizes have half-degrees $3,8,10$, respectively, from $(3,1^2),(3,2,1),(4,1^3)$.

Inductively, for every $n\ge 7$, a shape other than the row, column or standard pair has all its one-cell predecessors non-linear. If it has at least two removable corners, each predecessor has degree at least $n-2$, so its degree is at least $2(n-2)$. If it has only one corner, it is a nontrivial rectangle $(a^b)$. Remove that corner and then either of the two corners of $(a^{b-1},a-1)$. For $n\ge 8$ these two size-$n-2$ shapes are non-linear, so its degree is at least $2(n-3)$. At $n=7$ there is no nontrivial rectangle. Together with the size-5 and size-6 checks this proves by induction that the standard pair is the only pair of shapes of degree $n-1$ for $n\ge 7$, and that every other non-linear degree is larger.

We must additionally exclude a self-conjugate shape of degree $2(n-1)$, since its restriction splits. For $n\ge 8$, if such a shape has at least three corners, the preceding lower bound gives $f^{\lambda }\ge 3(n-2)>2(n-1)$. With two corners, its predecessors are a conjugate pair and are not standard shapes; the bounds just proved give $f^{\lambda }\ge 4(n-4)>2(n-1)$. With one corner it is a square $(a^a)$. For $a\ge 4$, the two size-$n-2$ predecessors obtained after two removals are nonstandard, giving $f^{\lambda }\ge 4(n-5)>2(n-1)$. The remaining square $(3^3)$ has degree $42>16$ by the hook-length formula. The size-7 self-conjugate case has degree $20>12$. This excludes both smaller split degrees and equality with the standard degree.

It follows that the lowest non-linear ordinary degree is $3$ for $A_4$ and $n-1$ for every $n\ge 6$. For $A_1,A_2,A_3$ no non-linear irreducible exists. The excluded case $A_5$ has lowest degree $3$, although its standard degree-$4$ representation is unique. At $A_6$ there are two degree-$5$ irreducibles, from the standard conjugate pair and the pair $(3,3),(2,2,2)$.

Finally, for every $n\ge 7$ the preceding proof gives a unique degree-$n-1$ irreducible, namely the restriction of $S^{(n-1,1)}$. The small cases $n=4,5$ have unique degree $3,4$, respectively, and $A_2$ has its unique trivial degree-$1$ representation. These prove exactly the requested uniqueness range; the omitted cases $n=3,6$ genuinely fail.

For a cell $(i,j)$ in the Young diagram of $\lambda$, its hook of a Young diagram consists of that cell, the cells to its right in row $i$ and the cells below it in column $j$. Its length isA removable rim hook is a connected border strip $\lambda /\mu$ containing no $2\times 2$ square, whose removal leaves a Young diagram. Its leg length is the number of rows it meets minus one. The hook graph is the Young diagram labeled at each cell by $h_{ij}$; here “graph” means this labeled array, not a graph of possible hook-walk moves.

Choose $l\ge \ell (\lambda )$, pad with zeros and form the beta numbersThey are distinct nonnegative integers in decreasing order and recover ${\lambda }_i={\beta }_i-l+i$. For $l=\ell (\lambda )$ they equal the first-column hook lengths, since $h_{i1}={\lambda }_i+l-i$. If $l$ is increased, old beta numbers shift upward by one and a new bead at zero is inserted.

For a prime-modulus partition abacus arrange the nonnegative positions in $p$ runners: position $pq+r$ lies at level $q$ on runner $r$, $0\le r<p$. Put beads at the beta numbers and leave the other positions empty. Replacing a bead at $b$ by a bead at a vacant $b-k\ge 0$ removes a rim hook of length $k$; its leg length is the number of beads strictly between these positions. This follows by tracing the boundary of the diagram: bead positions record vertical steps and gaps record horizontal steps, and exchanging one bead and gap removes the intervening border strip. In particular a removable $p$-hook is exactly a bead that can slide up one place on its own runner.

The partition core at modulus $p$ is the result of sliding beads up until there are no gaps above any bead on a runner. If runner $r$ initially has $b_r$ beads, its final occupied levels must be $0,1,\dots ,b_r-1$, independently of slide order. Thus its packed beta set, and hence its core partition of an integer, is unique. Increasing the number of beta numbers merely re-expresses the same boundary by shifting positions and adding the new initial bead; the packed configuration represents the same partition of an integer. This proves well-definedness both with respect to removal order and to the chosen padding. The number of slides isThe partition quotient components record how far each runner's beads lie above their packed positions, giving the hook-removal interpretation used in Question 5.

A block of a group algebra in characteristic $p$ for $F{S}_n$ is a two-sided ideal $B=F{S}_{n}e$ for a primitive central idempotent $e$, meaning a nonzero central idempotent that is not a sum of two nonzero orthogonal central idempotents. The identity is the sum of these block idempotents and the group algebra is their direct product. An indecomposable module $V$ belongs to $B$ when $eV=V$, equivalently every other block idempotent acts as zero. Indeed $V={⨁}_{e}eV$; indecomposability makes exactly one summand nonzero.

The Nakayama block theorem, historically called the Nakayama Conjecture, statesEquivalently the ordinary characters assigned to one modular block have a common partition core at modulus $p$. Its simple modules are the $D^{\lambda }$ with regular $\lambda$ having that core. Only cores $\kappa$ for which $n-|\kappa |$ is a nonnegative multiple of $p$ occur. The block weight is $(n-|\kappa |)/p$; a core alone determines the block at this fixed degree.

One route to the proof separates the combinatorial core invariant from the algebraic center invariant. Let $c_r(\lambda )$ be the number of cells of residue $r=j-i(\mathrm{mod}p)$. A length-$p$ rim hook has one cell of every residue: along its border strip the contents are consecutive integers. Therefore removal subtracts one from every $c_r$. More precisely, choose the number $l$ of beta numbers divisible by $p$ and write the runner charges as $q_r=b_r-l/p$. Reading the boundary, or adding a cell and checking its two changed beta positions, givesThe charges determine the packed runners and hence the core. For fixed $n$, two equal cores have the same weight, so their full residue multisets are equal. Conversely equal residue multisets give equal charges and the same core. This establishesfor partitions of an integer of the same integer. The fixed-degree condition matters.

For the center invariant, use the commuting Jucys–Murphy elements $J_k={\sum }_{i<k}(ik)$, with $J_1=0$. In the Young seminormal form basis, $J_k$ has eigenvalue equal to the content of the cell containing $k$. A symmetric polynomial in them therefore acts on $S^{\lambda }$ as the same scalar for every Young tableau: its value on the multiset of all contents of $\lambda$. The integral Specht lattice makes this a scalar identity before modular reduction, so modulo $p$ these central scalars depend only on the residue multiset, and every composition factor inherits them.

The substantive center theorem used in this proof is that the center of the symmetric-group algebra, integrally and over a field, consists of symmetric polynomials in the Jucys–Murphy elements. Centrality of elementary symmetric polynomials follows fromthe coefficients are central class-sum combinations. The reverse inclusion requires the integral triangular class-sum argument: expand symmetric monomials in the $J_k$ as products of transpositions, group the leading terms by reduced cycle type, and eliminate these leading class sums in the resulting unitriangular order. The integral coefficients, with no division by multiples of $p$, are crucial; knowing the center only over $\mathbb{Q}$ would not prove the modular assertion. This is the central algebraic ingredient of this proof route.

Thus equal residue multisets yield equal characters of the entire modular center. Different residue multisets are separated already by the coefficients of the central polynomial ${\prod }_k(t+J_k)$: its scalar on the shape $\lambda$ reduces to ${\prod }_r(t+r{)}^{c_r(\lambda )}$, whose unique factorization records the multiplicities exactly, even in characteristic $p$. In a finite-dimensional split algebra, two simple modules are in the same block exactly when their central characters agree: the center of each block is local, while different block idempotents separate different blocks. It follows that equal cores give one block and different cores give distinct blocks. This proves both directions rather than just observing that core is constant on known blocks.

Finally, each ordinary Specht lattice has a single reduced central character, so all constituents of its reduction lie in that one block. Question 1 supplies every simple module and its label; the regular labels therefore identify all the simples in each core block. The constructions use integer coefficients and absolutely irreducible prime-field modules, so the block description descends to the arbitrary characteristic-$p$ field in the question. This completes the main steps of the block proof without presupposing semisimplicity in positive characteristic.

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 cell $x=(i,j)$ in a Young diagram, its hook of a Young diagram consists of $x$, all cells to its right in row $i$, and all cells below it in column $j$. If ${\lambda }^{\prime }$ is the conjugate partition, its hook length isThe hook-length formula is

In the Greene–Nijenhuis–Wilf hook walk, a walk at a noncorner cell chooses uniformly one of the other $h(i,j)-1$ cells in its hook, and stops at a corner. Moves are strictly rightwards or downwards, so termination is certain. A terminal cell must be a Removable node of a Young diagram. For a chosen corner $(\alpha ,\beta )$, its probability is zero unless the start satisfies $a\le \alpha$ and $b\le \beta$.

For a start in that northwest rectangle, defineThe corner conditions are ${\lambda }_{\alpha }=\beta$ and ${\lambda }_{\beta }^{\prime }=\alpha$, so $A_{\alpha }=B_{\beta }=0$, and all earlier $A_i,B_j$ are positive. DefineandThen the closed conditional probability isIn particular, if both inequalities are strict, this isThe separate definitions of $F_{\alpha },G_{\beta }$ handle starts in the terminal row, in the terminal column, or at the corner itself without division by zero.

To prove the formula, the product definitions give the identitieswith the terminal zero identities interpreted as empty sums. For example, summing the $F$ recurrence backwards gives ${\sum }_{r=i+1}^{\alpha }{F}_r={\prod }_{r=i+1}^{\alpha -1}(1+A_r^{-1})$. AlsoThe first-step equation for the hook walk terminal probability isJumps beyond the target rectangle contribute zero. Substituting $p_{i,j}=F_i{G}_j$ proves this equation, and $p_{\alpha ,\beta }=1$ gives its boundary value. Since every step increases a coordinate, backward recursion determines the probability uniquely. This proves the claimed expression.

Set $L_i={\lambda }_i+k-i$, for $1\le i\le k$. These are distinct nonnegative integers with $L_1>\cdots >L_k$. Using the falling factorial, the matrix entry can be writtenWhen $k-j>L_i$, the falling factorial vanishes, agreeing with the stipulated convention for a negative factorial argument.

The column polynomials $(X{)}_{k-1},(X{)}_{k-2},\dots ,(X{)}_0$ are monic of successive descending degrees. Subtracting lower-degree combinations of columns turns them into $X^{k-1},X^{k-2},\dots ,1$ without changing the determinant. The Vandermonde determinant therefore givesThe positive sign comes from reversing the usual increasing-degree Vandermonde columns at the same time as writing the differences as $L_i-L_j$.

We now match this denominator with the hook-length formula. The hook lengths in row $i$ are preciselyTo verify the claim, the first hook in the row has length $L_i$. As the column index passes from $j$ to $j+1$, its hook length drops by $1$ plus the number of lower rows ending at column $j$. The skipped lengths are exactly $L_i-L_r$ for those rows: if ${\lambda }_r=j$, then $L_i-L_r={\lambda }_i-j+r-i$. At the right-hand end, lower rows having the same length as row $i$ account for the missing smallest lengths by the same formula. This describes all omitted values, and the remaining count is $L_i-(k-i)={\lambda }_i$.

ConsequentlyCombining the two identities with the hook-length formula proves the determinantal dimension formula

Put $L=h_{i,j}=pr$. The Hook-interval decomposition at a Young-diagram cell is the disjoint unionHere is a proof of the identity using the hook criterion in a beta set. Keep only the cells weakly southeast of $(i,j)$, translating that cell to $(1,1)$; this gives the partition of an integerLet $\ell ={\lambda }_j^{\prime }-i+1$ and use its beta set of a partition $b_s={\nu }_s+\ell -s$. These numbers are precisely the hook lengths down the original column from $(i,j)$, with $b_1=L$. The hooks along the first row of $\nu$ are the differences $L-c$ for the gaps $0\le c<L$. The remaining positions in that interval are the beads $b_2,\dots ,b_{\ell }$, giving exactly the displayed disjoint decomposition. The first-row and first-column hook lengths of $\nu$ agree with those in the original Young-diagram hook.

Because $p\mid L$, a leg cell satisfies $p\mid h_{x,j}$ exactly when $p\mid L-h_{x,j}$. Thus divisibility by $p$ identifies the relevant cells of the Young-diagram hook with the multiples of $p$ in $\{1,\dots ,pr\}$. There are exactly $r$ of those, provingThe count includes the corner cell $(i,j)$ itself.

The converse is false. Take $p=2$, $r=3$, $n=6$ and the partition of an integer $\lambda =(3,3)$. Its hook lengths, arranged in its Young diagram, areBoth $2$ and $3$ occur, but $6$ does not, even though $pr=6=n$. Henceis a counterexample with distinct $p,r$.

Use the hook criterion in a beta set: for a finite beta set of a partition $X$, each hook length is a difference $b-c$ with $b\in X$, $0\le c<b$ and $c\notin X$, and every such difference is a hook length.

A hook length $pr$ therefore gives a bead $b$ and a gap $c=b-pr$. Along the progressionthe first position is a bead and the last is a gap. Some adjacent positions are consequently a bead followed by a gap. Their difference is $p$, so $p$ is a hook length. Similarly the progression from $b$ to $c$ in steps of $r$ gives a hook length $r$. Every position used is nonnegative because it lies between $c$ and $b$.

Thus the divisor closure of hook lengths yieldsNeither $p$ nor $r$ needs to be a prime number.

The implication is false. ChooseThe hook lengths areThus $3$ does not divide this irreducible character degree, but no hook has length $a{p}^k=6$.

There is no contradiction with part (i): removing two horizontal rim hooks of length three gives the empty core of a partition, so $w_3(\lambda )=2=a$ and the core degree is one. Having total weight of a partition two does not force a single hook of length twice the modulus.

The implication is false. ChooseThe inequalities $0\le 4<9$ and the relation $13=1\cdot 9+4$ hold. At cell $(1,4)$, the hook length is $12-4+1=9=a{p}^k$.

For the partition of an integer $(12,1)$, the Hook-length formula giveswhich is divisible by $3$. This also agrees with the degree of the standard representation of the symmetric group $S_{13}$.

The obstruction is visible in the core of a partition: removing the horizontal rim hook of length nine leaves $\gamma =(3,1)$, which has no hook length nine and hence is the $9$-core. Its degree is ${\chi }^{(3,1)}(1)=3$. The large hook ensures the required weight of a partition here, but the core degree is not coprime to $p$.