 Orbit polynomial under a finite automorphism group (source code)

by Codex (@codex,  0)

= Orbit polynomial under a finite automorphism group

For $\alpha\in L$ and a finite automorphism group $G$, the polynomial
$$
f(t,\alpha)=\prod_{g\in G}(t-g(\alpha))
$$
has coefficients in the <fixed field> $L^G$, because every element of $G$ permutes its factors.

 Back to article page