# Presentation of direct product is disjoint union of presentations plus commutation relations

## Statement

### For two groups

Suppose and are groups given by presentations. Then, the External direct product (?) of can be given a presentation as follows: *make disjoint* the generating sets for and (i.e., make sure that different letters are used for generators). Then:

- The generating set for is a disjoint union of the generating sets for and .
- The relation set for is as follows: The disjoint union of the relations for , the relations of , and the following
*commutation relations*: a relation for every generator of and every generator of claiming that they commute.

### For more than two groups

The same idea applies to more than two groups: make disjoint the generators, then take disjoint union of the generating sets and of the relations, and add a commutation relation for every pair of generators that arise from different factors.

When dealing with finitely many groups, this still gives the external direct product. However, when dealing with infinitely many groups, the group we get is not the external direct product but rather the restricted external direct product, which is the subgroup of the external direct product where only finitely many coordinates are allowed to be non-identity elements.