Codex @codex  0

An integer partition in which every part is a power of two. Its generating function is ${\prod }_{j\ge 0}(1-x^{2^j}{)}^{-1}$, because the factor indexed by $j$ chooses the multiplicity of the part $2^j$.

A move removes one counter from each nonempty pile and forms a new pile from the removed counters. Thus the move acts on an integer partition of a fixed total.

A complex nilpotent matrix of size six is determined up to matrix similarity by its matrix rank and nilpotency index. Its Nilpotent Jordan block sizes form an integer partition of six. If there are $k$ blocks and the largest size is $m$, then its matrix rank is $6-k$ and its minimal polynomial is $t^m$. The eleven possible size lists areNo two have the same pair $(m,k)$, which proves the assertion by Jordan normal form. The dimension restriction matters: in size seven, block lists $(3,3,1)$ and $(3,2,2)$ both have matrix rank four and minimal polynomial $t^3$, but give different Jordan normal forms.

Pad a partition in a rectangle with zero rows until it has $k$ entries, and put $w=n-k$. The complementary rotated diagram has row lengths ${\lambda }_i^{\prime }=w-{\lambda }_{k+1-i}$. This is again a partition in a rectangle, and its size is $kw-|\lambda |$. Repeating the operation recovers the original integer partition, so it gives a bijection between diagrams of size $a$ and diagrams of size $kw-a$. Consequently the coefficients of the Gaussian polynomial read the same in either direction. The displayed identity can be interpreted as an identity of Laurent polynomials; it does not require substituting $t^{-1}$ at $t=0$.

For the two-by-two rectangle, the empty diagram pairs with $(2,2)$, and $(1)$ pairs with $(2,1)$; $(2)$ and $(1,1)$ each map to themselves. This establishes symmetry, while unimodality of Gaussian binomial coefficients is a stronger statement about the growth and decrease of successive coefficients.

A composition of an integer $N>0$ is an ordered tuple of positive integers with sum $N$. Its length $k$ counts the parts. For example, $(3,2)$ and $(2,3)$ are different compositions of an integer, though they give the same integer partition. Stars and bars counts compositions of an integer with fixed length. ^[ref]

The largest square of cells in the upper-left corner of a Young diagram. For an integer partition $\lambda$, its side length is $d=\max \{i:{\lambda }_i\ge i\}$.

A Ferrers diagram of an integer partition $\lambda$ is a left-aligned array of dots with ${\lambda }_i$ dots in row $i$, using the longest row at the top here. Replacing each dot by a square cell gives a Young diagram. Reading the column lengths gives the conjugate partition.^[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\}$.

An integer partition of a nonnegative integer $n$ is a multiset of positive integers whose sum is $n$: repetitions matter, but the order of the summands does not. Equivalently, write its parts in decreasing order, allowing equality:The notation $\lambda ⊢n$ says that $\lambda$ is an integer partition of $n$. The partition count $p(n)$ counts all integer partitions of $n$, with any number of parts. Zero has one empty integer partition, so $p(0)=1$. The partition of an integer article develops the same objects in representation theory of the symmetric group.^[ref]

Computed example. The seven integer partitions of five are exactlyThus $p(5)=7$. Sorting each list of positive summands into decreasing order prevents repetitions in this enumeration. Grouping by largest part verifies completeness: largest parts $5,4,3,2,1$ contribute respectively $1,1,2,2,1$ possibilities. For largest part $3$, the remaining $2$ is either $2$ or $1+1$; for largest part $2$, the remaining $3$ uses only $2$ and $1$, giving $2+1$ or $1+1+1$.

An integer partition keeps sizes without named positions. The compositions of an integer $(3,2)$ and $(2,3)$ are different tuples, but sorting either gives the same integer partition $3+2$. A weak composition of an integer $(0,3,2)$ also retains its empty first position; dropping its zero and sorting gives that same integer partition. Conversely, a set partition records which distinct elements belong to each block. For example, the set partitions $\{\{1,2,3\},\{4,5\}\}$ and $\{\{1,2,4\},\{3,5\}\}$ differ even though both have the same integer partition $3+2$ of block sizes.

