In mathematics, in the field of group theory, a subgroup H of a given group G is a subnormal subgroup of G if there is a finite chain of subgroups of the group, each one normal in the next, beginning at H and ending at G.
In notation, is -subnormal in if there are subgroups
of such that is normal in for each .
A subnormal subgroup is a subgroup that is -subnormal for some positive integer .
Some facts about subnormal subgroups:
A 1-subnormal subgroup is a proper normal subgroup (and vice versa).
A finitely generated group is nilpotent if and only if each of its subgroups is subnormal.
Every quasinormal subgroup, and, more generally, every conjugate-permutable subgroup, of a finite group is subnormal.
Every pronormal subgroup that is also subnormal, is normal. In particular, a Sylow subgroup is subnormal if and only if it is normal.
Every 2-subnormal subgroup is a conjugate-permutable subgroup.
The property of subnormality is transitive, that is, a subnormal subgroup of a subnormal
subgroup is subnormal. The relation of subnormality can be defined as the transitive closure of the relation of normality.
If every subnormal subgroup of G is normal in G, then G is called a T-group.
and 24 Related for: Subnormal subgroup information
field of group theory, a subgroup H of a given group G is a subnormalsubgroup of G if there is a finite chain of subgroups of the group, each one normal...
(economics) Subnormal series, a type of subgroup series in group theory in mathematics Subnormalsubgroup, a type of subgroup in group theory in mathematics The...
A subgroup series is used in the subgroup method. Subgroup series are a special example of the use of filtrations in abstract algebra. A subnormal series...
isomorphism, subnormalsubgroups, and products of subnormalsubgroups. For any Fitting class F, both the subnormal F-subgroups and the normal F-subgroups form...
series is a normal subgroup of its successor. The series may be infinite. If the series is finite, then the subgroup is subnormal. automorphism An automorphism...
quasinormal subgroup of a finite group is a subnormalsubgroup. This follows from the somewhat stronger statement that every conjugate permutable subgroup is subnormal...
subnormalsubgroup of G. Then every subnormalsubgroup of G is serial. If the chain C is well-ordered and ascending, then H is an ascendant subgroup of...
Every normal subgroup is pronormal. Every Sylow subgroup is pronormal. Every pronormal subnormalsubgroup is normal. Every abnormal subgroup is pronormal...
Every subgroup of a finite group is a contranormal subgroup of a subnormalsubgroup. In general, every subgroup of a group is a contranormal subgroup of...
any subnormalsubgroup is the whole group. For finite groups, this is equivalent to the condition that the normalizer of any subnormalsubgroup be subnormal...
series is a normal subgroup of its successor. The series may be infinite. If the series is finite, then the subgroup is subnormal. Here are some properties...
every chief factor. The generalized Fitting subgroup is the unique largest subnormal quasi-nilpotent subgroup, and is equal to the set of all elements which...
{\displaystyle \mathbb {C} _{4}} is not a normal subgroup. A group G is called solvable if it has a subnormal series whose factor groups (quotient groups)...
composition series is a maximal subnormal series, while a chief series is a maximal normal series. If a group G has a normal subgroup N, then the factor group...
imperfect. In particular, every group can be embedded as a two-step subnormalsubgroup of an imperfect group of roughly the same cardinality (2|H|2). That...
component. The subgroup generated by the subnormal quasisimple subgroups is called the layer, and along with the minimal normal soluble subgroups generates...
is an involution whose centralizer has a subnormalsubgroup containing t with quaternion Sylow 2-subgroups. Aschbacher, Michael (1977a), "A characterization...
Gilbert's daughter. Lennox, John C.; Stonehewer, Stewart E. (1987). Subnormalsubgroups of groups. Oxford: Clarendon. ISBN 978-0-19-853552-2. ———; Gooding...
a normal subgroup of its predecessor. The series may be infinite. If the series is finite, then the subgroup is subnormal. Ascendant subgroup Martyn R...
Schreier refinement theorem of group theory states that any two subnormal series of subgroups of a given group have equivalent refinements, where two series...
In mathematics, a Baer group is a group in which every cyclic subgroup is subnormal. Every Baer group is locally nilpotent. Baer groups are named after...
if and only if every subgroup is permutable, by (Schmidt 1994, Lemma 2.3.2, p. 55). Every subgroup of a finite p-group is subnormal, and those finite groups...
polycyclic if and only if it admits a subnormal series with cyclic factors, that is a finite set of subgroups, let's say G0, ..., Gn such that Gn coincides...