Semigroups in GAP

GAP is a computer algebra system for discrete algebra. While the core focus of GAP is group theory, several extensions to the system are provided by packages. An index of GAP packages that are shipped together with gap is available online in the GAP Packages section of the GAP system website.

In this worksheet we will be primarily focused on using the Semigroups package for computational investigations of semigroups. The worksheet does not assume prior familiarity with the GAP programming language, though we recommend the GAP software carpentries lesson to those interested in learning more about GAP.

Click on the menu at the top left for links to the different parts of this tutorial, or select from one of the options below:

• Installing GAP and the Semigroups package
• First steps with GAP
• Semigroups and monoids defined by generators
• Finitely presented semigroups and monoids
• Worksheet