Proposition 3

Tag 058T, permanent. Cite it as [Bourbaki, Tag 058T].

Algebra, chapter I, § 4. Groups and groups with operators

Let G be a group with operators, P a subset of G and H a stable subgroup G not meeting P. The set of stable subgroups of G containing H and not meeting P has a maximal element.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Theorem 1 (Krull), § 8

Cites

Nothing.