Definition 10

Tag 055U, permanent. Cite it as [Bourbaki, Tag 055U].

The centralizer of a magma $E$ is called the centre of $E$ . An element of the centre of $E$ is called a central element of $E$ .

If $E$ is an associative magma its centre is a stable subset by the Corollary to Proposition 3 and the law induced on its centre is commutative.

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

Cited by

Nothing.