# Hall implies join of Sylow subgroups

From Groupprops

Revision as of 10:24, 29 September 2008 by Vipul (talk | contribs) (New page: {{subgroup property implication| stronger = Hall subgroup| weaker = join of Sylow subgroups}} ==Statement== Any Hall subgroup of a finite group can be expressed as a [[join of su...)

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., Hall subgroup) must also satisfy the second subgroup property (i.e., join of Sylow subgroups)

View all subgroup property implications | View all subgroup property non-implications

Get more facts about Hall subgroup|Get more facts about join of Sylow subgroups

## Statement

Any Hall subgroup of a finite group can be expressed as a join of Sylow subgroups.

## Facts used

## Proof

**Given**: A finite group , a Hall subgroup .

**To prove**: is a join of Sylow subgroups.

**Proof**: Let be the set of prime divisors of the order of . For each , let be a -Sylow subgroup of . Such a exists by fact (1), and is also Sylow in by fact (2).

Now, the join of the s is contained in , because each is contained in . On the other hand, the order of the join of the s must be a multiple of the order of each by Lagrange's theorem, and hence it must be a multiple of their lcm. But the lcm of the orders of the s *is* the order of , forcing the join of the s to equal .