Template:Subgroup property implication in

This article gives the statement and possibly, proof, of an implication relation between two subgroup properties, when the big group is a [[{{{group property}}}]]. That is, it states that in a , every subgroup satisfying the first subgroup property must also satisfy the second subgroup property . In other words, every is a .
[[:Category:Subgroup property implications in {{{group property}}}s|View all subgroup property implications in {{{group property}}}s]] $|$ [[:Category:Subgroup property non-implications in {{{group property}}}s|View all subgroup property non-implications in {{{group property}}}s]] $|$ View all subgroup property implications $|$ View all subgroup property non-implications