準同型(じゅんどうけい、)とは、複数の対象(おもに
代数系)に対して、それらの特定の
数学的構造に関する類似性を表す概念で、構造を保つ
写像である
準同型写像(じゅんどうけいしゃぞう、) を持つことを意味する。構造がまったく同じであることを表すときは、準同型・準同型写像の代わりに
同型(どうけい、)および
同型写像(どうけいしゃぞう、)という術語を用いる。しばしば、準同型写像・同型写像のことを指して単に
準同型・
同型と呼ぶ。いずれも、「型」の代わりに「形」が用いられることが稀にある。