準同型は部分群を部分群に移す