为什么(12)式，km不能直接相乘?而要让域k先乘一个代数A里面的单位元，再作用在群M上呢?

 

 

 

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