 Wreath product

The restricted wreath product of groups $H$ and $G$ iswhere $G$ acts on the finitely supported functions $G\to H$ by translation.

In group theory, the wreath product is a specific way to construct a new group from two given groups. It is particularly useful in the study of permutation groups and can be thought of as a form of "combining" groups while retaining certain properties.