>>475
つづき

有限環
詳細は「有限環（英語版）」を参照
自然数 m が与えられたとき、m 元からなる集合には、いったいいくつの異なる（必ずしも単位的でない）環構造が入るのかと考えるのは自然である。まず、位数 m が素数のときはたった二種類の環構造しかない（加法群は位数 m の巡回群に同型）。すなわち、一つは積がすべて潰れる零環であり、もう一つは有限体である。

有限群としてみれば、分類の難しさは m の素因数分解の難しさに依存する（有限アーベル群の構造定理）。例えば、m が素数の平方ならば、位数 m の環はちょうど11種類存在する[11]。一方、位数 m の「群」は二種類しかない（いずれも可換群）。

有限環論が有限アーベル群の理論よりも複雑なのは、任意の有限アーベル群に対してそれを加法群とする少なくとも二種類の互いに同型でない有限環が存在することによる（Z/mZ のいくつかの直和と零環）。一方、有限アーベル群を必要としない方法では有限環のほうが簡単なこともある。例えば、有限単純群の分類は20世紀数学の大きなブレイクスルーの一つであり、その証明は雑誌の何千ページにも及ぶ長大なものであったが、他方で任意の有限単純環は必ず適当な位数 q の有限体上の n-次正方行列環 Mn(Fq) に同型である。このことはジョセフ・ウェダーバーンが1905年と1907年に確立した二つの定理から従う。

定理の一つは、ウェダーバーンの小定理として知られる、任意の有限可除環は必ず可換であるというものである。ネイサン・ヤコブソンが後に可換性を保証する別な条件として

「R の任意の元 r に対し、整数 n (> 1) が存在して rn = r を満たすならば R は可換である[12]」
を発見している。特に、r2 = r を任意の r が満たすならば、その環はブール環と呼ばれる。環の可換性を保証するもっと一般の条件もいくつか知られている[13]。

自然数 m に対する位数 m の環の総数はオンライン整数列大辞典の A027623 にリストされている。

つづく