Supondo que um semigrupo S
admite uma transversal direita finita
relativamente a um subsemigrupo M (com uma identidade à direita) vamos
apresentar um sistema de reescrita finito e completo para S partindo de
um sistema de reescrita finito e completo de M.
Começaremos
por
introduzir os conceitos necessários para a formulação do resultado
acima mencionado. Seguidamente mostraremos como a solução para a
demonstração deste resultado se pode obter da análise do caso dos
subgrupos de índice finito. |