Normal Hall implies permutably complemented

From Groupprops
Revision as of 12:39, 26 September 2008 by Vipul (talk | contribs) (New page: {{subgroup property implication| stronger = normal Hall subgroup| weaker = permutably complemented subgroup}} ==Name== This result is sometimes called '''Schur's theorem''', and is consi...)
(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. That is, it states that every subgroup satisfying the first subgroup property (i.e., normal Hall subgroup) must also satisfy the second subgroup property (i.e., permutably complemented subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about normal Hall subgroup|Get more facts about permutably complemented subgroup

Name

This result is sometimes called Schur's theorem, and is considered a part of the Schur-Zassenhaus theorem, which also asserts that any two permutable complements to a normal Hall subgroup are conjugate.

Statement

Verbal statement

Any normal Hall subgroup of a group is permutably complemented.

Statement with symbols

Suppose N is a normal Hall subgroup of a group G. Then there exists a subgroup H \le G such that N \cap H is trivial and NH = G. Note that this makes H a Hall subgroup as well.