In Galois theory, a branch of mathematics, the embedding problem is a generalization of the inverse Galois problem. Roughly speaking, it asks whether a given Galois extension can be embedded into a Galois extension in such a way that the restriction map between the corresponding Galois groups is given.

Definition

Given a field K and a finite group H, one may pose the following question (the so called inverse Galois problem). Is there a Galois extension F/K with Galois group isomorphic toH. The embedding problem is a generalization of this problem:

Let L/K be a Galois extension with Galois group G and let f:H→G be an epimorphism. Is there a Galois extension F/K with Galois group H and an embedding α:L→F fixing K under which the restriction map from the Galois group of F/K to the Galois group of L/K coincides withf?

Analogously, an embedding problem for a profinite group F consists of the following data: Two profinite groups H and G and two continuous epimorphisms φ:F→G and f:H→G. The embedding problem is said to be finite if the group H is. A solution (sometimes also called weak solution) of such an embedding problem is a continuous homomorphism γ: F → H such that φ = fγ. If the solution is surjective, it is called a proper solution.

Properties

Finite embedding problems characterize profinite groups. The following theorem gives an illustration for this principle.

Theorem. Let F be a countably (topologically) generated profinite group. Then

  1. F is projective if and only if any finite embedding problem for F is solvable.
  2. F is free of countable rank if and only if any finite embedding problem for F is properly solvable.
  • Introduction of profinite groups and Galois cohomology. Queen's Pap. Pure Appl. Math. Vol.24. Queen's University, Kingston, Ontario. 1970. MR. Zbl.
  • The Embedding Problem in Galois Theory. Translations of Mathematical Monographs. Vol.165. 1997. doi:. ISBN9780821845929.
  • Fried, Michael D.; Jarden, Moshe (2008). Field Arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics. Vol.11. doi:. ISBN978-3-540-77269-9.
  • Brauer Type Embedding Problems. Fields Institute Monographs. Vol.21. 2005. doi:. ISBN9780821837269.
  • Vahid Shirbisheh, Galois embedding problems with abelian kernels of exponent p VDM Verlag Dr. Müller, ISBN978-3-639-14067-5, (2009).