Multi-parameter polynomials with given Galois group (Q5927991): Difference between revisions

Let \(G\) be one of the following groups: \({\text{L}}_3(2)\), \({\text{PGL}}_2(7),\) \({\text{AGL}}(3,2)\), \({\text{AGL}}(2,3)\), \({\text{Aut}}({\mathcal{S}}_6)\), \({\text{PGL}}_2(9)\), \({\text{L}}_2(11)\), \( {\text{M}}_{11}\), \({\text{M}}_{12}\), \({\text{L}}_3(3)\). The author gives for any of these groups a multi-parameter polynomial \(f(a_1,\ldots,a_s,X)\in{\mathbb{Q}}[a_1,\ldots,a_s,X]\) which has the desired group as its Galois group over \({\mathbb{Q}}(a_1,\ldots,a_s)\), where \(s\in\{2,3,4\}\). The polynomials were found mainly by two methods which are called interpolation in the Hurwitz space and Hensel lifting. The verification of the Galois groups are in two steps. First, lower bounds for the groups are obtained by factoring the polynomials modulo various primes. Secondly, upper bounds are obtained by resolvent polynomials.