環論
環

群論においては群について扱ったが、群には演算がひとつしか定義されていない。しかし、我々がよく知っている整数や実数には、掛け算と足し算という質の異なるふたつの演算が定義されている。このような代数構造を扱うため、環という概念を考える。
環

集合Rが演算·と+について環であるとは、次の全てを満たすことである。
環

3番の性質を分配法則という。この3つに加えてさらに演算 · が可換なとき、Rは可換環であるという。
環

ここで、乗法についてはモノイドでよいとしている。すなわち、すべての元に対して逆元が存在しなくても構わない。特に乗法について逆元が存在する元を単元と呼ぶ。
環

整数の集合や実数の集合は、通常の掛け算と足し算について可換環になる。また、環Rを係数とするn変数多項式の全体 R [ X 1 , X 2 , ⋯ , X n ] {\displaystyle R[X_{1},X_{2},\cdots ,X_{n}]} や、環を成分とするn次正方行列の全体 M ( n , R ) {\displaystyle M(n,R)} は環となる。
環

trivialな例として、単集合 { 0 } {\displaystyle \{0\}} も上の定義を満たす立派な環である。これを零環と呼ぶ。ただし、零環自体にはあまり面白いことがない割に、命題を述べる際には例外的に取り扱う必要が生じることがあり、面倒である。よってここでは、特記しない限り「環」といえば「零環でない環」をさすことにする。
環

(R,+)の単位元を 0 R {\displaystyle 0_{R}} 、(R, ·)の単位元を 1 R {\displaystyle 1_{R}} と書くことにする。また、(R,+)におけるaの逆元を-aと書き、a+(-b)をa-bと書くことにしよう。これらの記法はもちろん整数環での記法を流用したものである。
環

環 R {\displaystyle R} の部分集合 S {\displaystyle S} が部分環であるとは、次の条件を満たすことをいう。
環

群における部分群の概念と似ている。ところで、群においては部分群の中でも正規部分群という特別な部分群を考えることが重要であった。環においては、イデアルという概念がそれにあたる重要な概念である。
環

環 R {\displaystyle R} の部分集合 I {\displaystyle I} が左イデアルであるとは、次の条件を満たすことをいう。
環

条件2の代わりに x ∈ I , a ∈ R ⇒ x ⋅ a ∈ I {\displaystyle x\in I,a\in R\Rightarrow x\cdot a\in I} を満たすものを右イデアルという。左イデアルかつ右イデアルであるものを両側イデアルという。特に R {\displaystyle R} が可換環のときには左イデアルと右イデアルの区別はないので、しばしば単にイデアルという。
環

a 1 , ⋯ , a n ∈ R {\displaystyle a_{1},\cdots ,a_{n}\in R} があるとき、 R {\displaystyle R} の部分集合 { x 1 a 1 + ⋯ + x n a n | x 1 , ⋯ , x n ∈ R } {\displaystyle \{x_{1}a_{1}+\cdots +x_{n}a_{n}\ |\ x_{1},\cdots ,x_{n}\in R\}} は左イデアルであり、これは a 1 , ⋯ , a n {\displaystyle a_{1},\cdots ,a_{n}} を含む左イデアルの中で最小のものである。これを a 1 , ⋯ , a n {\displaystyle a_{1},\cdots ,a_{n}} が生成する左イデアルといい、 ( a 1 , ⋯ , a n ) {\displaystyle (a_{1},\cdots ,a_{n})} と書く。特に、あるひとつの元 a {\displaystyle a} で生成されるイデアルのことを単項イデアルといい、 ( a ) {\displaystyle (a)} や a R {\displaystyle aR} と表す。
環

