Transitively normal subgroup
- Transitively normal subgroup
In mathematics, in the field of group theory, a subgroup of a group is said to be transitively normal in the group if every normal subgroup of the subgroup is also normal in the whole group. In symbols, is a transitively normal subgroup of if for every normal in , we have that is normal in .
An alternate way to characterize these subgroups is: every "normal subgroup preserving automorphism" of the whole group must restrict to a "normal subgroup preserving automorphism" of the subgroup.
Here are some facts about transitively normal subgroups:
*Every normal subgroup of a transitively normal subgroup is normal.
*Every direct factor, or more generally, every central factor is transitively normal. Thus, every
central subgroup is transitively normal.
*A transitively normal subgroup of a transitively normal subgroup is transitively normal.
*A transitively normal subgroup is normal.
Also see: Normal subgroup
Wikimedia Foundation.
2010.
Look at other dictionaries:
Subgroup growth — Im mathematics, subgroup growth is a branch of group theory, dealing with quantitative questions about subgroups of a given group. [citebook|title=Subgroup Growth|author=Alexander Lubotzky, Dan Segal|year=2003|publisher=Birkhäuser|id=ISBN… … Wikipedia
CEP subgroup — In mathematics, in the field of group theory, a subgroup of a group is said to have the Congruence Extension Property or to be a CEP subgroup if every congruence on the subgroup lifts to a congruence of the whole group. Equivalently, every normal … Wikipedia
C closed subgroup — In mathematics, in the field of group theory a subgroup of a group is said to be c closed if any two elements of the subgroup that are conjugate in the group are also conjugate in the subgroup.An alternative characterization of c closed normal… … Wikipedia
Central subgroup — In mathematics, in the field of group theory, a subgroup of a group is termed central if it lies inside the center of the group.Given a group G, the center of G, denoted as Z(G), is defined as the set of those elements of the group which commute… … Wikipedia
List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie … Wikipedia
Holonomy — Parallel transport on a sphere depends on the path. Transporting from A → N → B → A yields a vector different from the initial vector. This failure to return to the initial vector is measured by the holonomy of the connection. In differential… … Wikipedia
System of imprimitivity — The concept of system of imprimitivity is used in mathematics, particularly in algebra and analysis, both within the context of the theory of group representations. It was used by George Mackey as the basis for his theory of induced unitary… … Wikipedia
Lie group — Lie groups … Wikipedia
Mathieu group — Group theory Group theory … Wikipedia
Frobenius group — In mathematics, a Frobenius group is a transitive permutation group on a finite set, such that no non trivial elementfixes more than one point and some non trivial element fixes a point. They are named after F. G. Frobenius. Structure The… … Wikipedia