3.22); every infinite direct sum of injective modules is injective if and only if the ring is Noetherian, (Lam 1999, Th 3.46).
3.22) ; κάθε άπειρο ευθύ άθροισμα από αμφιμονοσήμαντα πρότυπα είναι μονομορφισμός αν και μόνο αν ο δακτύλιος είναι Noetherian , (Lam 1999, Th 3.46).