Coefficients of an orbit polynomial for a primitive generator
ID: coefficients-of-an-orbit-polynomial-for-a-primitive-generator
If and , then the coefficients of generate over . Indeed, for the field generated by those coefficients, and , while the Artin fixed-field theorem gives .
New to topics? Read the docs here!