## Tag `08XV`

Chapter 45: Dualizing Complexes > Section 45.3: Injective modules

Lemma 45.3.7. Let $R$ be a Noetherian ring. A direct sum of injective modules is injective.

Proof.Let $E_i$ be a family of injective modules parametrized by a set $I$. Set $E = \bigcup E_i$. To show that $E$ is injective we use Injectives, Lemma 19.2.6. Thus let $\varphi : I \to E$ be a module map from an ideal of $R$ into $E$. As $I$ is a finite $R$-module (because $R$ is Noetherian) we can find finitely many elements $i_1, \ldots, i_r \in I$ such that $\varphi$ maps into $\bigcup_{j = 1, \ldots, r} E_{i_j}$. Then we can extend $\varphi$ into $\bigcup_{j = 1, \ldots, r} E_{i_j}$ using the injectivity of the modules $E_{i_j}$. $\square$

The code snippet corresponding to this tag is a part of the file `dualizing.tex` and is located in lines 291–295 (see updates for more information).

```
\begin{lemma}
\label{lemma-sum-injective-modules}
Let $R$ be a Noetherian ring. A direct sum of injective modules
is injective.
\end{lemma}
\begin{proof}
Let $E_i$ be a family of injective modules parametrized by a set $I$.
Set $E = \bigcup E_i$. To show that $E$ is injective we use
Injectives, Lemma \ref{injectives-lemma-criterion-baer}.
Thus let $\varphi : I \to E$ be a module map from an ideal of $R$
into $E$. As $I$ is a finite $R$-module (because $R$ is Noetherian)
we can find finitely many elements $i_1, \ldots, i_r \in I$
such that $\varphi$ maps into $\bigcup_{j = 1, \ldots, r} E_{i_j}$.
Then we can extend $\varphi$ into $\bigcup_{j = 1, \ldots, r} E_{i_j}$
using the injectivity of the modules $E_{i_j}$.
\end{proof}
```

## Comments (0)

## Add a comment on tag `08XV`

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like `$\pi$`

). A preview option is available if you wish to see how it works out (just click on the eye in the lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.