7.3 同构性与同态性