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 to H. 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 with f?
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.
Read more about this topic: Embedding Problem
Famous quotes containing the word definition:
“Was man made stupid to see his own stupidity?
Is God by definition indifferent, beyond us all?
Is the eternal truth man’s fighting soul
Wherein the Beast ravens in its own avidity?”
—Richard Eberhart (b. 1904)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)