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

## Contents

## Statement

### Verbal statement

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

## Related facts

- 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

## Facts used

## Proof

The proof is direct from fact (1).