# Polynormal implies intermediately subnormal-to-normal

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., polynormal subgroup) must also satisfy the second subgroup property (i.e., intermediately subnormal-to-normal subgroup)

View all subgroup property implications | View all subgroup property non-implications

Get more facts about polynormal subgroup|Get more facts about intermediately subnormal-to-normal subgroup

## Contents

## Statement

### Property-theoretic statement

The subgroup property of being a polynormal subgroup is stronger than the subgroup property of being an intermediately subnormal-to-normal subgroup.

### Symbolic statement

If is a polynormal subgroup of , and is any intermediate subgroup containing , such that is subnormal inside , then is normal inside .

## Proof

### Simplifying the statement

Note that polynormality satisfies the intermediate subgroup condition. In other words, if , and is polynormal in , then is polynormal in . Thus, the statement reduces to the statement that any polynormal subnormal subgroup is normal.

In fact, we can further reduce the statement to saying that any polynormal 2-subnormal subgroup is normal (we need to again use that polynormality satisfies the intermediate subgroup condition).

### Proving the simplified version

Suppose is a polynormal 2-subnormal subgroup of . Then is normal inside its normal closure, and in particular inside any subgroup generated by with its conjugates. In particular, for any , is a normal subgroup of . But by the hypothesis of polynormality, there exists such that . This implies that is contranormal inside , forcing that . This proof works for every , so is a normal subgroup of .