準同型は単位元を単位元に移す