有限群（Ⅲ）

第四章 上同调与扩张4．1定义设G为群（群运算写成乘法），而A为G-模（即一个交换群，其群运算写成加法，且G作为自同构群作用于其上）．将元素a∈A在元素s∈G作用下的象记为sa，则对s，t∈G及a，a1。