環論のソースを表示

{{pathnav|frame=1|メインページ|数学|代数学}}
== 環 ==
[[群論]]においては群について扱ったが、群には演算がひとつしか定義されていない。しかし、我々がよく知っている整数や実数には、掛け算と足し算という質の異なるふたつの演算が定義されている。このような代数構造を扱うため、環という概念を考える。

=== 環の定義 ===
集合 <math>R</math> が演算&middot;と+について環であるとは、次の全てを満たすことである。

# (''R'',+)はアーベル群
# (''R'',&middot;)はモノイド
# ''a'',''b'',''c'' &isin; ''G'' &rArr; ''a'' &middot; (''b'' + ''c'') = ''a'' &middot; ''b'' + ''a'' &middot; ''c'' , (''a'' + ''b'') &middot; ''c'' = ''a'' &middot; ''c'' + ''b'' &middot; ''c''

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

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

整数の集合や実数の集合は、通常の掛け算と足し算について可換環になる。また、環''R''を係数とする''n''変数多項式の全体<math>R[X_1,X_2,\cdots,X_n]</math>や、環を成分とする''n''次正方行列の全体<math>M(n,R)</math>は環となる。

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

(''R'',+)の単位元を<math>0_R</math>、(''R'', &middot;)の単位元を<math>1_R</math>と書くことにする。また、(''R'',+)における''a''の逆元を''-a''と書き、a+(-b)をa-bと書くことにしよう。これらの記法はもちろん整数環での記法を流用したものである。

=== 部分環とイデアル ===
環<math>R</math>の部分集合<math>S</math>が部分環であるとは、次の条件を満たすことをいう。

#<math> x,y \in S \Rightarrow x-y \in S</math>
#<math> x,y \in S \Rightarrow x \cdot y \in S</math>
#<math> 1_G \in S</math>

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

環<math>R</math>の部分集合<math>I</math>が左イデアルであるとは、次の条件を満たすことをいう。
#<math> x,y \in I \Rightarrow x+y \in I</math>
#<math> x \in I , a \in R \Rightarrow a \cdot x \in I</math>

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

<math>a_1,\cdots,a_n \in R</math>があるとき、<math>R</math>の部分集合<math>\{ x_1a_1+\cdots+x_n a_n \ | \ x_1,\cdots,x_n \in R \}</math>は左イデアルであり、これは<math>a_1,\cdots,a_n</math>を含む左イデアルの中で最小のものである。これを<math>a_1,\cdots,a_n</math>が生成する左イデアルといい、<math>(a_1,\cdots,a_n)</math>と書く。特に、あるひとつの元<math>a</math>で生成されるイデアルのことを'''単項イデアル'''といい、<math>(a)</math>や<math>aR</math>と表す。

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

==== 例 ====
# <math>\mathbb{Z}</math>の部分集合<math>\{ px | x \in \mathbb Z \}</math>は<math>\mathbb{Z}</math>の両側イデアルである。これを<math>p \mathbb{Z}</math>と書く。<math>\mathbb{Z}/p \mathbb{Z}</math>は、直感的な言い方をすれば、整数をpで割った余りに着目した環である。
# <math>\{ 0 \}</math>もイデアルである。以下では簡単のためにこのイデアルのことを単に0と書くことがある。
# 環<math>R</math>に対して、<math>R</math>自身も<math>R</math>のイデアルである。特にイデアル<math>I</math>が<math>1 \in I</math>を満たすとき、<math>R=I</math>である。

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

'''定義'''　環Rの任意の元a,bについて<math>a \cdot b = 0 \Rightarrow a=0 \ or \ b=0</math>を満たすとき、Rは整域であるという。

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

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

:<math>\begin{pmatrix}
  1 & -1 \\
  0 & 0 
\end{pmatrix}
\cdot
\begin{pmatrix}
  1 & 0 \\
  1 & 0 
\end{pmatrix}
=
\begin{pmatrix}
  0 & 0 \\
  0 & 0 
\end{pmatrix}</math>

なので、整域ではない。

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

'''定義'''　可換環 <math>R</math> の <math>0</math> でない任意の元が単元であるとき、<math>R</math> は体であるという。

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

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

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

