Assertion: abelian group's element | /r/MadeOf | tuples of elements
Facets:
value: from each group
type: OTHER
value: with many
type: OTHER
Source sentences:
text: The direct sum of finitely many groups is the same as the direct product, but differs from the direct product on an infinite number of summands; its elements consist of tuples of elements from each group with all but finitely many of them equal to the identity element.