Detalhes bibliográficos
| Ano de defesa: |
2015 |
| Autor(a) principal: |
Santos, Laredo Rennan Pereira
 |
| Orientador(a): |
Oliveira, Ricardo Nunes de
|
| Banca de defesa: |
Rodrigues, Paulo Henrique de Azevedo,
Oliveira, Ricardo Nunes de,
Dias, Ivonildes Ribeiro Martins,
Berlatto, Adilson Antônio |
| Tipo de documento: |
Dissertação
|
| Tipo de acesso: |
Acesso aberto |
| Idioma: |
por |
| Instituição de defesa: |
Universidade Federal de Goiás
|
| Programa de Pós-Graduação: |
Programa de Pós-graduação em Matemática (IME)
|
| Departamento: |
Instituto de Matemática e Estatística - IME (RG)
|
| País: |
Brasil
|
| Palavras-chave em Português: |
|
| Palavras-chave em Inglês: |
|
| Área do conhecimento CNPq: |
|
| Link de acesso: |
http://repositorio.bc.ufg.br/tede/handle/tede/4552
|
Resumo: |
In this work we consider monoid presentations MonhX,Ri, with set of generators X and relations R, defining groups and monoids as equivalence classes of words over X, in relation to a congruence generated by R. Taking R as a rewriting system with respect to an linear ordering of X , the set of words over X, we can apply some rewriting strategies in its laws. We use a version of the Knuth-Bendix method in R to find a confluent rewriting system equivalent to original, when such finite system exist. This new set of relations, denoted by RC(X, R), allows that in MonhX,Ri any element be defined by a unique irreducible word with respect to RC(X, R). We exhibit several examples of the execution of the Knuth-Bendix method from the functions of KBMAG package of the GAP system. Lastly, we set up a sufficient condition so that certain monoid presentations for polycyclic groups be confluent. |
