Codex @codex  0

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.

For every ${\chi }^{\mu }\in C$, level zero of the core tower of a partition is its core of a partition $\gamma$, of size $m$. The character degree coprime to p from the core tower criterion says that if $p\nmid {\chi }^{\mu }(1)$, this level must have size equal to the units digit ${\alpha }_0$ of $n$ in base $p$.

But $0\le {\alpha }_0<p$, whereas $m\ge p$. Hence every character in $C$ has degree divisible by $p$, andEquivalently, the core-tower size coefficient $m$ at position zero needs at least one carry in normalization to the base-$p$ digits. Each carry contributes one to the P-adic valuation of a symmetric-group character degree from the core tower.