homomorphism

数学、特に代数学において homomorphism は、ある代数構造から別の代数構造への写像であり、元の構造が持っていた演算の性質を維持したまま移し替えることを意味します。日本語では準同型写像と訳されます。単に要素を対応させるだけでなく、演算の結果までも保存されるため、構造的な似ていることを数学的に定義する重要な概念です。

概念的なニュアンスと使い分け

homomorphism の核心は構造の保存にあります。例えば、ある集合で足し算をした結果を写像で飛ばした先で計算しても、先に写像で飛ばしてから足し算をしても結果が同じになる状態を指します。これに対し、より強い制約を持つ概念として isomorphism（同型写像）があります。isomorphism は homomorphism であることに加え、一対一の対応（全単射）である必要があります。つまり、homomorphism が構造を保った写像であるのに対し、isomorphism は構造的に完全に同一であることを示します。

homomorphism: 構造を保存する（が、情報が失われたり、重複したりしてもよい）。
isomorphism: 構造を完全に保存し、かつ元に戻すことができる（完全に同一視できる）。

学習上の注意点

この用語は高度に専門的な数学用語であるため、日常会話で使われることはまずありません。また、日本語の準同型という言葉自体が専門用語であるため、文脈なしに似ているという意味で使うと誤解を招きます。必ず群論、環論、線形代数などの代数的な文脈で使用してください。

❌ 誤用例：二つの会社が似た組織構造を持っているので homomorphism である。
✅ 正用例：この写像は群の演算を保存するため、群準同型（group homomorphism）である。