1 右イデアルの定義
1.1 準備：環と部分集合の基本条件
環 \(R\) は、和に関して可換な群としての構造と、（必ずしも可換でない）乗法の構造を備え、結合法則を満たすものとして扱う。単位元の有無は定義に本質的ではないことが多いが、後の例や構成では有用になる場合がある。
右イデアルは、まず \(R\) の部分集合 \(I\subseteq R\) を選び、加法に関する閉性と、右からの乗法に対する安定性を同時に要求する。加法閉性は \(I\) が「加法的に」切り出された部分構造であることを意味し、右からの乗法閉性は「任意の \(r\in R\) を右側に掛けても戻ってくる」ことを保証する。
1.2 右イデアルの形式的定義
1.2.1 和に関する閉性
部分集合 \(I\) が右イデアルであるためには、（環の加法に関して）\(I\) が部分群になることが必要である。具体的には、任意の \(x,y\in I\) に対して \(x+y\in I\) が成り立ち、さらに \(x\in I\) ならば \(-x\in I\) も成り立つものとする。これにより、商や準同型定理で用いる差の整合性を確保できる。
この条件は「右側の安定性」と独立で、左右どちらのイデアルでも同じ種類の加法的要求が課される。
1.2.2 右からの乗法に関する閉性
\(I\) が右イデアルであるための追加条件は、右からの乗法に対する安定性である。すなわち、任意の \(a\in I\) と任意の \(r\in R\) に対して \[ ar\in I \] が成立することを要求する。ここで \(a\) が \(I\) の元で、\(r\) が環の元である点が重要であり、左側の因子に関する制約は課されない。
結合法則があるため、右乗法で安定であるという性質は、より複雑な積の計算にも自然に持ち上がる。結果として、右イデアルは右 \(R\)-加群の構造として解釈できるようになる。
1.3 例：自明な右イデアル
1.3.1 ゼロ右イデアル
ゼロ右イデアルは \(I=\{0\}\) とする場合である。任意の \(0,0\) の和は再び \(0\) であり、負も \(0\) に戻る。さらに任意の \(r\in R\) に対して \(0\cdot r=0\) なので、右から掛けても集合にとどまる。従ってこれは右イデアルである。
この例は定義の最小ケースを示し、以後の「空でない」あるいは「最小/最大」といった議論の基準点になる。
1.3.2 全体としての右イデアル
全体右イデアルは \(I=R\) そのものである。加法について閉じており、任意の \(a\in R\) と任意の \(r\in R\) に対して \(ar\in R\) が自明に成り立つ。したがって \(R\) は右イデアルである。
この例は「最大の安定部分集合」を与え、包含関係の議論では上端に位置づく。
2 右イデアルと関連概念
2.1 左イデアルとの関係
2.1.1 両側イデアル（両側安定性）
左イデアルは \(r a\in I\) を要求するタイプであり、右イデアルは \(a r\in I\) を要求するタイプである。環が可換なら両者は一致するが、非可換環では概念が分かれる。
両側イデアルは右イデアルかつ左イデアルであり、同時に \[ ar\in I \quad\text{かつ}\quad ra\in I \] が任意の \(a\in I\), 任意の \(r\in R\) に対して成立する。両側性は商環の乗法が自然に定義できる状況を保証しやすい。したがって、片側だけの安定性よりも強い構造を持つ。
2.2 単側イデアルと非可換性
非可換環では、右からの乗法と左からの乗法が同じ振る舞いをしない。結果として、同じ部分集合が右イデアルであっても左イデアルではないことが起こりうる。
この非対称性は表現論や加群論で顕著で、右加群の準同型や分解は右イデアルの安定性に強く結びつく一方、左の側で同様の性質を考えると別の情報が現れる。したがって、議論の向き（右か左か）を明示して取り扱うことが重要になる。
2.3 右イデアルの特徴づけ（言い換え）
2.3.1 右加群としての見方
右イデアル \(I\) は、右 \(R\)-加群としての構造を持つ。すなわち、加法（加群構造）に加えて、スカラー的な作用として \(I\times R\to I\), \((a,r)\mapsto ar\) を考えると、これは右分配律などの加群公理と整合する。
この観点に立つと、右イデアルは「右から \(R\) を作用させても閉じる部分加群」と捉えられる。従って、右イデアルの性質は一般の右加群の言葉で言い換え可能で、準同型や因子の扱いが自然に導かれる。
2.3.2 生成元による記述
右イデアルは、しばしば生成元の集合から構成できる。具体的には、ある部分集合 \(S\subseteq R\) を与えたとき、\(S\) を含み右からの乗法に関して閉である最小の右イデアルは、各 \(s\in S\) に対する右乗法の組み合わせと、その加法的閉性を用いて記述できる。
この最小性により、「生成された右イデアル」という概念が定まり、主右イデアルや有限生成の定義に直結する。要点は、右側の因子の自由度が「右イデアルの形」を強く規定する点である。
3 生成と構成
3.1 単一生成と多生成
3.1.1 主右イデアル
主右イデアルとは、ある \(a\in R\) によって生成される右イデアルである。通常の書き方では \((a)_r\) あるいは \(aR\) のように記され、集合としては \[ aR=\{ar\mid r\in R\} \] で与えられる。加法については \( (ar_1)+(ar_2)=a(r_1+r_2)\) により閉じ、右からさらに掛けると \((ar)r'=a(rr')\) となって再び同じ形に戻るため、確かに右イデアルである。
可換環の場合と比較すると、右イデアルの主性は「左からの形」ではなく「右からの因子の付け方」によって決まる点に注意が要る。
3.1.2 指数的（有限）生成
右イデアル \(I\) が有限個の元 \(a_1,\dots,a_n\) によって生成されるとは、ある意味で \(I\) がこれらの元から作れる右イデアル、すなわちそれらの主右イデアルの和として表せることを指す。すなわち \[ I=(a_1R)+\cdots+(a_nR) \] の形が可能なら有限生成である。
有限生成性は、包含鎖や極大性などの議論において、計算可能性や停止性と結びつく。無限個の生成元を許した場合も理論は可能だが、分類や証明の扱いやすさの観点で有限生成がよく用いられる。
3.2 右イデアルの和・積
3.2.1 和（和集合のイデアル化）
右イデアルの和は、集合としての和集合とは限り一致しない。定義としては、右イデアル \(I,J\) に対して \[ I+J=\{x+y\mid x\in I,\ y\in J\} \] とし、これが再び右イデアルになることを確認する。加法について閉じるのは、和の表現が線形に保たれるためである。また右から掛けると \((x+y)r=xr+yr\) で、右イデアルであることからそれぞれが \(I\) と \(J\) に属し、結果として和集合に入る。
この操作は、包含関係に対して整合的に振る舞い、和を取ることで「両方の情報を含む最小の右イデアル」を得る。
3.2.2 積（積集合のイデアル化）
積 \(IJ\) は、単に \(I\) と \(J\) の要素の積全体を取るだけで、状況によっては加法的閉性が崩れる可能性があるため、定義には工夫が要る。標準的には \[ IJ=\left\{\sum_{k=1}^m x_k y_k \mid m\in\mathbb{N},\ x_k\in I,\ y_k\in J\right\} \] のように、有限和の形で記述することで右イデアルとして成立させる。
この積は、生成の観点で扱いやすく、商や準同型の議論にも登場する。特に、積に関する包含関係は右イデアルの深さを測る指標になりうる。
3.3 包含関係と生成の関係
3.3.1 右イデアルの包含判定
右イデアル \(I\subseteq R\), \(J\subseteq R\) に対し \(I\subseteq J\) が成り立つことは、通常は \(I\) の生成元（あるいは十分に小さい生成集合）を \(J\) に入れることと同値になる。つまり、\(I\) を生成する元がすべて \(J\) に属せば、右イデアルの性質から \(I\) 全体が \(J\) に含まれる。
主右イデアルの場合、\(aR\subseteq J\) は「\(a\in J\) であるかどうか」によって判定できることが多いが、環全体の性質や \(J\) の定義によって注意が必要になる。
3.3.2 生成する最小右イデアル
任意の部分集合 \(S\subseteq R\) について、「\(S\) を含む右イデアルのうち最小のもの」が存在する。この最小右イデアルは、定義上「\(S\) に含まれる元に対して、右からの掛け算と加法の閉性を許した結果として得られる範囲」として理解できる。
実際には、生成したい元の線形結合に加え、右乗法を繰り返し適用した項を集めることで具体的な集合表示が得られる。最小性は包含鎖の議論や、商の構成で必要となる普遍性の言い換えに利用される。
4 商環・準同型と右イデアル
4.1 商（剰余）構造の基本
4.1.1 右イデアルからの商の作り方
右イデアル \(I\) から商集合 \(R/I\) を考えるには、同値関係 \(x\sim y \iff x-y\in I\) によって剰余類を定める。加法は剰余類上で自然に定義でき、代表元の取り方によらず整合する。
ただし乗法については注意が必要である。右イデアルだけでは、右からの乗法に対応する形の整合性が保証される場合が中心で、全体として商環（両側での整合性が必要）をいつでも作れるわけではない。そこで実用上は、右イデアルが与える「右加群としての因子」や、適切な条件下での商環化を区別する。
4.1.2 商における演算の整合性
加法が well-defined になることは、同値関係の定義が \(x-y\in I\) に基づくため容易に確認できる。すなわち、異なる代表元を用いても差が \(I\) に入る限り、結果の剰余類は同じになる。
乗法の整合性は、どの側から掛ける演算を扱うかに依存する。右からの作用に関しては右イデアルの安定性が効くため、右側の演算を自然に持ち上げる形では整合性が確保されやすい。逆に左側も同時に自由にしたい場合は、両側イデアルであることが必要になりやすい。
4.2 準同型定理と核
4.2.1 準同型の核と右イデアル
環準同型（または加群準同型）の核は、性質に応じてイデアルや部分加群になる。環準同型 \(f:R\to S\) の核は \(\ker f=\{x\in R\mid f(x)=0\}\) であり、環の性質と準同型の定義から、通常は両側あるいは少なくとも片側のイデアル性が導かれる。
右イデアルとしての結論が欲しい場面では、準同型が右からの積と整合する形になっているかを確認する。核が右イデアルになることで、商構造と対応づける準備が整う。
4.2.2 右イデアルによる因子化
核が右イデアルであるとき、準同型定理の枠組みにより「核で割った商」が像に対応する形で因子化される。具体的には、準同型 \(f\) を商 \(R/\ker f\) 上の写像へ引き下げ、元の写像と両立するように組み立てる。
この因子化により、構造の本質が商側に移り、余分な情報（核で潰れる成分）が取り除かれる。結果として、右イデアルは「どの要素を同一視するか」を決めるデータとして機能する。
4.3 等長性・包含に関する対応
4.3.1 ラッティス（包含関係）の対応
右イデアルの包含関係を調べることは、商や準同型のふるまいを理解するための手段になる。準同型定理では、イデアルの包含関係が、商対象の部分構造の包含関係へ対応することがある。
典型的には、準同型の下で逆像（preimage）を取る操作が包含を反映し、特定の核を固定した状況でラッティスの対応が整理される。これにより「ある側のイデアルを分類する」ことが「別の代数的対象の部分構造を分類する」問題へ変換される。
4.3.2 最大・素に関する言及（概略）
最大（極大）右イデアルや素（プリム）右イデアルは、表現論やモジュール論で重要な役割を果たす。最大性は商構造が単純化することを意味し、素性は積の振る舞いに関する遮断規則として現れる。
ただし片側の概念では、両側版と一致しない場面があり、分類や性質の運び方に差が出る。概略として、右イデアルの「極大」「素」という条件は、商あるいは局所化の議論で構造の欠損を最小化するための指標になる、という位置づけがある。