Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 4 (Representation Theory of Symmetric Groups)

A representation over $F$ is a homomorphism $G\to \mathrm{GL}(V)$ on a finite-dimensional vector space. It is irreducible if it has no nonzero proper invariant subspace, and has absolute irreducibility of a group representation if it remains irreducible after every field extension. A representation over the rational numbers is one over $\mathbb{Q}$; an ordinary character is the trace of a characteristic-zero representation.

A partition of an integer $n$ is a finite weakly decreasing sequence $\lambda =({\lambda }_1,{\lambda }_2,\dots )$ of positive integers of sum $n$, extended by zero parts when convenient. Its Young diagram has ${\lambda }_i$ cells in row $i$; its conjugate partition ${\lambda }^{\prime }$ has ${\lambda }_j^{\prime }$ cells in column $j$. Conjugacy classes of $S_n$ are indexed by cycle lengths, hence by partitions of an integer. The number of ordinary irreducible characters equals the number of conjugacy classes; we now construct that many mutually distinct representations over the rational numbers.

A Young tableau $t$ of shape $\lambda$ bijectively labels its cells by $1,\dots ,n$. Its tabloid $\{t\}$ remembers the set of labels in each distinguished row, not their order. The Young permutation module $M_F^{\lambda }$ is the vector space on these tabloids, with $S_n$ acting by relabeling. Its tabloid bilinear form makes the tabloid basis orthonormal. Let $C_t$ be the subgroup permuting labels within each column and putThus $e_t$ is a polytabloid and $S_F^{\lambda }$ is a Specht module. Relabeling takes $e_t$ to $e_{gt}$, so any polytabloid generates the module. It is nonzero over every field: the coefficient of $\{t\}$ in $e_t$ is one, since the row and column stabilizers of a Young tableau intersect trivially.

Here is the elementary identity behind irreducibility. If a row of a tabloid contains two entries from one column of $t$, their transposition pairs and cancels the terms in ${\kappa }_t$, including in characteristic two. Otherwise, for a tabloid of the same shape, its rows can be matched to those of $t$ by a column permutation, and ${\kappa }_t\{u\}=\pm e_t$. Looking at the coefficient of $\{t\}$ gives, for every $v\in M_F^{\lambda }$,Consequently a submodule $U$ of $M_F^{\lambda }$ either contains $S_F^{\lambda }$, if one of these pairings is nonzero, or lies in $(S_F^{\lambda }{)}^{\perp }$. This proves the James submodule theorem used below.

Over $\mathbb{Q}$, the restricted form on $S_{\mathbb{Q}}^{\lambda }$ is positive definite, so its Gram determinant in a rational basis is nonzero. Extending scalars to any characteristic-zero field preserves that nonzero determinant and hence keeps the restricted form a nondegenerate bilinear form. The James submodule theorem applied to a submodule of $S^{\lambda }$ now forces it to be zero or the whole module. Therefore $S_{\mathbb{Q}}^{\lambda }$ is absolutely irreducible, not merely irreducible over $\mathbb{Q}$.

To distinguish shapes, the cancellation argument above works for a $\mu$-tabloid too. If ${\kappa }_t\{u\}\ne 0$, its first $r$ rows contain at most $\min (r,{\lambda }_j^{\prime })$ entries from column $j$, soThus $\lambda$ dominates $\mu$. The operator ${\kappa }_t$ acts nontrivially on $S^{\lambda }$ because the restricted form is a nondegenerate bilinear form. An isomorphism $S^{\lambda }\cong S^{\mu }$ would therefore imply $\lambda ⊵\mu$, and reversing the roles gives equality of the partitions of an integer. Counting conjugacy classes proves exhaustion. All matrices in a rational polytabloid basis have rational entries, giving the requested representations over the rational numbers.

For positive characteristic $p$, call a partition of an integer a regular partition if no part is repeated $p$ or more times. DefineThe James submodule theorem shows that every proper submodule of $S_F^{\lambda }$ lies in $R_F^{\lambda }$. Whenever the restricted form is nonzero, $R_F^{\lambda }$ is proper and its quotient is simple.

