Proposition 10
Tag 059M, permanent. Cite it as [Bourbaki, Tag 059M].
Algebra, chapter I, § 4. Groups and groups with operators
Let G be a group with operators and H a normal stable subgroup of G. The length of G is the sum of the lengths of H and G/H.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.