ABSTRACT

REMARK 1 Let /, g\,. . . ,gr 6 A*. If / is not reduced with respect to G={gi,. . . ,<7r}, then there exist gj.,. . . ,qr,r € A such that /=£)i=i,...,r 9»S*+ r and r is reduced with respect to G. r is obtained by the usual reduction procedure in a finite number of steps, because a is a well ordering. In this case / reduces to r with respect to G.