In mathematics, in the field of group theory, a subgroup of a group is said to be fully normalized if every automorphism of the subgroup lifts to an inner automorphism of the whole group. Another way of putting this is that the natural embedding from the Weyl group of the subgroup to its automorphism group is surjective.
In symbols, a subgroup is fully normalized in if, given an automorphism of, there is a such that the map, when restricted to is equal to .
Some facts:
- Every group can be embedded as a normal and fully normalized subgroup of a bigger group. A natural construction for this is the holomorph, which is its semidirect product with its automorphism group.
- A complete group is fully normalized in any bigger group in which it is embedded because every automorphism of it is inner.
- Every fully normalized subgroup has the automorphism extension property.
| This abstract algebra-related article is a stub. You can help Wikipedia by expanding it. |
Famous quotes containing the word fully:
“... it is an uneasy lot at best, to be what we call highly taught and yet not to enjoy: to be present at this great spectacle of life and never to be liberated from a small hungry shivering self—never to be fully possessed by the glory we behold, never to have our consciousness rapturously transformed into the vividness of a thought, the ardour of a passion, the energy of an action, but always to be scholarly and uninspired, ambitious and timid, scrupulous and dim-sighted.”
—George Eliot [Mary Ann (or Marian)