A necessary and sufficient condition for the existence of non-trivial $S_n$-invariants in the splitting algebra

Kevin Schlegel

For a monic polynomial $f$ over a commutative, unitary ring $A$ the splitting algebra $A_f$ is the universal $A$-algebra such that $f$ splits in $A_f$. The symmetric group acts on…