Regular wreath product

From Groupprops

Definition

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

Related notions