and it is a group with respect to the componentwise operation derived from the operations of the groups .
This definition can easily be extended to any collection of groups, where is any finite or infinite set of indices.
If the additional condition on the identity elements is dropped, we get the definition of the group direct product. Hence, the two notions coincide whenever the set of indices is finite. Thus, for any groups and ,
denote the same object.
If and are subgroups of the same additive group , the equality
conventionally means that every has a unique decomposition , where and , so that is essentially the same as the set of all ordered pairs .