Normal implies join-transitively subnormal
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., normal 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 normal subgroup|Get more facts about join-transitively subnormal subgroup
- Any normal subgroup of a group is a join-transitively subnormal subgroup.
- The join of a normal subgroup and a subnormal subgroup is subnormal.
Statement with symbols
- If is a normal subgroup of , is also join-transitively subnormal in .
- If is a normal subgroup of and is a subnormal subgroup of , is a subnormal subgroup of .
- Join of normal and subnormal implies subnormal of same depth
- Normal implies join-transitively 2-subnormal
- 2-subnormal implies join-transitively subnormal
- Permutable and subnormal implies join-transitively subnormal
The proof is direct from fact (1).