Example
Tag 05HA, permanent. Cite it as [Bourbaki, Tag 05HA].
Algebra, chapter I, § 8. Rings
(1) Every subgroup of the additive group which contains 1 is equal to . Thus is the only subring of .
(2) Let be a ring and a family of subrings of ; it is immediate that is a subring of . In particular, the intersection of the subrings of containing a subset of is a subring called the subring of generated by .
(3) Let be a subset of a ring . The centralizer of in is a subring of . In particular, the centre of is a subring of .
(4) Let be a commutative group with operators; let denote the set of operators and the action of on . Let be the endomorphism ring of the group without operators and the set of endomorphisms of the group with operators . By definition, consists of the endomorphisms of such that for all . Therefore is a subring of the ring . is called the endomorphism ring of the group with operators (cf. II, § 1, no. 2). Let be the subring of generated by the . Then is the centralizer of in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.