'''命題'''　体は必ず整域である。
:（証明）
:''K''を体とする。<math>a,b \in K</math>について、<math>ab=0</math>かつ<math>b \ne 0</math>とすると、両辺に<math>b^{-1}</math>をかけると<math>a=0</math>となる。したがって、<math>ab=0</math>ならば<math>a=0</math>または<math>b=0</math>、すなわち''K''は整域である。//

'''命題'''　整域であって、有限集合であるものは体である。
:（証明）
:''n''個の元からなる集合<math>R=\{0,a_1,a_2,\cdots,a_{n-1}\}</math>が整域であるとする。<math>a_ka_i=a_ka_j</math>のとき、<math>a_k(a_i-a_j)=0</math>であり、''R''は整域なので<math>a_i=a_j</math>である。すなわち、<math>a_ka_1,a_ka_2,\cdots,a_ka_{n-1}</math>はすべて相異なる0でない元であり、したがってこれらのうちのいずれかは1である（鳩の巣原理）。すなわち、任意の''k''に対して<math>a_k</math>は逆元を持つので、''R''は体である。//

=== 環の直積 ===
2つの環の直積集合<math>R \times R'</math>を考える。この集合には、<math>(x_1,x_2),(y_1,y_2) \in R \times R'</math>に対し、

:<math>(x_1,x_2)+(y_1,y_2)=(x_1+y_1,x_2+y_2)</math>
:<math>(x_1,x_2) \cdot (y_1,y_2)=(x_1 \cdot y_1,x_2 \cdot y_2)</math>

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

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

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

# 加法群の間の写像としてみたとき、群の準同型になっている。
# 任意の<math>x,y \in R</math>について、<math>f(x \cdot y)=f(x) \cdot f(y)</math>
# <math>f (1_R)=1_{R'}</math>

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

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

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

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

'''定理'''　Rを整域、a,bを(a,b)=Rを満たすRの元とするとき、<math>R/(a \cdot b) \cong R/(a) \times R/(b)</math>

証明は、全射<math>R \to R/(a) \times R/(b)</math>を構成し、準同型定理を使えばよい。

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

=== 環上の代数 ===
2つの環''A'',''R''の間に環準同型<math>f:A \to R</math>があるとき、''R''は''A''上の代数（あるいは''A''代数）であるという。[[加群]]の言葉でいえば、''R''が環であってしかも''A''加群の構造を持っている、ということと同値である。

次のようにして写像''f''を定めることができるので、任意の環''R''は<math>\mathbb{Z}</math>代数であることがわかる。
:<math>f(n)=1_R+1_R+ \cdots +1_R</math>（''n''個の和）

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

'''定義'''　Rを整域とする。<math>a,b \in R</math>に対し、<math>a=bc</math>となるような<math>c \in R</math>が存在するとき、b|aと書く。

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

'''定義'''　整域Rの単元でも0でもない元pが、<math>p|ab \Rightarrow p|a \ or \ p|b</math>を満たすとき、pはRの素元であるという。

'''定義'''　整域Rの単元でも0でもない元pが、<math>p=ab \Rightarrow</math>aとbのどちらかは単元、を満たすとき、pはRの既約元であるという。

'''命題'''　素元は既約元である。
:（証明）
:''p''を素元とし、<math>p=ab</math>を満たすとする。''p''は素元なので、<math>p|a</math>または<math>p|b</math>である。<math>p|a</math>と仮定して一般性を失わない。すなわち、ある''c''を用いて<math>a=pc</math>と表せるので、
::<math>p=pbc</math>
::<math>p(1-bc)=0</math>
::<math>bc=1</math>
:である。よって、''b''は単元である。すなわち、''p''は既約元である。//

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

