非可換整域

数学の特に環論と呼ばれる抽象代数学の一分野における（非可換テンプレート:Efn）整域あるいは域（いき、テンプレート:Lang-en-short）とは、右または左零因子を持たない（つまりテンプレート:Math ならばテンプレート:Math またはテンプレート:Math が成り立つテンプレート:Sfn、テンプレート:Ill2を満たすとも言われる）環のことを言う。しばしば自明でない（一つよりも多くの元を持つ）ことを仮定するテンプレート:Sfnが、域が乗法単位元を持つならば、この仮定はテンプレート:Math と同値テンプレート:Sfnであり、この場合の域は「左または右零因子を持たない非自明な環」のことになる。1(≠ 0) を持つ可換域は（可換）整域と呼ばれるテンプレート:Sfn テンプレート:Efn。

定理 (Wedderburn): 有限域は自動的に有限体になる。

零因子について（少なくとも可換環の場合には）位相幾何学的な解釈をすることができる。環テンプレート:Mvar が可換整域となるための必要十分条件は、テンプレート:Mvar が被約環（つまり冪零元を持たない環）であり、かつそのスペクトルテンプレート:Math が既約位相空間となることである。前者の性質はある種の無限小の情報を保有しているとしばしば考えられ、対して後者はより幾何学的な情報を与えている。例えば、体テンプレート:Mvar 上の環テンプレート:Math は整域でない（テンプレート:Mvar およびテンプレート:Mvar の属する類が零因子を与える）が、これは幾何学的にはこの環のスペクトルが既約でない（実際に、二つの既約成分である直線テンプレート:Math とテンプレート:Math の和となる）ことに対応する。

域の構成

環が域であることを示す方法の一つは、特別な性質を持つフィルター付け（フィルトレーション）を提示することである。

定理: テンプレート:Mvar がテンプレート:Ill2で、付随する次数環テンプレート:Math が域ならば、テンプレート:Mvar 自身が域を成す。

この定理を利用するには、次数環テンプレート:Math を調べる必要がある。

例

各整数テンプレート:Math に対して、テンプレート:Mvar の倍数全体の成す可換（擬）環テンプレート:Math は域を成すが、乗法単位元テンプレート:Math を含まないので可換整域ではないテンプレート:Sfn。
四元数の全体は非可換な域を成す。より一般に任意の可除代数はその非零元が全て可逆であるから域を成す。
テンプレート:Ill2の全体は四元数の環の部分環として非可換環となるから、したがってそれ自身非可換な域を成す。
テンプレート:Math より大きい次数の行列環は零因子（特に冪零元）を持つから域を成さない。例えば、行列単位テンプレート:Math の自乗は零行列になる。
テンプレート:Mathbf 上のベクトル空間のテンソル代数（つまり体テンプレート:Mathbf 上の非可換多項式環）テンプレート:Math が域となることは、非可換単項式上の順序を用いて証明できる。
テンプレート:Mvar が域でテンプレート:Mvar がテンプレート:Mvar のテンプレート:Ill2ならば、テンプレート:Mvar 自身が域を成す。
ワイル代数は非可換域である。実際、ワイル代数には微分に関する次数と全次数という二つの自然なフィルター付けがあり、どちらも付随する次数環は二変数多項式環と同型となるから、上述の定理によってワイル代数が域になることが示される。
体上の任意のリー環の普遍包絡環は域を成す。このことの証明には普遍包絡環上の標準フィルター付けとテンプレート:Ill2を用いる。

群環と零因子問題

群テンプレート:Mvar と体テンプレート:Mvar に対して、群環テンプレート:Math は域となるかを考える。恒等式

(1 - g) (1 + g + \dots + g^{n - 1}) = 1 - g^{n}

から有限な位数テンプレート:Mvar を持つ元テンプレート:Mvar からテンプレート:Mvar の零因子テンプレート:Math が得られる。零因子問題（カプランスキーの零因子予想）とはこれ以外の方法で零因子が得られないかどうかを問うものである。即ち、

零因子問題: 与えられた体テンプレート:Mvar と捩れのない群テンプレート:Mvar に対して、「群環テンプレート:Math は零因子を含まない」という主張は真であるか

今のところ反例は知られていないが、問題は一般には未解決のままである（2007年現在）。

様々な特定の群のクラスについては肯定的に解決されている。テンプレート:Harvtxtは「テンプレート:Mvar が捩れの無いテンプレート:Ill2群 (polycyclic-by-finite group) でテンプレート:Mvar が標数テンプレート:Math の体ならば群環テンプレート:Math は域を成す」ことを証明した。後にテンプレート:Harvtxt が体の標数に関する制限を取り除いている。テンプレート:Harvtxt はこれらの結果を捩れの無い可解群および可解×有限群の場合にまで一般化している。それより早くテンプレート:Harvtxt の成した研究は（その重要性は20年もの間この分野の専門家に省みられることは無かったが）、テンプレート:Mvar が [[p進整数|テンプレート:Mvar-進整数環]]でテンプレート:Mvar がテンプレート:Math のテンプレート:Mvar-次テンプレート:Ill2である場合を扱っていた。

非可換整域

目次

域の構成

例

群環と零因子問題

注

注釈

出典

参考文献

外部リンク

関連項目

ナビゲーションメニュー

非可換整域

域の構成

例

群環と零因子問題

注

注釈

出典

参考文献

外部リンク

関連項目

ナビゲーション メニュー

検索

ナビゲーションメニュー