IS IT HARDER TO FACTOR A POLYNOMIAL OR TO FIND A ROOT?

For a computable field F. the spitting set S is the set of polynomials p(X) is an element of F[X] which factor over F, and the root set R is the set, of polynomials with roots in F Work by Frohlich and Shepherdson essentially showed these two sets to be Turing-equivalent, surprising many mathematicians since It is not obvious how to compute S from R We apply other standard reducibilities from computability theory, along with a healthy close of Galois theory, to compare the complexity of these two sets We show, in contrast to the Turing equivalence, that for algebraic fields the root set has slightly higher complexity both are computably enumerable, and computable algebraic fields always have S <=(1) R, but it is possible to make R not less than or equal to(m) S So the root set may be viewed as being more difficult than the splitting set to compute