1 基本概念
準同型写像は、代数的構造の演算規則を保ちながら別の対象へ写し取る写像である。対象の種類としては、群、環、加群、ベクトル空間などが典型的で、共通の枠組みのもとで比較や移送を行う際の基礎になる。
この概念の重要性は、形だけを対応させるのではなく、演算の仕方そのものを保存する点にある。そのため、元の構造の性質を保ったまま、より扱いやすい対象へ置き換えて議論することができる。
1.1 定義
準同型写像とは、二つの代数的構造のあいだで、その演算を保つ写像を指す。たとえば群では積、環では加法と乗法、ベクトル空間では加法とスカラー倍が対応する。
一般に、構造ごとに保存すべき演算は異なるが、写像がそれらの法則を尊重していることが本質である。したがって、単なる集合の写像とは区別される。
1.2 準同型写像が保つもの
準同型写像は、対象の内部で成り立つ演算関係をできるだけ維持する。これにより、元の構造で成立していた等式や計算規則が、像の側でも再現される。
保存される内容は構造によって異なるが、少なくとも基本演算の整合性が確保される点に特徴がある。
1.2.1 演算の保存
最も基本的な性質は、演算を施してから写す結果と、写してから演算する結果が一致することである。群なら写像は積を、環なら加法と乗法を、ベクトル空間なら加法とスカラー倍を保つ。
この性質により、元の世界での計算がそのまま像の世界へ移される。
1.2.2 単位元と逆元の扱い
演算を保つ写像では、単位元や逆元の振る舞いも強く制約される。群の準同型写像では、単位元は単位元へ写り、逆元は像の側でも対応する逆元に移る。
ただし、写像が全単射でない場合、元の情報の一部は失われうる。そのため、逆元の対応は存在しても、一対一の対応とは限らない。
1.3 代表的な例
準同型写像は抽象的な定義にとどまらず、具体的な代数系の中で広く現れる。例を通じて見ると、共通の構造保存という考え方が理解しやすい。
1.3.1 群の準同型写像
群の準同型写像は、群演算を保つ写像である。整数の加法群から別の群への写像や、巡回群の自然な対応などが典型例として挙げられる。
群論では、こうした写像が部分群や商群の解析に結びつく。
1.3.2 環の準同型写像
環の準同型写像は、加法と乗法の両方を保つ写像である。数の剰余類環への自然な射影は、もっとも基本的な例の一つである。
環の研究では、理想や商環との関係を通じて、構造を整理する役割を担う。
1.3.3 ベクトル空間の線形写像
ベクトル空間における準同型写像は、通常線形写像と呼ばれる。これは加法とスカラー倍を保存する写像であり、線形代数学の中心的対象である。
2 種類と関連概念
準同型写像には、写像としての性質に応じた分類がある。とくに単射性や全射性、さらに核や像は、構造のどの部分が保たれ、どの部分が失われるかを測る指標となる。
これらの概念は、準同型写像を単なる変換ではなく、構造解析の道具として位置づける。
2.1 単射と全射
準同型写像は、情報の保持の度合いによって性質が異なる。単射であれば異なる元が区別され、全射であれば像の側を広く覆う。
この二つは、写像の精度と到達範囲を表す基本指標である。
2.1.1 単射準同型写像
単射準同型写像は、異なる元を異なる像に送る。したがって、元の情報が重ならずに保たれる。
構造の埋め込みとして働くことが多く、元の対象をそのまま大きな構造の中に見つける際に使われる。
2.1.2 全射準同型写像
全射準同型写像は、像の側のすべての元が少なくとも一つの原像をもつ。対象全体を像として覆うため、写像先の構造を余さず表現する。
商構造への射影などで頻繁に現れる。
2.1.3 同型写像
同型写像は、準同型写像であり、かつ単射かつ全射であるものをいう。これにより、二つの構造は本質的に同じとみなされる。
同型は、見かけは異なっても代数的には同一であることを示す基準となる。
2.2 核と像
核と像は、準同型写像の内容を要約する中心概念である。核はどの元がつぶれるかを、像はどの元が実際に到達するかを表す。
この二つを調べることで、写像が情報をどのように圧縮しているかが分かる。
2.2.1 核の定義
核とは、写像によって単位元や零元に送られる元の集合である。群や環では、その写像により消えてしまう要素全体を表す。
核が小さいほど情報はよく残り、大きいほど多くの違いが失われる。
2.2.2 像の定義
像とは、元の対象のうち、実際に写像で到達できる元の集合である。写像先の内部で、現実に現れる部分全体を指す。
像を調べると、その写像がどこまで対象を表現しているかが分かる。
2.2.3 核と像の関係
核と像は、準同型写像の性質を対照的に示す。核は失われる情報を、像は残る情報をそれぞれ表している。
この関係は、同型定理を通じてさらに明確になり、構造の分解や分類に役立つ。
2.3 自己準同型写像
自己準同型写像は、自分自身から自分自身への準同型写像である。対象の内部構造を保ちながら、その中での変換を与える。
反復や不変部分の研究で重要になり、対象の対称性や内部作用を調べる手がかりになる。
2.3.1 自己同型写像
自己同型写像は、自己準同型写像のうち同型であるものをいう。つまり、対象自身の構造を完全に保ったまま再配置する変換である。
対称性の群をなすことが多く、代数系の内部対称を記述する。
3 主要な性質
準同型写像は、合成や恒等写像と相性がよく、さらに商構造や同型定理と密接に結びつく。これらの性質により、複雑な構造を段階的に整理できる。
特に、核を通じて商を作り、像と比較する考え方は、代数学全体に広く浸透している。
3.1 合成と準同型写像
複数の準同型写像を順につないでも、適切な条件のもとで準同型性は保たれる。これは、写像を組み合わせて新しい変換を作る際の基本である。
3.1.1 合成の準同型性
準同型写像の合成は、再び準同型写像になる。各段階で演算が保たれていれば、連続した対応でもその性質が維持される。
この閉性により、準同型写像の体系が安定したものになる。
3.1.2 恒等写像
恒等写像は、各元をそのまま自分自身に写す写像である。どの代数的構造においても、これは準同型写像の最も基本的な例になる。
合成における単位元として働き、写像の圏的な見方でも重要である。
3.2 剰余構造との関係
準同型写像は、核を用いて剰余構造を作るときの中心的役割を果たす。失われる部分をまとめて一つの単位に圧縮し、残りの構造をより簡潔に記述できる。
この考え方は、群、環、加群などで共通して現れる。
3.2.1 商群
商群は、群の部分群、特に正規部分群によって元を同値類に分けて得られる構造である。自然な射影は準同型写像として働く。
これにより、元の群をより単純な群へと縮約できる。
3.2.2 商環
商環は、環のイデアルで元を同値類に分けて得られる。剰余類による環の構成は、具体計算でも抽象理論でも重要である。
環の準同型写像は、商環の構成と直接結びつく。
3.2.3 第一同型定理
第一同型定理は、準同型写像の核による商と像が同型であることを述べる。これにより、写像の本質は核と像で捉えられる。
構造を「つぶれた部分」と「残った部分」に分けて理解するための基本定理である。
3.3 準同型定理
準同型定理は、商構造と準同型写像の関係を体系的に記述する一群の定理である。これらは、複雑な代数対象の比較や分解を可能にする。
3.3.1 第一準同型定理
第一準同型定理は、準同型写像の像が核を用いた商構造と一致することを示す。代数的情報を簡潔に圧縮する最初の基本結果である。
写像の解析では、しばしばこの定理を起点に議論が進む。
3.3.2 第二準同型定理
第二準同型定理は、複数の部分構造を組み合わせたときの商の関係を与える。部分群や部分環の交わりと和のあいだに現れる関係を整理する。
部分構造の比較に有効で、分解の見通しをよくする。
3.3.3 第三準同型定理
第三準同型定理は、段階的な商構造の間に自然な対応があることを述べる。二重の商を一度に扱う際に、構造の整合性を保証する。
商を重ねる操作を、明快な形で整理できる。
4 応用
準同型写像は、理論の内部で完結する概念ではなく、分類、計算、不変量の抽出などに広く用いられる。代数対象を比較し、同じものとして扱えるかどうかを判断するうえで欠かせない。
また、抽象代数学にとどまらず、他分野の形式的な記述にも影響を与えている。
4.1 代数的構造の分類
準同型写像は、対象を同型類に分ける分類理論の基盤となる。どの構造が本質的に同じかを判定するには、準同型性と同型性の理解が重要である。
これにより、個々の対象を個別に扱うのではなく、共通の型として整理できる。
4.2 不変量の研究
不変量は、写像や変換のもとで変わらない量や性質をいう。準同型写像は、どの情報が保持されるかを通じて、不変量の抽出や比較を支える。
核や像の大きさ、次数、次元などが、その代表例として扱われることが多い。
4.3 具体的な計算例
具体例では、整数の剰余類、行列による線形変換、有限群の対応などが計算の題材になる。抽象概念が手計算に落とし込まれることで、定理の意味が明確になる。
この種の例は、一般論を理解するための橋渡しとして有用である。
4.4 他分野への応用
準同型写像の考え方は、数学の他の分野にも広がっている。特に、構造保存の発想は、圏論、数理論理、計算機科学の形式的モデルに受け継がれている。
対象間の対応を「形」ではなく「規則」で捉える姿勢は、広い範囲で有効である。
</INTERNAL_LINK_CANDIDATES> 群（演算をもつ代数的構造） 環（加法と乗法を備える代数的構造） ベクトル空間（加法とスカラー倍をもつ線形構造） 加群（環に対する線形的な構造） 線形写像（ベクトル空間間の加法・スカラー倍を保つ写像） 単射（異なる元を区別する写像） 全射（像が写像先を覆う写像） 同型写像（構造を完全に保つ双方向対応） 核（写像で単位元・零元に写る元の集合） 像（写像で実際に到達する元の集合） 自己準同型写像（自分自身への準同型写像） 自己同型写像（自分自身への同型写像） 商群（正規部分群による剰余構造） 商環（イデアルによる剰余構造） 第一同型定理（核と像の関係を表す基本定理） 第二同型定理（部分構造の商に関する定理） 第三同型定理（二重の商の関係を述べる定理） イデアル（商環の構成に用いる部分集合） 正規部分群（商群を作るための部分群） 剰余類（同値関係でまとめた代表元の集まり）