Corollary 1
Tag 05D3, permanent. Cite it as [Bourbaki, Tag 05D3].
Algebra, chapter I, § 6. Extensions, solvable groups, nilpotent groups
The derived group of a group is a characteristic subgroup of . In particular it is a normal subgroup 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.