在同调代数中,群上同调是一套研究群及其表示的代数工具。群上同调源于代数拓扑,在代数数论上也有重要应用;它是现代类域论的基本构件之一。
群论中的指导思想之一,是研究群
及其表示的关系。群
的表示是
-模的特例:一个
-模是一个阿贝尔群
配上
在
上的群作用
。等价的说法是:
是群环
上的模。通常将
的作用写成乘法
。全体
-模自然地构成一个阿贝尔范畴。
对给定的
-模
,最重要的子群之一是其
-不变子群
若
是一个
-子模(即:是
的子群,且在
的作用下不变),则
上赋有自然的
-模结构,
,但是未必有
。第一个群上同调群
可以设想为两者间差异的某种量度。一般而言,可以定义一族函子
,其间关系可以由长正合序列表示。
以下假设
为有限群,全体
-模构成阿贝尔范畴,其间的态射
定义为满足
的群同态
。由于此范畴等价于
-模范畴,故有充足的内射对象。
函子
是从
-模范畴映至阿贝尔群范畴的左正合函子。定义
为其导函子。根据导函子的一般理论,可知:
在上述定义中,若固定一个域
,并以
代替
,得到的上同调群依然同构。
导出函子的定义来自内射分解,不便于具体计算。然而注意到
,其中
被赋予平凡的
作用:
,故群上同调可以用Ext函子表达为
另一方面,
-模范畴中也有充足的射影对象,若取一
的射影分解
,则有自然的同构
。最自然的分解是标准分解
而
由
给出。
定义
,其元素为形如
的函数,并满足
,称之为齐次上链。根据
在
上的作用,这种
由它在形如
的元素上的取值确定。借此,可将上链复形
描述为
其中的元素称为非齐次上链。
综上所述,得到
。
较常用的上同调是
与
。从标准分解可导出以下的描述:
准此要领,亦有
上述理论有一对偶版本:对于任一
-模
,定义
为形如
的元素生成之子模。考虑从
-模范畴映至阿贝尔群范畴的函子
这是一个右正合函子,其导出函子称为为群同调
。群同调可以藉Tor函子描述为
对于有限群,群同调与群上同调可在塔特上同调群的理论下得到一贯的描述。
将上述定义中的
-模
改成一般的群
(未必交换),并带有
的作用
(称之为
-群)。此时仍然可以定义第零个及第一个群上同调:
须留意
并不是群,而是带有一个指定元素的集合(来自
的单位元),以下所谓的正合性,都应该在此意义下理解。
若
是
-群的短正合序列,则有长正合序列
若
落在
的中心,此序列右端可再加一项
。
若
为群同态,则可将任一
-模透过
视为
-模,此运算导出上同调之间的映射
此映射与群上同调的长正合序列相容。当
是
的子群而
是包含映射,导出的映射称为限制映射,记为 Res。
由于我们假设
为有限群,必有
,此时映射
导出一个上限制映射 
相关
- 过敏性休克过敏性休克(英语:Anaphylaxis)反应系指一种严重的全身性过敏反应,发病极快且具有致命性。通常会伴随以下症状:起痒疹、舌头或咽喉肿胀、呼吸困难、呕吐、头晕及低血压;以上症状往
- 止咳药止咳药是指治疗咳嗽的药品,通常为片状(亦有含化的)、溶液和混悬液。部分止咳水含有可待因或麻黄碱,过量服用会使人产生欣快感,故被滥用者称为摇头水),泛指用于止咳的所有药水,包括医
- 曹晓风曹晓风(1965年5月-),女,北京人,中国植物表观遗传学家。1988年毕业于北京大学,1991年取得中国农业大学硕士学位,1997年取得北京大学博士学位。担任中国科学院遗传与发育生物学研究所
- 柳属约400种柳,或柳树,是对柳属(Salix)植物的统称,其下共有四百多种物种,常见于北半球的寒带及温带。柳属植物要进行杂交非常容易,不论是天然或是人工的混种都很普遍。Salix × sepulcr
- 焦磷酸四乙酯焦磷酸四乙酯(TEPP)简称特普,是一种含磷的有机化合物,是焦磷酸酯的衍生物,是一种无色有吸湿性的剧毒液体。是由法国化学家菲利普·克莱蒙(英语:Philippe de Clermont)所合成,是最早发
- 广州市荔湾中学广州市荔湾中学,原名“广州市四十三中学”,是中国广东省广州市的一所全日制中学。该校创办于1956年,是全市首批实行“校长负责制”的完全中学,2008年改为现名。该校位于广州市荔
- 小麦黑粉病小麦黑粉病是危害小麦的主要病害之一;一般分三种:
- 嘻哈乌龙院《嘻哈乌龙院》是在《乌龙院四格漫画》的基础上制作的动画短片,在腾讯播出。华漫兄弟(天津)互动娱乐有限公司用Flash形式制作。总裁李儒奇说“国内的动漫产业往往只重视作品
- 畑野浩子畑野浩子(1976年11月23日-)原名畑野广子,现名铃木浩子,是日本模特儿,2004年6月与日本美型男柏原崇结婚之后引退,2006年2月25日宣布离婚,为期一年八个月的婚姻画下句点,婚姻和平收场,两
- 桑园镇 (蠡县)桑园镇,是中华人民共和国河北省保定市蠡县下辖的一个乡镇级行政单位。桑园镇下辖以下地区:桑园北村、桑园南村、桑园东村、潘东村、潘西村、大南庄村、小南庄村、杨东村、杨西