Relative Embedding Problems

Abstract

We consider Galois embedding problems G ↠ H ≅ Gal ⁡ ( X / Z ) G\twoheadrightarrow H\cong \operatorname {Gal}(X/Z) such that a Galois embedding problem G ↠ Gal ⁡ ( Y / Z ) G\twoheadrightarrow \operatorname {Gal}(Y/Z) is solvable, where Y / Z Y/Z is a Galois subextension of X / Z X/Z . For such embedding problems with abelian kernel, we prove a reduction theorem, first in the general case of commutative k k -algebras, then in the more specialized field case. We demonstrate with examples of dihedral embedding problems that the reduced embedding problem is frequently of smaller order. We then apply these results to the theory of obstructions to central embedding problems, considering a notion of quotients of central embedding problems, and classify the infinite towers of metacyclic p p -groups to which the reduction theorem applies.