Permutable and subnormal implies join-transitively subnormal
From Groupprops
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., permutable subnormal subgroup) must also satisfy the second subgroup property (i.e., join-transitively subnormal subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about permutable subnormal subgroup|Get more facts about join-transitively subnormal subgroup
This article describes a computation relating the result of the Join operator (?) on two known subgroup properties (i.e., Permutable subnormal subgroup (?) and Subnormal subgroup (?)), to another known subgroup property (i.e., Subnormal subgroup (?))
View a complete list of join computations
Statement
Statement with symbols
Suppose are subgroups such that
is a permutable subnormal subgroup -- it is both subnormal and permutable, and
is a subnormal subgroup. Then the join
is also subnormal, and its subnormal depth is bounded by a function of the subnormal depths of
and
.