The Semigroups package is a GAP package containing methods for semigroups, monoids, and inverse semigroups, principally of transformations, partial permutations, bipartitions, subsemigroups of regular Rees 0-matrix semigroups, free inverse semigroups, and free bands. Semigroups contains more efficient methods than those available in the GAP library (and in many cases more efficient than any other software) for creating semigroups, monoids, and inverse semigroup, calculating their Green’s structure, ideals, size, elements, group of units, small generating sets, testing membership, finding the inverses of a regular element, factorizing elements over the generators, and many more. It is also possible to test if a semigroup satisfies a particular property, such as if it is regular, simple, inverse, completely regular, and a variety of further properties. There are methods for finding congruences of certain types of semigroups, the normalizer of a semigroup in a permutation group, the maximal subsemigroups of a finite semigroup, and smaller degree partial permutation representations of inverse semigroups. There are functions for producing pictures of the Green’s structure of a semigroup, and for drawing bipartitions.
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
- Cameron, P.J.; Castillo-Ramirez, A.; Gadouleau, M.; Mitchell, J.D.: Lengths of words in transformation semigroups generated by digraphs (2017)
- Dolinka, Igor; East, James; Gray, Robert D.: Motzkin monoids and partial Brauer monoids (2017)
- East, James; Gray, Robert D.: Diagram monoids and Graham-Houghton graphs: idempotents and generating sets of ideals (2017)
- J. Jonusas, J. D. Mitchell, M. Pfeiffer: Parallel algorithms for computing finite semigroups (2017) arXiv
- Bailey, Alex; Finn-Sell, Martin; Snocken, Robert: Subsemigroup, ideal and congruence growth of free semigroups (2016)
- Mesyan, Zachary; Mitchell, J.D.: The structure of a graph inverse semigroup (2016)
- Dolinka, Igor; East, James: Variants of finite full transformation semigroups. (2015)
- Dolinka, Igor; East, James; Evangelou, Athanasios; FitzGerald, Des; Ham, Nicholas; Hyde, James; Loughlin, Nicholas: Enumeration of idempotents in diagram semigroups and algebras (2015)
- Distler, Andreas; Kelsey, Tom: The semigroups of order 9 and their automorphism groups. (2014)