Definition 6
Tag 05DA, permanent. Cite it as [Bourbaki, Tag 05DA].
Algebra, chapter I, § 6. Extensions, solvable groups, nilpotent groups
A group is called nilpotent if there exists an integer such that . The least integer such that is called the nilpotency class of a nilpotent group .
If , a group of nilpotency class is called a nilpotent group of class . It is sometimes said that the nilpotency class of a group is finite if is nilpotent.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.