Corollary 4
Tag 05E8, permanent. Cite it as [Bourbaki, Tag 05E8].
Algebra, chapter I, § 6. Extensions, solvable groups, nilpotent groups
Let be a normal subgroup of . The image in of a Sylow -subgroup of is a Sylow -subgroup of and every Sylow -subgroup of is obtained in this way.
Let and be the image in of a Sylow -subgroup of . The group operates transitively on and hence is equipotent to , where is a subgroup of containing . Therefore divides , is thus not a multiple of and the -group is a Sylow -subgroup of . Let be another Sylow -subgroup of ; then for some ; if is a representative of , the group is the image of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.