Sylow satisfies permuting transfer condition
This article gives the statement, and possibly proof, of a subgroup property (i.e., Sylow subgroup) satisfying a subgroup metaproperty (i.e., permuting transfer condition)
View all subgroup metaproperty satisfactions | View all subgroup metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about Sylow subgroup |Get facts that use property satisfaction of Sylow subgroup | Get facts that use property satisfaction of Sylow subgroup|Get more facts about permuting transfer condition
Statement with symbols
Further information: Sylow subgroup
- Index is multiplicative
- Lagrange's theorem
- Product formula: This states that if and are subgroups of , we have:
Given: A finite group , a Sylow subgroup of , a subgroup of such that .
To prove: is Hall in .
Proof: Rearranging the product formula (fact (3)) yields:
By Lagrange's theorem (fact (2)), and noting that is a subgroup of , we get:
By fact (1), we have:
Thus, we get:
In particular, divides . By Lagrange's theorem, we have that divides . Since and are relatively prime, we obtain that and are relatively prime. Thus, is a Sylow subgroup of .