Bourbaki

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 x∈Gx \in G. The automorphism y↦xyx−1y \mapsto xyx^{-1} is called the inner automorphism of G defined by x and is denoted by Int⁡x\operatorname{Int} x.

For x,y∈Gx, y \in G, we also write xy=y−1xy=(Int⁡y−1)(x)x^y = y^{-1}xy = (\operatorname{Int} y^{-1})(x).

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.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.