External free product

From Groupprops
Jump to: navigation, search
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

Relation with other product notions

Weaker product notions

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.

Facts