Algèbre, IV, p. 83
It is set in small type as supplementary.
Soient K un corps commutatif, I un ensemble, et L l’algèbre associative libre de l’ensemble I sur l’anneau K (III, p. 21, déf. 2), munie de la graduation définie en III, p. 31. On définit le degré d’un élément de L, et la notion d’élément homogène, comme en IV, p. 2. a) Montrer que deg(uv)=deg(u)+deg(v) et deg(u+v)⩽sup(deg(u),deg(v)) pour u,v∈L. b) Soient u,v,q,q′∈L, tels que deg(u)⩾deg(v) et deg(qu−q′v)<deg(qu); montrer qu’il existe q′′∈L tel que deg(u−q′′v)<deg(u). c) Soient u,v,q,q′∈L avec deg(u)⩾deg(v)>deg(qu−q′v); montrer qu’il existe q′′∈L tel que deg(u−q′′v)<deg(v). d) Soient u,v,u′,v′∈L, homogènes, et tels que uv=u′v′ et deg(v)⩾deg(v′)⩾0; il existe t∈L tel que u′=ut,v=tv′. e) Soient u,v∈L, homogènes, tels que uv=vu. Il existe w∈L,a,b∈K, et m,n∈N, tels que u=awm,v=bwn. f) Soient u,v∈L tels qu’il existe a,b∈L, non nuls, avec au=bv; il existe m,d∈L tels que les multiples à gauche (resp. diviseurs à droite) communs à u et v soient les multiples à gauche (resp. diviseurs à droite) de m (resp. d).