主题
Search

Whitehead 群


至少存在两种不同的被称为 Whitehead 群的概念。

给定一个带 单位 的结合 A,与 A 相关的 Whitehead 群是 交换 商群

 K_1A=GL(A)/E(A)
(1)

其中 GL(A) 是对所有 自然数 n in N并集一般线性群 GL(n,A),并且 E(A) subset GL(A) 是由所有 初等矩阵 生成的 正规子群

注意,K_1A交换性 源于 Whitehead 证明的事实:E(A)GL(A)换位子群

第二个定义虽然不同,但与第一个定义相关。给定一个 乘法群 Pi 群环 ZPi,存在自然的 同态

 Pi->K_1(ZPi)->K^__1(ZPi).
(2)

在这种情况下,可以将 Whitehead 群 Wh(Pi) 定义为 上核

 Wh(Pi)=K^__1(ZPi)/image(Pi).
(3)

另请参阅

阿贝尔群, 上核, 换位子群, 初等矩阵, 一般线性群, 群的阶, 群环, 同态, , 乘法群, 自然数, 正规子群, 商群, 约化 Whitehead 群, , 环同态, 并集, 单位, 单位环

此条目由 Christopher Stover 贡献

使用 Wolfram|Alpha 探索

参考文献

Milnor, J. "Whitehead Torsion." Bull. Amer. Math. Soc. 72, 358-423, 1966.

引用为

Stover, Christopher. "Whitehead 群。" 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/WhiteheadGroup.html

主题分类