Corollary
Tag 05DX, permanent. Cite it as [Bourbaki, Tag 05DX].
Algebra, chapter I, § 6. Extensions, solvable groups, nilpotent groups
Let G be a p-group. Every subgroup of G of index p is normal.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.