3.5.3 乘法同态