特征标环的谱及Basic Morita等价

来源 :华中师范大学 | 被引量 : 0次 | 上传用户:luluxxx
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究两个问题:有限群上三类特征标环的谱的连通分支和两个有限群的块代数之间的basic Morita等价。   首先,我们研究有限群上三类特征标环的谱,证明了它们的连通分支的个数等于某些特定的共轭类的个数。   设G为任意有限群,K是复数域C上的任意一个给定的子域.令R(G)是G的所有不可约复特征标生成的环,RK(G)是G的所有不可约K-特征标生成的环,而RK(G)={f∈R(G)|f(x)∈K,()x∈G}。   设π是一些有理素数的集合.将整数环Z关于π的局部化记作Zπ,把G的指数记作eG.再设h是G的指数eG的一个倍数,用ωh记h次本原单位根.那么在整扩张Zπ[ωh]中,π里面的有理素数都不可逆而其他有理素数都是可逆的.设S是复数域C的一个子环且满足S∩Q(ωh)∩K=Zπ[ωh]∩K。   我们在一定条件下构造了群G在域K上的一个特殊的函数;然后,利用本原幂等元与连通分支一一对应的关系,我们证明了交换环Zπ[ωh]()z RK(G)的谱的连通分支的个数等于群G的π-正则K-类的个数.而对于环S()z RK(G),我们可以证明它与环Zπ[ωh]()z RK(G)具有相同的幂等元,因此也得到环S()z RK(G)的谱的连通分支的个数等于群G的π-正则K-类的个数。   进一步,我们证明了环Zπ[ωh]()zRK(G)实际上是环Zπ[ωh]()zR(G)在某个Galois群作用下的稳定子环,通过Galois作用可以计算出环Zπ[ωh]()zRK(G)上的幂等元,从而证明了环Zπ[ωh]()zRK(G)的谱的连通分支的个数等于群G的π-正则K-类的个数.环S()zRK(G)与环Zπ[ωh]()zRK(G)也具有相同的幂等元,因此证明了其连通分支个数也等于群G的π-正则K-类的个数。   本文研究的另一个问题是:从模的角度对basic Morita等价的局部性质给出了一个精确的刻画,证明了实现这些局部子群相应块代数之间的basic Morita等价的模恰好通过诱导和限制相互联系。   设G和G是两个有限群,p是一个有理素数,k是特征为p的代数闭域.设6和b分别为群代数kG和kG的块幂等元.假设块代数kGb和kGb是basic Morita等价的.文献[29]中证明了群G和G中的某些特殊子群的块代数之间也有相应的basic Morita等价.本文中,我们研究了这些块代数的basic Morita等价之间的相互关系,通过分次模和其1-分量之间的关系以及源代数的性质,找到了一个模使得其诱导模和限制模刚好诱导了相应的basic Morita等价,从而给出了这些basicMorita等价一个精确的刻画。
其他文献
边缘是数字图像的重要特征,它刻画了物体的几何轮廓特征,包含识别对象的重要信息,为目标的描述、识别以及理解提供了一个很有价值的特征参量。边缘检测广泛应用于图像增强、
近几十年来,非线性控制系统理论得到了迅猛发展.稳定与镇定问题是非线性控制系统分析的重要课题.本论文围绕稳定与镇定研究了不连续时滞系统的一致最终有界问题和适应控制问
Petri网是并发系统的一种形式化模型,Petri网已广泛应用于业务流程模型的正式验证,它的发展得益于丰富的理论成果、分析技术和应用工具。这些特性为Petri网进一步适应于业务流程模型的配置优化建立了基础。此外,在实践中使用的流程建模语言之间存在映射,这些映射将为本文中概述的结果扩展到具体的流程建模提供了保障。创建流程模型的动机有很多,例如从工作流自动化中的技术场景到做出管理决策的业务场景。随着业
学位
移动对象数据库技术是近年来发展起来的新兴研究领域,该技术的研究目标是解决如何在数据库中对移动对象的空间位置等信息进行存储并执行相关的查询操作。移动对象数据库技术
现在的社会已经是一个数字化的信息时代,图像是在信息时代不可缺少的一部分。图像信号由于在其产生、传输等过程中,受到一些噪声的污染而变得模糊,给后期的处理带来很大的影