在同调代数中,群上同调是一套研究群及其表示的代数工具。群上同调源于代数拓扑,在代数数论上也有重要应用;它是现代类域论的基本构件之一。
群论中的指导思想之一,是研究群
及其表示的关系。群
的表示是
-模的特例:一个
-模是一个阿贝尔群
配上
在
上的群作用
。等价的说法是:
是群环
上的模。通常将
的作用写成乘法
。全体
-模自然地构成一个阿贝尔范畴。
对给定的
-模
,最重要的子群之一是其
-不变子群
若
是一个
-子模(即:是
的子群,且在
的作用下不变),则
上赋有自然的
-模结构,
,但是未必有
。第一个群上同调群
可以设想为两者间差异的某种量度。一般而言,可以定义一族函子
,其间关系可以由长正合序列表示。
以下假设
为有限群,全体
-模构成阿贝尔范畴,其间的态射
定义为满足
的群同态
。由于此范畴等价于
-模范畴,故有充足的内射对象。
函子
是从
-模范畴映至阿贝尔群范畴的左正合函子。定义
为其导函子。根据导函子的一般理论,可知:
在上述定义中,若固定一个域
,并以
代替
,得到的上同调群依然同构。
导出函子的定义来自内射分解,不便于具体计算。然而注意到
,其中
被赋予平凡的
作用:
,故群上同调可以用Ext函子表达为
另一方面,
-模范畴中也有充足的射影对象,若取一
的射影分解
,则有自然的同构
。最自然的分解是标准分解
而
由
给出。
定义
,其元素为形如
的函数,并满足
,称之为齐次上链。根据
在
上的作用,这种
由它在形如
的元素上的取值确定。借此,可将上链复形
描述为
其中的元素称为非齐次上链。
综上所述,得到
。
较常用的上同调是
与
。从标准分解可导出以下的描述:
准此要领,亦有
上述理论有一对偶版本:对于任一
-模
,定义
为形如
的元素生成之子模。考虑从
-模范畴映至阿贝尔群范畴的函子
这是一个右正合函子,其导出函子称为为群同调
。群同调可以藉Tor函子描述为
对于有限群,群同调与群上同调可在塔特上同调群的理论下得到一贯的描述。
将上述定义中的
-模
改成一般的群
(未必交换),并带有
的作用
(称之为
-群)。此时仍然可以定义第零个及第一个群上同调:
须留意
并不是群,而是带有一个指定元素的集合(来自
的单位元),以下所谓的正合性,都应该在此意义下理解。
若
是
-群的短正合序列,则有长正合序列
若
落在
的中心,此序列右端可再加一项
。
若
为群同态,则可将任一
-模透过
视为
-模,此运算导出上同调之间的映射
此映射与群上同调的长正合序列相容。当
是
的子群而
是包含映射,导出的映射称为限制映射,记为 Res。
由于我们假设
为有限群,必有
,此时映射
导出一个上限制映射 
相关
- 法布里-珀罗干涉仪在光学中,法布里-佩罗干涉仪(英文:Fabry–Pérot interferometer)是一种由两块平行的玻璃板组成的多光束干涉仪,其中两块玻璃板相对的内表面都具有高反射率。法布里-佩罗干涉仪也经
- 超个体超个体(英语:superorganism,又称超有机体)是一个由许多有机体组成的有机体系。这通常意味着是一个真社会性动物的社会单位,在那里社会分工被高度专业化,且个体无法独自长时间地生
- 七下西洋郑和下西洋是指中国在明代早期1405年至1433年间的七场连续的大规模远洋航海,跨越了东亚地区、印度次大陆、阿拉伯半岛、以及东非各地,被认为是当时世界上规模最大的远洋航海项
- 北海油田北海油田是世界著名的石油集中出产区,每日生产大约600万桶。位于大西洋的陆缘海——北海,它是介于欧洲大不列颠岛、挪威和欧洲大陆之间,所出产之石油为沿岸英国,挪威,丹麦和荷兰
- 高村正彦高村正彦(1942年3月15日-),日本政治人物。自由民主党宪法改正推进本部最高顾问,元自由民主党副总裁,番町政策研究所(高村派)元会长。曾历任法务大臣与防卫大臣(3代)、防卫厅政务次官、
- 卢人语卢人语是贵州省的一种绝迹的汉藏语。卢人语可能于20世纪60年代灭绝。卢人语同蔡家话和龙家语有极近的亲缘关系。然而,这三种语言在汉藏语系中的具体分类仍不确定。郑张尚芳(20
- 轶事记录法轶事纪录法是一种不限时间,不受主题,不受情境的观察法。主要适用于小动物或幼儿。猜测行为原因,了解行为过程,获取反映回馈。若可按时间笔记,则可更加了解行为反应的准确时间。进
- 十六国皇后及妃嫔列表十六国皇后及妃嫔列表列出中国历史上十六国所有的君主配偶。
- 葛修润葛修润(1934年7月12日-),上海南汇人,岩石力学专家,中国工程院院士。葛修润早年曾就读于上海市南洋模范中学。1952年考入清华大学水利系。1954年赴苏联敖德萨建筑工程学院(Одес
- 画书大王《画书大王》简称为画王,是中国大陆第一份漫画杂志。1993年,《画书大王》创刊,这本由宁夏人民出版社出版的漫画刊物一出世即受到了广大中国的新读者的关注。她标志着连环画中的