可換環のソースを表示
←
可換環
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{Ring theory sidebar}} [[数学]]、特に[[抽象代数学]]の一分野である[[環論]]における'''可換環'''（かかんかん、{{lang-en-short|''commutative ring''}}）は、その乗法が[[可換]]であるような[[環 (数学)|環]]をいう。可換環の研究は[[可換環論]]あるいは可換代数学と呼ばれる。 いくつか特定の種類の可換環は以下のようなクラスの包含関係にある。 {{可換環のクラス}} <!--{{Algebraic structures|cTopic=[[ring (mathematics)|Ring]]-like structures}}--> == 導入 == === 定義 === {{Details|環 (数学)}} '''環''' ''R'' は加法 "+" と乗法 "⋅" という二種類の[[二項演算]]（つまり任意の二元を結合して第三の元 ''a'' + ''b'' や ''a'' ⋅ ''b'' を与える操作）を備えた[[集合]]である。環を成すためにはこれら二つの演算がいくつかの適当な性質を満たさねばならない。即ち、環 ''R'' は加法について[[アーベル群]]を成し、乗法に関して[[モノイド|単位的半群]]を成し、かつ乗法は加法に対して[[分配法則|分配的]]（つまり ''a'' ⋅ (''b'' + ''c'') = (''a'' ⋅ ''b'') + (''a'' ⋅ ''c'')）である。加法および乗法の単位元はそれぞれ 0 および 1 で表される。 この時さらに乗法が可換律 :''a'' ⋅ ''b'' = ''b'' ⋅ ''a'' をも満たすならば、環 ''R'' は可換であると言う。以後、本項で扱う環は特に断りのない限りすべて可換であるものとする。 === 簡単な例 === 重要かついくつかの意味で重大な例は、[[整数]]全体 '''Z''' が通常の[[加法]]と[[乗法]]に関して成す環である。整数の乗法は可換な演算だから、これは可換環である。これをふつう '''Z''' と書くのはドイツ語で「数」を意味する ''Zahlen'' の略からである。 [[可換体]]は任意の非零元 ''a'' が可逆である、つまり ''a'' ⋅ ''b'' = 1 を満たす乗法逆元 ''b'' を持つような可換環をいう。従って定義により任意の可換体は可換環を成す。[[有理数]]の全体、[[実数]]の全体、[[複素数]]の全体はそれぞれ体を成す。 二次[[正方行列]]全体の成す環は'''可換でない'''。行列の乗法が可換でないことは、例えば :<math>\begin{align} \begin{bmatrix} 1 & 1\\ 0 & 1\end{bmatrix}\cdot\begin{bmatrix} 1 & 1\\ 1 & 0\end{bmatrix} &=\begin{bmatrix} 2 & 1\\ 1 & 0\end{bmatrix}\\[10pt] \begin{bmatrix} 1 & 1\\ 1 & 0\end{bmatrix}\cdot\begin{bmatrix} 1 & 1\\ 0 & 1\end{bmatrix} &=\begin{bmatrix} 1 & 2\\ 1 & 1\end{bmatrix} \end{align}</math> などを見ればわかる。しかし同じ[[相似行列|相似変換]]で同時[[対角化可能行列|対角化可能]]な行列の全体は可換環を成す。例えば、ある決まったノード集合に関する[[差分商|差分商行列]]全体は可換環である。 可換環 ''R'' が与えられたとき、''R'' に係数を持つ変数 ''X'' の[[多項式]]全体 ''R''[''X''] は[[多項式環]]と呼ばれる可換環を成す。多変数の場合も同様である。 ''V'' が何らかの[[位相空間]]、例えば '''R'''<sup>''n''</sup> のある部分集合とするとき、''V'' 上の実数値または複素数値の[[連続函数]]全体は可換環を成す。[[可微分函数]]全体や[[正則函数]]全体についても、それらの概念が定義されるならば（たとえば ''V'' が[[複素多様体]]のとき）同じことが言える。 == 諸概念 == 任意の非零元が乗法的に可逆となる体の場合と対照的に、環についての理論はより複雑なものとなる。このような状況をうまく扱うために、いくつかの概念が存在する。まずは ''R'' の元 ''a'' が ''R'' の[[単元 (代数学)|単元]]であるとは、''a'' が ''R'' に乗法逆元を持つことを言う。他の特別な元は[[零因子]]で、これは非零元 ''a'' で ''ab'' = 0 を満たす非零元 ''b'' がその環の中にあるようなものである。可換環 ''R'' が零因子を持たないならば、これを[[整域]]と呼ぶ。これは様々な意味で整数の成す環に似ている。 以下に挙げる概念の多くは可換環でなくとも存在するものだが、しかし可換性を仮定しなければその定義や性質は普通より複雑なものとなる。例えば、可換環における任意のイデアルは自動的に[[両側イデアル]]となり、状況は大幅に簡単になる。 === イデアルと剰余環 === {{Main|イデアル (環論)|剰余環}} 可換環の内部構造はそのイデアルを考えることで決定される。可換環 ''R'' のイデアル ''I'' とは、[[空集合|空]]でない部分集合で、加法と環 ''R'' の任意の元による乗法に関して閉じているもの、即ち任意の ''r'' ∈ ''R'', ''i'', ''j'' ∈ ''I'' に対し ''ri'' および ''i'' + ''j'' がともに ''I'' に属することが要求される。''R'' の任意の部分集合 ''F'' = {''f''<sub>''j''</sub>}<sub>''j'' ∈ ''J''</sub>（''J'' は適当な添字集合）が与えられたとき、「''F'' の生成するイデアル」とは ''F'' を含む最小のイデアル、あるいは同じことだが、有限[[線型結合]] :''r''<sub>1</sub>''f''<sub>1</sub> + ''r''<sub>2</sub>''f''<sub>2</sub> + ... + ''r''<sub>''n''</sub>''f''<sub>''n''</sub> の全体として得られるイデアルをいう。一つの元で生成されるイデアルは[[主イデアル]]と呼ばれ、任意のイデアルが主イデアルであるような環を[[主イデアル環]]と呼ぶ。有理整数環 '''Z''' や体 ''k'' 上の多項式環 ''k''[''X''] は主イデアル環の重要な例である。任意の環は[[零イデアル]] {0} と環全体 ''R'' を自明なイデアルとして持つ。どのような真イデアル（つまり ''R'' でないイデアル）にも含まれることのないイデアルを[[極大イデアル]]という。<cite id=characterisaion_of_maximal_ideals>イデアル ''m'' が極大であるための[[必要十分条件]]は剰余環 ''R''/''m'' が体となることである。</cite>（[[選択公理]]に同値な）[[ツォルンの補題]]によれば、<cite id=existence_of_maximal_ideals>任意の環が少なくとも一つの極大イデアルを持つ</cite>ことが示せる。 イデアルの定義というのは、環 ''R'' をイデアル ''I'' で「割って」別の環を作り出すためのものになっている。[[剰余環]] ''R''/''I'' は ''I'' の[[剰余類]]全体の成す集合に :(''a'' + ''I'') + (''b'' + ''I'') = (''a'' + ''b'') + I および (''a'' + ''I'')(''b'' + ''I'') = ''ab'' + ''I'' で演算を入れたものである。例えば整数 ''n'' に対する[[剰余類環|剰余環]] '''Z'''/''n'''''Z'''（'''Z'''<sub>''n''</sub> と書くこともある）は ''n'' を法とする整数全体の成す環で、[[合同算術]]の基盤を成す。 === 局所化環 === {{Main|環の局所化}} 環の'''局所化'''は剰余環と対を成す概念で、剰余環 ''R''/''I'' がある種の元（もちろん ''I'' の元のこと）を零元にしてしまうものであるのに対し、局所化はある種の元を可逆元にするもの（つまり、乗法逆元を環に追加する操作）である。具体的には、''S'' を ''R'' の[[積閉集合]]（つまり、''s'', ''t'' ∈ ''S'' ならば ''st'' ∈ ''S'' を満たす）とするとき、''R'' の ''S'' における'''局所化''' ''S''<sup>−1</sup>''R'' は、任意の ''r'' ∈ ''R'', ''s'' ∈ ''S'' に対する記号 <sup>''r''</sup>⁄<sub>''s''</sub> から成り、これらの対象がよく知られた有理数の約分と同様の一定の規則に従うものとして定められる。実際、有理数全体の成す環 '''Q''' の場合、これは '''Z''' の非零元全体の成す積閉集合における局所化になっている。'''Z''' の代わりに任意の[[整域]]でも同じことができて、局所化環 (''R'' ∖ {0})<sup>−1</sup>''R'' は ''R'' の[[商体]]と呼ばれる。また ''S'' が固定した一つの元の冪全体からなる積閉集合のとき、それによる局所化を ''R''<sub>''f''</sub> とも書く。 === 素イデアルと素スペクトル === {{Main|素イデアル|環のスペクトル}} 特に重要な種類のイデアルとして、素イデアルがある（しばしば ''p'' あるいは <math>\scriptstyle\mathfrak{p}</math> などで表す）。この概念が生じたのは、19世紀の代数学者が（'''Z'' と異なり）[[算術の基本定理|素因数分解の一意性]]の成り立たない環をたくさん発見したことによる（素因数分解が一意な環は[[一意分解環]]と呼ばれる）。定義により、素イデアルは真のイデアルであって、環の二元 ''a'', ''b'' の積 ''ab'' が ''p'' に属するならば必ず ''a'' か ''b'' のうちの少なくとも一方が ''p'' に属するという性質を持つものである（逆はイデアルの定義から任意のイデアルにおいて成り立つ）。このことは、剰余環 ''R''/''p'' が整域となることといっても同じである。また、''p'' の[[補集合]] ''R'' ∖ ''p'' が積閉集合になることと言い換えることもできる。このとき、局所化 (''R'' ∖ ''p'')<sup>−1</sup>''R'' は独自の記法 ''R''<sub>''p''</sub> を持つ程に重要なもので、この環はただ一つの極大イデアル ''pR''<sub>''p''</sub> を持つ。このように極大イデアルが唯一であるような環は[[局所環]]と呼ばれる。 体は整域ゆえ、[[#characterisaion_of_maximal_ideals|すでに述べた]]ように極大イデアルは素イデアルである。ある特定のイデアルが素であること(つまりその剰余環が零因子を持たないこと)を示すのは必ずしも容易ではなく、非常に難しい問題となる場合もある。 [[Image:Spec Z.png|right|400px|thumb|'''Z''' のスペクトル]] 素イデアルは、環 ''R'' の素イデアル全体の成す集合である'''環のスペクトル''' Spec ''R'' <ref group="nb">この概念は[[線型作用素のスペクトル]]とも関係がある。[[C*-環のスペクトル]]または[[ゲルファント表現]]の項も参照。</ref>を通じて、環を「幾何学的」に解釈するための鍵となる概念である。[[#existence_of_maximal_ideals|既に述べた]]ように、零でない任意の環は少なくとも一つの素イデアルを持つから、スペクトルは空でない。''R'' が体ならば唯一の素イデアルが零イデアルであるから、そのスペクトルも一点からなる。一方、有理整数環 '''Z''' のスペクトルは零イデアルに対応する一点のほかに、（素イデアル ''p'''''Z''' を生成する）各素数 ''p'' に対応する点を持つ。スペクトルには[[ザリスキー位相]]と呼ばれる位相が入っている。これは環の各元 ''f'' に対して部分集合 ''D''(''f'') = {''p'' ∈ ''Spec R'' : ''f'' ∉ ''p''} が開となるものとして定義される位相である。この位相は[[解析学]]や[[微分幾何学]]に見るような位相とは異なり、例えば一点集合が一般には閉にならなかったりする。また例えば、零イデアル 0 ⊂ '''Z''' に[[生成点|対応する点]]の[[閉包 (位相空間論)|閉包]]は '''Z''' のスペクトル全体に一致する。 スペクトルの概念は可換環論と[[代数幾何学]]に共通する基盤である。代数幾何学は Spec ''R'' に[[層 (数学)|層]] <math>\scriptstyle\mathcal O</math>（実体は、局所的に、つまりさまざまな開集合上で、定義された函数の集合）を付随させることに始まる。この空間と層からなるデータを[[アフィンスキーム]]と呼ぶ。アフィンスキームが与えられたとき、基礎となる環 ''R'' は層 <math>\scriptstyle\mathcal O</math> の[[大域切断]]全体の成す環として回復される。さらに言えば、こうして得られる環とアフィンスキームとの間の一対一対応は環準同型と可換になる。即ち任意の環準同型 ''f'': ''R'' → ''S'' に対して矢印の向きを逆にする[[連続写像]] : Spec ''S'' → Spec ''R''; ''q'' ↦ ''f''<sup>−1</sup>(''q'') が生じる。これはつまり、''S'' の任意の素イデアルは ''f'' による[[原像]]として ''R'' の素イデアルに移されることを言うものである。スペクトルは局所化と剰余環の直観的な相補性を明確な形で述べるのにも役に立つ。即ち自然な写像 ''R'' → ''R''<sub>''f''</sub> および ''R'' → ''R''/''fR'' は（考えている環のスペクトルにザリスキー位相を入れれば）相補的な関係にあるスペクトルの[[開はめ込み]]および[[閉はめ込み]]に対応する。 詰まるところ、これら二つの圏の[[圏同値|同値性]]は幾何学的な仕方での環の代数的性質を非常によく反映するものである。アフィンスキームは（[[多様体]]が''R''<sup>''n''</sup> の開集合上で局所的に定義されるのとまったく同じようにして）[[概型|スキーム]]の局所モデルになっている（スキームは代数幾何学の主な研究対象である）。それ故に、幾何学的直観に由来する多くの概念を環とその準同型に対して持ち込むことができる。 == 環の準同型 == {{Main|環準同型}} 代数学では普通のことだが、二つの対象の間の写像のなかに、今考えている対象の構造に関する[[準同型]]と呼ばれるものを考えることができる。環の場合、写像 ''f'': ''R'' → ''S'' は :''f''(''a'' + ''b'') = ''f''(''a'') + ''f''(''b''), ''f''(''ab'') = ''f''(''a'')''f''(''b'') および ''f''(1) = 1 を満たすとき'''環準同型'''と呼ぶ。これらの条件から ''f''(0) = 0 となることは保証されるが、乗法単位元 1 を保つという仮定はほかの二つの条件からは導出されない。またこのとき、''S'' の元 ''s'' への ''R'' の元 ''r'' による積を :''r'' · ''s'' := ''f''(''r'') · ''s'' で与えるものと理解することにより、''S'' は ''R'' 上の[[環上の多元環|環]]とも呼ばれる。 準同型 ''f'' の[[核 (代数学)|核]]および[[像 (数学)|像]]がそれぞれ ker(''f'') = {''r'' ∈ ''R'' : ''f''(''r'') = 0} および im(''f'') = ''f''(''R'') = {''f''(''r'') : ''r'' ∈ ''R''} で定義される。両者はそれぞれ ''R'' のイデアルおよび ''S'' の[[部分環]]を成す。 == 加群 == {{Main|環上の加群}} 可換環の外部構造は環上の[[線型代数学]]を考えることで決定される。つまり、[[ベクトル空間]]と同様だがその係数が必ずしも体ではない任意の可換環となることを許した構造である[[環上の加群]]の理論を調べるのである。''R''-加群の理論はベクトル空間における線型代数学とは比べ物にならないほど難しい。加群の理論では、加群が基底を持たず（ベクトル空間の次元の概念の類似である）[[自由加群の階数]]がうまく定義できないことがあるとか、有限生成加群の部分加群が必ずしも有限生成にならないことがあるなどといった困難に取り組まなければならないのである。 環 ''R'' のイデアルは ''R'' の部分加群となるような ''R''-加群として特徴づけられる。一方、''R''-加群をよく理解するには ''R'' についての十分な情報が必要である。しかし逆に ''R'' の構造を調べるための可換環論における多くの手法が、イデアルや一般に加群を調べることによるものである。 == ネーター環 == {{Main|ネーター環}} 環 ''R'' が'''ネーター的'''（この概念を発明した[[エミー・ネーター]]に因む）であるとは、任意の[[昇鎖条件|イデアルの昇鎖]] : 0 ⊆ ''I''<sub>0</sub> ⊆ ''I''<sub>1</sub> ⊆ … ⊆ ''I''<sub>''n''</sub> ⊆ ''I''<sub>''n'' + 1</sub> ⊆ … が安定、すなわちある番号 ''n'' 以降は一定となることをいう。これは ''R'' の任意のイデアルが有限生成であると言っても同じであるし、''R'' 上有限生成な加群の任意の[[部分加群]]がまた有限生成になると言っても同じである。同様に、環が[[アルティン環|アルティン的]]であるとは、任意のイデアルの降鎖 :''R'' ⊇ ''I''<sub>0</sub> ⊇ ''I''<sub>1</sub> ⊇ … ⊇ ''I''<sub>''n''</sub> ⊇ ''I''<sub>''n'' + 1</sub> ⊇ … がどこかで安定となることを言う。上記二つの条件は対称的なものに見えるにもかかわらず、ネーター環のほうがアルティン環よりも大いに一般の環となる。例えば有理整数環 '''Z''' はすべてのイデアルが単項生成ゆえにネーターだが、安定しない無限降鎖として例えば :'''Z''' ⊋ 2'''Z''' ⊋ 4'''Z''' ⊋ 8'''Z''' ⊋ … が取れるからアルティンではない。実は[[ホプキンス・レヴィツキの定理]]により任意のアルティン環はネーターになる。 環がネーター的であるというのは極めて重要な有限性条件であり、この条件は代数幾何学で頻繁に生じる多くの操作のもとで保たれる。例えば、''R'' がネーター環ならば、その上の多項式環 {{nowrap|''R''[''X''<sub>1</sub>, ''X''<sub>2</sub>, …, ''X''<sub>''n''</sub>]}} もそう（[[ヒルベルトの基底定理]]、{{lang-de-short|[[:de:Hilbertscher Basissatz|Hilbertscher Basissatz]]}}、{{lang-en-short|[[:en:Hilbert's basis theorem|Hilbert's basis theorem]]}}）であり、また任意の局所化 ''S''<sup>−1</sup>''R'' や剰余環 ''R''/''I'' もそうである。 == 環の次元 == {{Main|クルル次元}} 環 ''R'' の'''クルル次元'''あるいは単に次元 dim ''R'' は、環のある種の大きさを測る概念で、かなり大雑把にいえば ''R'' が持つ独立な元を数えるものである。具体的には、素イデアルの成す昇鎖列 : 0 ⊆ ''p''<sub>0</sub> ⊆ ''p''<sub>1</sub> ⊆ … ⊆ ''p''<sub>''n''</sub>. の長さ ''n'' の上限として定義される。例えば、体の素イデアルは零イデアルのみであるから、体は零次元である。可換環がアルティン環となるための必要十分条件として、それがネーターかつ零次元（即ち任意の素イデアルが極大イデアル）であることというのが知られている。有理整数環 '''Z''' は、任意のイデアルが主イデアルゆえ、素イデアルの任意の昇鎖は素数 ''p'' に対する : 0 = ''p''<sub>0</sub> ⊆ ''p'''''Z''' = ''p''<sub>1</sub> の形となるので、一次元である。 次元の概念は、考えている環がネーターならばよく振る舞う。例えばその場合、成り立ってほしい等式 : dim ''R''[''X''] = dim ''R'' + 1 が実際に成立する（一般の場合には dim ''R'' + 1 ≤ dim ''R''[''X''] ≤ 2 dim ''R'' + 1 が成り立つことしか言えない）。さらに言えば、次元は一つの極大鎖のみによって決まるから、''R'' の次元は勝手な素イデアル ''p'' における局所化 ''R''<sub>''p''</sub> の次元の[[上限 (数学)|上限]]に一致する。直観的には、''R'' の次元は ''R'' のスペクトルの局所的性質であって、局所環だけに限って次元を定義することもしばしばである。これは一般のネーター環では、その任意の局所化が有限次元であるにもかかわらず、環自身は無限次元となることがあるというようなことにもよる。 体 ''k'' と ''n''-変数多項式 ''f''<sub>''i''</sub> に対して、環 :''k''[''X''<sub>1</sub>, ''X''<sub>2</sub>, …, ''X''<sub>''n''</sub>] / (''f''<sub>1</sub>, ''f''<sub>2</sub>, …, ''f''<sub>''m''</sub>) の次元を計算することは一般に容易でない。[[クルルの主イデアル定理]]により、ネーター環 ''R'' に対して、''I'' が ''n'' 個の元で生成されるときの ''R''/''I'' の次元は dim ''R'' − ''n'' 以上である。次元が可能な限り落ちる場合（つまり dim(''R''/''I'') = dim ''R'' − ''n'' となるとき）の剰余環 ''R''/''I'' は[[完全交叉環|完全交叉]]であるという。 唯一の極大イデアル ''m'' を持つ局所環 ''R'' が[[正則局所環|正則]]であるとは、''R'' のクルル次元が余接空間 ''m'' / ''m''<sup>2</sup> の（体 ''R''/''m'' 上のベクトル空間としての）次元と一致するときに言う。 == 可換環の構成 == 与えられた環から別の環を作り出す操作がいくつか存在する。そういった構成の多くは、環に特定の性質を備えさせることで理解をより容易にする目的で行われる。例えば、整域がその商体の中で[[整閉]]であるとき、[[正規環|正規]]であるといい、これは例えば一次元正規環は必ず[[正則局所環]]であるなどの、望ましい性質を持っている。環が正規性を持つようにすることを「正規化」などと呼ぶ。 === 完備化 === ''I'' が可換環 ''R'' のイデアルのとき、''I'' の冪が零元 0 の[[近傍 (位相空間論)|近傍系]]を成すものとして、''R'' を[[位相環]]と見做すことができる。このときの位相を[[I進位相| ''I''-進位相]]といい、''R'' をこの位相に関して完備化することができる。厳密に言えば、''I''-進完備化とは剰余環 ''R''/''I''<sup>''n''</sup> の成す逆系の[[逆極限]]をいう。例えば、''k'' を体として、''k'' 上の一変数[[形式冪級数]]環 ''k''[[''X'']] は、多項式環 ''k''[''X''] の ''X'' が生成する主イデアル ''I'' による ''I''-進完備化である。同様に、''p''-進整数環 '''Z'''<sub>''p''</sub> は有理整数環 '''Z''' の素数 ''p'' が生成する主イデアル ''I'' による ''I''-進完備化である。自身の完備化と同型であるような任意の環は、[[完備環]]と呼ばれる。 == 性質 == [[ウェダーバーンの小定理]]により、任意の有限[[可除環]]は可換、従って[[有限体]]を成す。環の可換性を保証する別な条件として、[[ネイサン・ジャコブソン|ジャコブソン]]による条件「''R'' の任意の元 ''r'' に対して適当な自然数 {{nowrap|''n'' > 1}} が存在して {{nowrap|1=''r''<sup>''n''</sup> = ''r''}} を満たすこと」というものがある<ref>{{Harvard citations|last = Jacobson|year = 1945|nb = yes}}</ref>。任意の ''r'' に対して ''r''<sup>2</sup> = ''r'' であるような環は[[ブール環]]と呼ばれる。環の可換性を保証する、より一般の条件も知られている<ref>{{Harvard citations|last = Pinter-Lucke|year = 2007|nb = yes}}</ref>。 == 関連項目 == * [[次数付き環]] * [[クラスター代数]] == 注釈 == <references group="nb" /> === 出典 === <references /> == 参考文献 == * {{Citation | last1=Atiyah | first1=Michael | author1-link=Michael Atiyah | last2=Macdonald | first2=I. G. | author2-link=Ian G. Macdonald | title=Introduction to commutative algebra | publisher=Addison-Wesley Publishing Co. | year=1969 }} * {{Citation | last1=Balcerzyk | first1=Stanisław | last2=Józefiak | first2=Tadeusz | title=Commutative Noetherian and Krull rings | publisher=Ellis Horwood Ltd. | location=Chichester | series=Ellis Horwood Series: Mathematics and its Applications | isbn=978-0-13-155615-7 | year=1989}} * {{Citation | last1=Balcerzyk | first1=Stanisław | last2=Józefiak | first2=Tadeusz | title=Dimension, multiplicity and homological methods | publisher=Ellis Horwood Ltd. | location=Chichester | series=Ellis Horwood Series: Mathematics and its Applications. | isbn=978-0-13-155623-2 | year=1989}} * {{Citation | last1=Eisenbud | first1=David | author1-link=David Eisenbud | title=Commutative algebra. With a view toward algebraic geometry. | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | id ={{ISBN2|978-0-387-94268-1|978-0-387-94269-8}} | mr=1322960 | year=1995 | volume=150}} * {{Citation | doi=10.2307/1969205 | last1=Jacobson | first1=Nathan | author1-link=Nathan Jacobson | title=Structure theory of algebraic algebras of bounded degree | year=1945 | journal=[[Annals of Mathematics]] | issn=0003-486X | volume=46 | issue=4 | pages=695–707 | jstor=1969205}} * {{Citation | last1=Kaplansky | first1=Irving | author1-link=Irving Kaplansky | title=Commutative rings | publisher=[[University of Chicago Press]] | edition=Revised | mr=0345945 | year=1974}} * {{Citation | last1=Matsumura | first1=Hideyuki | title=Commutative Ring Theory | publisher=[[Cambridge University Press]] | edition=2nd | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-36764-6 | year=1989}} * {{Citation | last1=Nagata | first1=Masayoshi | author1-link=Masayoshi Nagata | title=Local rings | publisher=Interscience Publishers | series=Interscience Tracts in Pure and Applied Mathematics | id={{ISBN2|978-0-88275-228-0}} (1975 reprint) | mr=0155856 | year=1962 | volume=13 | pages=xiii+234}} * {{Citation | last1=Pinter-Lucke | first1=James | title=Commutativity conditions for rings: 1950–2005 | doi=10.1016/j.exmath.2006.07.001 | year=2007 | journal=Expositiones Mathematicae | issn=0723-0869 | volume=25 | issue=2 | pages=165–174}} * {{Citation | last1=Zariski | first1=Oscar | author1-link=Oscar Zariski | last2=Samuel | first2=Pierre | author2-link=Pierre Samuel | title=Commutative Algebra I, II | publisher= D. van Nostrand, Inc. | location=Princeton, N.J. | series=University series in Higher Mathematics | year=1958-60}} ''(Reprinted 1975-76 by Springer as volumes 28-29 of Graduate Texts in Mathematics.)'' == 関連図書 == 堀田良之：「可換環と体」、岩波書店、ISBN 4-00-005198-9 (2006年6月9日)。 {{Normdaten}} {{デフォルトソート:かかんかん}} [[Category:可換環論|*]] [[Category:代数的構造]] [[Category:数学に関する記事]]
このページで使用されているテンプレート:
テンプレート:Citation
(
ソースを閲覧
)
テンプレート:Details
(
ソースを閲覧
)
テンプレート:Harvard citations
(
ソースを閲覧
)
テンプレート:Lang-de-short
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Main
(
ソースを閲覧
)
テンプレート:Normdaten
(
ソースを閲覧
)
テンプレート:Nowrap
(
ソースを閲覧
)
テンプレート:Ring theory sidebar
(
ソースを閲覧
)
テンプレート:可換環のクラス
(
ソースを閲覧
)
可換環
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報