コンテンツにスキップ

中心的単純環

出典: フリー百科事典『ウィキペディア(Wikipedia)』

これはこのページの過去の版です。RedBot (会話 | 投稿記録) による 2012年5月6日 (日) 16:45個人設定で未設定ならUTC)時点の版 (r2.7.2) (ロボットによる 変更: es:Álgebra simple central)であり、現在の版とは大きく異なる場合があります。

数学の特に環論において、 K 上の中心的単純(多元)環(ちゅうしんてきたんじゅんかん、: central simple algebra; CSA)とは、与えられた体 K 上の階数(ベクトル空間としての次元)が有限な結合多元環 A であって、として単純で、その中心がちょうど K となっているようなものをいう。明らかに、任意の単純多元環は、その中心上の中心的単純環である。

例えば、複素数C は(C の中心は C であって R ではないから)それ自身の上の中心的単純環だが、実数R 上の中心的単純環ではない。四元数HR 上 4-次元の中心的単純環をなし、後述するように Rブラウアー群 Br(R) の非自明な元によって表される。

K 上の中心的単純環の概念は、体 K 上の拡大体の概念の、非可換な拡大となる場合に対応するものになっている。体も中心的単純環も非自明な両側イデアルを持たないことは共通しているが、中心的単純環は体と違って中心を持ち、かつ零元以外の各元が必ずしも逆元を持つとは限らない(多元体となる必要はない)。中心的単純環は、特に代数体有理数Q の有限次拡大)を一般化するものとして、非可換数論において興味の対象となる。

アルティン=ウェダーバーンの定理によれば、単純環 A は適当な斜体 S 上の何らかのサイズ n全行列環 M(n, S) に同型である。同じ体 F 上の二つの中心的単純環 AM(n,S) と BM(m,T) とが互いに相似あるいはブラウアー同値であるとは、それらに属する斜体 ST とが同型となることをいう。与えられた体 F 上の中心的単純環の、この同値関係に関する相似類(多元環類)の全体が成す集合には、多元環のテンソル積によって与えられる群演算を考えることができる。このようにして得られた群は、体 Fブラウアー群 Br(F) と呼ばれる。

性質

関連項目

参考文献

  • 斎藤秀司『整数論』共立出版〈共立講座 21世紀の数学〉、1997年。ISBN 4-320-01572-X 

外部リンク