[GAP Forum] Wreath Product for Monoids
Attila Egri-Nagy
A.Egri-Nagy at herts.ac.uk
Fri May 10 13:00:03 BST 2013
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
More information about the Forum
mailing list