アルティン・ウェダーバーンの定理

抽象代数学において、アルティン・ウェダーバーンの定理 (英: Artin–Wedderburn theorem) は半単純環や半単純代数の分類定理である。

定理の主張

ジョセフ・ウェダーバーン (1882–1948)

エミール・アルティン (1898–1962)

定理は、（アルティン）半単純環 R はある有限個の n_i 次行列環 M_ni(D_i) の直積に同型であると述べている。ここで n_i は正の整数、 D_i は可除環であり、 両者とも添字 i の置換を除いて一意的に決定される。とくに、任意の単純左または右アルティン環は可除環 D 上の n 次行列環に同型で、n と D は両方とも一意的に決まる。

直接の系として、アルティン・ウェダーバーンの定理は可除環上有限次元であるすべての単純環（単純代数）は行列環と同型であることを意味する。これはもともと J. H. M. Wedderburn (1908) の結果である。E. Artin (1927) は後にそれをアルティン環のケースに一般化した。

R が可除環 E 上の有限次元単純代数であれば、D は E に含まれる必要はないことに注意せよ。例えば、複素数体上の行列環は実数体上の有限次元単純代数である。

アルティン・ウェダーバーンの定理は可除環上の単純環の分類を与えられた可除環を含む可除環の分類に帰着する。これをさらに単純化できる。D の中心は 体 K でなければならない。したがって R は K-代数であり、それ自身は K を中心としてもつ。有限次元単純代数 R はしたがって K 上の中心的単純代数である。それゆえアルティン・ウェダーバーンの定理は有限次元中心的単純代数の分類の問題を与えられた中心をもつ可除環の分類の問題に帰着する。

例

R を実数体とし、C を複素数体とし、H を四元数体とする。

• R 上のすべての有限次元単純代数は R, C, あるいは H 上の行列環でなければならない。R 上のすべての中心的単純代数は R あるいは H 上の行列環でなければならない。これらの結果はフロベニウスの定理から従う。
• C 上のすべての有限次元単純代数は C 上の行列環でなければならない。したがって C 上のすべての中心的単純代数は C 上の行列環でなければならない。
• 有限体上のすべての有限次元中心的単純代数はその体上の行列環でなければならない。
• すべての可換半単純環は体の有限個の直積でなければならない。
• アルティン・ウェダーバーンの定理によると体 $k$ 上の半単純代数は有限積 $\prod M_{n_{i}}(D_{i})$ に同型である、ただし $n_{i}$ は自然数で $D_{i}$ は $k$ 上の有限次元可除代数で、$M_{n_{i}}(D_{i})$ は $D_{i}$ 上の $n_{i}\times n_{i}$ 行列の代数である。再び、この積は因子の置換を除いて一意的である。

参考文献

• Artin, E. (1927). “Zur Theorie der hyperkomplexen Zahlen”. Abh. Math. Sem. Univ. Hamburg 5: 251–260. doi:10.1007/BF02952526. JFM 53.0114.03. MR3069481. 
• Cohn, P. M. (2003). Basic Algebra: Groups, Rings, and Fields. Springer. ISBN 1-85233-587-4. MR1935285. Zbl 1003.00001. https://books.google.co.jp/books?id=VESm0MJOiDQC 
• Wedderburn, J. H. M. (1908). “On hypercomplex numbers”. Proc. London Math. Soc. 6: 77–118. doi:10.1112/plms/s2-6.1.77. JFM 39.0139.01. MR1575142. 

関連項目

• マシュケの定理
• ブラウアー群
• ジャコブソンの稠密性定理
• 超複素数
• 森田同値