Identity problem

The algorithmic problem of recognizing the equality (identity) of words in an algebraic system (group; semi-group, and others) with given generators and defining relations.

Comments

This problem is better known as the word problem or word identity problem.