0179132人目の素数さん
2013/06/01(土) 23:01:52.25nは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以外の)ベキ零元をもたない有限環は可換である。