1 零因子の基本概念
1.1 定義と用語
1.1.1 零因子（右・左・両側）
環 \(R\) と元 \(a\in R\) を考える。\(a\) が右零因子とは、\(a\neq 0\) かつある \(b\neq 0\) が存在して \[ ab=0 \] となる場合をいう。左零因子は逆に \[ ba=0 \] となる非零の \(b\) が存在することによって定義される。可換環では積の順序が問題にならないため、右と左の概念は一致しやすいが、非可換環では区別が本質的になる。
1.1.2 非零要素と零積の条件
零因子の本質は「自分自身は零ではないのに、別の非零元と積をとると零になる」点にある。したがって条件は二重に課される。第一に対象の元 \(a\) は \(0\) であってはならない。第二に掛ける相手 \(b\) も \(0\) ではない必要がある。片方が零である場合は、たとえ積が零になってもそれは零因子の定義が要求する「相互作用」を満たしていない。
1.2 例による理解
1.2.1 整数環と零因子の不在（整域）
整数環 \(\mathbb Z\) は整域であり、非零元どうしの積が零になることはない。実際、\(a\neq 0\) と \(b\neq 0\) をとれば、\(ab\) は零になりえない。ここでいう「ありえない」という性質が、零因子が存在しないことと同値の方向を持つ。整域では、零を生むには少なくとも片側が零である必要がある。
1.2.2 商環での零因子の出現
商環はしばしば零因子を生む。例えば可換環 \(R\) とイデアル \(I\) に対し、商 \(R/I\) の元は代表元で表されるが、代表元の選び方によって積の零性が「圧縮」される。具体的には、\(a\notin I\) かつ \(b\notin I\) でも、積 \(ab\in I\) になる状況が起こりうる。その結果、商環では \(\overline a\neq 0\)・\(\overline b\neq 0\) なのに \(\overline a\,\overline b=\overline{ab}=0\) が成立する。つまり、零因子の発生は商での「消滅」の仕方に強く依存する。
1.3 階層的な位置づけ
1.3.1 可換環と非可換環での違い
可換環では \(ab=0\) と \(ba=0\) が同じ条件であるため、零因子の分類は概ね一種類に収束する。一方、非可換環では右と左の零因子は別個に現れる。ある元 \(a\) が右零因子であっても、同じ元が左零因子とは限らない。これは積の順序が代数構造を変えるためであり、理論上も計算上も左右の区別を意識する必要がある。
1.3.2 可換環での「両側」と「左右」の一致
可換環では任意の \(a,b\) に対し \(ab=ba\) が成り立つため、右零因子の条件はそのまま左零因子の条件に変換できる。従って両側零因子という語は、可換環の文脈では「右でも左でも零因子になる」という意味で、概念的には左右の分離がない。結果として、整域や体のような零因子のない環では、左右の概念に関する論点が最初から不要になる。
2 零因子と環の性質
2.1 整域との関係
2.1.1 零因子を持たないことの特徴づけ
整域は定義上、零元と異なる元どうしの積が零にならない集合として捉えられる。言い換えると、整域では零因子が存在しない。逆に、零因子が存在しない環は、少なくとも積が零を生むメカニズムが「片側が零」という単純な形に限られるため、整域に近い振る舞いを示す。さらに、整域では既約や因数分解といった概念が「積の零性」により制約され、計算の一貫性が保たれる。
2.1.1.1 既約性・積の分解との関係
既約性は通常「零でない元を自明な形にしか分解できない」性質として定義されるが、その背後には積の挙動がある。零因子があると、積が零になる経路が増えるため、分解の議論が期待どおりに進まないことがある。特に「ある積が零なので一方が零」という論理が成り立たないと、既約性に基づく帰結の導出が弱くなる。したがって零因子の有無は、分解可能性の判断に対して基礎的な境界条件を与える。
2.2 体との関係
2.2.1 体では零因子が存在しない理由
体 \(K\) では、零でない元はすべて可逆である。もし \(a\neq 0\) が零因子であるなら、ある \(b\neq 0\) が存在して \(ab=0\) となる。だが \(a\) は可逆元なので左から \(a^{-1}\) を掛ければ \(b=a^{-1}(ab)=0\) が導かれ、矛盾する。よって体には零因子が存在できない。体の構造が、零積を許さない仕組みを内蔵していることがここで明確になる。
2.3 可逆元・零元との関係
2.3.1 可逆性が零積をどう制限するか
可逆元 \(u\) が存在する場合、零積は片側が零であることを強制する。仮に \(uv=0\) かつ \(u\) が可逆なら、右から \(u^{-1}\) を掛けて \(v=0\) を得る。したがって可逆元は零因子になれない。環論の多くの場面で「可逆かどうか」の判定が零因子の議論を整理する鍵になるのは、この制約が非常に強いからである。
2.3.2 0との混同を避ける注意点
零因子の判定で最もよく起こる誤りは、零元そのものを「零因子」と取り違えることにある。定義は \(a\neq 0\) を要求するため、\(a=0\) は形式的に積が零になったとしても零因子とは呼べない。また、相手元 \(b\) についても同様で、\(b=0\) なら \(ab=0\) は自明であり、零因子がもたらす「非自明な零化」を記述できない。従って判定では両方の非零性を確認する必要がある。
3 零因子の判定と具体的計算
3.1 商環における判定
3.1.1 元の代表元と零積条件
商環 \(R/I\) で元 \(\overline a,\overline b\) の積が零になることは \(\overline a\,\overline b=\overline{ab}=0\) を意味し、これは \(ab\in I\) と同値である。さらに \(\overline a\neq 0\) は \(a\notin I\) に対応し、\(\overline b\neq 0\) は \(b\notin I\) を表す。よって零因子の存在は、\(I\) に含まれる積が「両因子とも \(I\) に属さない」状況をどれだけ許すかに還元される。代表元を変えた場合にも条件の有無は不変であるが、実際の判定では代表元の取り扱いに注意が必要になる。
3.1.2 イデアルとの対応
可換環では商によって生じる零因子が、イデアルの性質と結びつく。例えば、ある元 \(a\notin I\) に対し \(a\) を含むようなイデアル構造がどの程度「打ち消し」を許すかが、零積の発生頻度を左右する。より具体には、\(\overline a\) が右零因子であることは、商での消滅条件が成立する相手 \(\overline b\) が存在することに対応し、それは元 \(b\) が \(I\) に属しないにもかかわらず \(ab\in I\) となることに読み替えられる。この対応は、零因子が「イデアルによる圧縮の副作用」として現れる構図を与える。
3.2 行列環・線形代数への接続
3.2.1 行列環での零因子の捉え方
行列環 \(M_n(R)\) では、零因子の判定が行列積の性質として現れる。例えば \(A\) と \(B\) を行列として \(AB=0\) が成立するなら、どちらが零行列でないかにより零因子かどうかが決まる。零因子が「可逆でないこと」や「像と核の関係」と結びつくため、線形代数的な理解が使いやすい。特に基礎体上で考えると、ランクや核の次元が示唆を与える。
3.2.2 一般線形変換との関係
一般線形変換に相当する可逆行列は、先に述べた可逆元の一般論から零因子になれない。逆に、非可逆な行列はしばしば零積と共存しうる。つまり、行列環では「可逆性が零積を排除する」という原則が具体的に表面化する。これにより、零因子の有無を、単なる抽象概念ではなく行列が持つ像・核の構造として捉える視点が得られる。
3.3 具体例：有限環
3.3.1 分解可能な元の見え方
有限環では、元が有限集合の上で振る舞うため、可逆元の判定が相対的に具体化しやすい。零因子は「非自明な零化」を通じて見えるため、たとえばある元 \(a\) に対し、乗算写像 \(x\mapsto ax\) が零元を含む非自明な前像を持つこととして捉えられる。有限性があるとこの写像の性質を列挙や探索で確認でき、零因子の発見が計算として完結しやすくなる。
3.3.2 列挙による確認と特徴
有限環では全ての組 \((a,b)\) を調べることで \(a\neq 0\), \(b\neq 0\) を満たしつつ \(ab=0\) が起こるかを直接確認できる。得られた集合は、どの元が右零因子か、あるいは左零因子かといった分類に対応する。可換性がある場合は左右が一致するが、非可換環では集合が異なる可能性がある。列挙による確認は網羅性に利点がある一方、大きな環では計算量が増えるため、実際には代表例や構造的な観察と併用されることが多い。
4 応用的観点
4.1 一意分解の見通し
4.1.1 零因子がもたらす分解不能性の破れ
一意分解の議論は、積の性質が「零なら片側が零」といった単純な論理を許すかどうかに依存する。零因子がある環では、見かけ上同じ積が異なる分解を通じて生まれやすく、さらに零を絡めた議論が複雑化する。結果として、通常の整域・体における因数分解の直観が、そのままの形では働かないことがある。零因子は、分解の一意性が破れる背景要因になりうるため、分解問題を扱う際に事前に環の可積性を点検する動機となる。
4.2 幾何学的直観（代数多様体との接点）
4.2.1 「交わりの局所的要因」としての零因子の感覚
代数多様体に関連する状況では、幾何学的な交わりを座標環の情報として読み取ることがある。局所的には、点の周りで制約を課した結果、ある式の積が制限下で消えるような現象が現れる。その消え方はしばしば零因子の存在に対応しうる。直観的には、「交わりがどれだけ強く拘束されるか」「同時に満たされる条件の組がどの程度独立か」という観点が、零因子を通して反映される。
4.3 典型的な誤解と注意
4.3.1 「零因子＝可約」をそのまま同一視しない
可約性に関する言葉は文脈ごとに意味が異なる。零因子は「積が零になる」という現象を扱うのに対し、可約性（既約でないこと）は「因子への分解可能性」を指す傾向がある。したがって、零因子があることから直ちに可約だと結論するのは一般に誤りになりうる。環論では概念の働く場面が異なるため、零因子の有無と可約性の判定は別々に扱うのが安全である。
4.3.2 非可換環での左右の取り違え
非可換環では右零因子と左零因子が異なる可能性があるにもかかわらず、可換環で慣れた読み替えをそのまま適用してしまう誤りが起こりやすい。例えば \(ab=0\) から直ちに \(ba=0\) を想定するような飛躍は避けるべきである。計算でも定義でも、掛ける順序を明示し、必要な場合は両側を別々に検証する姿勢が重要になる。