I ⊂ R {\displaystyle I\subset R} をイデアルとする。環は加法については群をなしており、イデアルは加法群としての部分群なので、加法群としての剰余群 R / I {\displaystyle R/I} を考えることができる。 I {\displaystyle I} が両側イデアルであれば、さらに ( a + I ) ⋅ ( b + I ) = a ⋅ b + I {\displaystyle (a+I)\cdot (b+I)=a\cdot b+I} という乗法を考えることで、 R / I {\displaystyle R/I} に環の構造を定めることができる。これを R {\displaystyle R} を I {\displaystyle I} で割った剰余環という。
環

整数の集合では、0でないものどうしの掛け算は0にはならないが、この性質は環の定義から直接導き出されるものではない。環であってもこの性質を満たさないものは存在するのである。しかし、この性質を仮定したほうが見通しがよいことも多いので、そのような集合を環の中で特別なものとして取り扱うことにする。
環

定義 環Rの任意の元a,bについて a ⋅ b = 0 ⇒ a = 0 o r b = 0 {\displaystyle a\cdot b=0\Rightarrow a=0\ or\ b=0} を満たすとき、Rは整域であるという。
環

逆に、0でない元との積が0になるような元を零因子という。整域とは0以外に零因子を持たない環のことである。
環

整域となる環の例のほうがすぐに思い浮かびやすいので、整域ではない例とはどのようなものがあるかをよく理解してほしい。例えば、 Z / 6 Z {\displaystyle \mathbb {Z} /6\mathbb {Z} } においては、2・3=0なので、この環は整域ではない。また、整数を成分とする2行2列の行列環 M ( 2 , Z ) {\displaystyle M(2,\mathbb {Z} )} も、
環

なので、整域ではない。
環

環の定義の際、加法に関しては群をなすことを要請したが、乗法に関してはモノイドであればよいとした。しかし、中には乗法に関しても群をなす環がある。このような環を体という。
環

定義 可換環 R {\displaystyle R} の 0 {\displaystyle 0} でない任意の元が単元であるとき、 R {\displaystyle R} は体であるという。
環

有理数体 Q {\displaystyle \mathbb {Q} } 、実数体 R {\displaystyle \mathbb {R} } 、複素数体 C {\displaystyle \mathbb {C} } などが代表的な体である。 他に、環 Z / p Z {\displaystyle \mathbb {Z} /p\mathbb {Z} } は p {\displaystyle p} が素数ならば体になることが知られている。
環

なお、体については豊かな理論があるので、詳しくはこのページではなく体論において触れる。
環

整域と体の関係について、以下に命題を2つあげておく。
環

命題 体は必ず整域である。
環

命題 整域であって、有限集合であるものは体である。
環

2つの環の直積集合 R × R ′ {\displaystyle R\times R'} を考える。この集合には、 ( x 1 , x 2 ) , ( y 1 , y 2 ) ∈ R × R ′ {\displaystyle (x_{1},x_{2}),(y_{1},y_{2})\in R\times R'} に対し、
環

と演算を定めることによって、環の構造を入れることができる。これを直積環という。
環

可換環どうしの直積はまた可換環になることが容易に確かめられる。
環の準同型と準同型定理

群の場合と同様に、環の間の写像についても準同型という概念を考えることができる。環R,R'の間の写像 f : R → R ′ {\displaystyle f:R\to R'} が環の準同型であるとは、次の条件を満たすことである。
環の準同型と準同型定理

特に、部分環からの包含写像、剰余環への自然な全射は準同型になっていることを確かめられたい。
環の準同型と準同型定理

準同型が全単射であるとき同型ということも群の場合と同じである。準同型のkernelも群の場合と同様に ker f = { x ∈ R | f ( x ) = 0 } {\displaystyle \ker f=\{x\in R|f(x)=0\}} として定められ、これはRの両側イデアルになっている。
環の準同型と準同型定理

準同型定理も、群の場合とまったく同様である。すなわち、全射な環準同型 f : R → R ′ {\displaystyle f:R\to R'} があったとき、 R / ker f ≅ R ′ {\displaystyle R/\ker f\cong R'} が成り立つ。
環の準同型と準同型定理

