>>946
G,G'を群とする。写像ｆ:G→G'が、f(xy)＝f(x)f(y), ∀x,y∈G
を満たすとき、ｆを準同型写像という。