[GAP Forum] Wreath Product for Monoids

[Attila Egri-Nagy]

Dear Jan Philip,

With the development version of the SgpDec package,
https://bitbucket.org/dersu/sgpdec, you can simply do

gap> S1 := Semigroup(Transformation([5,4,2,2,2]),
Transformation([2,3,4,4,5]));
<semigroup with 2 generators>
gap> S2 := Semigroup(Transformation([6,5,4,2,2,2]),
Transformation([6,2,3,4,4,5]));
<semigroup with 2 generators>

gap> S1wrS2 := SemigroupWreathProduct(S1,S2);
<wreath product of semigroups>
gap> Size(S1wrS2);
9143008

This gives the wreath product represented as the full cascade product,
definitions here: http://arxiv.org/abs/1303.0091

However, you already heard the bad news: it is in the development
version. Please let me know if you need help to set it up.

best,
attila


On Fri, May 10, 2013 at 9:11 PM, Jan Philipp Wächter
<waechtjn at studi.informatik.uni-stuttgart.de> wrote:
>
> Hi,
>
> WreathProduct only accepts groups as arguments. Is there a way to calculate
> the wreath product of two (finite) monoids?
>
> Regards,
> Jan Philipp
>
>
> _______________________________________________
> Forum mailing list
> Forum at mail.gap-system.org
> http://mail.gap-system.org/mailman/listinfo/forum