Definition 4
Tag 05B9, permanent. Cite it as [Bourbaki, Tag 05B9].
Algebra, chapter I, § 5. Groups operating on a set
Let G be a group and . The automorphism is called the inner automorphism of G defined by x and is denoted by .
For , we also write .
A subgroup of G is normal if and only if it is stable under all inner automorphisms of G (§ 4, no. 4, Definition 5). A subgroup of G is called characteristic if it stable under all automorphisms of G. The centre of a group G is a characteristic subgroup (formula (2)).
The centre of a group G is not necessarily stable under all endomorphisms of G (Exercise 22). In particular, the centre of a group with operators is not necessarily a stable subgroup.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.