6.4 同构及同态