## Tag `08XU`

Chapter 45: Dualizing Complexes > Section 45.3: Injective modules

Lemma 45.3.7. Let $R$ be a ring. Let $E$ be an $R$-module. The following are equivalent

- $E$ is an injective $R$-module, and
- given an ideal $I \subset R$ and a module map $\varphi : I \to E$ there exists an extension of $\varphi$ to an $R$-module map $R \to E$.

Proof.The implication (1) $\Rightarrow$ (2) follows from the definitions. Thus we assume (2) holds and we prove (1). First proof: The lemma follows from More on Algebra, Lemma 15.52.4. Second proof: Since $R$ is a generator for the category of $R$-modules, the lemma follows from Injectives, Lemma 19.11.6.Third proof: We have to show that every essential extension $E \subset E'$ is trivial, see Lemma 45.3.5. Pick $x \in E'$ and set $I = \{f \in R \mid fx \in E\}$. The map $I \to E$, $f \mapsto fx$ extends to $\psi : R \to E$ by (2). Then $x' = x - \psi(1)$ is an element of $E'$ whose annihilator in $E'/E$ is $I$ and which is annihilated by $I$ as an element of $E'$. Thus $Rx' = (R/I)x'$ does not intersect $E$. Since $E \subset E'$ is an essential extension it follows that $x' \in E$ as desired. $\square$

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

```
\begin{lemma}
\label{lemma-characterize-injective}
Let $R$ be a ring. Let $E$ be an $R$-module. The following are equivalent
\begin{enumerate}
\item $E$ is an injective $R$-module, and
\item given an ideal $I \subset R$ and a module map $\varphi : I \to E$
there exists an extension of $\varphi$ to an $R$-module map $R \to E$.
\end{enumerate}
\end{lemma}
\begin{proof}
The implication (1) $\Rightarrow$ (2) follows from the definitions.
Thus we assume (2) holds and we prove (1).
First proof: The lemma follows from
More on Algebra, Lemma \ref{more-algebra-lemma-characterize-injective-bis}.
Second proof: Since $R$ is a generator for the category of $R$-modules,
the lemma follows from
Injectives, Lemma \ref{injectives-lemma-characterize-injective}.
\medskip\noindent
Third proof: We have to show that every essential extension $E \subset E'$
is trivial, see Lemma \ref{lemma-essential-extensions-in-injective}.
Pick $x \in E'$ and set $I = \{f \in R \mid fx \in E\}$.
The map $I \to E$, $f \mapsto fx$ extends to $\psi : R \to E$ by (2).
Then $x' = x - \psi(1)$ is an element of $E'$ whose annihilator in
$E'/E$ is $I$ and which is annihilated by $I$ as an element of $E'$.
Thus $Rx' = (R/I)x'$ does not intersect $E$. Since $E \subset E'$
is an essential extension it follows that $x' \in E$ as desired.
\end{proof}
```

## Comments (1)

## Add a comment on tag `08XU`

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.