Regular wreath product

Definition
Let $$G,H$$ be groups. The regular wreath product of $$G$$ by $$H$$ is defined as the external wreath product of $$G$$ by $$H$$ for the left-regular group action of $$H$$ on itself as a set.

Related notions

 * Restricted regular wreath product