# External free product

This article describes a product notion for groups. See other related product notions for groups.

## Definition (for two groups)

### Definition in terms of words

Suppose  and  are groups. Let  be the disjoint union of the non-identity elements of  and .

The external free product of  and , denoted  is defined as the set of words of finite length with letters from , including the empty word, where the letters of the word alternate between  and , and where the multiplication is defined as follows:

• If either word is empty, the product is simply the other word.
• If  and  are two words such that the last letter of  and the first letter of  are from different groups, then the product is obtained simply by concatenating the words, i.e., writing  followed by .
• If the last letter of  (say ) and the first letter of  (say ) are from the same group, we do the following. We concatenate the words, then we replace the two letters  by their product . If this product is not the identity element, we have the new word. If the product is the identity element, we delete the letter, and now replace the letter before  and the letter after  by their product. If this is the identity element, we again delete it. We keep iterating this process.

Associativity is easy to verify; the inverse of a word is simply the word with the inverses of the individual letters written in opposite order, and the identity element is the empty word.

Note here that when we consider the external free product of a group with itself, we are really considering the external free product of two disjoint copies of the group (i.e., disjoint except at the identity).

### Equivalence with internal free product

Further information: Equivalence of internal and external free product

If a group is the internal free product of two subgroups, it is naturally isomorphic to their external free product, where these subgroups are identified with the words of length one from those same subgroups.

Note that unlike the case of direct products, there is no distinction between restricted and unrestricted external free products.

## Definition (for infinitely many groups)

### Definition in terms of words

Suppose  is an indexing set and  is a collection of groups. Let  be the pairwise disjoint union of the non-identity elements of . The external free product of the s is defined as the group whose elements are words of finite length with letters from , including the empty word, where no two adjacent letters of a word are from the same , and where multiplication is defined as follows:

• If either word is empty, the product is simply the other word.
• If  and  are two words such that the last letter of  and the first letter of  are from different groups, then the product is obtained simply by concatenating the words, i.e., writing  followed by .
• If the last letter of  (say ) and the first letter of  (say ) are from the same group, we do the following. We concatenate the words, then we replace the two letters  by their product . Then, if we find again that the last letter before the point of concatenation and the first letter after the point of concatenation are from the same group, we repeat the process.

### Equivalence with internal free product

Further information: Equivalence of internal and external free product

## Properties

### Commutativity

The external free product of  and  equals the external free product of  and . More generally, the external free product of any collection of groups does not depend on any ordering of that collection. Further information: External free product is commutative

### Associativity

The external free product is associative up to natural isomorphism:

.

Both of these are isomorphic to the external free product of the collection  as defined in the sense of the external free product of a collection of groups.

More generally, the order of parenthesization for external free products does not matter, even in the case of infinitely many groups.

Further information: External free product is associative

### Identity element

The trivial group is the identity element for the free product, in the sense that the free product of any group with the trivial group is isomorphic to the original group.