代数, IV, p. 87
Bourbaki marks this one as harder than the rest.
设K为交换域、l集合和L在集合l上的自由结合律代数超过环K(III,p. 448, Def. 2) 分级定义为 III、p. 458。我们L的元素和元素的定义次数和同质元素的概念如IV,p. 2。 a) 证明 deg(uv)=deg(u)+deg(v) 和 deg(u+v)≤sup(deg(u),deg(v)) 对应于 u,v∈L。 b) 给定u,v,q,q′∈L使得deg(u)≥deg(v)和deg(qu−q′v)<deg(qu);证明存在q′′∈L使得deg(u−q′′v)<deg(u)。 c) 给定 u,v,q,q′∈L 和 degu≥degv>deg(qu−q′v);证明存在q′′∈L使得deg(u−q′′v)<degv。 d) 给定 u,v,u′,v′∈L,齐次且满足 uv=u′v′ 和 degv≥degv′≥0;存在t∈L使得u′=ut,v=tv′。 e) 给定u,v∈L,齐次,使得uv=vu,存在w∈L,a,b∈K和m,n∈K使得u=awm,v=bwn。 f) 令u,v∈L存在a,b∈L,非零,且au=bv;存在m,d∈L,使得左倍数(或右除子)公共的到u和v是m(或右除子)的左倍数(或右除子)。 d)。