Symmetric-group character co-degree vanishing criterion
ID: symmetric-group-character-co-degree-vanishing-criterion
For , if the order of does not divide , then . The Hook-length formula turns the co-degree into a product of hook lengths, while the Murnaghan–Nakayama rule detects a cycle whose required prime-power hook cannot be removed.
New to topics? Read the docs here!