Algorithmic problems in varieties

O. Kharlampovich, M. Sapir

IBP-Litp 1995/31: Rapport de Recherche Litp / Litp research reports
245 pages - Juin/June 1995 - Document en anglais.

PostScript : Ko /Kb

Titre / Title: Algorithmic problems in varieties


Résumé : Ce texte de synthèse est consacré aux problèmes algorithmiques dans les variétés de groupes, de semigroupes, d'algèbres de Lie et d'algèbres associatives. On y discute des rapports entre les problèmes algorithmiques et d'autres problèmes algébriques. On y présente aussi plusieurs méthodes de démonstration de la décidabilité ou de l'indécidabilité de problèmes algorithmiques.

Abstract : This survey is devoted to algorithmic problems in varieties of groups, semigroups, Lie and associative algebras. We discuss connections between different algorithmic problems, between algorithmic problems and related parts of algebra. We also present methods of proving decidability and undecidability of algorithmic problems.


Publications internes Litp 1995 / Litp research reports 1995