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. |