群準同型

数学、特に群論における群の準同型写像（じゅんどうけいしゃぞう、）は群の構造を保つ写像である。準同型写像を単に準同型とも呼ぶ。
定義と注意.
ふたつの群 と が与えられたとする。 から への群準同型とは、写像 で、formula_1 を満たすものである。ここで、左辺は の元に対して の群演算を施したものを で写した先の の元を意味し、右辺は の各元を で の元に写したものに の群演算を施したものである。
定義から、準同型写像 は、 の単位元 を の単位元 に写し、また formula_2 が成り立つという意味で逆元を逆元に写すということが示せる。このとき、「 は群構造と両立する(compatible with)」とも言う。
群に何か別の構造が付加されている場合には、「準同型」という言葉は（上記のような）群構造だけではなくて、付加された構造についてもよく振舞うをこと意味していることもある。たとえば、位相群の準同型といえば、しばしば連続性も要求される。
群 から への群準同型全体のなす集合は と表記される。
像と核.
準同型 の核 を、 によって の単位元にうつる の元全体の集合 formula_3 と定義し、また準同型 の像を formula_4 で定義する。核は の正規部分群である（実際、 とすれば、任意の に対し formula_5 が成立するから、formula_6 はすぐにわかる）。また、像は の部分群である。準同型 が単射（しばしば 群単準同型 と呼ばれる）になることと となることとは同値である。
準同型の核と像は、その準同型がどのくらい同型に近いかを測るものと解釈することができる。第一同型定理によれば、準同型 の像 は、余像と呼ばれる商群 に同型である。
群の圏.
 および が群準同型ならば、それらの合成 もまた群準同型である。これにより、群全体の成す（圏論的な意味での）類に群準同型を射としてあわせて考えたものは、群の圏 と呼ばれる圏を成す。
準同型写像の種類.
準同型 が全単射ならば、その逆写像もまた準同型になることが示せる。このとき は群同型写像 であるといい、群 と は互いに同型 であるという。互いに同型な群というのは、その元の記述の仕方が違うだけで、実用上は同一視できる。
定義域と終域が同じ群準同型写像 は の自己準同型写像という。さらに、 が全単射、すなわち同型になるとき、自己同型という。 のすべての自己同型からなる集合は、写像の合成を演算として群をなす。これを、 の自己同型群と言い、 と表記する。たとえば、群 の自己同型群は、恒等変換と 倍写像の二つの元のみからなり、 に同型である。
全射準同型（つまり、上への写像となっているような準同型）を全準同型 という。また、単射準同型（つまり、一対一写像となっていうような準同型）を単準同型 という。
アーベル群の準同型.
 と をアーベル群（つまり、演算が可換な群）とすると、 から への群準同型全体の成す集合 をそれ自身ひとつのアーベル群とすることができる。ただし準同型 と の和 を点ごとの和、すなわち formula_7 を満たすものとして定める。 の可換性は、 がふたたび群準同型となることを示すのに必要である。
準同型の加法は、準同型の合成と以下の意味で両立する:
これはアーベル群 の自己準同型全体の成す集合 は（準同型の和と合成に関して）環を成すことを示している。環 をアーベル群 の自己準同型環 と言う。たとえば、巡回群 の 個の直和として得られるアーベル群 の自己準同型環 は に成分を持つ -次正方行列全体の成す環に同型である。上記の和と合成に関する両立性はアーベル群（と群準同型）の圏 が前加法圏を成すことをも示している。直和の存在や核がよく振舞うことから、圏 はアーベル圏の原型的な例となっている。
参考資料.
Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, MR1878556, ISBN 978-0-387-95385-4