〔問題〕
nは2以上の自然数とする。
環Rのすべての元xについて
 x^n = x,
が成り立つとき、次を示せ。

(10) Rは可換環である。

つまり、環Rのすべての元x,yについて xy = yx.


〔参考文献〕
Nathan Jacobson: Annals of Math., 2nd series, 46(4), p.695-707 (1945 Oct.)
 "Structure theory of alebraic algebras of bounded degree"

〔環の構造定理〕
 (0以外の)ベキ零元をもたない有限環は可換である。