James Mitchell (University of St Andrews)
COMPUTING WITH FINITE SEMIGROUPS
In this talk I will discuss the problem of how to compute a finite semigroup. What does it mean to `compute' a finite semigroup? It means to find structural information about that semigroup, for example, calculating their Green's classes, size, elements, group of units, minimal ideal, small generating sets, testing membership, finding the inverses of a regular element, factorizing elements over the generators, and so on.
I will review what is known about computing with finite semigroups and give an overview of recently developed functionality in the computer algebra system GAP. No prior knowledge of computing or of semigroup theory will be assumed. Time permitting, I will demonstrate the Semigroups software package for computing with semigroups of transformations and partial permutations, and describe some recent theoretical advances that will allow the methods in Semigroups to be applied to several other natural types of semigroup including monoids of partitions.
---------------------------------------------------------------------------------------
A campus map may be found here. For more information, please contact James East(J.East@uws.edu.au).