Hall implies order-dominating in finite solvable

From Groupprops
Revision as of 22:47, 18 July 2008 by Vipul (talk | contribs) (New page: {{subgroup property implication in|finite solvable group}} ==Statement== In a finite solvable group, every Hall subgroup is order-dominating. ==Fac...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
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
"{{{group property}}}" is not a number.
, 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
[[Category:Subgroup property implications in {{{group property}}}s]]

Statement

In a finite solvable group, every Hall subgroup is order-dominating.

Facts used

ECD condition for pi-subgroups in solvable groups