Character degree coprime to p from the core tower
ID: character-degree-coprime-to-p-from-the-core-tower
Let be a prime number, let with , and let be the sum of partition sizes at level of the core tower of a partition . ThenIndeed . Carrying units from position to position decreases by . Normalization to the base- digits therefore gives , with equality exactly when no carry is needed. The P-adic valuation of a symmetric-group character degree from the core tower is the difference divided by .
New to topics? Read the docs here!