Alternating-group polynomial invariants

ID: alternating-group-polynomial-invariants

For the permutation action on coordinates with , every alternating-group invariant is a symmetric polynomial plus the Vandermonde product times a symmetric polynomial. Thus the invariant ring is , where is the discriminant polynomial. The two summands are independent over the symmetric polynomial ring.

New to topics? Read the docs here!