可換環とは? わかりやすく解説

可換環

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/02/17 01:59 UTC 版)

数学、特に抽象代数学の一分野である環論における可換環(かかんかん、: commutative ring)は、その乗法が可換であるようなをいう。可換環の研究は可換環論あるいは可換代数学と呼ばれる。

いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。

可換環整域整閉整域一意分解環単項イデアル整域ユークリッド環有限体

導入

定義

R は加法 "+" と乗法 "⋅" という二種類の二項演算(つまり任意の二元を結合して第三の元 a + bab を与える操作)を備えた集合である。環を成すためにはこれら二つの演算がいくつかの適当な性質を満たさねばならない。即ち、環 R は加法についてアーベル群を成し、乗法に関して単位的半群を成し、かつ乗法は加法に対して分配的(つまり a ⋅ (b + c) = (ab) + (ac))である。加法および乗法の単位元はそれぞれ 0 および 1 で表される。

この時さらに乗法が可換律

ab = ba

をも満たすならば、環 R は可換であると言う。以後、本項で扱う環は特に断りのない限りすべて可換であるものとする。

簡単な例

重要かついくつかの意味で重大な例は、整数全体 Z が通常の加法乗法に関して成す環である。整数の乗法は可換な演算だから、これは可換環である。これをふつう Z と書くのはドイツ語で「数」を意味する Zahlen の略からである。

可換体は任意の非零元 a が可逆である、つまり ab = 1 を満たす乗法逆元 b を持つような可換環をいう。従って定義により任意の可換体は可換環を成す。有理数の全体、実数の全体、複素数の全体はそれぞれ体を成す。

二次正方行列全体の成す環は可換でない。行列の乗法が可換でないことは、例えば

Z のスペクトル

素イデアルは、環 R の素イデアル全体の成す集合である環のスペクトル Spec R [nb 1]を通じて、環を「幾何学的」に解釈するための鍵となる概念である。既に述べたように、零でない任意の環は少なくとも一つの素イデアルを持つから、スペクトルは空でない。R が体ならば唯一の素イデアルが零イデアルであるから、そのスペクトルも一点からなる。一方、有理整数環 Z のスペクトルは零イデアルに対応する一点のほかに、(素イデアル pZ を生成する)各素数 p に対応する点を持つ。スペクトルにはザリスキー位相と呼ばれる位相が入っている。これは環の各元 f に対して部分集合 D(f) = {pSpec R : fp} が開となるものとして定義される位相である。この位相は解析学微分幾何学に見るような位相とは異なり、例えば一点集合が一般には閉にならなかったりする。また例えば、零イデアル 0 ⊂ Z に対応する点の閉包Z のスペクトル全体に一致する。

スペクトルの概念は可換環論と代数幾何学に共通する基盤である。代数幾何学は Spec R

全般国立図書館その他

可換環

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2016/03/15 08:14 UTC 版)

主イデアルに関する昇鎖条件」の記事における「可換環」の解説

ネーター整域において 0 でない非単元既約元分解するということはよく知られている。このことの証明は (ACC) ではなく (ACCP) のみに頼っているので、(ACCP) の成り立つ任意の整域において、既約元分解存在する。(言い換えると、(ACCP) の成り立つ任意の整域原子整域英語版)である。しかし逆は、(Grams 1974) において証明されているように、間違いである。)そのような分解一意でないかもしれない分解の一意性証明する通常の方法ユークリッドの補題を使うが、これは因子が単に既約であるだけでなく素元であることを要求する実際次の特徴づけがある: A を整域とする。このとき以下は同値である。 A は UFD である。 A は (ACCP) を満たし、A のすべての既約元素元である。 A は (ACCP) を満たすGCD整域である。 いわゆる永田判定法 (Nagata criterion) が (ACCP) を満たす整域 A に対して成り立つ: S を素元生成される A の乗法的閉部分集合とする。局所化 S−1AUFD であれば、A も UFD である。(Nagata 1975, Lemma 2.1) (これの逆は自明であることを注意しよう。) 整域 A が (ACCP) を満たすことと多項式環 A[t] が (ACCP) を満たすことは同値である。A が整域でないとき類似の主張誤りである。 すべての有限生成イデアルが主であるよう整域(すなわちベズー整域)が (ACCP) を満たすこととそれが主イデアル整域であることは同値である。 定数項整数であるすべての有理係数多項式からなる環 Z+XQ[X] は (ACCP) を満たさない整域(実は GCD 整域)の例である、というのも主イデアルの鎖 は無限に続くからである。

※この「可換環」の解説は、「主イデアルに関する昇鎖条件」の解説の一部です。
「可換環」を含む「主イデアルに関する昇鎖条件」の記事については、「主イデアルに関する昇鎖条件」の概要を参照ください。

ウィキペディア小見出し辞書の「可換環」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ

可換環

出典:『Wiktionary』 (2021/08/22 09:10 UTC 版)

名詞

可換かかんかん)

  1. (代数学) 乗法について交換律成り立つ

翻訳

  • 英語:commutative ring


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

すべての辞書の索引



Weblioのサービス

「可換環」の関連用語











可換環のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



可換環のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの可換環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの主イデアルに関する昇鎖条件 (改訂履歴)、環の冪零根基 (改訂履歴)、冪零元 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblioに掲載されている「Wiktionary日本語版(日本語カテゴリ)」の記事は、Wiktionaryの可換環 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS