Bourbaki

Example 4

Tag 000H, permanent. Cite it as [Bourbaki, Tag 000H].

Algebra, VIII, p. 5, § 1. Artinian Modules and Noetherian Modules

Let M be an A-module that is the direct sum of an infinite family (Mi)i∈I(M_i)_{i\in I} of nonzero submodules. Let E be the endomorphism ring of M. For every i∈Ii\in I, let ai\mathfrak{a}_i (resp. bi\mathfrak{b}_i) be the set of elements of E with kernel containing ∑j≠iMj\sum_{j\not=i}M_j (resp. with image contained in MiM_i). Then (ai)(\mathfrak{a}_i) is an infinite family of nonzero left ideals of E whose sum is direct, and (bi)(\mathfrak{b}_i) is an infinite family of nonzero right ideals of E whose sum is direct. Consequently, the ring E is neither left nor right Artinian (resp. Noetherian) (VIII, p. 2, Example 2). In particular, the endomorphism ring of an infinite-dimensional vector space is neither left nor right Artinian (resp. Noetherian).

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 2023, Springer Nature. Not translated.