Related papers: Hrushovski's Algorithm for Computing the Galois Gr…

The Galois group of a parameterized polynomial system of equations encodes the structure of the solutions. This monodromy group acts on the set of solutions for a general set of parameters, that is, on the fiber of a projection from the…

For a field k$with an automorphism \sigma and a derivation \delta, we introduce the notion of liouvillian solutions of linear difference-differential systems {\sigma(Y) = AY, \delta(Y) = BY} over k and characterize the existence of…

We study the interplay between the differential Galois group and the Lie algebra of infinitesimal symmetries of systems of linear differential equations. We show that some symmetries can be seen as solutions of a hierarchy of linear…

Let $P\in\mathbb Q[t,x]$ be a polynomial in two variables with rational coefficients, and let $G$ be the Galois group of $P$ over the field $\mathbb Q(t)$. It follows from Hilbert's Irreducibility Theorem that for most rational numbers $c$…

The Galois group of a family of cubic surfaces is the monodromy group of the 27 lines of its generic fibre. We describe a method to compute this group for linear systems of cubic surfaces using certified numerical computations. Applying…

We develop a Galois theory for systems of linear difference equations with an action of an endomorphism {\sigma}. This provides a technique to test whether solutions of such systems satisfy {\sigma}-polynomial equations and, if yes, then…

We classify the finite groups $G$ which satisfies the condition that every complex irreducible character,whose degree's square doesn't divide the index of its kernel in $G$, lies in the same Galois conjugacy class.

This paper aims to prove a version of the Hilbert's Theorem 90 for a field with non-trivial Kaplansky radical and the Galois group of its maximal $2$-extension as a finitely generated elementary type pro-2 group.

We consider Galois/monodromy groups arising in computer vision applications, with a view towards building more efficient polynomial solvers. The Galois/monodromy group allows us to decide when a given problem decomposes into algebraic…

We show all the possible structures of finite subgroups of the automorphism groups of elliptic curves. Here the automorphism means the biholomorphic transformation. Using the result, we determine every Galois group G at outer Galois point…

This note presents Galois theory for finite fields. It was written as a handout for the MAT401 course ``Polynomial equations and fields'' taught at the University of Toronto in Spring 2026. We use without proofs some basic properties of…

By using the action of certain Galois groups on complex irreducible characters and conjugacy classes, we define the Galois characters and Galois classes. We will introduce a set of Galois characters, called Galois irreducible characters,…

A polynomial time algorithm to give a complete description of all subfields of a given number field was given in an article by van Hoeij et al. This article reports on a massive speedup of this algorithm. This is primary achieved by our new…

In this article we present a new method to obtain polynomial lower bounds for Galois orbits of torsion points of one dimensional group varieties.

In this article, we give a numerical algorithm to compute braid groups of curves, hyperplane arrangements, and parameterized system of polynomial equations. Our main result is an algorithm that determines the cross-locus and the generators…

We introduce the parameterized generic Galois group of a q-difference module, that is a differential group in the sense of Kolchin. It is associated to the smallest differential tannakian category generated by the q-difference module,…

We present a non-linear difference-differential equation whoes Galois group is a non-commutative and non-co-comutative Hopf algebra.

Let $f$ be an irreducible polynomial of prime degree $p\geq 5$ over $\QQ$, with precisely $k$ pairs of complex roots. Using a result of Jens H\"{o}chsmann (1999), we show that if $p\geq 4k+1$ then $\Gal(f/\QQ)$ is isomorphic to $A_{p}$ or…

We give a computationally efficient method for constructing the linear differential operator with polynomial coefficients whose space of holomorphic solutions is spanned by all the branches of a function defined by a generic algebraic…

Given a Mersenne prime $q$ and a positive even integer $e$, let $F$ and $E$ be the fields of orders $q$ and $q^e$ respectively. Let $C$ be a cyclic subgroup of $E^\times$ whose index in $E^\times$ is divisible only by primes dividing $q -…