http://www.mateforum.ro/articole/jacobson.pdf
によると、一般に「任意のx∈Rに対してx^(n_x)=xとなる自然数n_x>1が存在すればRは可換」らしい