Bourbaki

Exemple 4

Étiquette 0DEY, permanente. À citer comme [Bourbaki, Tag 0DEY].

Algebra, chapter I, § 8. Anneaux

Soit GG un groupe commutatif à opérateurs; on note Ω\Omega l’ensemble d’opérateurs et α↦fα\alpha \mapsto f_\alpha l’action de Ω\Omega sur GG. Soit EE l’anneau des endomorphismes du groupe sans opérateurs GG et FF l’ensemble des endomorphismes du groupe à opérateurs GG. Par définition, FF se compose des endomorphismes φ\varphi de GG tels que φ⋅fα=fα⋅φ\varphi \cdot f_\alpha = f_\alpha \cdot \varphi pour tout α∈Ω\alpha \in \Omega. Par suite, FF est un sous-anneau de l’anneau EE. On appelle FF l’anneau des endomorphismes du groupe à opérateurs GG (cf. II, p. 5). Soit F1F_1 le sous-anneau de EE engendré par les fαf_\alpha. Alors FF est le commutant de F1F_1 dans EE.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.