Corollary 1

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

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

Let G be a group with operators and X a subset of G which is stable under the action of $\Omega$ . The subgroup generated by X and the stable subgroup generated by X coincide.

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

Cited by

Nothing.

Cites

Nothing.