An ideal I in the free associative algebra $\kappa \,\langle $X1, ... , X$_{n}\rangle $ over a field k is shown to have a finite Grobner basis if the algebra defined ...