Restricted regular wreath product

From Groupprops

Definition

Let be groups. The restricted regular wreath product of by is the restricted external wreath product of by corresponding to the left-regular group action of on itself.