Bourbaki

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. ≤1\leq 1) if and only if it consists of the identity element (resp. is commutative).

(2) For every commutative ring AA and every integer n≥1n \geq 1, the upper strict triangular group T1(n,A)T_1(n, A) is nilpotent of class ≤n−1\leq n - 1 (and exactly of class n−1n - 1 if A≠{0}A \neq \{0\}).

(3) Let GG be a nilpotent group of class nn. Every subgroup (resp. every quotient group) of GG is nilpotent of class ≤n\leq n. For, if HH is a subgroup of GG, then Cn(H)⊂Cn(G)C^n(H) \subset C^n(G). If G′G' is a quotient group of GG and π:G→G′\pi : G \to G' is the canonical homomorphism, then Cn(G′)=π(Cn(G))C^n(G') = \pi(C^n(G)).

(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.

Transcribed from the printed edition, 1998, Springer. Not translated.