The Bass-Papp Theorem asserts that a commutative ring $R$ is Noetherian iff every direct sum of injective $R$-modules is injective. Thus every non-Noetherian ring carries a counterexample.

If $$ I_1 ⊊I_2⊊\cdots⊊I_n⊊\cdots $$ is an infinite properly ascending chain of ideals of $R$, then for all $n$ let $E_n=E(R/I_n)$ be an injective envelope of $R/I_n$, and let $E=\bigoplus_{n\ge 1} E_n$. Then $E$ is a direct sum of injective modules and $E$ is not itself injective. How to prove that $E$ itself is not injective?


The standard proof that I am aware of is actually explicit in this regard.

As you note, assume that $I_1\subsetneq I_2\subsetneq\cdots$ is an infinite ascending chain of ideals of $R$, let $E(R/I_n)$ be the injective envelope of $R/I_n$ for each $n$, and let $$E=\bigoplus_{n=1}^{\infty}E(R/I_n)$$ be the their direct sum.

Let $I=\bigcup\limits_{i=1}^{\infty} I_n$.

For each $n$, let $f_n$ be the composition of the embedding $I\hookrightarrow R$ with the canonical map $R\to E(R/I_n)$ (map to the quotient, then embed into the envelope).

Since we have a map from $I$ to each $E(R/I_n)$, we obtain a map $f\colon I\to \mathop{\prod}\limits_{n=1}^{\infty}E(R/I_n)$ by the universal property of the product. In fact, the image of $f$ lies in the direct sum, since for every $x\in I$ there exists $n\in\mathbb{N}$ such that $x\in I_m$ for all $m\geq n$, hence the image of $x$ is $0$ in $R/I_n$. So we have a map $I\to E$.

I claim that $f$ does not extend to a module homomorphism $\overline{f}\colon R\to E$ (which it would necessarily do if $E$ were injective). Assume to the contrary that we have an extension $\overline{f}\colon R\to E$. Being a module homomorphism with domain the free module of rank $1$, it is completely determined by $\overline{f}(1)$, and so it has the form $\overline{f}(x) = xe$ for all $x\in R$, where $e=\overline{f}(1)\in E$.

Now, let $n_0$ be a positive integer such that the $m$th component of $e$ is $0$ for all $m\geq n_0$. Let $x\in I_{n_0}\setminus I_{n_0-1}$. When we map $x$ to $R/I_{n_0}$, we obtain a nonzero element; hence the $n_0$th component of $f(x)$ must be nonzero (since $R/I_{n_0})$ embeds into $E(R/I_{n_0})$). But $f(x) = \overline{f}(x) = xe$, and the $n_0$th component of $e$ is $0$, hence so is that of $f(x)$, a contradiction.

The contradiction arises from the assumption that we can extend the map $f\colon I\to E$ to a module homomorphism $R\to E$. Hence no such extension exists, so $E$ is not injective.

| cite | improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.