Computing with semigroups in GAP. -- A tutorial

MaRDI QIDQ2709032zbMATH OpenFDO

Authors Isabel M. Araújo, Andrew Solomon

Publication date 16 June 2002

zbMATH Keywords

computational semigroup theoryendomorphismsfinitely presented semigroupsGAPGreen relationshomomorphismsorientation preserving mappingsRees matrix semigroupstransformation semigroups

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Free semigroups, generators and relations, word problems (20M05) General structure theory for semigroups (20M10) Semigroups of transformations, relations, partitions, etc. (20M20)

Review text

Possibilities to use the GAP (Groups, Algorithms, Programming) computational package (downloadable from \url{http://www.gap-system.org/gap/}) for investigating semigroup problems are illustrated using examples from the following areas: endomorphisms of a finite chain (transformation semigroups, congruences, Green relations), orientation preserving mappings (quotient semigroups, Rees matrix semigroups), power set semigroups (finitely presented semigroups, homomorphisms and enumerations), endomorphisms of the symmetric group (efficient representation of elements, semigroups of homomorphisms), the Heisenberg group (Knuth-Bendix procedure).NEWLINENEWLINEFor the entire collection see [Zbl 0954.00028].

Recommendations

• scientific article; zbMATH DE number 7235380
• Computing finite semigroups
• Computing transformation semigroups
• scientific article; zbMATH DE number 5556006
• Computing automorphisms of semigroups.

Cited in

(9)

• Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)
• Computing transformation semigroups
• SgpDec: cascade (de)compositions of finite transformation semigroups and permutation groups
• scientific article; zbMATH DE number 3859412 (Why is no real title available?)
• On semigroup presentations
• Semigroups -- a computational approach
• Calculations of exponent semigroups aided by a computer
• Sonata
• On the \texttt{GAP} package sgpviz.

Describes a project that uses

Uses Software

• GAP

This page was built for publication: Computing with semigroups in GAP. -- A tutorial

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2709032)