準同型定理のひとつの応用として、次のような定理がある。
環の準同型と準同型定理

定理 Rを整域、a,bを(a,b)=Rを満たすRの元とするとき、 R / ( a ⋅ b ) ≅ R / ( a ) × R / ( b ) {\displaystyle R/(a\cdot b)\cong R/(a)\times R/(b)}
環の準同型と準同型定理

証明は、全射 R → R / ( a ) × R / ( b ) {\displaystyle R\to R/(a)\times R/(b)} を構成し、準同型定理を使えばよい。
環の準同型と準同型定理

この定理は、Chinese remainder theoremと呼ばれる(日本語訳は「中国の剰余定理」「中国人の剰余定理」「中国式剰余定理」など揺れがある)。これは、古代中国の数学書に、この定理の R = Z {\displaystyle R=\mathbb {Z} } の場合を用いる問題が載っていたことによる。
環の準同型と準同型定理

2つの環A,Rの間に環準同型 f : A → R {\displaystyle f:A\to R} があるとき、RはA上の代数(あるいはA代数)であるという。加群の言葉でいえば、Rが環であってしかもA加群の構造を持っている、ということと同値である。
環の準同型と準同型定理

次のようにして写像fを定めることができるので、任意の環Rは Z {\displaystyle \mathbb {Z} } 代数であることがわかる。
UFDとPID

整数の集合には、素数という特別な元が存在した。この概念を一般の整域に対して拡張してみよう。まずは記号を準備する。
UFDとPID

定義 Rを整域とする。 a , b ∈ R {\displaystyle a,b\in R} に対し、 a = b c {\displaystyle a=bc} となるような c ∈ R {\displaystyle c\in R} が存在するとき、b|aと書く。
UFDとPID

このとき、「bはaを割り切る」という。整数や多項式については既におなじみの概念だろう。この記号を用いて、素数にあたるものを定義する。
UFDとPID

定義 整域Rの単元でも0でもない元pが、 p | a b ⇒ p | a o r p | b {\displaystyle p|ab\Rightarrow p|a\ or\ p|b} を満たすとき、pはRの素元であるという。
UFDとPID

定義 整域Rの単元でも0でもない元pが、 p = a b ⇒ {\displaystyle p=ab\Rightarrow } aとbのどちらかは単元、を満たすとき、pはRの既約元であるという。
UFDとPID

命題 素元は既約元である。
UFDとPID

整数の集合における素数は素元でもありまた既約元でもある。しかし一般の整域においては、上の命題の逆は成り立たない。すなわち、素元は既約元であるが、既約元であっても素元であるとは限らない。
UFDとPID

例 R = Z [ − 5 ] {\displaystyle R=\mathbb {Z} [{\sqrt {-5}}]} において、2は既約元だが素元ではない。
UFDとPID

整数においては、素数という概念と関連して、素因数分解という概念があった。このような操作を行うことができる整域は、特別な整域として名前をつけておこう。
UFDとPID

定義 整域Rの単元でも0でもない任意の元が、Rの素元の有限個の積として表せるとき、Rは素元分解整域であるという。
UFDとPID

実は、素元分解が可能であるとき、この分解は一意的である。命題の形で書くと、
UFDとPID

命題 整域Rの単元でも0でもない元がRの素元の有限個の積として表せるとき、その表し方は単元倍を除いて一意。
UFDとPID

単元倍を除いて、とは、例えば整数6は2・3とも1・2・3とも(-1)・(-1)・2・3とも分解できるが、1や-1の適当な個数の積はともかくとして、「2・3」という部分の表し方は一意である、という意味である。この命題が成り立つので、ふつう素元分解整域のことは一意分解整域(unique factorization domain,UFD)と呼ぶ。
UFDとPID

命題 UFDにおいては、既約元は素元である。
UFDとPID

つまり、UFDにおいては素元という概念と既約元という概念が一致する。
UFDとPID

