为什么(12)式,km不能直接相乘?而要让域k先乘一个代数A里面的单位元,再作用在群M上呢?M是A-模 不是K-模k1 就把k 变成A里面的元素了,k1 是从K到A的一个同态,这样M就借助这个同态成为了K module