Bourbaki

Example

Tag 05HA, permanent. Cite it as [Bourbaki, Tag 05HA].

Algebra, chapter I, § 8. Rings

(1) Every subgroup of the additive group Z\mathbf{Z} which contains 1 is equal to Z\mathbf{Z}. Thus Z\mathbf{Z} is the only subring of Z\mathbf{Z}.

(2) Let AA be a ring and (At)t∈I(A_t)_{t \in I} a family of subrings of AA; it is immediate that ⋂t∈IAt\bigcap_{t \in I} A_t is a subring of AA. In particular, the intersection of the subrings of AA containing a subset XX of AA is a subring called the subring of AA generated by XX.

(3) Let XX be a subset of a ring AA. The centralizer of XX in AA is a subring of AA. In particular, the centre of AA is a subring of AA.

(4) Let GG be a commutative group with operators; let Ω\Omega denote the set of operators and α↦fα\alpha \mapsto f_\alpha the action of Ω\Omega on GG. Let EE be the endomorphism ring of the group without operators GG and FF the set of endomorphisms of the group with operators GG. By definition, FF consists of the endomorphisms ϕ\phi of GG such that ϕ⋅fα=fα⋅ϕ\phi \cdot f_\alpha = f_\alpha \cdot \phi for all α∈Ω\alpha \in \Omega. Therefore FF is a subring of the ring EE. FF is called the endomorphism ring of the group with operators GG (cf. II, § 1, no. 2). Let F1F_1 be the subring of EE generated by the fαf_\alpha. Then FF is the centralizer of F1F_1 in EE.

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.