# 2-subnormal implies conjugate-permutable

This article describes a fact or result that is not basic but it still well-established and standard. The fact may involve terms that are themselves non-basic
View other semi-basic facts in group theory
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
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., 2-subnormal subgroup) must also satisfy the second subgroup property (i.e., conjugate-permutable subgroup)
View all subgroup property implications | View all subgroup property non-implications

## Statement

### Verbal statement

Any 2-subnormal subgroup (i.e. a subgroup that is normal inside its normal closure) is conjugate-permutable.

### Symbolic statement

Suppose $H$ is a 2-subnormal subgroup of $G$. In other words, $H$ is a normal subgroup inside its normal closure in $G$. Then, for any $g \in G$, $H$ and $gHg^{-1}$ are permuting subgroups.

### Property-theoretic statement

The subgroup property of being 2-subnormal is stronger than the subgroup property of being conjugate-permutable.

## Definitions used

### 2-subnormal subgroup

Further information: 2-subnormal subgroup

### Conjugate-permutable subgroup

Further information: Conjugate-permutable subgroup

## Proof

### Proof modulo the fact on automorph-permutable subgroups

A 2-subnormal subgroup is an normal subgroup of a normal subgroup. Since any normal subgroup is automorph-permutable, a 2-subnormal subgroup is an automorph-permutable subgroup of a normal subgroup. Using the above fact, we conclude that any 2-subnormal subgroup is conjugate-permutable.