両側イデアル

1 両側イデアルの定義

1.1 左右からの吸収性

環 \(R\) の部分集合 \(I\subseteq R\) が両側イデアルであるとは、まず \(I\) が加法に関して部分加群（すなわち \(x,y\in I\) なら \(x-y\in I\)）であり、さらに任意の \(r\in R\) と任意の \(x\in I\) に対して積 \(rx\) と \(xr\) の双方が常に \(I\) に属することをいう。言い換えると、環の任意の元で左から掛けても右から掛けても、イデアルの元はイデアルの外へ出ない。

この左右両方の吸収性が非可換環では本質的で、左側だけを要求する条件と右側だけを要求する条件が別の概念になる。両側イデアルはそれらの両方を同時に満たすため、環の構造を左右対称に切り出す対象として働く。

1.2 両側イデアルとイデアルの関係

環の「イデアル」という語は文脈により可換／非可換の区別があり得るが、非可換環では通常「左イデアル」「右イデアル」「両側イデアル」を使い分ける。両側イデアルは、左イデアルでもあり右イデアルでもあるような特別なイデアルである。

また、イデアルを用いた商構成においても、非可換環では片側条件だけでは商環の積が well-defined にならないことがある。両側イデアルをとることで、商 \(R/I\) の積が一貫して定義でき、環準同型の核としても自然に現れる。

1.2.1 左イデアル・右イデアルとの比較

左イデアルは「任意の \(r\in R\) と \(x\in I\) に対して \(rx\in I\)」を満たす集合であり、右イデアルは「任意の \(r\) と \(x\) に対して \(xr\in I\)」を満たす集合である。両側イデアルはその両方を満たす。

一般には、左イデアルから右イデアルが導かれるとは限らず、その逆も成り立たない。したがって非可換環では、計算や分類の際に片側条件をどのように扱うかが重要になる。両側イデアルに限定することで、商環の理論が整備され、以後の構造論が系統的に展開できる。

1.3 可換環における一致

環 \(R\) が可換なら、\(rx=xr\) が成り立つため、左イデアル条件と右イデアル条件は同値になる。具体的には、任意の \(r\in R\) と \(x\in I\) に対して左からの積が \(I\) に入るなら、同じ積が右からの積でもあるので右側の条件も自動的に成立する。

この結果、可換環では「左」「右」「両側」という区別が実質的に消える。以後の基本定理や計算手法において、単に「イデアル」と呼ぶだけで両側性を暗に含む場合が多い。

2 基本性質

2.1 演算に関する安定性

両側イデアルの集合は、加法・共通部分・和といった演算に対して安定に振る舞う。これは、両側条件が「左から掛けても右から掛けても閉じている」というタイプの性質であるため、和や交わりを取っても吸収性が維持されやすいことに由来する。

また、両側イデアル同士の演算は、部分集合としてだけでなく環論的な対応（商や準同型の核）を通じて構造を反映する。特に交わりは「両側性を課した上での最大の制約」、和は「両側性を課した上での最小の緩和」に対応する。

2.1.1 和・和の直和・交わり

両側イデアル \(I,J\subseteq R\) に対して、和 \(I+J=\{x+y\mid x\in I,\ y\in J\}\) は再び両側イデアルになる。左からの積については \(r(x+y)=rx+ry\) が \(I\) と \(J\) の和に入り、右からの積も同様に \(I+J\) に入る。加法的に閉じていることも定義から従う。

交わり \(I\cap J\) も両側イデアルである。なぜなら、任意の元で左・右から掛けた結果が \(I\) に入ると同時に \(J\) にも入る必要があり、その双方を満たすからである。

また、家族 \(\{I_\alpha\}\) の直和（意味が文脈で異なる場合は通常は和集合とみなした加群としての構造）や、線形部分空間の和に対応する概念についても、和として扱う範囲では同様の閉性が成り立つ。実際の取り扱いでは、有限個なのか無限個なのかが次節の焦点になる。

2.1.1.1 有限和と無限交わり

有限個の両側イデアル \(I_1,\dots,I_n\) の和 \(I_1+\cdots+I_n\) は両側イデアルである。上の議論を反復するだけでよいので、加法と両側吸収性が保持される。

