Corollary
Tag 05DD, permanent. Cite it as [Bourbaki, Tag 05DD].
Algebra, chapter I, § 6. Extensions, solvable groups, nilpotent groups
A central extension of a nilpotent group (by a necessarily commutative group) is nilpotent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.