Regular wreath product
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.
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.