1 同型不変量の基本概念
1.1 同型と不変性の定義
同型不変量とは、対象の「同型」（構造の対応が可逆であること）によっても変化しない量または性質のことを指す。ここでいう同型は、対象どうしを同じ構造としてみなせる対応づけであり、その対応を使って対象を置き換えても、不変量が同一の値を返す、あるいは真偽が保たれる、という性質を要求する。
不変性は、対称性の存在を利用した識別手段として理解できる。対象が別の表現をとっても本質的な違いがないなら、不変量はその違いを区別しない。逆に言えば、不変量が異なる場合には、対象が同型ではない（少なくとも同型である可能性が狭まる）ことがある。
1.2 不変量の対象と種類
同型不変量は「何を不変にするか」によって整理できる。主に、値（数）としての不変量、真偽（性質）の不変量、そしてより豊かな構造を持つ代数的対象としての不変量がある。
1.2.1 数値（スカラー）としての不変量
数値として現れる不変量は、同型により対象を置き換えても数の値が変わらない。代表例としては、次元、位数、連結成分数、スペクトルに由来する量、あるいは距離や長さのような幾何学的なスカラー量（ただし定義域と同型の種類に依存）などが挙げられる。これらは計算や比較に向き、分類の一次的な指標として機能しやすい。
1.2.2 性質（真偽）としての不変量
性質としての不変量は、「対象がある性質を満たすかどうか」が同型で保存されるタイプである。例えば、ある対象が可換か、ある種の性質を持つか、ある構造が満たす条件の可否などが該当する。真偽の不変量は、論理的な分類や判定の枠組みに適しており、数値化しにくい概念を扱える点が特徴である。
1.2.3 構造（多項式・関手・加群など）としての不変量
より高次の不変量として、多項式・系列・関手・加群など、同型により“形”自体が保存される対象を考える。例えば多項式不変量では、同型写像により係数列が同一に対応し、代数的データが丸ごと保持される。関手としての不変性では、対象に対応して構成される写像や対応規則が同型変換と両立する形で保存されるため、数値よりも多くの情報を保持できることが多い。
1.3 同型分類との関係
同型不変量は、同型分類（対象を同型でまとめる）と密接に関わる。強力な不変量ほど、同型でないものを確実に区別できるが、一般には「不変量が同じでも同型とは限らない」ことが多い。したがって実務的には、不変量は第一段階のふるい分けとして使われ、追加の不変量や構造的議論で精密化する。
不変量の設計目標は、情報量と計算可能性のバランスにある。計算が容易でも判別力が弱い場合には、より表現力の高い不変量へ進む必要が生じる。一方、表現力が高すぎて計算困難になると、分類の実行性が損なわれるため、実用上の工夫が重要となる。
2 定義の形式化と一般的枠組み
2.1 対象の圏・準同型の観点
形式化においては、対象の集まりとその間の写像（準同型）を圏として捉えることが多い。ここでの狙いは、不変性が同型だけでなく、より広い写像の振る舞いと整合する形で定義できるかを明確にする点にある。
2.1.1 反変・共変な取り扱い
不変量は、対象の変換に対してどちら向きの対応を持つかで扱いが変わる。
1.1.1.1 関手としての不変性
対象を同型で置き換えたとき、その不変量が自然な形で一致するなら、しばしば関手（あるいは反変関手）の枠組みで記述できる。具体的には、対象に対応して不変量を割り当てる写像規則が同型射と両立し、同型射を通じて構成物が同型として対応することが要求される。この観点により、「単なる同型不変」よりも強い、写像レベルでの整合性が整理できる。
2.1.1.1 関手としての不変性
不変性を関手的に述べるとき、対象間の変換に対して不変量の間の変換が誘導される。結果として、同型射であれば不変量間の射も同型になる、という形で同型不変性が保証されやすくなる。さらに、複数の不変量を組み合わせる際も、関手としての振る舞いがあると再利用がしやすい。
2.2 同型不変量の性質（写像としての要件）
同型不変量を写像として捉えると、対象の同型類に対して値（または性質）を与える関数として記述できる。一般の定式化では、対象の同型射 \(f: A\to B\) に対し、不変量の出力が同じになる、あるいは同じ判定になることを満たす必要がある。値としての不変量では「出力が等しい」ことが要件となり、真偽の場合には「真偽が一致する」ことが要件となる。構造型の場合には「出力構造が同型として一致する」ことを意味する。
このとき重要なのは、同型が同型射としての存在を仮定するだけで十分か、あるいは準同型の範囲でより強い整合性を要求するかである。後者を満たす不変量は一般により多くの情報を保持しやすいが、その分だけ定義が複雑になりがちである。
2.3 同値関係としての同型
同型は対象集合上の同値関係として扱える。同型射が存在するなら相互に互いを復元できるため、反射・対称・推移が成立する。従って同型不変量は、対象そのものではなく同値類（同型類）に対して定義される関数とみなせる。これにより、「同型類を代表させる任意の選択に依存しない」ことが数学的に明確になる。
同値関係の観点では、同型不変量が“同型類を区別する指標”になっているかが焦点となる。同じ値の不変量が複数の同型類を束ねる場合も多く、その束ね方（判別力の弱さ）がどの程度かは、不変量の定義の細かさに依存する。
3 具体例と代表的手法
3.1 代数的同型不変量
代数的対象では、不変量は演算構造や表現の情報を反映する形で現れる。多くの場合、同型は演算を保つ可逆な写像として定義され、不変性はその保存性から導かれる。
3.1.1 群論における不変量
群では、群同型が結合則や単位元、逆元の構造を保つため、多くの量が不変になる。例えば群の位数（有限群の場合）、可換性の有無、中心の構造、冪閉包や可解性のような系列に基づく性質、あるいは正規部分群の性質などが挙げられる。特定の不変量が同型類の細かな差異を反映するかどうかは、作り方に左右される。
また、共役類に基づく情報のように、同型により内部構造が対応する場合には、不変性が自然に生じる。群の生成元の選び方に依存しない形で特徴づけることが、実装上の要点になる。
3.1.2 線形代数における不変量（行列の性質など）
線形変換や行列については、基底変換（共通の同型として解釈できる変換）により保たれる量が不変になる。代表例としては、行列の固有値、多項式（特性多項式）、最小多項式、ランクやヌル空間の次元といった基礎的な指標が挙げられる。これらは行列の相似変換の下で不変であり、同型分類（相似クラスの分類）に直結する。
さらに、ジョルダン標準形の情報のように、より精密な分類に向けて不変量を多段階に導入する方法もある。計算量と判別力の折り合いを考えながら、不変量の階層を設計するのが一般的である。
3.2 位相・幾何における不変量
位相や幾何では、「連続変形」や「計量構造の保ち方」といった意味での同型に応じて、不変量の種類が変わる。ここでは不変性の基準が、代数とは異なる形で現れる。
3.2.1 位相不変量の考え方
位相不変量は、同相（あるいはその近い概念）によって保たれる性質として定義されることが多い。例えば連結性の有無、コンパクト性、基本群、（係数に応じて定まる）ホモロジーやベッチ数などは代表的な例である。位相不変量は図形の“引き伸ばし”や“曲げ”に対して頑健であるため、幾何的細部よりも全体の骨格を捉える働きがある。
同相類の分類は一般に難しいことがあるが、不変量はその難しさを緩和する道具として機能する。不変量が異なれば同相ではないと結論できるため、分類の下限（少なくとも否定できる範囲）を与える。
3.2.2 図形の同型と測度・量
幾何的対象では、距離や角度、体積などの“量”がどの程度保存されるかが焦点になる。たとえば合同や等長変換（同型の強い概念）では距離が保たれるため、長さや面積、体積などが不変量になり得る。反対に、より弱い同型（たとえば滑らかな変形や位相的同型）では、同じ量が保存されない可能性があるため、適切な概念（測度、曲率に関連する量、スカラー不変量など）を選ぶ必要がある。
また、同型の強さに応じて不変量の情報量が変化する。強い同型ほど保存される量は増えやすいが、分類の粒度は粗くなりがちである。弱い同型だと保存量は減るが、分類の表現としては広い範囲を扱える場合がある。
3.3 組合せ論における不変量
組合せ論では、離散的対象の同型（頂点の入れ替えなど）により変化しない量が不変量として現れる。計算機的処理がしやすい形も多く、アルゴリズムとの相性が良い。
3.3.1 グラフに対する不変量
グラフに関しては、同型（頂点の置換による構造の保存）により保たれる量が数多く知られている。頂点次数の分布、連結成分数、彩色数の上界下界に関連する指標、距離に関する量、次数列に依存するさまざまな多項式が典型である。これらは、グラフの見た目が変わっても“接続の仕方”の性質を反映する。
特にスペクトル（隣接行列やラプラシアンの固有値）に基づく不変量は、代数的手法と接続しやすい。逆に、スペクトルが一致しても必ずしも同型とは限らないため、限界の理解も重要になる。
3.3.2 符号化と不変量の計算
不変量の計算では、グラフをラベル付き表現で符号化し、その後に同型の影響を排除する必要がある。直接全探索で同型判定を行う方法は計算量が大きくなりやすいが、不変量を使うことで探索空間を縮められる場合がある。
一般に、まず安価な不変量でふるい分けし、さらに判別力の高い不変量へ進む多段階戦略が用いられる。計算可能な定義を選ぶことで、同型類の比較が実用的な時間で実行されることがある。
4 同型不変量の計算・限界・拡張
4.1 計算可能性とアルゴリズム
計算可能性は同型不変量の実用性を左右する。理論的に定義できても、入力サイズに対して計算時間が過大になると分類への応用が難しい。従って、不変量は「どの計算モデルで」「どの計算量で」求められるかが重要になる。
また、実装面では数値誤差や近似の問題が生じ得る。例えば実数計算に依存するスペクトル推定では誤差管理が必要になることがある。そのため、厳密な演算で定まる不変量と、統計的推定に近い不変量を区別して設計する考え方がある。
4.2 不変量が同型性を判定できる条件
不変量が同型性の判定に十分条件となるかは、一般には成り立たない。多くの場合、同じ不変量値は同型性を保証しない。判定に有効になる条件としては、不変量が同型類を完全に分離する（すなわち不変量値が同型類の同値関係と一致する）ような性質を持つ場合が挙げられる。
しかし完全性を達成する不変量はしばしば計算が困難になることがある。そのため、実際には「同型であれば同値になる」という一方向の判別（必要条件としての利用）に加え、「十分条件としての利用」へどこまで近づけるかを評価する流れが多い。
4.3 弱い不変量と強い不変量
不変量の強さは、判別力の度合いで測られる。弱い不変量は同型でない対象を区別できないことが多いが、計算は容易である場合が多い。強い不変量は、より多くの差異を検出するが、計算が難しい、もしくは定義が高度であることがある。
同じ数学的対象でも、同型の定義が異なると不変量の強さや意味が変わる。例えば「相似」か「直交」か、「同相」か「滑らかな同相」かといった同型観の違いは、保持される不変量の範囲に影響する。したがって、不変量を比較する際には、対象と同型概念の対応関係を明確にする必要がある。
4.4 不変量の拡張（複数不変量・完全不変量の発想）
弱い不変量の限界を補う方法として、複数の不変量を組み合わせる拡張がある。組み合わせにより、各不変量が見落としていた差異が別の指標で補われ、結果として判別力が増す。実装上は、計算コストの低い不変量から順に評価することで、全体の処理が効率化される。
さらに理想形として、完全不変量の発想がある。これは、同型類が不変量の値により一対一に対応するような不変量を目指す考え方である。完全性が得られれば同型問題が不変量の比較問題に還元されるが、その実現は一般に難しく、理論的構成と計算可能性の双方を満たす必要がある。
別の拡張として、不変量を“値”ではなく“構造”として保持することで、情報の損失を抑える戦略もある。数値だけでは潰れてしまう差異を、より豊かな代数的あるいは幾何学的データとして保存することで、分類に近づく可能性が高まる。