Finite Groebner basis algebras with unsolvable nilpotency and zero divisor problems
Constructions of two algebras, both with the ideal of relations defined by a finite Groebner basis, will be presented. For the first algebra the question of whether a given element is nilpotent is algorithmically unsolvable, for the second the question of whether a given element is a zero divisor is algorithmically unsolvable. This gives a negative answer to questions raised by Latyshev.
תאריך עדכון אחרון : 17/01/2017