# Presentations for Test-Semigroups for LG

## Speaker:

## Date:

## Venue:

In order to solve the k-word problem for the pseudovariety LG of local groups, we began constructing examples of local groups to separate some k-terms. This naturally guided us to the construction of a family of generators of LG, the called test-semigroups for LG, and, in parallel, to the definition of a canonical form of k-terms over LG.