Algorithms for computing finite semigroups

Jean-Eric Pin (1) , Véronique Delcroix (2)

1 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications
2 LAMIH - Laboratoire d'Automatique, de Mécanique et d'Informatique industrielles et Humaines - UMR 8201

The aim of this paper is to present algorithms to compute finite semigroups. The semigroup is given by a set of generators taken in a larger semigroup, called the "universe". This universe can be for instance the semigroup of all functions, partial functions, or relations on the set {1, ..., n}, or the semigroup of n x n matrices with entries in a given finite semiring. The algorithm produces simultaneously a presentation of the semigroup by generators and relations, a confluent rewriting system for this presentation and the Cayley graph of the semigroup. The elements of the semigroups are identified with the reduced words of the rewriting system. We also give some efficient algorithms to compute the Green relations, the local subsemigroups and the syntactic quasi-order of subsets of the semigroup.

Mots clés: Finite semigroups; computation of semigroups

Domaines: Théorie des groupes [math.GR]; Mathématique discrète [cs.DM]; Logiciel mathématique [cs.MS]

Jean-Eric Pin, Véronique Delcroix. Algorithms for computing finite semigroups. Foundations of Computational Mathematics, 1997, Rio de Janeiro, Brazil. pp.112-126. ⟨hal-00143949⟩