In the context of the study of the k-word problem for the pseudovariedade LG (class of finite local groups), emerged in a natural way the construction of a class of semigroups which generate LG and which are important in the test of properties of this class of semigroups, namely in the proof of the decidability of the referred k-word problem. The construction of such semigroups will be obtained through presentations, i.e. the semigroups are defined as quotients of free semigroups.

Joint work with José Carlos Costa (CMAT, U. Minho) and Conceição Nogueira (CMAT, I.P. Leiria).