§21.2 环同态