'''例'''　<math>R=\mathbb{Z}[\sqrt{-5}]</math>において、2は既約元だが素元ではない。
:（証明）
:<math>a+b \sqrt{-5} \in \mathbb{Z}[\sqrt{-5}]</math>が2を割り切るとすると、<math>a-b \sqrt{-5}</math>も2を割り切るので、<math>\left(a+b \sqrt{-5}\right)\left(a-b \sqrt{-5}\right)=a^2+5b^2</math>は4を割り切る。''a'',''b''は整数であることに注意すると、これは<math>b=0</math>かつ<math>a=\pm 1,\pm 2</math>の場合に限る。すなわち、2は既約元である。
:一方、<math>6=2 \cdot 3 =\left(1+\sqrt{-5}\right)\left(1-\sqrt{-5}\right)</math>であるが、2は<math>1+\sqrt{-5}</math>も<math>1-\sqrt{-5}</math>も割り切らない。これは2が素元でないことを表している。//

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

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

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

'''命題'''　整域Rの単元でも0でもない元がRの素元の有限個の積として表せるとき、その表し方は単元倍を除いて一意。
:（証明）
:<math>a=p_1p_2 \cdots p_k=q_1q_2 \cdots q_n</math>
:と2通りに素元分解できたとすると、<math>p_1|a</math>なので、<math>p_1|q_1</math>であるかまたは、<math>p_1|q_2 \cdots q_n</math>であるかのいずれかである。<math>q_1</math>は素元ゆえ既約元なので、前者のとき単元倍を除いて<math>p_1=q_1</math>である。<math>p_1 \ne q_1</math>のとき、同様にして<math>p_1=q_2</math>または<math>p_1|q_3 \cdots q_n</math>であるので、以下同様に繰り返すことで<math>p_1</math>は<math>q_1,q_2,\cdots,q_n</math>のいずれかと単元倍を除いて一致することがわかる。この議論を繰り返せば、この2つの素元分解が同じものであることがわかる。//

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

'''命題'''　UFDにおいては、既約元は素元である。
:（証明）
:''R''をUFD、<math>x \in R</math>を既約元とすると、
::<math>x=p_1p_2 \cdots p_r</math>
:と素元分解することができるが、''x''は既約元なので、<math>r>1</math>とすると<math>p_1</math>または<math>p_2 \cdots p_r</math>のいずれかは単元となり、矛盾。したがって<math>x=p_1</math>となり、すなわち''x''は素元である。//

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

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

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

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

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

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

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

'''命題'''　<math>\mathbb{Z}</math>はPIDである。
:（証明）
:<math>I \subset \mathbb{Z}</math>をイデアルとし、''I''の元の中で最小の正整数を<math>a</math>とする。<math>x \in I</math>を任意にとると、<math>x=aq+r</math>を満たす整数<math>q,r(0 \le r<a)</math>が存在する（cf.[[初等整数論/整除性]]）。このとき、<math>r=x-aq</math>なので、<math>r \in I</math>である。しかし、<math>r>0</math>とすると''a''が''I''の元で最小の正整数であることに反するので、<math>r=0</math>。すなわち、<math>x=aq</math>と表せるので、<math>I=(a)</math>である。//

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

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

'''定義'''　整域''R''に対してある整列集合''N''への写像<math>f:R\setminus\{0\} \to N</math>が存在して、''R''の任意の元''x'',''y''に対して次の条件を満たすとき、Euclid整域という。
# <math>x \ne 0,y \ne 0</math>ならば、<math>f(xy)>f(y)</math>
# <math>x \ne 0</math>ならば、<math>y=qx+r</math>となるような''R''の元''q'',''r''であって、<math>f(x)>f(r)</math>または''r''=0であるようなものが存在する。

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

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

'''定義'''　環 <math>R</math> のイデアル <math>I</math> が素イデアルであるとは、<math>a,b \in R,ab \in I \Rightarrow a \in I \ or \  b \in I</math>を満たすことである。

'''定義'''　環  <math>R</math> のイデアルmが極大イデアルであるとは、<math>m \varsubsetneq I \varsubsetneq R</math>なるイデアルIが存在しないことである。

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

