Projective transitivity of a trinomial linearized polynomial

ID: projective-transitivity-of-a-trinomial-linearized-polynomial

For , nonzero roots define projective-point coordinates , satisfying , where . This polynomial is irreducible over . After fixing one root , the remaining coordinates satisfy . Substitute and : the equation becomes . At a nontrivial th root of unity the second term has a simple zero, so the polynomial is Eisenstein over the algebraic closure's rational function field. This proves irreducibility of and hence two-transitivity on projective points.

New to topics? Read the docs here!