また、UFDにおいては、最大公約元・最小公倍元という概念を考えることができる。
UFDとPID

命題 RがUFDならば、Rの任意の2元について最大公約元・最小公倍元が単元倍を除いて一意に存在する。
UFDとPID

ここで、最大公約元・最小公倍元とは、下で定義される元のことである。
UFDとPID

定義 dがaとbの最大公約元であるとは、dはa,bをともに割り切り、かつ、a,bをともに割り切る任意の元cに対し、cがdを割り切ることである。mがaとbの最小公倍元であるとは、a,bがともにmを割り切り、かつ、a,bにともに割り切られる任意の元cに対し、mがcを割り切ることである。
UFDとPID

言葉にして書くとまどろっこしいが、よく考えればこれが整数における最大公約数・最小公倍数の特徴づけになっていることがわかるだろう。整数の集合には絶対値という概念があるので、最大・最小という言葉の意味はもっと素朴に考えてもよいのだが、一般の環にはそのような「大きさ」はないのである。
UFDとPID

整域Rであって、Rの任意のイデアルが単項イデアルであるものを、単項イデアル整域(principal ideal domain,PID)という。
UFDとPID

命題 Z {\displaystyle \mathbb {Z} } はPIDである。
UFDとPID

整域がPIDであればUFDである。つまり、PIDとはUFDの中の特別なものである。
UFDとPID

Z {\displaystyle \mathbb {Z} } がPIDであることを示すのに、初等整数論における定理を用いた。他の整域であっても、同様の命題が成立するならばこれと同様にしてその環はPIDになるということが示される。そのような整域を(Euclidの互除法にちなんで)Euclid整域と呼ぶ。正確には、次のように定義する。
UFDとPID

定義 整域Rに対してある整列集合Nへの写像 f : R ∖ { 0 } → N {\displaystyle f:R\setminus \{0\}\to N} が存在して、Rの任意の元x,yに対して次の条件を満たすとき、Euclid整域という。
UFDとPID

fとして通常の絶対値を考えると、 Z {\displaystyle \mathbb {Z} } はEuclid整域である。また、体上の一変数多項式環も、fとして次数を考えるとEuclid整域である。特に R {\displaystyle \mathbb {R} } 上の一変数多項式環がEuclid整域であることは、高等学校数学II 式と証明・高次方程式#整式の除法において扱っている。
素イデアルと極大イデアル

これまでは、環全体としてある特別な性質を満たす環を中心に見てきた。次に、特別な性質を持つイデアルの代表例として、素イデアルと極大イデアルについて解説する。まずは定義を述べる。
素イデアルと極大イデアル

定義 環Rのイデアル I {\displaystyle I} が素イデアルであるとは、 a , b ∈ R , a b ∈ I ⇒ a ∈ I o r b ∈ I {\displaystyle a,b\in R,ab\in I\Rightarrow a\in I\ or\ b\in I} を満たすことである。
素イデアルと極大イデアル

定義 環Rのイデアルmが極大イデアルであるとは、 m ⊊ I ⊊ R {\displaystyle m\varsubsetneq I\varsubsetneq R} なるイデアルIが存在しないことである。
素イデアルと極大イデアル

中身は大きく異なるが、どちらもそのイデアルが「十分大きい」イデアルであるという主張であることは共通している。しかし、これだけではどのようなイデアルかわかりにくいかもしれない。そこでこれらの性質をより特徴付けるのが、次の命題である。
素イデアルと極大イデアル

命題 環Rのイデアルpが素イデアルであることは、剰余環R/pが整域であることと同値である。
素イデアルと極大イデアル

命題 環Rのイデアルmが極大イデアルであることは、剰余環R/mが体であることと同値である。
素イデアルと極大イデアル

この2つから次のことが直ちにわかる。
素イデアルと極大イデアル

系 極大イデアルは素イデアルである。
素イデアルと極大イデアル