'''命題'''　環 <math>R</math> のイデアルpが素イデアルであることは、剰余環R/pが整域であることと同値である。
:（証明）
:pを素イデアルとする。<math>x+p,y+p \in R/p</math>に対して<math>(x+p)(y+p)=0</math>とすると、<math>xy+p=0 \in R/p</math>であり、<math>xy \in p</math>なので、pが素イデアルであることから<math>x \in p</math>または<math>y \in p</math>である。すなわち、R/pにおいては<math>x+p=0</math>または<math>y+p=0</math>である。よって、R/pは整域である。
:逆に、イデアルpに対してR/pは整域であるとする。このとき、<math>xy \in p</math>とすると、R/pにおいては<math>(x+p)(y+p)=0</math>なので、R/pが整域であることから、<math>x+p=0</math>または<math>y+p=0</math>である。すなわち、<math>x \in p</math>または<math>y \in p</math>なので、pは素イデアルである。//

'''命題'''　環Rのイデアルmが極大イデアルであることは、剰余環R/mが体であることと同値である。
:（証明）
:mを極大イデアルとする。<math>x+m \in R/m</math>が0でないとすると、<math>x \notin m</math>なので、イデアル<math>(x)+m:=\{ax+b|a \in R,b \in m \}</math>はmを真に包含するイデアルであり、mが極大イデアルであることからこのイデアルはRと一致する。すなわち、<math>ax+b=1</math>を満たす<math>a \in R,b \in m</math>が存在する。このとき、R/mにおいては<math>(a+m)(x+m)=1</math>なので、<math>a+m</math>は<math>x+m</math>の逆元である。すなわち、R/mは体である。
:R/mが体であるとする。<math>m \varsubsetneq I</math>なるイデアル''I''を考え、<math>x \in I \setminus m</math>をとる。このとき、R/mにおいて<math>x+m \ne 0</math>なので、<math>(x+m)(a+m)=1</math>なる<math>a \in R</math>が存在する。すなわち、ある<math>b \in m</math>を用いて<math>ax+b=1</math>と表すことができ、<math>x,b \in I</math>であることから<math>1 \in I</math>である。すなわち、<math>I=R</math>であり、mは極大イデアルである。

この2つから次のことが直ちにわかる。

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

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

'''命題'''　PIDの0でない素イデアルは極大イデアルである。
:（証明）
:''R''をPIDとする。まず、定義から明らかに、単項イデアル(''p'')が素イデアルであることは''p''が素元であることは同値である。したがって、''R''の0でない素イデアルはある素元''p''を用いて(''p'')と表せる。素元は既約元なので、''p''は既約元でもある。
:ここで、<math>(p) \sub I</math>なるイデアル''I''が存在するとする。PIDなので、ある''a''を用いて<math>I=(a)</math>と表される。すなわち、ある<math>b \in R</math>を用いて<math>p=ab</math>と表される。''p''は既約元なので''a'',''b''のいずれかは単元である。''a''が単元のときは<math>I=R</math>、''b''が単元のときは<math>I=(p)</math>なので、(''p'')は極大イデアルである。//

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

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

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

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

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

'''命題'''　<math>\mathbb{R}[X]/(X) \cong \mathbb{R}</math>
:（証明）準同型<math>F:\mathbb{R}[X] \to \mathbb{R}</math>を<math>F(f)=f(0)</math>で定めると、これは全射で、<math>\ker F=(X)</math>である。//

'''命題'''　<math>\mathbb{R}[X]/(X^2+1) \cong \mathbb{C}</math>
:（証明）準同型<math>F:\mathbb{R}[X] \to \mathbb{C}</math>を<math>F(f)=f(i)</math>で定めると、これは全射で、<math>\ker F=(X^2+1)</math>である。（''f''は<math>\mathbb{R}</math>係数なので、<math>f(i)=0 \Rightarrow f(-i)=0</math>であることより従う）//

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

