1 整域の定義
1.1 環（加法と乗法）としての前提
整域（integral domain）とは、可換な加法と乗法を備えた集合である「環」のうち、さらに追加の条件を満たすものを指す。環は通常、加法について可換群になっており、乗法は結合律を満たす。しばしば単位元（乗法の恒等元）も要求されるが、整域の文脈では零元を含むことに重点が置かれることが多い。
この定義では、整域は「可換環」として扱われるのが基本である。つまり、乗法は可換であり、要素の積は順序に依らない。加法と乗法の相互関係は、乗法が加法に関して分配的であることで確保される。
1.2 零因子を持たないこと
整域の中心的な特徴は「零因子がない」ことである。零因子とは、積が零になっても片方が零とは限らないような要素の組を指す。整域では、任意の要素 \(a,b\) に対し \[ ab=0 \Rightarrow a=0 \ \text{または}\ b=0 \] が成り立つ。言い換えると、積が零になる原因は必ず少なくとも一方が零に限られるため、「約分が崩れる」典型的な原因が排除される。
この条件は、数の世界で「0で割れない」性質や「割り算の素朴な感覚」を、環の言葉で再現しようとする要請として理解できる。零因子がある環では、割り算が情報を失いやすい状況が生じるため、整域はその障害を避ける。
1.3 可換性と零元・単元の位置づけ
可換性は、整域の議論を整理し、因数分解や既約性の扱いを左右する。乗法が可換であることで、「左から割る／右から割る」の区別が消え、生成や理想、約分の議論が対称になる。
零元は、加法に関する単位であると同時に、零因子の条件を記述する基準点にもなる。単元（unit）とは、乗法に関して逆元をもつ要素であり、約分や既約性の議論で重要な区別を与える。整域では単元は零因子の条件と整合的に振る舞い、分数体への拡張や同値関係の定義に自然に登場する。
2 直観と基本例
2.1 整域の代表例
整域は多くの基本的な代数体系に現れる。典型例を通じて、「零因子が存在しない」ことがどう保証されるかを確認できる。
2.1.1 整数全体
整数環 \(\mathbb{Z}\) は整域である。整数においては、積が零になるのは一方が零のときに限られる。これは整数の基本的な性質であり、零因子が存在しないことを直接保証する。さらに乗法は可換であるため、\(\mathbb{Z}\) は定義に従って整域となる。
整域としての \(\mathbb{Z}\) の意味は、「約分に似た振る舞い」が確かに成立する点にある。整数の割り算は常に可能ではないが、少なくともキャンセル（後述）に相当する論理は堅固である。
2.1.2 多項式環
体 \(K\) 上の多項式環 \(K[x]\) も整域である。ここで \(K\) が体であることは、係数の扱いの安定性に寄与する。多項式の積が零多項式になるためには、各次数の係数がすべて一致して零になる必要があるため、結果として因子のどちらかが零多項式であることが導かれる。
直観的には、次数の情報が失われにくいことが鍵である。多項式の「最高次数の項」が積で影響し、零になるには因子側で不整合が起きるため、零因子が生じにくい。
2.2 整域でない例と理由
整域でない環では、零因子の存在や可換性の欠如が原因となる。具体例によって「どこが定義条件に抵触するか」を明確にできる。
2.2.1 零因子が生じる場合
零因子がある例として、商環 \(\mathbb{Z}/(n)\) のうち \(n\) が非素数のものがしばしば挙げられる。たとえば \(n=4\) として \(\mathbb{Z}/(4)\) では、非零要素の積が零元に落ちる現象が起きる。具体的には、\(\overline{2}\neq \overline{0}\) であるのに対し \(\overline{2}\cdot\overline{2}=\overline{4}=\overline{0}\) となる。
この例は、積が零だからといって因子が零とは限らないことを示し、整域の中核条件が破れる。
2.2.2 可換でない場合の扱い
環論では、整域と呼ぶためには通常可換性も前提に含める。そのため、乗法が可換でない環は一般に「整域」とは呼ばれない。可換性がない場合には、零因子の概念を一般化するだけでは十分でなく、既約性や因数分解、約分の形式が左右で異なってくる。
ただし、整域に似た性格を持つ「非可換」領域は別のクラスとして整理されることが多い。そこで重要なのは、ここで扱う定義は可換性込みで設計されている点である。
3 整域の性質
3.1 既約性との関係の入口
既約性（irreducibility）は「それ以上分解できない」ことを表す概念であり、整域の枠組みが適している。理由は、分解における同値関係を「単元倍」を基準に定義できるからである。
整域では零因子がないため、積に基づく議論が安定する。たとえば \(ab\) がある性質を持つとき、その性質が因子側のどちらに由来するかを追跡しやすい。これが既約性の定義や、既約元が素元になる条件の検討へ自然につながる。
整域は「既約性」や「素性」を正しく比較する舞台として位置づくが、両者が常に一致するとは限らない点も、整域理論の興味深い要素になる。
3.2 キャンセル法則の成否
整域ではキャンセル法則が成り立つ。つまり \[ ac=bc,\quad a\neq 0 \Rightarrow c=b \] が導かれる。これは \(a(c-b)=0\) という形に書き換えられ、零因子がないため \(a\neq 0\) なら \(c-b=0\)、したがって \(c=b\) が従う。
この性質により、整域上での「約分」や「因子を取り除く」操作は、零でないことを前提とする限り妥当になる。逆に零因子のある環では、キャンセルが破れることがあり、割り算に類似した操作が成立しない。
キャンセル法則は整域の実用的な側面であり、多くの証明で暗黙の基盤になる。
3.3 素元・既約元の定義と整合性
整域では素元と既約元を定義し、その整合性を確認できる。
既約元とは、単元でなく、かつ単元倍を除く範囲で積として分解できない要素である。より具体的には、\(p=ab\) のとき、どちらかが単元であるなら既約とみなす。
素元とは、\(p\mid ab\) なら \(p\mid a\) または \(p\mid b\) が成り立つ要素である。素性は割り切りの論理に直接結びつき、素数の「割り算の感覚」に最も近い。
整域において、素元は一般に既約元でもある。直感的には、素元は分解の方向を強く制限するため、これ以上分けられない形になりやすい。ただし逆、つまり「既約元が必ず素元である」とは限らない。両者の一致は、環の追加構造に依存し、のちに取り上げる特殊なクラスで整理される。
4 整域からの発展
4.1 分数体（有理化）の構成
整域 \(R\) から分数体 \( \mathrm{Frac}(R)\) を構成することができる。これは「有理数の作り方」を一般化した手続きである。典型的には、分数を \(a/b\) と見なすが、\(a,b\in R\)、かつ \(b\neq 0\) を要求する。
同じ分数を表す条件として、\(\frac{a}{b}=\frac{c}{d}\) は \(ad=bc\) によって判定される。この判定が整域の零因子の条件により矛盾なく定義できる。さらに、加法・乗法を分数の形式に沿って定めると、得られた集合は体になり、すべての非零要素が逆元を持つ。
分数体は整域の中でまだ割り切れない要素についても割り算を許すため、理論の拡張に不可欠な基盤になる。代数幾何や体の理論でも、整域から分数体への移行が基本操作として頻繁に現れる。
4.2 因数分解と関連概念
整域では、分解の概念を「単元倍」を割り当てることで扱いやすくする。実際、要素が単元倍だけ違う場合は、本質的な分解としては同一視されることが多い。因数分解の一意性の成否は、整域の性質を特徴づける。
関連する概念としては、既約元の分解の可否、分解の一意性、さらには因子の置き換え可能性などがある。特定の整域クラスでは「既約元への分解が存在し、順序や単元倍を除いて一意」という形の定理が成立する。これにより、数の素因数分解に対応する理論が、整域上でも再現される。
また、分解と結びつく概念として、約分や最大公約数（後述の関連）の整然さが重要になる。因数分解の振る舞いが良い整域ほど、整数論の推論と似た証明が使える。
4.3 UFD・PID などの関連クラスへの橋渡し
整域の一般論だけでは、素元と既約元の一致や因数分解の一意性が自動では得られない。そこで、追加条件を課して「整数に近い」性格を保証するクラスが定義される。代表例として、UFD（整域であって既約元への分解が一意に整理できるもの）やPID（主イデアル整域）が挙げられる。
UFDでは、既約元への分解が概念として定着し、素因数分解に類似した計算が可能になる。PIDでは、イデアルが単一の元で生成されるため、約分や最大公約数、拡張ユークリッド法のような設計が理論的に組み立てやすい。これらは整域からの自然な発展であり、素性・既約性・因数分解の関係をより強く結びつける。
結果として、整域は「分数体」や「因数分解」へ進むための入口であり、UFDやPIDはその成果を構造としてまとめ上げる枠組みになる。これにより、代数的対象に対する共通の計算原理を得られる。