Correction To: An Algorithmic Solution for a Word Problem in Group Theory
N. S. Mendelsohn · Canadian Journal of Mathematics · 1965
The proof of Lemma 1, page 512, is incorrect as was pointed out to me by N. Losey.This mistake is easily rectified and the following proof is offered as a substitute.LEMMA 1.After a finite number of steps the first r rows of all the tables are stabilized, i.e. none of the entries are further altered because of redundancy.