n实验室阿贝尔无穷群

已从“阿贝尔∞-群”重定向。
目录

上下文

群论

高等代数

目录

想法

一个普通人是一个阿贝尔群或者没有。对于∞-组有一个无限的概念塔,从完全通用的非阿贝尔∞-组,结束编织的 \英菲 -组,癫痫的 \英菲 -组……更多阿贝尔团体阿贝尔∞群(不是一个既定的术语)人们可能想表示∞-组在这个意义上,这是最大的阿贝尔。

从技术上讲,可对异常级别进行编码(参见May识别定理)由 E类 n个 E_n(_n) -歌剧作为n个n个范围从1到\英菲:在非阿贝尔端∞-组相当于一个群代数结束E类 1E_1(E_1),也称为关联运算,因此是一个群体A-∞代数; 而在阿贝尔端是一个群体 E类 E_\信息 -空间是一个无限循环空间连接谱。另请参见周期表属于 k个 k个 -元组单体 n个 n个 -群胚.

请注意,提及连接谱作为“阿贝尔”\英菲-组”(这不是标准的)与非阿贝尔上同调(这是标准的):中的限定词“非阿贝尔”非阿贝尔上同调与…形成对比怀特海广义上同调理论哪些是代表通过光谱.

从更严格的意义上来说,可以说是简单的阿贝尔上同调只是普通的上同调理论,只包含那些怀特海广义上同调理论哪些是代表具体由Eilenberg-MacLane光谱。在Dold-Kan通信这些是同等地 链状复合体属于abel群人们可能会认为这些谱比一般谱更具交换性,并可能会保留“阿贝尔谱”一词\英菲-小组”。

提议

与可交换的关系\英菲-环

定义

写入

全球 1:CRing(CRing) AbGrp公司 gl_1\;\冒号\;CRing_\infty\到AbGrp_\infty

对于(∞,1)-函子它发送一个交换∞环至其∞-单元组.

定义

这个∞-单元组 (∞,1)-函子定义的。是一种权利-伴随(∞,1)函子(或至少一个右伴随同伦范畴)

CRing(CRing) 全球 1𝕊[]AbGrp公司 .CRing_信息\stackrel{\overset{\mathbb{S}[-]}{\leftarrow}}{\sunderset{gl_1}{\to}AbGrp_\信息\,.

这是(ABGHR 08,定理2.1).

示例

(∞,1)-运算器∞-代数群像版本在里面顶部通常地
A-∞运算A-∞代数∞-组A-∞空间,例如。循环空间循环空间对象
E-k操作E-k代数k-单体∞-群迭代循环空间迭代循环空间对象
E-∞运算E-∞代数阿贝尔∞群E-∞空间,如果是成组的:无限循环空间 \西马克 ∞-空间无限循环空间对象
\西马克 连接谱\西马克 连接谱对象
稳定光谱光谱对象

工具书类

一般讨论见第5节

在以下背景下进行讨论E-∞环扭曲上同调在中

上次修订时间:2022年6月25日19:10:10。请参阅历史获取所有贡献的列表。