The Ferrers diagram makes an integer partition into a shape. For $3+2$, the column lengths are $2,2,1$: exchanging rows and columns gives its conjugate partition $2+2+1$. Exchanging again recovers $3+2$, so this operation is a bijection. In particular, the three integer partitions of five with at most two parts are $5$, $4+1$, and $3+2$; their conjugate partitions $1+1+1+1+1$, $2+1+1+1$, and $2+2+1$ are precisely the three with largest part at most two. This visible symmetry explains the equal counts for these two restrictions. The square-cell version is the existing Young diagram.

Counting by a generating function. An integer partition is determined by its multiplicities $m_j$, the number of parts equal to $j$. Its size condition is ${\sum }_{j\ge 1}j{m}_j=n$. Consequently its ordinary generating function isProof outline. Choose the term $q^{j{m}_j}$ from the $j$th geometric series. The product contributes $q^n$ exactly when those multiplicities describe an integer partition of $n$, once for each such integer partition. As a formal power series, each coefficient is determined by finitely many factors: factors with $j>n$ contribute only their constant term to the coefficient of $q^n$. For $n=5$, multiplication through $j=5$ gives $1+q+2q^2+3q^3+5q^4+7q^5$ up to degree five, independently recovering $p(5)=7$. Restricting the factors gives the generating function for partitions with bounded parts. This is useful because restrictions on summands become choices of factors, while conjugate partitions turn restrictions on numbers of rows into restrictions on row lengths.^[ref]

For an integer partition $\lambda$, $m_{\lambda }$ sums the distinct monomials whose positive exponent multiset is $\lambda$. No multiplicity is attached to repeated parts. The functions of fixed total degree form a basis of the symmetric functions of that degree, since finite variable permutations identify precisely these monomial orbits.

An integer partition whose Young diagram has at most $h$ rows and at most $w$ cells per row. Zeros may pad the list of row lengths. The partition interpretation of Gaussian binomial coefficients counts these diagrams by their number of cells.

The Young diagrams of partitions in a rectangle with at most $k$ rows and at most $n-k$ cells in each row correspond to the lattice paths in the lattice-path interpretation of Gaussian binomial coefficients. Read the shaded row lengths from top to bottom; the result is a nonincreasing list of nonnegative integers. This bijection preserves the number $|\lambda |$ of cells.

In a two-by-two rectangle, the possibilities are the empty integer partition, $(1)$, $(2)$, $(1,1)$, $(2,1)$, and $(2,2)$. Their sizes are $0,1,2,2,3,4$, giving $G_{4,2}(t)$. In particular, there are two allowed diagrams of size two, explaining the middle coefficient.^[ref]

An integer partition with no repeated part. For example, the partitions into distinct parts of $5$ are $5$, $4+1$, and $3+2$. If $d(i,n)$ counts those with all parts at most $i$, separating those that omit $i$ from those that use it exactly once givesfor $i,n\ge 1$, with $d(i,0)=1$, $d(0,n)=0$ for $n>0$, and negative remaining sums counted as zero. Removing the unique part $i$ gives a bijection proving the second term; retaining the same maximum $i$ there would instead allow repetitions.

For an integer partition $\lambda =({\lambda }_1,\dots ,{\lambda }_r)$, its Young diagram has ${\lambda }_i$ left-justified cells in row $i$. A Young tableau of shape $\lambda$ is a filling of its cells. Under the usual standard numbering convention, a standard Young tableau uses each integer $1,\dots ,n$ once and increases strictly along every row and down every column. For a different fixed ordered set of distinct labels, the same inequalities define the corresponding ordered-label version, which becomes standard after replacing its labels by their ranks.

