导子和环的交换性

设R是环,C为中心,J为R的Jacobson根基,如果D为R的导予准素类,x∈R(?)∈D存在p=p(x·(?))∈R及正整数n=n(x·(?)),m=m(x·(?))>n,满足((?)x)~n=((?)x)~mp,且D(R)中无非零的幂零元,则R中的幂零元在R的中心内,从而形成R的理想N,且R/N是除环或交换环的亚直和,R/J是除环的亚直和,如果x∈D,(?)∈D,p是(?)x的整系数多项式,则R必为交换环。