Solving embedding problems with bounded ramification
Date
2016-12
Journal Title
Journal ISSN
Volume Title
Publisher
Stellenbosch : Stellenbosch University
Abstract
ENGLISH ABSTRACT : Given a Galois extension K/K0 of number fields, a finite group G, and an
epimorphism α: G→ Gal(K/K0) with solvable kernel, our goal is to embed
K into a Galois extension N of K0 with Galois group Gal(N/K0) ≅ G such
that the restriction map resN=K: Gal(N/K0) → Gal(K/K0) coincides with α
and │Ram(N/K0)│ ≤│ Ram(K│K0) │+ Ω (│Ker(α)│). Here Ram(N│K0) is the
finite set of primes of K0 that ramify in N and Ω (│Ker (α) │) is the number of
the prime divisors, counted with multiplicity, of │Ker (α).
We achieve our goal under two conditions: first, the number of roots of
unity in K should be relatively prime to the order of Ker(α). The second
one demands that each local embedding problem resulted from the original
one should be "weakly solvable". In fact, our solution locally coincides with
finitely many "local weak solutions" given in advance.
Our result strengthens a former result of Neukirch in [Neu79], where the
same embedding problem satisfying the same conditions is solved without
giving a bound on the ramification.
In particular, the above mentioned local conditions are satisfied if the
epimorphism α has a section. This leads to a well known result of Shafarevich
that does not assume the condition on the roots of unity but pays with a huge
number of ramified primes (that appears when one analyses Shafarevich's
proof).
Like in [Neu79], our proof uses class field theory in its cohomological
approach. The bounding of the ramification is based, in addition to the
above mentioned tools, on a strengthening of a lemma of [GeJ98].
AFRIKAANSE OPSOMMING : Laat K/K0 'n Galois uitbreiding van getalleliggame wees, G 'n eindige groep, en α: G→ Gal(K/K0) 'n epimorfisme met oplosbare kern. Ons doel is om K in 'n Galois uitbreiding N van K0 in-te-bed sodat die Galois groep Gal(N/K0) ≅ G; en sodat die beperkingsafbeelding resN=K: Gal(N/K0) → Gal(K/K0) ooreenstem met α en │Ram(N=K0) │ ≤│+Ram(K/K0)+ Ω (│Ker(α ) │). Hier is Ram(N/K0) die eindige versameling van priemdelers van K0 wat in N vertak, en Ω (│Ker(α) │) is die aantal priemdelers van │Ker(α) │, getel met multiplisiteit. Ons bereik hierdie doelstelling onderhewig aan twee voorwaardes: Eerstens moet die aantal wortels van eenheid in K relatief priem wees aan die orde van Ker (α). Tweedens eis ons dat elke lokale inbeddingsprobleem, wat volg uit die oorspronklike een, "swak oplosbaar" moet wees. Meer presies gestel, sal ons oplossing lokaal ooreenstem met 'n eindige aantal "lokaal swak oplossings" wat vooraf gegee word. Ons resultaat versterk 'n vroeer resultaat van Neukirch in [Neu79], waar 'n inbeddingsprobleem wat dieselfde voorwaardes bevredig opgelos word, maar sonder die grens op die aantal vertakkings. In die besonder word die lokale voorwaardes bevredig mits die epimorfisme α 'n snitafbeelding besit. Hieruit volg dan ook die bekende resultaat van Shafarevich, wat nie die voorwaarde oor die wortels van eenheid benodig nie, maar gevolglik 'n baie groot aantal priemdelers wat vertak veroorsaak (hierdie opmerking word gesien wanneer sy bewys in detail bestudeer word). Soos in [Neu79], maak ons gebruik van klasliggaamteorie met 'n kohomologiese benadering. Die begrensdheid van die aantal priemdelers wat vertak maak ook gebruik van 'n versterking van 'n hulpstelling uit [GeJ98].
AFRIKAANSE OPSOMMING : Laat K/K0 'n Galois uitbreiding van getalleliggame wees, G 'n eindige groep, en α: G→ Gal(K/K0) 'n epimorfisme met oplosbare kern. Ons doel is om K in 'n Galois uitbreiding N van K0 in-te-bed sodat die Galois groep Gal(N/K0) ≅ G; en sodat die beperkingsafbeelding resN=K: Gal(N/K0) → Gal(K/K0) ooreenstem met α en │Ram(N=K0) │ ≤│+Ram(K/K0)+ Ω (│Ker(α ) │). Hier is Ram(N/K0) die eindige versameling van priemdelers van K0 wat in N vertak, en Ω (│Ker(α) │) is die aantal priemdelers van │Ker(α) │, getel met multiplisiteit. Ons bereik hierdie doelstelling onderhewig aan twee voorwaardes: Eerstens moet die aantal wortels van eenheid in K relatief priem wees aan die orde van Ker (α). Tweedens eis ons dat elke lokale inbeddingsprobleem, wat volg uit die oorspronklike een, "swak oplosbaar" moet wees. Meer presies gestel, sal ons oplossing lokaal ooreenstem met 'n eindige aantal "lokaal swak oplossings" wat vooraf gegee word. Ons resultaat versterk 'n vroeer resultaat van Neukirch in [Neu79], waar 'n inbeddingsprobleem wat dieselfde voorwaardes bevredig opgelos word, maar sonder die grens op die aantal vertakkings. In die besonder word die lokale voorwaardes bevredig mits die epimorfisme α 'n snitafbeelding besit. Hieruit volg dan ook die bekende resultaat van Shafarevich, wat nie die voorwaarde oor die wortels van eenheid benodig nie, maar gevolglik 'n baie groot aantal priemdelers wat vertak veroorsaak (hierdie opmerking word gesien wanneer sy bewys in detail bestudeer word). Soos in [Neu79], maak ons gebruik van klasliggaamteorie met 'n kohomologiese benadering. Die begrensdheid van die aantal priemdelers wat vertak maak ook gebruik van 'n versterking van 'n hulpstelling uit [GeJ98].
Description
Thesis (PhD)--Stellenbosch University, 2016
Keywords
Galois group, Epimorphism, Galois extension, Homomorphism, UCTD