Bourbaki

Exercise 6, § 1

Algebra, IV, p. 83

It is set in small type as supplementary.

Soient KK a commutative field, II a set, and LL the free associative algebra of the set II over the ring KK (III, p. 21, déf. 2), provided with the grading defined in III, p. 31. Define the degree of an element of LL, and the notion of homogeneous element, as in IV, p. 2. a) Prove that deg⁡(uv)=deg⁡(u)+deg⁡(v)\deg(uv) = \deg(u) + \deg(v) and deg⁡(u+v)⩽sup⁡(deg⁡(u),deg⁡(v))\deg(u + v) \leqslant \sup(\deg(u), \deg(v)) for u,v∈Lu, v \in L. b) Let u,v,q,q′∈Lu, v, q, q' \in L, such that deg⁡(u)⩾deg⁡(v)\deg(u) \geqslant \deg(v) and deg⁡(qu−q′v)<deg⁡(qu)\deg(qu - q'v) < \deg(qu); prove that there exists q′′∈Lq'' \in L such that deg⁡(u−q′′v)<deg⁡(u)\deg(u - q''v) < \deg(u). c) Let u,v,q,q′∈Lu, v, q, q' \in L with deg⁡(u)⩾deg⁡(v)>deg⁡(qu−q′v)\deg(u) \geqslant \deg(v) > \deg(qu - q'v); prove that there exists q′′∈Lq'' \in L such that deg⁡(u−q′′v)<deg⁡(v)\deg(u - q''v) < \deg(v). d) Let u,v,u′,v′∈Lu, v, u', v' \in L, homogeneous, and such that uv=u′v′uv = u'v' and deg⁡(v)⩾deg⁡(v′)⩾0\deg(v) \geqslant \deg(v') \geqslant 0; there exists t∈Lt \in L such that u′=ut,v=tv′u' = ut, v = tv'. e) Let u,v∈Lu, v \in L, homogeneous, such that uv=vuuv = vu. There exists w∈L,a,b∈Kw \in L, a, b \in K, and m,n∈Nm, n \in \mathbf{N}, such that u=awm,v=bwnu = aw^m, v = bw^n. f) Let u,v∈Lu, v \in L such that there exist a,b∈La, b \in L, nonzero, with au=bvau = bv; there exist m,d∈Lm, d \in L such that the common left multiples (resp. right divisors) of uu and vv are the left multiples (resp. right divisors) of mm (resp. dd).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.