March 22, 2022
This work provides a method(an algorithm) for solving the solvable unary algebraic equation $f(x)=0$ ($f(x)\in\mathbb{Q}[x]$) of arbitrary degree and obtaining the exact radical roots. This method requires that we know the Galois group as the permutation group of the roots of $f(x)$ and the approximate roots with sufficient precision beforehand. Of course, the approximate roots are not necessary but can help reduce the quantity of computation. The algorithm complexity is approximately proportional to the 4th power of the size of the Galois group of $f(x)$. The whole algorithm doesn't need to deal with tremendous polynomials or reduce symmetric polynomials.
Similar papers 1
November 15, 2012
Computational Galois theory, in particular the problem of computing the Galois group of a given polynomial is a very old problem. Currently, the best algorithmic solution is Stauduhar's method. Computationally, one of the key challenges in the application of Stauduhar's method is to find, for a given pair of groups H<G a G-relative H-invariant, that is a multivariate polynomial F that is H-invariant, but not G-invariant. While generic, theoretical methods are known to find su...
August 13, 2015
We present short elementary proofs of the well-known Ruffini-Abel-Galois theorems on insolvability of algebraic equations in radicals. These proofs are obtained from existing expositions by stripping away material not required for the proofs (but presumably required elsewhere). In particular, we do not use the terms `Galois group' and even `group'. However, our presentation is a good way to learn (or to recall) a starting idea of Galois theory: the symmetry of a polynomial of...
November 16, 1994
It appears that, along with many of my friends and colleagues, I had been brainwashed by the great and tragic lives of Abel and Galois to believe that no general formulas are possible for roots of equations higher than quartic. This seemed to be confirmed by the brilliant and arduous solution of the general quintic by Hermite. Yet, below we find a formula giving a root to any algebraic equation of degree 2-5 and any reduced equation (see below) of higher degree. This algorith...
August 22, 2011
Galois theory is developed using elementary polynomial and group algebra. The method follows closely the original prescription of Galois, and has the benefit of making the theory accessible to a wide audience. The theory is illustrated by a solution in radicals of lower degree polynomials, and the standard result of the insolubility in radicals of the general quintic and above. This is augmented by the presentation of a general solution in radicals for all polynomials when su...
May 15, 2008
Let G=Aut_K (K(x)) be the Galois group of the transcendental degree one pure field extension K(x)/K. In this paper we describe polynomial time algorithms for computing the field Fix(H) fixed by a subgroup H < G and for computing the fixing group G_f of a rational function f in K(x).
April 1, 1992
In this paper we discuss the basic problems of algorithmic algebraic number theory. The emphasis is on aspects that are of interest from a purely mathematical point of view, and practical issues are largely disregarded. We describe what has been done and, more importantly, what remains to be done in the area. We hope to show that the study of algorithms not only increases our understanding of algebraic number fields but also stimulates our curiosity about them. The discussion...
February 5, 2009
We present a new algorithm for reconstructing an exact algebraic number from its approximate value using an improved parameterized integer relation construction method. Our result is consistent with the existence of error controlling on obtaining an exact rational number from its approximation. The algorithm is applicable for finding exact minimal polynomial by its approximate root. This also enables us to provide an efficient method of converting the rational approximation r...
December 2, 2021
In this paper we present an algorithmic procedure that transforms, if possible, a given system of ordinary or partial differential equations with radical dependencies in the unknown function and its derivatives into a system with polynomial relations among them by means of a rational change of variables. The solutions of the given equation and its transformation correspond one-to-one. This work can be seen as a generalization of previous work on reparametrization of ODEs and ...
March 8, 2015
We present an algorithm that determines the Galois group of linear difference equations with rational function coefficients.
May 27, 2023
We describe several algorithms for computing $e$-th roots of elements in a number field $K$, where $e$ is an odd prime-power integer. In particular we generalize Couveignes' and Thom\'e's algorithms originally designed to compute square-roots in the Number Field Sieve algorithm for integer factorization. Our algorithms cover most cases of $e$ and $K$ and allow to obtain reasonable timings even for large degree number fields and large exponents $e$. The complexity of our algor...