Bourbaki

Exercise 6, § 1

Algebra, IV, p. 87

Bourbaki marks this one as harder than the rest.

Let KK be a commutative field, ll a set and LL the free associative algebra on the set ll over the ring KK (III, p. 448, Def. 2) with the graduation defined in III, p. 458. We define the degree of an element of LL and the notion of homogeneous element as in IV, p. 2. a) Show 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) \leq \sup(\deg(u), \deg(v)) for u,v∈Lu, v \in L. b) Given u,v,q,q′∈Lu, v, q, q' \in L such that deg⁡(u)≥deg⁡(v)\deg(u) \geq \deg(v) and deg⁡(qu−q′v)<deg⁡(qu)\deg(qu - q'v) < \deg(qu); show that there exists q′′∈Lq'' \in L such that deg⁡(u−q′′v)<deg⁡(u)\deg(u - q''v) < \deg(u). c) Given u,v,q,q′∈Lu, v, q, q' \in L with deg⁡u≥deg⁡v>deg⁡(qu−q′v)\deg u \geq \deg v > \deg(qu - q'v); show that there exists q′′∈Lq'' \in L such that deg⁡(u−q′′v)<deg⁡v\deg(u - q''v) < \deg v. d) Given 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 \geq \deg v' \geq 0; there exists t∈Lt \in L such that u′=ut,v=tv′u' = ut, v = tv'. e) Given 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∈Km, n \in K such that u=awm,v=bwnu = aw^m, v = bw^n. f) Let u,v∈Lu, v \in L be such that there exist a,b∈La, b \in L, non-zero, with au=bvau = bv; there exist m,d∈Lm, d \in L such that the left multiples (resp. right divisors) common to uu and vv are left multiples (resp. right divisors) of mm (resp. dd).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.