Permutable implies locally 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., permutable subgroup) must also satisfy the second subgroup property (i.e., locally subnormal subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about permutable subgroup|Get more facts about locally subnormal subgroup

Statement

Any permutable subgroup of a group is a locally subnormal subgroup -- it is subnormal in its join with any finitely generated subgroup.