なぜならば、体は必ず整域だからである。ただし、PIDの場合は素イデアルという概念と極大イデアルという概念は一致する。
素イデアルと極大イデアル

命題 PIDの0でない素イデアルは極大イデアルである。
素イデアルと極大イデアル

さて、注意深い読者なら気づいているだろうが、以上で述べたことは、環Rに極大イデアルや素イデアルというものが存在するならばこのような性質を満たす、ということである。どの環にも極大イデアルや素イデアルが存在するのか、ということにはよく気を払うべきである。結論から言うと、これは選択公理を認めるか否かによる。
素イデアルと極大イデアル

命題 選択公理の下で、環RのR自身以外の任意のイデアルIには、Iを含むようなRの極大イデアルが存在する。
素イデアルと極大イデアル

証明にはZornの補題を用いることができる。Zornの補題の扱いに慣れている読者からみれば、いかにもこの補題を使えそうな命題に見えることだろう。したがって、任意の環には少なくとも一つは極大イデアルがあることがわかった。極大イデアルをただ一つしか持たない環を局所環と呼ぶ。
素イデアルと極大イデアル

極大イデアルや素イデアルの例として、多項式環のイデアルからいくつかを挙げ、剰余環が実際にどのような体や整域になるのかをみてみる。
素イデアルと極大イデアル

実数体上の一変数多項式環のイデアル ( X ) , ( X 2 + 1 ) {\displaystyle (X),(X^{2}+1)} は、生成元が因数分解できず、いかにも大きなイデアルであるが、実際これが極大イデアルであることが、次のようにしてわかる。
素イデアルと極大イデアル

命題 R [ X ] / ( X ) ≅ R {\displaystyle \mathbb {R} [X]/(X)\cong \mathbb {R} }
素イデアルと極大イデアル

命題 R [ X ] / ( X 2 + 1 ) ≅ C {\displaystyle \mathbb {R} [X]/(X^{2}+1)\cong \mathbb {C} }
素イデアルと極大イデアル

なお、多項式が既約かどうか(つまり、生成するイデアルが極大イデアルかどうか)は係数体に依存する。たとえば上で見たように X 2 + 1 {\displaystyle X^{2}+1} は実数体 R {\displaystyle \mathbb {R} } 上では既約だが、複素数体 C {\displaystyle \mathbb {C} } 上では ( X + i ) ( X − i ) {\displaystyle (X+i)(X-i)} と因数分解できるし、有限体 Z / 2 Z {\displaystyle \mathbb {Z} /2\mathbb {Z} } 上では ( X + 1 ) ( X + 1 ) {\displaystyle (X+1)(X+1)} と、 Z / 5 Z {\displaystyle \mathbb {Z} /5\mathbb {Z} } 上では ( X + 2 ) ( X + 3 ) {\displaystyle (X+2)(X+3)} と因数分解できる。一般に有限体 Z / p Z {\displaystyle \mathbb {Z} /p\mathbb {Z} } 上で X 2 + 1 {\displaystyle X^{2}+1} が既約かどうかについては、次の命題が知られている。
素イデアルと極大イデアル

命題 有限体 Z / p Z {\displaystyle \mathbb {Z} /p\mathbb {Z} } 上の多項式 X 2 + 1 {\displaystyle X^{2}+1} が既約多項式となるための必要十分条件は、素数pを4で割った余りが3であること。
素イデアルと極大イデアル

ところで、 R [ X ] {\displaystyle \mathbb {R} [X]} はユークリッド整域であり、したがってPID、UFDでもあるので、(0)以外の素イデアルは極大イデアルであるが、二変数の場合はそうとはならない。たとえば、 R [ X , Y ] {\displaystyle \mathbb {R} [X,Y]} のイデアル ( X 2 − Y ) {\displaystyle (X^{2}-Y)} を考えると、生成元 X 2 − Y {\displaystyle X^{2}-Y} が因数分解できないので素イデアルであるが、 ( X 2 − Y ) ⊂ ( X , Y ) {\displaystyle (X^{2}-Y)\subset (X,Y)} なので、極大イデアルではない。このことは、次の事実と対応する。
素イデアルと極大イデアル

