1 同型写像の基本
1.1 定義と直観
同型写像とは、2つの数学的対象のあいだに定義される写像であって、対象がもつ構造（演算、順序、関係、位相など）を崩さずに対応させるものをいう。直観的には、片方の対象を別の対象に「組み替える」操作が可能で、その結果が元の構造と同じ形になる状況を指す。単なる全単射であることに加えて、構造を特徴づける条件が満たされる点が本質である。
同型写像が存在する2つの対象は、構造の見地では同一視できる。すなわち、同型のもとで成り立つ事実（例：ある演算の結果、ある関係の有無、位相の近傍のふるまい）が一致するため、対象を区別する必要が薄れる。
1.2 可逆性と構造保存
同型写像は可逆である。具体的には同型写像 \(f\) に対して逆写像 \(f^{-1}\) が存在し、かつ同じ意味で構造を保つ。構造保存の条件が満たされれば、逆方向に写す操作も同様の条件を満たし、結果として同型の関係が左右対称になる。
構造保存は、対象の種類に応じて具体形が異なる。例えば群なら積が保存され、位相空間なら開集合が開集合に対応する。これらは「構造を決める規則」が写像のもとで対応していることを表す。
1.3 同値関係としての位置づけ
同型で結ばれた対象の間には同値関係が形成される。反射律（対象から自身への恒等写像は同型）、対称律（同型なら逆向きも同型）、推移律（連続的に同型を組み合わせると同型）が成立するためである。したがって「同型類」の概念が現れ、対象は構造の型に従って分類される。
この視点に立つと、「個別の集合の見かけ」ではなく「同型類」としての性質が理論の中心になる。多くの分野では同型の分類が目標として設定され、同型不変量や分解理論などが用いられる。
2 同型の対象別の定義
2.1 集合の同型
集合に対する同型は、通常「全単射」と同一視される。構造を持たない単なる要素の集まりでは、要素の対応が1対1かつ全ての要素を使い切るという条件が唯一の要件になるためである。
その結果、集合の同型は「要素数が同じ」ことと対応する。無限集合では厳密に言えば基数の比較が必要だが、概念としてはやはり全単射の可否に落ちる。
2.1.1 置換・全単射としての捉え方
有限集合では、同型写像は置換の考え方で扱える。集合が同じ大きさであれば、要素の並び替えとして全単射を表現できる。ここで重要なのは、構造がないため「順序や演算がどうなるか」は問われない点である。
全単射はさらに、対象間の要素の対応を完全に決める写像であり、合成したときに再び全単射になるなど形式的な性質も扱いやすい。
2.2 群の同型
群 \(G\) と \(H\) の同型写像は、群準同型の条件に加えて可逆であることを含む。すなわち、写像 \(f:G\to H\) が
- 積（群演算）を保存する：\(f(xy)=f(x)f(y)\)
- 全単射である（従って可逆）
を満たすとき同型と呼ばれる。
この条件は、群がもつ「相互作用」の規則、特に積の構造をそのまま運ぶことを意味する。
2.2.1 群準同型との違い
群準同型は構造保存だけを要求し、可逆性（全単射性）は不要である。例えば像に注目すると、準同型では \(G\) の情報が \(H\) 側の部分集合に潰れてしまう場合があり得る。準同型の核（消える要素の集合）により潰れ方が測れる。
同型では潰れが起きないため、核は自明になる。したがって「準同型を作って、核が自明か確認し全単射性を確かめる」という流れが実務的になる。
2.2.2 行列表現との関連
群の同型を行列表現の言葉で捉えることもある。群が行列の積として表せる場合、同型写像は表現の枠組みで一致を調べることに繋がる。具体的には、行列で与えられる群の同型を調べる際、共役（ある可逆行列での座標変換）による同値性が自然に現れる。
このとき、表現の同型は「どの写像が構造保存を満たすか」だけでなく「対応する座標系の違い」を吸収する形で理解されることが多い。
2.3 環・体の同型
環の同型は、加法・乗法の両方を保ち、かつ可逆である写像として定義される。環 \(R\) から \(S\) への写像 \(f\) が
- \(f(a+b)=f(a)+f(b)\)
- \(f(ab)=f(a)f(b)\)
を満たし、さらに全単射であれば同型である。
体は環の特殊形であり、体同型も同様に加法と乗法の保存を要求する。ただし体では零因子が存在しないため、結果として構造の厳密な性質が反映されやすい。
2.3.1 多元的構造の保存条件
環の同型で重要なのは、加法と乗法という複数の演算の整合性を同時に保つ点である。加法だけが保存されても環同型にはならず、乗法との両立が必要になる。したがって、写像が一方の演算の条件を満たしたとしても、他方の条件を満たすかどうかは別問題として扱われる。
多項式環や行列環など、構成された環では生成元により演算全体が決まるため、生成元の対応のチェックが効果的になることが多い。
2.4 ベクトル空間の同型
ベクトル空間の同型は、加法とスカラー倍をともに保つ線形写像で、かつ可逆である。すなわち \(V\) と \(W\) の同型写像 \(f:V\to W\) は線形であり、全単射であることを要する。
この枠組みでは、ベクトルの「足し算」と「拡大縮小」という2種類の構造が守られる。結果として、ベクトル空間の同型類は主に次元（有限次元）や基底の濃度（無限次元）などの情報で特徴づけられる。
2.4.1 基底と次元による分類
有限次元のベクトル空間では、同型可能性は次元の一致により決まる。つまり、同じ次元をもつ空間同士は線形同型を持つ。実際には、ある基底から別の基底へ対応づけることで逆写像を含む線形同型が構成できる。
無限次元の場合は「基底の濃度」が対応するため、次元の一般化として扱われる。したがって分類は「同じ大きさの基底を持つか」という問いに整理される。
2.5 グラフの同型
グラフの同型は、頂点の対応と辺の対応が整合する形の写像である。典型的には単純無向グラフの同型では、頂点写像 \(f:V(G)\to V(H)\) が隣接関係を保存することが条件になる。すなわち、頂点 \(u\) と \(v\) が隣接しているなら、\(f(u)\) と \(f(v)\) も隣接している。
この定義では「幾何学的な配置」ではなく、接続パターンそのものが保存される。
2.5.1 隣接関係の保存
隣接関係の保存は、隣接行列での表現に直結する。頂点のラベル替えにより行列の行・列が同じ形で入れ替わり、構造が一致するなら同型である。したがってグラフ同型問題は、形の違う入力に対し、ラベル置換として一致が見つかるかを問う問題として理解できる。
また、有向グラフでは「向き」も保存されるため、入次数・出次数などが不変量として利用できる。
3 同型の判定と構成
3.1 不変量による判定
同型の判定では、「同型なら必ず一致する量」を用いて候補を絞る。もし不変量が異なれば同型ではないと結論できるため、探索や構成の効率が上がる。
不変量は対象の種類に依存するが、一般に「同型写像で構造が保たれる結果として、対応先でも同じ性質が現れる」ものが選ばれる。
3.1.1 次数・次元・位数など
群やグラフ、ベクトル空間では、基本的な量が強い制約になる。例えばベクトル空間では次元が一致しない限り線形同型は存在しない。有限群では位数（要素数）が一致しなければ同型でない。
グラフでは頂点次数分布、連結成分数、彩色に関する性質などが利用できる。これらはいずれも頂点の入れ替えによって不変になるため、判定の材料になる。
3.1.2 分解や階数による見分け
より精密な同型判定では、分解の形や階数（中心系列、固有の成分の段数など）を用いる。環や群では既約分解、導来系列、群の中心や冪剰余に基づく階層的情報が区別に役立つ。
同型が存在する場合、こうした分解は対応先でも同じ形として現れる。したがって「同じ分解が得られるか」を確認することで、写像の必要性を減らして結論に近づける。
3.2 部分構造からの同型導出
全体の同型を直接構成する代わりに、部分構造の同型から全体へ話を持ち上げる方法がある。代表例は「部分集合で一致している性質が全体を生成する」状況である。
この考え方は、生成元や基底を中心に据えると分かりやすい。部分の対応が演算や合成を通じて広がり、全体を規定できるなら、拡張された写像が同型になる可能性が高い。
3.2.1 同型定理の考え方
同型定理は、準同型から得られる核や像と、商構造の関係を通じて同型を導く枠組みを与える。結果として、難しい全体の同型判定を、商や像の性質に置き換えることができる。
一般に、準同型 \(f\) に対し「核の情報」と「像の情報」が、関連する商対象や部分対象との同型として表現される。これにより、構造の崩れ方が見える化される。
3.3 具体的な写像の構成法
判定が「同型である」と示された後は、同型写像そのものを構成する必要がある。多くの場合、生成元や基底に対する対応を最初に設計することで全体への拡張が可能になる。
構成の手順は対象により異なるが、共通して「最小限の決定情報から全体を再現する」ことが狙いになる。
3.3.1 基底対応・元の対応
ベクトル空間では基底を対応づけることで同型が作れる。ある基底 \( \{v_i\} \) から別の基底 \( \{w_i\} \) へ \(v_i\mapsto w_i\) と割り当てれば、線形性により任意のベクトルへの像が一意に決まる。さらに逆写像も同様に構成できるため、線形同型が得られる。
群や環では「生成元」や「基本要素」への対応が同様の役割を果たす。必要な関係式（演算の組み合わせ）が保存されるように対応を選ぶことが重要になる。
3.3.2 生成元からの決定
生成される対象では、生成元の対応が一致すれば写像が自動的に拡張される。例えば群である要素群が生成集合を持つ場合、生成元への対応が与えられ、かつ関係式が両側で整合していれば同型候補が確定する。
この段階では「関係が保存されているか」が技術的な焦点になる。関係式のチェックにより、候補写像が準同型として成立し、さらに単射性や全射性の確認へ進む。
4 関連概念と応用
4.1 準同型・合同・同型の関係
準同型は構造の保存のみを要求し、同型はそれに可逆性を付け加えたものとみなせる。合同という語は環論や数論で用いられ、剰余類を通じて「同じ扱いになる要素」を定める操作を指すことが多い。合同で形成される剰余構造は商構造として現れ、同型定理と組み合わさることで理解が深まる。
したがって、準同型から商へ、商から同型へ、という流れで関係が整理できる。こうした関係は、対象の違いを吸収する「同一視の仕方」を体系化する役割を果たす。
4.2 構造の分類との結びつき
同型の概念は分類理論の中核にある。目的は「同じ構造のものをまとめ、違うものは別として区別する」ことにあるため、同型類の集まりが分類結果そのものになる。
分類はしばしば不変量、分解、あるいは構造を生成する基本データに基づいて行われる。結果として、個々の例の性質を調べるだけでなく、どの範囲で統一的な理解が可能かが明確になる。
4.3 カテゴリ論的観点（同型射）
カテゴリ論では対象と射（morphism）の体系として数学を扱う。あるカテゴリにおける同型射は、始域と終域を同型に結ぶ可逆な射である。ここでの可逆性は、逆向きの射が存在し合成して恒等射になるという形で定義される。
この観点の利点は、同型の概念が対象の種類だけでなく、射の性質として一般化される点にある。結果として、対象ごとの「構造保存」の条件は、そのカテゴリで定められた射の定義に内包される。
4.4 雑学・例えで理解する同型の感覚（比喩と直感）
同型は「見かけが違っても中身が同じ」ことを数学的に言い表す考え方と捉えられる。例えば、ゲームの盤面を別のラベルで書き換えても、勝敗の条件や手の合法性が同じなら、ゲームとしての構造が同型だと感じられる。グラフも頂点に付いた名前が違うだけで接続規則が同じなら、同じ構造として理解できる。
また、恋愛や人間関係の比喩として「同じルールで進む関係は同型」と言いたくなる場面もあるが、数学ではルールを演算や関係として明確化し、それを保存する対応があるかを確認する。感覚としてはラベル替え、数学としては構造保存と可逆性の両立である。