Restricted regular wreath product
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.
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.