The polynomial has values at respectively, modulo . Thus has no root and is an irreducible polynomial over . One root generates ; all its Frobenius conjugates are there, so this is its splitting field. Hence , generated by , a 3-cycle on the roots.