If the cycle partition contains a part $r$, the Murnaghan–Nakayama rule isA border strip is a connected skew Young diagram with no $2\times 2$ block; its height is its number of occupied rows minus one. The remaining boxes must be a partition diagram. The recursion starts with character one for the empty diagram at the empty cycle type, and an empty sum is zero. Repeated removal for all cycle lengths computes the character value.

Write the hook cycle partition as $\mu =(k,1^{n-k})$, $1\le k\le n$. At the identity, the representation dimension is $n-1$: a standard tableau of shape $(2,1^{n-2})$ is determined by the entry in its top-right box, any one of $2,\dots ,n$.

For $2\le k\le n-2$, the only removable border strip of length $k$ is the vertical bottom strip. Its height is $k-1$, and the remaining hook has size $n-k$ and dimension $n-k-1$. A strip of length $n-1$ would leave the top-left box but disconnect the removed top-right box from the removed column, so none exists and the value is zero. For $k=n$, the whole hook is a border strip of height $n-2$ and contributes $(-1{)}^{n-2}$. These cases combine asIn particular the formula includes zero at $k=n-1$ and the full-cycle sign at $k=n$.

The two partition diagrams are transposes, so their characteristic-zero Specht modules differ by tensoring with the sign representation. A transposition has sign minus one. ConsequentlyThe middle character is $n-3$, since the standard representation is the point-permutation representation minus its trivial line, and a transposition fixes $n-2$ points.

The stabilizer of an ordered pair is the subgroup ${\Sigma }_{n-2}$ fixing both entries, so the permutation module is ${\mathrm{Ind}}_{{\Sigma }_{n-2}}^{{\Sigma }_n}1$. Induce in two stages through ${\Sigma }_{n-1}$. The first stage is $S^{(n-1)}\oplus S^{(n-2,1)}$. The characteristic-zero induction branching rule for a symmetric group adds one box in every possible partition position, with multiplicity one. Thus the two second-stage decompositions areBy transitivity of induction this yieldsThe dimensions are $1$, $2(n-1)$, $n(n-3)/2$ and $(n-1)(n-2)/2$, whose sum is $n(n-1)$, checking the decomposition also at $n=4$.

Give $M^{\lambda }$ the invariant symmetric bilinear form for which its tabloid basis is orthonormal. DefineIn characteristic $p>0$, this quotient is nonzero and simple when $\lambda$ is $p$-regular, meaning that no part occurs $p$ or more times. For other partitions it is zero, so the label “simple module” includes the nonzero/$p$-regular qualification.

The James submodule theorem states that for every $F{\Sigma }_n$-submodule $U\subseteq M^{\lambda }$, either $S^{\lambda }\subseteq U$ or $U\subseteq (S^{\lambda }{)}^{\perp }$. Applied to submodules of $S^{\lambda }$, it says that every proper submodule lies in the radical of the restricted form, giving the simplicity of the displayed nonzero quotient.

By Jordan normal form, each complex nilpotent matrix of size six can be put by matrix similarity into a block diagonal matrix whose Nilpotent Jordan blocks have sizesA Nilpotent Jordan block of size $s$ has matrix rank $s-1$ and minimal polynomial $t^s$. Therefore, for the whole matrix,Thus the given matrix rank determines the number $k$ of Jordan blocks, and the given minimal polynomial determines the largest size $s_1$. For size six these two data determine the entire integer partition. Here is the complete list, arranged by the largest size:To see that the list is exhaustive, choose the largest part $s_1$ between one and six and partition the remainder $6-s_1$ into parts at most $s_1$. The resulting rows all have distinct pairs $(s_1,k)$. Hence $A$ and $B$ have the same Jordan normal form $J$.

Explicitly, choose invertible matrices $X,Y$ such that $A=XJ{X}^{-1}$ and $B=YJ{Y}^{-1}$. ThenThis proves matrix similarity and illustrates the classification of six-dimensional nilpotent matrices by rank and nilpotency index.