[GAP Forum] Isomorphismtransformationsemigroup

[Alexander Konovalov]

Dear Mohammad,

if phi is a mapping, you can use

a^phi

to calculate phi(a)

HTH
Alexander


> On 26 Jan 2018, at 10:20, Mohammad Reza Sorouhesh <msorouhesh at gmail.com> wrote:
> 
> Dear Froum,
> My question concerns a certain map say isomorphism on finite semigroups.
> GAP has a nice code 'IsomorphismTransformationSemigroup( S)' in which one
> can find a possible generic attribute semigroup that is a transformation
> semigroup isomorphic to $S$ say $R$. Let $a∈ S$ and let $\phi$ be above
> noted isomorphic map. How can I call $\phi(a)$ in GAP? I mean how can I
> find the image of $a$ under mapping $\phi$?  I know that this map takes
> generator to generator. So that $a$ may be any other element of $S$. I hope
> this question is not a very famous duplicate question. Thanks
> _______________________________________________
> Forum mailing list
> Forum at gap-system.org
> https://mail.gap-system.org/mailman/listinfo/forum