Jorge Raminhos

Finding bases for the varieties generated by given semigroups

This talk presents a webpage that, given a finite semigroup S as input, either by entering its multiplication table, presentation using Prover9 syntax, or GAP smallsemi ID, will return: the representative in the isomorphism class of S, whose vector is lexicographically the least; a basis for the variety var(S), if var(S) = var(B) for some variety whose identification system is available in the variety database. The repository includes presently all varieties generated by semigroups up to order five, and the non-finitely based semigroups of order six. Other features of the webpage will also be discussed.