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!