We verify exactly when this happens. Let $m_j$ be the number of rows of length $j$. In the integral pairing $⟨e_s,e_t⟩$, common tabloids are acted on freely by permutations of equal-length rows. Such a row permutation has sign $\mathrm{sgn}(\pi {)}^j$ in both polytabloids, so its contribution to the product of coefficients is unchanged. Each orbit has size ${\prod }_j{m}_j!$. Thus that integer divides every pairing. On the other hand, reverse each row of $t$ to obtain $t^{\ast }$. A tabloid common to $e_t$ and $e_{t^{\ast }}$ can only interchange entries between rows of equal length. There are $m_j!$ independent choices in each of their $j$ columns, and the two signs agree. HenceThese two products have exactly the same prime divisors. All pairings vanish modulo $p$ precisely when some $m_j\ge p$. Therefore $D_F^{\lambda }\ne 0$ exactly for $p$-regular $\lambda$.

For such a shape, the displayed pairing gives ${\kappa }_t{e}_{t^{\ast }}=h{e}_t$ with $h\ne 0$, and $e_t$ has nonzero image in $D^{\lambda }$. If $D^{\lambda }\cong D^{\mu }$, the same operator must act nontrivially on a quotient of $M^{\mu }$, forcing $\lambda ⊵\mu$ by the cancellation argument. Interchanging the shapes proves $\lambda =\mu$.

For exhaustion over an algebraic closure use the general Brauer character basis theorem: the number of simple modules over an algebraically closed field of characteristic $p$ is the number of conjugacy classes of elements of order prime to $p$. Here these are the cycle partitions of an integer with no part divisible by $p$. The generating-function identityshows that their number equals the number of $p$-regular partitions of an integer. We have already constructed that many distinct simple modules, so they exhaust all simples. The form, its radical and its quotient commute with field extension, and the same simplicity proof holds after every extension. The modules defined over the prime field are therefore absolutely irreducible and form a split complete list over arbitrary $F$ as well. In summary,For characteristic zero the list is instead all $S_F^{\lambda }$. In positive characteristic a Specht module itself need not be irreducible; the radical quotient is essential.

A standard Young tableau is a filling by $1,\dots ,n$, each used once, increasing along rows and down columns. A semistandard Young tableau is a filling by positive integers, weakly increasing along rows and strictly increasing down columns. Its content $\mu$ means that the entry $i$ occurs ${\mu }_i$ times. The Kostka number $K_{\lambda \mu }$ counts semistandard tableaux of shape $\lambda$ and content $\mu$. The dominance order on partitions isStrict dominance adds $\lambda \ne \mu$. The Young permutation module is $M^{\mu }=F\{\mu \text{-tabloids}\}={\mathrm{Ind}}_{S_{{\mu }_1}\times S_{{\mu }_2}\times \cdots }^{S_n}1$.

Let $D^{\lambda }$ be a composition factor of $M^{\mu }$. It occurs as a submodule of some quotient $M^{\mu }/U$, so its defining surjection $S^{\lambda }\to D^{\lambda }$ gives a nonzero map $\theta :S^{\lambda }\to M^{\mu }/U$. With $t^{\ast }$ the row reversal from Question 1, ${\kappa }_t{e}_{t^{\ast }}=h{e}_t$, $h\ne 0$, and the cyclic generator cannot have zero image under $\theta$. Therefore ${\kappa }_t$ acts nontrivially on $M^{\mu }/U$, and hence on $M^{\mu }$. The column-cancellation argument proves $\lambda ⊵\mu$.

