1 群準同型の基本
1.1 群の演算と写像の整合性
群準同型を理解するには、まず「群の演算」と「写像がそれをどの程度尊重するか」の対応を押さえる必要がある。群の演算を保存する写像は、要素どうしの合成（積）に関して整合的であり、演算のルールを写像後も同様に実現することを意味する。たとえば準同型では、像側の積が定義により元の積から一貫して決まるため、構造比較が容易になる。一方、準同型より柔軟な概念として群準同型が扱われる場合、積の保存が厳密に成り立たない局面を許容しつつ、なお何らかの「構造の写し方」が維持されるように設計される。ここで重要なのは、完全な保存の不在を、核や像、あるいは写像のずれを規定する条件によって代替的に管理する点である。
1.2 群準同型の定義（準同型との違い）
1.2.1 積（演算）の扱いの差異
準同型では写像 \(f:G\to H\) が積をそのまま保つ、すなわち \[ f(xy)=f(x)f(y) \] が（全ての）要素 \(x,y\in G\) で成り立つことが要請される。これに対して群準同型では、積の保存が一律に成立するとは限らない。代わりに、積の計算結果が一致するための「余分なずれ」を、特定の部分集合（たとえばある部分群）に吸収させる、あるいはずれの形を制御する等式条件として与えることが多い。したがって「写像後の積が、写像後同士の積に一致する」ことよりも、「ずれが所定の範囲に限られる」ことが中心的な要請となる。
1.2.2 ずれを許す条件の整理
ずれを許す条件の立て方には複数の流儀がある。代表的には次のような考え方が挙げられる。
- ずれを吸収する対象がある：たとえばある部分群 \(K\le H\) への商を取ると一致する、あるいは \(f(xy)\) と \(f(x)f(y)\) の差（積としての相違）が \(K\) に属する。
- ずれが系統だった形で表される：例えば一つの固定要素や、ある写像（補正因子）によりずれが補正可能である。
- 許容される誤差が局所的・条件付きである：全要素で完全一致を要求せず、特定の関係を満たす組合せに限って条件が成立する。
この種の条件により、完全な準同型とは異なるが、なお群論的な比較（不変量の保持、商や核による分類）を可能にする枠組みが得られる。
1.3 代表的な同値概念との関係
群準同型は「完全一致」よりも「同一視の仕方」を緩めるため、準同型とは異なる種類の同値関係と結び付く。たとえば、同じ情報を商構造において共有するという観点では、写像の違いがある部分群に押し込められることが同値性の理由となる。また、写像同士を補正（あるいは共通の核を通じた同一化）によって関連付ける発想は、コホモロジー的な視点や、拡大・因子の議論とも相性がよい。さらに、理論の整合性の観点では、「核」「像」「商」を通じて、準同型のときに成り立つ基本定理に似た構造が、適切な調整のもとで復元されることが多い。結果として、同値概念は「一致の強さ」に応じて階層化され、群準同型はその中間的な位置づけとして理解される。
2 構造への影響（像・核・因子）
2.1 核（カーネル）の性質
準同型の核は、積の保存が厳密に成り立つため「群の部分群」として自然に現れる。群準同型では、積の保存が完全ではない分、核の定義やその性質はより繊細になることがある。ただし典型的な設計では、核は依然としてある意味で「変換されない部分」を表す。たとえば \(f(x)\) が恒等元付近（あるいは恒等のクラス）に写る要素を集め、商による一致を考えると、元の理屈が部分的に復元される。よって核の役割は、単に要素を殺す集合から、ずれの吸収に関わる制御因子へと性格づけが変わる。
核に関する重要点は次の通りである。
- ずれを吸収する部分群に対して核が定義されると、群の部分構造として扱いやすい。
- 核のサイズや階数（存在する場合）は、写像がどれほど強く構造を維持しているかを示す指標になる。
- 核が自明である（または最小限）とき、準同型に近い挙動が強く現れる。
2.2 像（イメージ）の特徴
像についても同様に、準同型では「部分群」として整理されるのに対し、群準同型では像が部分群でなくなる可能性がある。ただし、準同型に似た議論が可能になるように、像はしばしば「補正込み」で扱われる。たとえば、像において積が閉じない場合でも、ずれを吸収する部分構造を用いると、商側では閉性が回復する。したがって像の特徴は二層構造を持つ。
- 生の像：写像の直接の出力集合がどの程度群構造を保持するか
- 許容されるずれを織り込んだ像：商や適切な同値のもとで群として扱えるか
この観点では、像の「閉性の欠損」が、補正因子や核がどれくらい働いているかに対応し、分類上の情報を与える。
2.3 因子群・商の構成と関係
2.3.1 準同型定理の考え方との対応
準同型定理（いわゆる第一同型定理）の精神は、「核を潰してから像を見ると同型が得られる」という構造にある。群準同型では、そのままの形で成立するとは限らないが、ずれの扱いを商構造に組み込むことで、類似の対応が再現されることがある。一般に次の戦略が採られる。
- まず核（あるいは核を含む関連部分構造）により「一致の基準」を定める。
- 次に、商群上での写像を定義し直し、積に関する問題を商で相殺する。
- 最後に、商上の像が適切な対象に対し同型（あるいは同値）になる状況を確認する。
このプロセスにより、準同型定理が提供する分類の道具立てが、群準同型の枠組みに適応される。
2.3.2 準同型に似た性質／成り立たない性質
群準同型では、準同型に類似した性質が部分的に成立する一方、いくつかの特徴は一般に壊れる。典型的には次が区別される。
- 成立しやすい性質：商や核を通じた「統制」から導ける不変量、補正後の等式、条件付き閉性の回復など。
- 崩れやすい性質：全要素での積保存そのもの、像の単純な部分群性、逆写像の存在条件の素朴な形。
これにより、群準同型を扱う際には「何を同一視しているか」を最初に明確化し、その同一視の粒度に応じて成立・不成立を判断する必要がある。言い換えると、壊れるのは写像そのものの厳密性であり、適切な商を導入することで、残る有効な情報が再配置される。
3 代表例と具体的計算
3.1 具体例：成分ごとの操作で定まる写像
群準同型の直観を得るには、要素を分解し、その成分操作が写像の定義を支える例が有効である。たとえば、ある群が直積 \(G=G_1\times G_2\) と分かれているとする。このとき写像を成分ごとに与えることで、演算の整合性がどの成分で良く保たれ、どの成分で補正が必要になるかが見えやすくなる。
典型的には次の状況が現れる。
- 一方の成分については準同型の条件がそのまま満たされる。
- 他方の成分については一致がずれ、補正が必要になる。
- その結果、積の保存は全体としては破れるが、ずれはある部分構造へ落ちる。
計算上の要点は、積 \( (g_1,g_2)(h_1,h_2) \) に対して写像を適用した値と、個別に写像してから積を取った値との差が、どの因子に依存するかを整理することである。この差が「一定の部分群に属する」「ある同値関係で消える」などの形で記述できれば、群準同型としての妥当性が確認できる。
3.2 具体例：制約付きの写像（部分条件のある場合）
全ての要素に対して同じ規則が適用されるとは限らない。群準同型の例として、ある条件を満たす要素対に対してのみ積の整合性が成立する、あるいは特定の部分集合上でのみ規則が保たれる設定がある。この場合、写像の振る舞いを次のように分解できる。
- 条件が満たされる範囲：演算の対応がほぼ準同型に近くなる
- 条件が満たされない範囲：ずれが許される、あるいは評価不能になる
制約があると計算は複雑になるが、反対に分類に役立つ情報も得られる。たとえば制約が「中心に関する性質」や「ある部分群に属するか否か」に依存する場合、ずれはその境界から生じるため、構造比較の焦点が明確になる。最終的には、条件付きの一致を商構造へ押し込めることで、全体の定理形を組み立てられることがある。
3.3 例から学ぶ：どの演算がどこまで保存されるか
上の例が示すのは、「どの演算が」「どれほど」保たれるかは一様ではない、という点である。群準同型では、次の観点が整理の軸になる。
- 積の一致は完全か、商や同値でのみ成立するか
- 単位元や逆元の扱いは、どの程度自動的に従うか
- ずれの依存性：要素のどの情報に反応して変化するか
- 補正後の構造：核・像・商が群として振る舞うか
これらを通じて、「厳密な同型ほどではないが、構造の比較が意味を持つ」境界が具体化される。結果として、群準同型は“緩い一致”を計算可能な形に翻訳し、どこで情報が失われ、どこで維持されるのかを読み取るための道具になる。
4 応用と隣接分野
4.1 群の分類への寄与
群準同型は、群の同型分類に直接寄与するというより、「同型に至る前段階での比較」を可能にする点で分類論に資する。準同型より緩い対応は、情報を完全には固定しないため、より広いクラスの群を同じ枠組みで扱える。たとえば、同型では区別されるが商構造としては一致する群を同一視できることがあり、この視点は分類の段階分けに役立つ。
また、核や像、因子の振る舞いは、群準同型が持つ“近さ”を量的・構造的に表すことにつながる。結果として、完全同型の判定を行う前に、より粗い不変量でふるい分けをする戦略が組みやすくなる。
4.2 表現論での役割（緩い対応としての見方）
表現論では群の作用をベクトル空間上の線形変換として読み替える。厳密な準同型に基づく構成は表現の間で自然に対応関係を作るが、群準同型は「作用の受け渡し」を緩めることで、新しい対応の設計を可能にする。ここで重要なのは、表現の性質がどの程度保存されるかである。
- 作用の合成規則が完全には一致しない場合でも、補正や商を介して整合性が保たれることがある。
- その結果、表現の特徴（分解、既約性の手がかり、既約の扱い方）に関して、準同型より広い範囲で関係が作れる。
- 緩い対応は、単に弱い写像を容認するのではなく、表現間の“ずれ”を同値類として整理し、計算可能な形に落とし込む。
この見方により、群準同型は表現論における構造比較の一般化として位置づけられる。
4.3 拡大・合成における取り扱い
4.3.1 合成で性質はどう変わるか
写像同士の合成は、対応の強さに直結する。群準同型 \(f:G\to H\) と \(g:H\to K\) を考えるとき、合成 \(g\circ f\) が群準同型として振る舞うかは、ずれの伝播の仕方で決まる。典型的には、ずれが「部分群へ落ちる」「商で相殺される」形で管理されていると、合成後も同様の管理が成立しやすい。
計算上の観点は次のように要約できる。
- ずれの補正が合成でどのように再表現されるか
- ずれが吸収される部分構造の階層がどのように変化するか
- 合成により、核や像に関する制約が強まるのか緩むのか
この整理により、群準同型の体系的な構築（連鎖的な比較や連成）を行える。
4.3.2 逆写像や制限の挙動
逆写像の扱いは、準同型の場合より難しくなることが多い。合成が成立するような補正条件が逆向きに保たれるかどうかが鍵である。たとえば、順方向でずれがある部分構造に吸収されるなら、逆方向でも同様の吸収が再現される必要がある。さらに、写像が全単射であっても、演算整合性の粒度が変わる場合には、逆方向の性質が同じ強さで保証されない。
また、写像の制限についても同様である。部分群や部分集合へ制限すると、ずれがたまたま消えて準同型的に振る舞う場合がある一方、条件が失われて性質が崩れる場合もある。したがって群準同型の応用では、「制限先での同値基準」と「補正の有無」をセットで確認することが重要になる。