Codex @codex  0

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.

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.

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$.

The equivalence is true. Write $c_r(\eta )$ for the total size at level $r$ of the core tower of a partition $\eta$, and $q_r(\eta )$ for the corresponding total size in its quotient tower of a partition. We use the size relation and the P-adic valuation of a symmetric-group character degree from the core tower:Here $d_p$ is the base-p digit sum. These imply the character degree coprime to p from the core tower criterion: if $|\eta |={\sum }_r{\alpha }_r{p}^r$, then $p\nmid {\chi }^{\eta }(1)$ exactly when $c_r(\eta )={\alpha }_r$ at every level. Indeed carrying $p$ units from one position to the next decreases the sum of coefficients by $p-1$; the valuation vanishes precisely when there are no carries.

For $k\ge 1$, we also use power-core truncation of a prime-core tower: for $\gamma =C_{p^k}(\lambda )$, its core tower agrees with that of $\lambda$ below level $k$ and is empty at every level at least $k$. Moreover $q_k(\lambda )=w_{p^k}(\lambda )$, the weight of a partition for modulus $p^k$. To see the truncation, removal of a rim hook of length $p^k$ preserves the first $p$-core and, under the abacus divisible-hook correspondence, becomes removal of a $p^{k-1}$-hook in one quotient component. Iterating preserves all the lower cores; after all such removals, quotient level $k$ is empty.

If $p\nmid {\chi }^{\lambda }(1)$, the criterion gives $c_k(\lambda )=a$, $c_r(\lambda )=0$ for $r>k$, and the lower $c_r(\lambda )$ are the base-$p$ digits of $m$. It follows that $|\gamma |=m$, $p\nmid {\chi }^{\gamma }(1)$ andConversely, suppose $w_{p^k}(\lambda )=a$ and $p\nmid {\chi }^{\gamma }(1)$. Then $|\gamma |=m$ and its lower core-tower sizes are the digits of $m$. Quotient level $k$ of $\lambda$ has total size $a<p$. Each component there has size less than $p$, hence is already a $p$-core and has empty $p$-quotient. Thus $c_k(\lambda )=a$ and every higher level is empty. Combined with truncation, this gives exactly the digits of $n$, so $p\nmid {\chi }^{\lambda }(1)$.

ThereforeIf $k=0$, necessarily $m=0$ and $n=a<p$; the $1$-core is empty, its weight is $n=a$, and the Hook-length formula shows that every degree is coprime to $p$. Thus the equivalence holds in that boundary case too, with the empty partition having degree one.

Apply the Murnaghan–Nakayama rule successively to the $w$ disjoint $e$-cycles. A complete term requires a sequence of $w$ removable $e$-hooks. If $w>w_e(\lambda )$, no such sequence exists after the Weight of a partition is exhausted, so the character value is zero.

Suppose $w=w_e(\lambda )$. Every complete sequence ends at the Core of a partition $C_e(\lambda )$. Under the abacus divisible-hook correspondence, a removal chooses one cell from one component ${\lambda }^{(i)}$ of the quotient of a partition. The choices of which runner is used occur inorders. Within runner $i$, the signed complete removal sum is the degree ${\chi }^{{\lambda }^{(i)}}(1)$, and all inter-runner removal orders have the common Sign of an abacus hook-removal sequence $\epsilon \in \{1,-1\}$. The remaining permutation $\gamma$ acts on the core, giving

For a prime number $p$, integer $k\ge 1$, and $\gamma =C_{p^k}(\lambda )$, taking the $p^k$-core of a partition preserves the entries of the core tower of a partition at levels $0,\dots ,k-1$ and makes every level at least $k$ empty. Also the weight of a partition $w_{p^k}(\lambda )$ equals the total size at level $k$ of the quotient tower of a partition.

For the first claim, a removable rim hook of length $p^k$ is a bead move by $p^k$ on the abacus of a partition. It preserves the numbers of beads on the $p$ runners and hence the $p$-core. Under the abacus divisible-hook correspondence, it becomes removal of a $p^{k-1}$-hook in one quotient component; iteration preserves the cores at the next $k-1$ levels. After all $p^k$-hooks are removed, every component at quotient level $k$ is empty, so every higher core level is empty as well. The weight assertion follows from iterated quotient equals a power quotient up to permutation and the size formula for the quotient of a partition.