Department of Computer Science, University of Southern California, Los Angeles, CA90089-0781 ; Department of Computer Science, University of Southern California, Los Angeles, CA90089-0781
Abstract:
Let be an algebraic number field. Let be a root of a polynomial which is solvable by radicals. Let be the splitting field of over . Let be a natural number divisible by the discriminant of the maximal abelian subextension of , as well as the exponent of , the Galois group of over . We show that an optimal nested radical with roots of unity for can be effectively constructed from the derived series of the solvable Galois group of over .