Symmetric-function involution

ID: symmetric-function-involution

The Fundamental theorem of symmetric polynomials gives freely generated elementary functions, so sending each to defines an algebra homomorphism. For and , . Applying the homomorphism shows , hence . Taking logarithms of gives the displayed action on power sums. It preserves the Hall inner product of symmetric functions because each power-sum basis vector acquires only a sign.

New to topics? Read the docs here!