命題 R [ X , Y ] / ( X 2 − Y ) ≅ R [ X ] {\displaystyle \mathbb {R} [X,Y]/(X^{2}-Y)\cong \mathbb {R} [X]}
素イデアルと極大イデアル

R [ X ] {\displaystyle \mathbb {R} [X]} は明らかに整域だが体ではない。
商環と局所化

有理数は、分母と分子が整数である分数として作ることができる。ここではこの操作を一般化して、ある環の分数として新たな環を作る操作を考えてみる。なお、非可換環でも同様のことを考えることはできるが、煩雑になるので、ひとまずこの節では特別に記さない限り可換環上で考えることにする。
商環と局所化

まず、積閉集合という概念を用意する。
商環と局所化

定義 可換環Rの部分集合Sが次の条件を満たすとき、この集合は積閉な部分集合であるという。
商環と局所化

S ⊂ R {\displaystyle S\subset R} が積閉のとき、直積集合 R × S {\displaystyle R\times S} 上で次の二項関係を考えると、これは同値関係になっている。
商環と局所化

問 同値関係であることを確かめよ。
商環と局所化

そこで、この同値関係で割った商集合 R × S / ∼ {\displaystyle R\times S/\sim } を考え、これを S − 1 R {\displaystyle S^{-1}R} と書くことにする。 ( r , s ) {\displaystyle (r,s)} を含む同値類を r s ∈ S − 1 R {\displaystyle {\frac {r}{s}}\in S^{-1}R} と表す。この集合に演算を定義して環にしたい。そのためには、有理数(すなわち通常の分数)の演算を参考に、次のように定めればよい。
商環と局所化

問 この演算がwell-definedであることと、この演算によって S − 1 R {\displaystyle S^{-1}R} が可換環になることを確かめよ。(ヒント:有理数において単位元・零元・加法逆元は何であったかを思い出す)
商環と局所化

こうして定義された環 S − 1 R {\displaystyle S^{-1}R} をRのSによる商環(あるいは分数環)という。商環という語はイデアルで割った剰余環と紛らわしいが、今見てきたとおりまったく別の概念である。
商環と局所化

整数の集合が有理数の集合の部分集合とみなせるのと同様、自然な単射 i : R → S − 1 R ; r ↦ r 1 {\displaystyle i:R\to S^{-1}R;r\mapsto {\frac {r}{1}}} があるので、Rは S − 1 R {\displaystyle S^{-1}R} の部分集合とみなすことができる。
商環と局所化

商環を作る操作によって、さまざまな重要な環が作られる。
商環と局所化

Sを可換環Rの零因子でない元全体とすると、これは積閉集合になっている。このとき S − 1 R {\displaystyle S^{-1}R} を全商環という。特にRが整域のとき、 S = R ∖ { 0 } {\displaystyle S=R\setminus \{0\}} となるが、このとき S − 1 R {\displaystyle S^{-1}R} は体になる。これを整域Rの商体という。商体はRを含むような最小の体である。
商環と局所化

例 Z {\displaystyle \mathbb {Z} } の商体は Q {\displaystyle \mathbb {Q} } である。
商環と局所化

また、可換環Rの素イデアルPがあるとき、 S = R ∖ P {\displaystyle S=R\setminus P} が積閉であることは素イデアルの定義から明らかである。このとき、 S − 1 R {\displaystyle S^{-1}R} を R P {\displaystyle R_{P}} と書き、RのPによる局所化という。名前から察せられるとおり、局所化は局所環になっている。
商環と局所化

命題 Pを可換環Rの素イデアルとするとき、 R P {\displaystyle R_{P}} は局所環である。