環準同型とは？
かんじゅんどうけい
環準同型とは、二つの環の間で和と積の演算構造を保つ写像のことで、代数学において環の間の関係性を調べる基本的な道具です。
環準同型（ring homomorphism）とは、二つの環 R と S の間の写像 f: R → S であって、次の条件を満たすものを指します。
- f(a ＋ b) ＝ f(a) ＋ f(b)（加法を保つ）
- f(a × b) ＝ f(a) × f(b)（乗法を保つ）
- （単位元付きの環を扱う場合）f(1_R) ＝ 1_S（単位元を保つ）
これらの条件により、環準同型は環の「演算構造をそのまま移す」写像であることが保証されます。群準同型の概念を、加法と乗法の2つの演算を持つ環に拡張したものといえます。
環準同型に関連する基本的な概念として以下があります。
- 核（kernel）：f(x) ＝ 0 を満たす R の元全体。常に R のイデアルになる
- 像（image）：f の値域に含まれる S の部分環
- 環同型（isomorphism）：全単射な環準同型。この場合、R と S は代数的に同じ構造を持つ
- 準同型定理：R / ker(f) ≅ Im(f)（商環と像は同型）
環準同型の概念は代数学全体の基礎をなしており、多項式環・剰余環・整数環の間の対応関係を調べたり、体の拡大理論（ガロア理論）や代数的数論において環の構造を比較したりする際に不可欠な道具として用いられます。
使い方・例文
環準同型は代数学・数論・代数幾何学の文脈で頻繁に使われます。「整数環 Z から商環 Z/nZ への自然な射影は環準同型である」「多項式環 R[x] からある環 S への環準同型は x の像を決めれば一意に定まる（普遍性）」といった議論で登場します。
この用語をシェア
最終更新: