Why does the direct sum of infinitely many groups require only finitely many are nonzero?
Is it just a case that the direct sum and direct product are two different things, and those are their names? Or is there a logical connection between the idea of a sum and a product that governs one permitting infinitely many nonzero elements and the other not?