When $\lambda =\mu$, the identity ${\kappa }_{t}v=⟨v,e_t⟩e_t$ shows more: the image of every nonzero map $S^{\mu }\to M^{\mu }/U$ is $(S^{\mu }+U)/U$. In a composition series of $M^{\mu }$, a factor isomorphic to $D^{\mu }$ can thus occur only at the step where $S^{\mu }$ first becomes contained in the series term. Once contained, every later such map would have zero image. Since the quotient $D^{\mu }$ of the submodule $S^{\mu }$ certainly occurs when $\mu$ is regular, it occurs exactly once. If $\mu$ is not regular, no simple is indexed by $\mu$. Consequently every other factor has a strictly dominating regular label. The same conclusion holds for $S^{\mu }\subseteq M^{\mu }$; when regular, its radical quotient supplies the unique $D^{\mu }$ factor.

The integral standard-basis theorem says that the standard polytabloids form a basis over every field. Thus $\dim S_F^{\mu }=f^{\mu }$ is independent of characteristic. In the decomposition matrix, rows are indexed by all ordinary shapes $\mu$ and columns by regular shapes $\lambda$:Ordering shapes by a common linear extension of dominance gives a rectangular triangular matrix, whose regular-row square submatrix is unitriangular. The standard basis also gives $f^{\mu }={\sum }_{\lambda }{d}_{\mu \lambda }\dim D^{\lambda }$.

Young's rule states that $M^{\mu }$ has a Specht filtration with $K_{\lambda \mu }$ copies of $S^{\lambda }$. In characteristic zero this is a direct-sum decomposition into irreducibles. In positive characteristic these are Specht factors, not simple factors; ratherFor content $\lambda$ and shape $\lambda$, entries at most $r$ must lie in the first $r$ rows, because columns strictly increase. Their number is exactly the size of those rows, so successive rows must be filled by their row number. Hence $K_{\lambda \lambda }=1$. A one-row shape has a unique weakly increasing arrangement of any prescribed content, so $K_{(n),\lambda }=1$. Content $(1^n)$ uses every label once, making semistandard and standard conditions identical, so $K_{\lambda ,(1^n)}=f^{\lambda }$.

For content $(n-m,m)$ only the entries $1,2$ are available; strict columns allow at most two rows. In shape $(n-j,j)$ every bottom entry is $2$ and every entry above it is $1$. The remaining top row is uniquely fixed by the content, and such a filling exists exactly for $0\le j\le m$ when $m\le n/2$. Young's rule therefore giveswhere multiplication denotes induction from the indicated Young subgroup, not pointwise multiplication of characters of the same group. The dimension of this permutation module is $\left(\genfrac{}{}{0ex}{}{n}{m}\right)$. Subtracting the analogous identity with $m-1$ yieldswith $\left(\genfrac{}{}{0ex}{}{n}{-1}\right)=0$ for $m=0$. This dimension holds over every field.

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.

Use the pair of partitions for a generalized Specht module convention appropriate to generalized Specht modules. Put $a={\mu }^{♯}$ and $b=\mu$. Here $b=(b_1,b_2,\dots )$ is a sequence of nonnegative row lengths of total $n$, and $a$ is a proper partition of an integer satisfying $0\le a_i\le b_i$ and $a_{i+1}\le a_i$. The row-length sequence $b$ is allowed to be a composition; it need not decrease. The first $a_i$ cells of row $i$ are marked. This construction is not an arbitrary pair of unrelated partitions of an integer and is not simply a skew diagram $b/a$.

A word has type $b$ if it contains $b_i$ occurrences of $i$. Read it from left to right. Every occurrence of $1$ is good; an occurrence of $i+1$ is good exactly when there have so far been more good occurrences of $i$ than good occurrences of $i+1$. Otherwise it is bad. DefineThus $s(0,b)$ is the set of all words of type $b$, and $s(b,b)$ consists of lattice words when $b$ is a proper partition of an integer. Marking the whole first row makes no difference because every $1$ is good.

For a Young tableau $T$ with row lengths $b$, let $C_T^a$ permute labels within each column of its marked subdiagram, fixing all unmarked labels. Its generalized polytabloid and generalized Specht module areIn particular $S^{0,b}=M^b$ and $S^{b,b}=S^b$. The Young tableau shape in this definition must be the row sequence $b$.

