Theorem 2
Tag 05E0, permanent. Cite it as [Bourbaki, Tag 05E0].
Algebra, chapter I, § 6. Extensions, solvable groups, nilpotent groups
Every finite group contains a Sylow -subgroup.
The proof depends on the following lemma.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.