準同型写像

群論

（定義）群Ｇから群Ｇ'への対応 があって、
　　　
が成り立つとき、 をＧからＧ'への「準同型写像」という。
準同型写像によって単位元は単位元に移り、逆元は逆元に移る。
　準同型写像 が一対一（単射）であっても、必ずしもＧとＧ'が同型であるとは限らない。ただし、ＧはＧ'の部分群と同型であるとはいえる。