One of the main problems in the theory of group presentations was the question: given any word in a finitely presented groups is there an algorithm to decide if the word is equal to the identity.
Isa sa mga pangunahing problema sa teorya ng mga grupo ng mga pagtatanghal ay ang tanong: binigyan ng anumang salita sa isang finitely ipinapahayag grupo ay may isang algorithm na magdesisyon kung ang salita ay pantay na ang identity.