Problema da palavra para grupos

Na álgebra abstrata, o problema da palavra de um receptor recursivo na resolução de um algoritmo de nome grupo G, fornece um algoritmo de duas palavras para G, de forma que representem o mesmo elemento G. Apesar de ser dito popularmente como "Problema da palavra para grupos G" precisamente, ela é uma representação de um grupo que faz ou não faz soluções para esses tipos de problemas. Dadas duas representações finitas P e Q de um grupo G, P têm solução por meio do Problema da palavra para grupos caso Q apresente uma solução e/ou um valor diferente de uma incógnita. Neste caso não há nenhuma confusão em dizer problema da palavra para G (pois G representa quaisquer grandezas e/ou algoritmos inseridos em um conjunto). Quando um conjunto é recursivamente representado, mas não finitamente representado, as distinções se tornam importantes.

A relatada (mas não definida) forma desconhecida da palavra para uma classe K recursivamente representa grupos nos problemas aritméticos, dados como uma representação de P de um conjunto G da classe K como duas palavras geradoras de G, como também as palavras também representam os mesmos elementos de G. Alguns problemas requerem a classe K para ser definida como uma "tabela recursiva enumerada de representações".

W. W. Boone, F. B. Cannonito, and R. C. Lyndon. Word Problems: Decision Problem in Group Theory. Netherlands: North-Holland. 1973. W. W. Boone and G. Higman, "An algebraic characterization of the solvability of the word problem", J. Austral. Math. Soc. 18, 41-53 (1974) W. W. Boone and H. Rogers Jr., "On a problem of J. H. C. Whitehead and a problem of Alonzo Church", Math. Scand. 19, 185-192 (1966).'

A. V. Kuznetsov, "Algorithms as operations in algebraic systems", Izvestia Akad. Nauk SSSR Ser Mat (1958) C. F. Miller. "Decision problems for groups -- survey and reflections." In Algorithms and Classification in Combinatorial Group Theory, pages 1–60. Springer, 1991.

J. Stillwell. "The word problem and the isomorphism problem for groups." Bulletin AMS 6 (1982), pp 33–56.

Categoria:Matemática