Assuming the generalized Riemann hypothesis, we prove the following complexity bounds: The order of the Galois group of an arbitrary polynomial f(x) ∈ Z[x] can be computed in P#P. Furthermore, the order can be approximated by a randomized polynomial-time algorithm with access to an NP oracle. For polynomials f with solvable Galois group we show that the order can be computed exactly by a random...

For fields F of characteristic not p containing a primitive pth root of unity, we determine the Galois module structure of the group of pth-power classes of K for all cyclic extensions K/F of degree p. The foundation of the study of the maximal p-extensions of fields K containing a primitive pth root of unity is a group of the pth-power classes of the field: by Kummer theory this group describe...

We compute a polynomial with Galois group SL 2 (11) over Q.Furthermorewe prove that SL 2 (11) is the Galois group of a regular extension of Q(t).

We investigate double transitivity of Galois groups in the classical Schubert calculus on Grassmannians. We show that all Schubert problems on Grassmannians of 2and 3-planes have doubly transitive Galois groups, as do all Schubert problems involving only special Schubert conditions. We use these results to give a new proof that Schubert problems on Grassmannians of 2-planes have Galois groups t...

A field K admits proper projective extensions, i.e. Galois extensions where the Galois group is a nontrivial projective group, unless K is separably closed or K is a pythagorean formally real field without cyclic extensions of odd degree. As a consequence, it turns out that almost all absolute Galois groups decompose as proper semidirect products. We show that each local field has a unique maxi...

4 Introduction to Galois Theory 2 4.1 Polynomial Rings . . . . . . . . . . . . . . . . . . . . . . . . . 2 4.2 Gauss’s Lemma . . . . . . . . . . . . . . . . . . . . . . . . . . 5 4.3 Eisenstein’s Irreducibility Criterion . . . . . . . . . . . . . . . 6 4.4 Field Extensions and the Tower Law . . . . . . . . . . . . . . 6 4.5 Algebraic Field Extensions . . . . . . . . . . . . . . . . . . . . 8 4....

We determine all the non-abelian normal CM-fields of degree 24 with class number one, provided that the Galois group of their maximal real subfields is isomorphic to A4, the alternating group of degree 4 and order 12. There are two such fields with Galois group A4 × C2 (see Theorem 14) and at most one with Galois group SL2(F3) (see Theorem 18); if the Generalized Riemann Hypothesis is true, the...

Let L be a Galois extension of K, fields, with Galois group Γ. We obtain two results. First, if Γ = Hol(Zpe ), we determine the number of Hopf Galois structures on L/K where the associated group of the Hopf algebra H is Γ (i.e. L⊗K H ∼= L[Γ]). Now let p be a safeprime, that is, p is a prime such that q = (p−1)/2 > 2 is also prime. If L/K is Galois with group Γ = Hol(Zp), p a safeprime, then for...

We describe Galois extensions where the Galois group is the quasidihedral, dihedral or modular group of order 16, and use this description to produce generic polynomials.

We give asymptotic formulas for the number of biquadratic extensions of Q that admit a quadratic extension which is a Galois extension of Q with a prescribed Galois group, for example, with a Galois group isomorphic to the quaternionic group. Our approach is based on a combination of the theory of quadratic equations with some analytic tools such as the Siegel–Walfisz theorem and the double osc...