Definition 10
Tag 059G, permanent. Cite it as [Bourbaki, Tag 059G].
Algebra, chapter I, § 4. Groups and groups with operators
A Jordan-Hölder series of a group with operators G is a strictly decreasing decomposition series \Sigma such that there exists no strictly decreasing decomposition series distinct from \Sigma and finer than \Sigma.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.