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.

Articles by others on the same topic (NaN)

There are currently no matching articles.