# 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 .