4
$\begingroup$

It is an interesting fact that a commutative ring $R$ is noetherian if and only if direct sums of injective $R$-modules are injective, and if and only if every injective $R$-module is a direct sum of indecomposable injective $R$-modules. In his book Lectures on modules and rings (Theorems 3.46 and 3.48), T.Y.Lam attributes the first one to Bass and Papp and the second one to Matlis and Papp. However, checking out the sources (unfortunately without access to the Papp article) reveals that the history might be more complicated; also the name of Eilenberg pops up somewhere. Hence:

Who was the first to prove these statements, and where were they published for the first time?

EDIT: Carlo Beenakker provided some information. But some points are still not clear to me.

Who was the first to prove that over a noetherian ring direct sums of injectives are injective?

As this appears as Exercise I.7.8 in Cartan-Eilenberg's Homological Algebra it must have been known before 1956.

Who was the first to prove that noetherianness is implied by the property that injectives are direct sums of indecomposable injectives?

This is not mentioned in Carlo's answer, but it might be in Papp's article - can someone confirm this? Lam is also unclear about this point. In Matlis's article only the other implication appears.

$\endgroup$
2
  • $\begingroup$ The Zentrallblatt review confirms that Papp indeed showed that noetherianness is implied by the property that injectives are direct sums of indecomposable injectives. $\endgroup$ Commented Apr 25, 2014 at 16:40
  • $\begingroup$ Meanwhile I got hold of Papp's article - Zentralblatt was right. Papp also proves that over noetherian rings direct sums of injectives are injective without mentioning any source. But at other places he cites Cartan-Eilenberg... $\endgroup$ Commented Apr 28, 2014 at 15:44

1 Answer 1

6
$\begingroup$

This seems like an authoritative source: An Introduction to noncommutative Noetherian rings (2004)

$\endgroup$
1
  • $\begingroup$ Dear Carlo, thanks for this information. I edited the question to point out what is still missing. $\endgroup$ Commented Apr 25, 2014 at 16:31

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .