Algebra, IV, p. 83
It is set in small type as supplementary.
Soient K a commutative field, I a set, and L the free associative algebra of the set I over the ring K (III, p. 21, déf. 2), provided with the grading defined in III, p. 31. Define the degree of an element of L, and the notion of homogeneous element, as in IV, p. 2. a) Prove that deg(uv)=deg(u)+deg(v) and deg(u+v)⩽sup(deg(u),deg(v)) for u,v∈L. b) Let u,v,q,q′∈L, such that deg(u)⩾deg(v) and deg(qu−q′v)<deg(qu); prove that there exists q′′∈L such that deg(u−q′′v)<deg(u). c) Let u,v,q,q′∈L with deg(u)⩾deg(v)>deg(qu−q′v); prove that there exists q′′∈L such that deg(u−q′′v)<deg(v). d) Let u,v,u′,v′∈L, homogeneous, and such that uv=u′v′ and deg(v)⩾deg(v′)⩾0; there exists t∈L such that u′=ut,v=tv′. e) Let u,v∈L, homogeneous, such that uv=vu. There exists w∈L,a,b∈K, and m,n∈N, such that u=awm,v=bwn. f) Let u,v∈L such that there exist a,b∈L, nonzero, with au=bv; there exist m,d∈L such that the common left multiples (resp. right divisors) of u and v are the left multiples (resp. right divisors) of m (resp. d).