This subset does indeed form a group, and for a finite set of groups {Hi} the external direct sum is equal to the direct product.
This subset does indeed form a group, and for a finite set of groups {Hi} the external direct sum is equal to the direct product.