無限交わりに関しても、両側イデアルの任意の個数の共通部分は両側イデアルになる。交わりの定義から、ある元が交わりに属するならそれは各成分に属し、各成分が吸収性を持つ以上、その左・右の積もすべての成分に属するため共通部分へ戻る。

無限の和については、単純な和集合をどのように解釈するか（線形結合の許容など）に注意が必要であるが、両側イデアルとして定義する際は通常、生成された和（加法的に閉じた部分）として扱うため、結果として両側性が維持される形に整合する。

2.2 生成される両側イデアル

両側イデアルは、ある集合から「最小の両側イデアル」を生成する形で構成できる。これは、イデアル論における計算の起点として重要であり、具体的問題の多くが「与えられたデータが生成するイデアルを特定する」ことに帰着する。

生成の定義は、包含関係に関する最小性（あるいは最大性）を使って与えられる。実装上は、生成集合に対し両側積と和差を閉じた最小部分を作ることが多い。

2.2.1 元による生成

単一元 \(a\in R\) から生成される両側イデアルは、典型的には \((a)=RaR=\left\{\sum_k r_k a s_k\mid r_k,s_k\in R\right\}\) の形で表される。これは \(a\) を両側から環の元で挟み、有限個の線形結合を取った集合として理解できる。

この集合は明らかに \(a\) を含み、しかも両側積で閉じている。さらに、両側イデアル \(J\) が \(a\) を含むなら、両側吸収性により \(r a s\in J\) が成り立つので、上の一般形がすべて \(J\) に入る。ゆえに \((a)\) は包含関係で最小の両側イデアルになる。

2.2.2 集合による生成

集合 \(S\subseteq R\) から生成される両側イデアル \((S)\) は、同様に「\(S\) を両側から挟んだものの有限和」を用いて記述できる。典型的には \[ (S)=\sum_{i=1}^n R s_i R\quad (s_i\in S) \] のように有限個の代表を取る形で表される。

直観的には、まず \(s\in S\) を左右から任意の \(R\)-元で挟んで得られる要素群を作り、それらを加法的に閉じることで最小の両側性を満たす部分になる。この操作により、生成された対象が「\(S\) が強制する最小の関係」を代数的に実現する。

2.3 商環との対応

両側イデアル \(I\) が与えられると、商集合 \(R/I\) は自然に商環として構成できる。加法は剰余類の和として定義でき、積も \((r+I)(t+I)=rt+I\) と置くことで定義できる。

積が well-defined であることは、両側吸収性に依存する。すなわち \(r\) と \(r'\) が同じ剰余類を表すなら \(r-r'\in I\) であり、これに右から \(t\) を掛けた差が \(I\) に入る必要がある。また \(t\) 側の選び方が変わっても同様に差が \(I\) に入ることが求められる。これを保証するのが両側イデアルの条件である。

この対応により、両側イデアルは環準同型の核と結び付けられる。特に、商写像 \(R\to R/I\) の核はちょうど \(I\) になるため、両側イデアルは構造を壊さずに情報を圧縮する仕組みを提供する。

3 両側イデアルの構成と計算

3.1 イデアルの拡大と収縮

イデアルの拡大（より大きい両側イデアルを作ること）や収縮（より小さい方へ絞ること）は、包含関係を通じて理解できる。与えられた集合を含む最小の両側イデアルが生成として与えられ、これは拡大の典型である。

一方、収縮は交わりによって行える。複数の条件を同時に満たす集合を欲しい場合には、各条件に対応する両側イデアルの共通部分を取ることで、包含関係で最大の制約を持つ両側イデアルが得られる。

また、商を取る過程は「収縮」的に働く。\(R\) から \(I\) を潰した結果として残る構造は \(R/I\) によって表され、元の両側イデアルの相対的な位置はしばしば包含写像や対応によって整理される。

3.2 既約分解・素因子に由来する例

可換環の古典的状況では、両側イデアルが因子分解や素イデアルの分解と結び付く。具体例として、素因子に関する情報がイデアルの生成や包含関係を決める局面があり、計算を進める上で手掛かりになる。

例えば主イデアル整域やユークリッド整域では、生成元の因数の構造がイデアルの包含を反映する。そこでは \(a\) と \(b\) の関係（公約数や公倍数）に応じて \((a)\) と \((b)\) の大小関係が決まる。

