Finite Gröbner basis algebra with unsolvable problem of zero divisors

This work presents a sample construction of an algebra with the ideal of relations defined by a finite Gröbner basis for which the question whether this element is a zero divisor is algorithmically unsolvable. This gives the negative answer to a question raised by V. N. Latyshev.