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