The direct-sum-of-uniforms conjecture for finitely generated injective modules
Direct-sum-of-uniforms conjecture. EEE is a direct sum of uniform modules.
MathDB