非可換環でも「素に似た」分解的性質が現れるが、その場合は両側イデアルや関連する概念（準素・素の定義や左／右の区別）を丁寧に扱う必要がある。実際の計算は環の特性（ベズー環、Noether 性、分解整域に類する条件など）に依存する。

3.3 行列環などでの具体例

行列環 \(M_n(R)\) では、両側イデアルの分類が比較的明確になることがある。たとえば \(R\) が可換であれば、\(M_n(R)\) の両側イデアルはしばしば \(R\) のイデアルに対応して記述できる。具体的には、\(I\subseteq R\) が両側イデアルなら \[ M_n(I)=\{(a_{ij})\in M_n(R)\mid a_{ij}\in I\ \text{for all } i,j\} \] が \(M_n(R)\) の両側イデアルになり、逆方向にも適切な条件の下で対応が整理される。

この種の例では、要素ごとの条件（行列成分がある集合に属するか）と、両側吸収性（行列の積で閉じるか）が整合的に一致する。結果として、計算は成分のイデアルに還元でき、抽象論が具体的な行列操作へ落ちる。

さらに、イデアルの生成についても行列表現が効率的になることがあり、ある行列から両側により生成される集合を、成分レベルの生成で記述する手順が取られる。

4 重要な理論的役割

4.1 部分環・準同型との関係

両側イデアルは環準同型と自然に結び付く。環準同型 \(f:R\to S\) に対し、核 \(\ker f=\{r\in R\mid f(r)=0\}\) は常に両側イデアルになる。なぜなら、\(f\) が積を保つことから \(f(rx)=f(r)f(x)=f(r)\cdot 0=0\) と \(f(xr)=0\) が成り立つためである。

部分環との関係では、包含写像 \(T\subseteq R\) に対して \(R\) 側で与えた両側イデアルを \(T\) に制限したり、逆に \(T\) のイデアルを \(R\) に拡張したりする操作が行われる。拡張は生成の概念を通じて特徴付けられ、制限は交わりとして表されることが多い。

このように、両側イデアルは「形を変える操作（準同型）」と「形を切り出す操作（部分への対応）」のどちらにも現れる。

4.2 アーベル群との類似と相違

両側イデアルの加法的側面はアーベル群（正確には環の加法群）の部分群と同じ枠組みで扱える。すなわち、両側イデアルはまず加法に関して部分群であり、和差に関する閉性を持つ。

しかし相違は積の扱いにある。アーベル群では「積」は構造要素ではないが、環では乗法が存在し、その左右両方からの作用が部分集合を閉じる必要がある。したがって、両側イデアルは加群論的な性質に加えて環作用（左・右）の整合性を含む。

このため、アーベル群としての分解が成り立っても、積の条件によってその分解がイデアル分解へは直ちに引き継がれないことがある。分類や計算では、加法面と乗法面を分けて確認する姿勢が必要になる。

4.3 準同型定理における位置づけ

両側イデアルは準同型定理の中核にある。第一準同型定理の形では、環準同型 \(f:R\to S\) が与えられたとき、像 \(\operatorname{Im} f\) は \(R/\ker f\) と同型になる。ここで \(\ker f\) は両側イデアルであるため、商環が適切に定義される。

第二準同型定理や第三準同型定理も、両側イデアルの包含関係（\(I\subseteq J\)）と商の段階的構成に依存する。たとえば \(I\subseteq J\) が両側イデアルなら、商 \(R/I\) において \(J/I\) が両側イデアルとして現れ、さらにその商を取ることができる。

このように、両側イデアルは「割り算による構造の再構成」を可能にし、定理の適用範囲を保証する条件として機能する。

4.4 素イデアル・極大イデアルとの関係

両側イデアルは素イデアルや極大イデアルの基本的舞台である。可換環では、素イデアルは「商環が整域になる」ことに対応し、極大イデアルは「商環が体になる」ことに対応する。これらはいずれも両側イデアルとして商環を作れることが前提になる。

非可換環では、素・極大の概念が左右やさらに強い条件と絡み、用語の定義が可換の場合と一致しないことがある。その場合でも「商構成ができる両側イデアル」は、これらの概念を定義し、同値な特徴付けを導くための要となる。

したがって、両側イデアルは単なる部分集合ではなく、環の既約性や分解可能性を評価するための測度として働く。素や極大への上昇（あるいは下降）は包含関係を通じて追跡でき、環のスペクトル的な見方にも接続する。