We give the filtration argument, keeping its combinatorial and module-theoretic steps separate. Normalize $a_1=b_1$, and if $a\ne b$ choose the first row $c>1$ with $a_c<b_c$. Then $a_{c-1}=b_{c-1}$. Define $A_c(a,b)=(a+e_c,b)$ if $a_{c-1}>a_c$; otherwise the add branch is empty. Define $R_c(a,b)=(a,b^{\prime })$ by moving the unmarked tail of row $c$ into row $c-1$:with other row lengths unchanged. Re-normalize the first marked row if necessary. The Basic Combinatorial Theorem supplies the counting and formal-character recursionsAt a terminal pair $(\nu ,\nu )$ the formal term is $[\nu ]$. Thus the second recursion specifies the Specht multiplicities by the terminal leaves, with repeated leaves counted separately.

Define an equivariant map $\psi :M^b\to M^{b^{\prime }}$ by summing, on each tabloid, over all choices of the $a_c$ labels retained in row $c$, moving the remaining labels to row $c-1$. Column cancellation givesFor the first identity, terms that put two marked labels of one column in the raised row cancel in pairs; the surviving marked antisymmetrizer is the one for the raised pair, and every target generator has a preimage. For the second, the extra marked cell makes such a collision unavoidable, so the sum vanishes. Also antisymmetrizing the extra cell expresses its generator as a sum of old generators, proving containment in $S^{a,b}$.

There is a characteristic-independent lower bound $\dim S^{a,b}\ge |s(a,b)|$. Given a word in $s(a,b)$, place the label $j$ in its letter's row: good occurrences fill that row from the left and bad occurrences fill it from the right. The marked cells form increasing column chains because each good $i+1$ has an earlier unmatched good $i$. Its generalized polytabloid has the original row-assignment tabloid with coefficient one; every other term changes an earlier member of a marked chain. Ordering these row assignments gives a triangular coefficient matrix. The resulting vectors are independent over every field.

Start with $(0,v)$, where equality holds because the tabloid basis is indexed by all words of type $v$. Any pair is reached from such a pair by a sequence of add and raise operations: reverse a raise by splitting a raised tail, and reverse an add by unmarking a cell; row by row these recover an entirely unmarked composition. Suppose equality holds at a pair. The map and kernel containment above giveEvery inequality is therefore equality. In particular the containment is the whole kernel, andis exact. The process terminates because each add marks an extra cell and each raise decreases the total row index of unmarked cells. Induction from the terminal Specht modules, splicing their filtrations through these exact sequences, proves a Specht series with factors precisely $[0{]}^{[{\mu }^{♯},\mu ]}$. No splitting of these sequences in positive characteristic is asserted.

Applying the same marking, raising and straightening procedure to the two sets of column antisymmetrizers in $(S^{\mu }⊠S^{\lambda }){\uparrow }^{S_{r+s}}$, where $|\mu |=r$, $|\lambda |=s$, leaves the cells of $\mu$ fixed and records the added cells by their row labels from $\lambda$. The column relations require strict increase down columns, the row relations weak increase along rows, and the good-letter matching in a tableau word test requires a lattice word. Thus the surviving terminal multiplicity is the number $c_{\mu \lambda }^{\nu }$ of Semistandard Young tableaux of skew shape of shape $\nu /\mu$ and content $\lambda$ whose word, read right-to-left along successive rows from top to bottom, has at least as many $i$'s as $(i+1)$'s in every prefix. The same triangular leading-tabloid argument identifies each quotient with $S^{\nu }$. Consequently the Littlewood–Richardson rule isIt describes ordinary irreducible constituents in characteristic zero and Specht filtration factors over arbitrary $F$.

For induction by one letter, content $(1)$ permits exactly one added cell and each multiplicity is one. A Specht series for the requested induced module has successive quotients, ordered by addable nodes from bottom to top,Equivalently there is $0=N_0\subset N_1\subset N_2\subset N_3\subset N_4=S^{(4,2,2,1)}{\uparrow }^{S_{10}}$ with these four quotients in order. Their dimensions $567,300,768,525$ sum to $2160=10\cdot 216$, the dimension of the induced module.

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