本文通过对环上微商的本原类的研究,讨论了环的交换性.I 为 R 的非零理想,R 为无非零诣零理想的质环,i)任意 (?)(x)∈{(?)(x):(?)∈(?),x∈I}∩I,有正奇数n,((?)(x))~n∈Z(R),ii)任意x∈{sum from i=1 to m (?)_i(x_i):(?)_i∈(?),x_i∈I,i=1,2…m,m∈Z}∩I,有正奇数n,x~(?)∈Z(R),(Z为正整数),本文对于(?)满足i)或ii)时进行了讨论,证明了此时 R 为可抉环,或 R~z为体,或 R~z 为其中心上不超过四维的可除代数.