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