1 基本概念
同種写像は、同じ種類の代数的構造をもつ対象どうしを結び、演算の仕方を保ったまま対応づける写像である。群、環、ベクトル空間、加群などで用いられ、対象の内部構造を比較するための基礎的な枠組みを与える。
この考え方では、単に要素を別の対象へ移すだけでなく、和、積、逆元、スカラー倍などの演算結果が写像の前後で整合することが重視される。そのため、同種写像は代数系の研究において、構造を失わずに情報を移す道具として位置づけられる。
1.1 定義
同種写像は、ある代数系の対象 A から同じ型の代数系の対象 B への写像で、A の演算と B の演算を両立させるものをいう。たとえば群であれば、任意の 2 元の積に対して写像後の積が一致すること、環であれば加法と乗法の双方が保たれることが条件になる。
定義の具体形は対象ごとに異なるが、共通する要点は「演算を写像と交換できる」ことである。これにより、元の対象で成り立つ代数的関係を、像の側でも追跡できる。
1.2 例
同種写像の典型例は、群の準同型、環の準同型、線形写像などである。いずれも、構造の核心である演算を保存するため、代数的性質の比較に直接用いられる。
1.2.1 群における例
群準同型は、群 G から群 H への写像 f で、f(xy)=f(x)f(y) を満たすものである。たとえば整数全体の加法群から、ある剰余類群への合同類を対応させる写像は、この条件を満たす例として現れる。
この種の写像では、単位元や逆元の振る舞いも自然に定まり、群の構造を保ったまま別の群へ移すことができる。
1.2.2 環における例
環準同型は、加法と乗法の双方を保つ写像である。整数環から剰余環への自然な剰余写像は代表例で、加算と乗算が剰余の取り方と両立する。
環の場合は、乗法単位元を保つかどうかを追加条件として扱うこともあり、採用する定義の流儀により細部が変わる。とはいえ中心は、2 つの演算を同時に崩さない点にある。
1.2.3 ベクトル空間における例
ベクトル空間では、線形写像が同種写像の代表である。これは、ベクトルの和とスカラー倍を保つ写像であり、座標変換や射影、微分作用素など多くの場面に現れる。
線形写像は、幾何学的な変形を代数的に記述するのに適しており、行列による表現と結びつくことで計算上も重要になる。
1.3 関連する用語
同種写像に近い用語として、準同型、同型、自己準同型、埋め込みなどがある。これらは保存する構造の強さや、写像が可逆かどうかによって区別される。
一般に、同型は構造を完全に保つ可逆写像、準同型は構造保存を満たす写像、自己準同型は同じ対象への写像を指す。用語の使い分けは分野ごとにやや異なるが、基底にある考えは共通している。
2 性質
同種写像の性質は、演算保存の条件から多くの帰結が得られる点に特徴がある。特に、核と像は対象の構造を要約する重要な概念であり、写像の分類や比較に欠かせない。
2.1 演算との整合性
同種写像が満たすべき核心は、対象の演算と写像が整合することである。写像の前で演算を行ってから移しても、先に移してから像で演算しても結果が一致する。
この性質により、元の対象での等式や恒等式が像の側へ引き継がれる。したがって、同種写像は単なる対応ではなく、代数的法則を保存する「構造保持写像」として理解される。
2.2 核と像
核と像は、同種写像の持つ情報を端的に表す。核はどの元がつぶれるかを示し、像はどの元が実際に到達するかを示す。
2.2.1 核の定義
核は、写像によって単位元や零元に送られる元の集合である。群では単位元に写る元全体、環やベクトル空間では零元に写る元全体が核として扱われる。
核は、写像がどの程度情報を失うかを示す指標になる。核が小さいほど区別が保たれ、大きいほど多くの元が同じ像にまとめられる。
2.2.2 像の定義
像は、写像によって実際に到達する元全体の集合である。対象 B の中で、A から送られてきた元だけが集まる部分構造をつくる。
像は、写像の到達範囲を表すと同時に、元の対象の構造がどこまで反映されているかを示す。全射性の判定にも直結する概念である。
2.3 単射・全射との関係
同種写像が単射であるとき、異なる元が同じ像に潰れないため、構造の区別が保たれやすい。全射であれば、像の対象の全体を覆うので、移し先の構造を余すところなく捉える。
単射かつ全射である写像は同型と呼ばれ、2 つの対象が本質的に同じ構造をもつことを意味する。したがって、単射性と全射性は、写像がどの程度強い同一視を与えるかを判定する基本条件である。
3 具体的な種類
同種写像は、扱う代数系に応じて名称と定義の細部が変わる。群、環、体、加群などでは、それぞれの演算を保存する形で個別の理論が築かれている。
3.1 群準同型
群準同型は、群の積を保つ写像である。単位元や逆元に関する性質も自動的に従うため、群の構造を調べる基本手段として広く使われる。
群論では、部分群や剰余群、正規部分群との関係を調べる際に、群準同型が中心的役割を果たす。群の分類や同一視の議論にも欠かせない。
3.2 環準同型
環準同型は、加法と乗法を同時に保つ写像である。環の加群としての側面と、乗法をもつ代数的側面の両方を反映するため、群準同型より条件が多い。
この写像は、イデアルや商環の議論と深く結びつく。環の構造を別の環へ移す際の標準的な道具であり、代数的変形の記述に適している。
3.3 体準同型
体準同型は、体の演算を保つ写像である。体では非零元がすべて乗法逆元をもつため、準同型は通常かなり強い制約を受ける。
そのため、体準同型はしばしば対象の一致や埋め込みの問題と密接に関わる。体の拡大や同一視を扱う際の基礎概念の一つである。
3.4 加群準同型
加群準同型は、加群の加法とスカラー倍を保つ写像である。ベクトル空間の線形写像を一般化したもので、係数環の上で定義される構造を忠実に反映する。
加群論では、準同型を通じて部分加群、商加群、完全列などを考える。群や環と同様、構造の比較と分類の要となる。
4 応用
同種写像は、代数構造を直接比較するための共通言語として機能する。異なる対象を同じ枠組みで扱えるため、分類、計算、構造理解の各場面で有効である。
4.1 代数構造の比較
同種写像を用いると、2 つの対象がどの程度似ているかを定量的に考えられる。核や像、単射性、全射性を調べることで、構造の共通部分と相違点が明確になる。
また、写像を介して一方の性質が他方へ伝わることもあるため、複雑な対象をより扱いやすい対象に移して研究する手法としても重要である。
4.2 同型定理との関係
同型定理は、同種写像の核と像を用いて商構造と像の関係を記述する結果群である。これにより、写像の失われた情報と残された情報を整理できる。
この定理群は、準同型を使って対象を分解し、理解しやすい形に置き換えるための理論的基盤となる。多くの代数分野で共通に用いられる。
4.3 代数的分類への利用
同種写像は、対象を分類する際の比較基準として働く。ある構造が別の構造に写せるか、逆写像をもつか、どの部分が潰れるかを調べることで、対象間の関係を整理できる。
特に、同型による同一視は分類に強い制約を与える。準同型を介した情報は、商構造や不変量の導出にもつながり、代数学全体の体系化を支えている。
</INTERNAL_LINK_CANDIDATES> 群（積をもつ代数的構造） 環（加法と乗法を備える代数系） ベクトル空間（ベクトルの和とスカラー倍を定める空間） 加群（環上で定義される線形的な構造） 準同型（構造を保つ写像の総称） 同型（可逆な構造保存写像） 自己準同型（同じ対象から同じ対象への準同型） 埋め込み（対象を構造を保って部分的に写す写像） 核（写像で単位元または零元に送られる元の集合） 像（写像で実際に到達する元の集合） 単射（異なる元を区別する写像） 全射（像が値域全体を覆う写像） 部分群（群の演算に閉じた部分集合） 剰余群（正規部分群で割って得る群） 正規部分群（剰余群を作るのに必要な部分群） イデアル（環で商環を作るための部分集合） 商環（イデアルで割った環） 線形写像（ベクトル空間の構造を保つ写像） 完全列（写像の核と像が連なる列） 不変量（構造の違いでも変わりにくい量）