Definition 7

Tag 0592, permanent. Cite it as [Bourbaki, Tag 0592].

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

A group with operators $G$ is called simple if $G \neq \{e\}$ and there exists no normal stable subgroup of $G$ other than $G$ and $\{e\}$ .

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

Cited by

Exercise 3, § 9
§ 1. Modules
Theorem 3, § 7
Definition 1, § 4

Cites

Nothing.