'''命題'''　有限体<math>\mathbb{Z}/p\mathbb{Z}</math>上の多項式<math>X^2+1</math>が既約多項式となるための必要十分条件は、素数''p''を4で割った余りが3であること。
:（証明）<math>p=2</math>のとき可約なことは既にみたので、''p''が奇素数のときを考えればよい。このとき、<math>X^2+1</math>は重根を持たないことに注意する。また、フェルマーの小定理より、任意の<math>x \in \mathbb{Z}/p\mathbb{Z}</math>に対して<math>x^p-x=0</math>なので、次数を考えると<math>X(X-1)\cdots(X-p+1)=X^p-X</math>であることがわかる。以上より、<math>X^2+1</math>が既約であるための必要十分条件は、<math>X^2+1</math>が<math>X^p-X</math>を割り切らないことである。
:ところで''p''は奇数なので、<math>X^p-X=((X^2)^\frac{p-1}{2}-1)X \equiv ((-1)^\frac{p-1}{2}-1)X \mod (X^2+1)</math>であることに注意する。<math>p=4k+1</math>のとき<math>(-1)^{2k}-1=0</math>であり、<math>p=4k+3</math>のとき<math>(-1)^{2k+1}-1=-2</math>であるから、<math>X^p-X</math>を<math>X^2+1</math>で割った余りは、''p''が4で割って1余る数のとき0、''p''が4で割って3余る数のとき<math>-2X</math>である。以上より、<math>X^2+1</math>が既約多項式となるための必要十分条件は、素数''p''を4で割った余りが3であることである。//

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

'''命題'''　<math>\mathbb{R}[X,Y]/(X^2-Y) \cong \mathbb{R}[X]</math>
:（証明）準同型<math>F:\mathbb{R}[X,Y] \to \mathbb{R}[X]</math>を<math>F(f)=f(X,X^2)</math>で定めると、これは全射で、<math>\ker F=(X^2-Y)</math>である。//

<math>\mathbb{R}[X]</math>は明らかに整域だが体ではない。

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

まず、'''積閉集合'''という概念を用意する。

'''定義'''　可換環''R''の部分集合''S''が次の条件を満たすとき、この集合は積閉な部分集合であるという。
#<math>1_R \in S</math>
#<math>x,y \in S \Rightarrow xy \in S</math>

<math>S \subset R</math>が積閉のとき、直積集合<math>R \times S</math>上で次の二項関係を考えると、これは同値関係になっている。

:<math>(r,s) \sim (r',s') \Leftrightarrow \exists t \in S \ t(rs'-r's)=0</math>

'''問'''　同値関係であることを確かめよ。

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

:<math>\frac{r}{s}+\frac{r'}{s'}:=\frac{rs'+r's}{ss'}</math>
:<math>\frac{r}{s} \cdot \frac{r'}{s'}=\frac{rr'}{ss'}</math>

'''問'''　この演算がwell-definedであることと、この演算によって<math>S^{-1}R</math>が可換環になることを確かめよ。（ヒント：有理数において単位元・零元・加法逆元は何であったかを思い出す）

こうして定義された環<math>S^{-1}R</math>をRのSによる商環（あるいは分数環）という。商環という語はイデアルで割った剰余環と紛らわしいが、今見てきたとおりまったく別の概念である。

整数の集合が有理数の集合の部分集合とみなせるのと同様、自然な単射<math>i:R \to S^{-1}R ; r \mapsto \frac{r}{1}</math>があるので、''R''は<math>S^{-1}R</math>の部分集合とみなすことができる。

=== 商環の例 ===
商環を作る操作によって、さまざまな重要な環が作られる。

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

'''例'''　<math>\mathbb{Z}</math>の商体は<math>\mathbb{Q}</math>である。

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

'''命題'''　''P''を可換環''R''の素イデアルとするとき、<math>R_P</math>は局所環である。
:（証明）
:<math>R_P</math>の部分集合''M''を
::<math>M=\left\{\frac{p}{q} \ | \ p \in P,q \in R \setminus P\right\}</math>
:と定める。''M''は明らかに<math>R_P</math>の（1を含まない）イデアルである。これが唯一の極大イデアルであることを示す。そのためには、<math>R_P</math>のイデアル''I''が''M''の部分集合でないならば<math>R_P</math>自身であることを示せばよい。
:<math>R_P</math>のイデアル''I''が''M''の部分集合でないと仮定する。すなわち、ある<math>\frac{r}{s} \in I \setminus M</math>が存在する。定義より、<math>r \in R \setminus P</math>なので、<math>\frac{s}{r} \in R_P</math>であり、''I''はイデアルなので<math>\frac{r}{s} \frac{s}{r}=1 \in I</math>である。したがって、<math>I=R_P</math>である。//

{{DEFAULTSORT:かんろん}}
[[Category:数学]]
[[Category:代数学]]