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