Example
Tag 05H8, permanent. Cite it as [Bourbaki, Tag 05H8].
Algebra, chapter I, § 8. Rings
(1) Let A be a ring. It is immediately seen that the mapping of into A is the unique homomorphism of into A. In particular, the identity mapping of is the unique endomorphism of the ring .
In particular, take A to be the endomorphism ring of the additive group (no. 3, Example VI). The mapping of into A is an isomorphism of onto A by the very construction of multiplication in (§ 2, no. 6).
(2) Let be an invertible element of a ring A. The mapping is an endomorphism of A for
It is bijective, for the relation is equivalent to . It is therefore an automorphism of the ring A, called the inner automorphism associated with .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.