Example
Tag 05DB, permanent. Cite it as [Bourbaki, Tag 05DB].
Algebra, chapter I, § 6. Extensions, solvable groups, nilpotent groups
(1) A group is nilpotent of class 0 (resp. ) if and only if it consists of the identity element (resp. is commutative).
(2) For every commutative ring and every integer , the upper strict triangular group is nilpotent of class (and exactly of class if ).
(3) Let be a nilpotent group of class . Every subgroup (resp. every quotient group) of is nilpotent of class . For, if is a subgroup of , then . If is a quotient group of and is the canonical homomorphism, then .
(4) A finite product of nilpotent groups 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.