Bourbaki

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 Dn(G)={e}D^n(G) = \{e\}. If G is a solvable group, the least integer n such that Dn(G)={e}D^n(G) = \{e\} is called the solvability class of G.

A solvable group of solvability class nn is called a solvable group of class nn. 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.

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