Standard-character multiplicity in a Specht self-product
ID: standard-character-multiplicity-in-a-specht-self-product
For with ,Indeed, adjoining the trivial character to the standard character gives the point-permutation character, and Frobenius reciprocity turns its multiplicity in the self-product into the norm of the multiplicity-free restriction.
New to topics? Read the docs here!