幂零群 - Wikiwand
For faster navigation, this Iframe is preloading the Wikiwand page for 幂零群.

幂零群

维基百科,自由的百科全书

此条目没有列出任何参考或来源。 (2018年7月14日)维基百科所有的内容都应该可供查证。请协助添加来自可靠来源的引用以改善这篇条目。无法查证的内容可能被提出异议而移除。
群论 群 基本概念 子群 · 正规子群 · 商群 · 群同态 · 像 · (半)直积 · 直和单群 · 有限群 · 无限群 · 拓扑群 · 群概形 · 循环群 · 幂零群 · 可解群 · 圈积 离散群 有限单群分类 循环群 Zn 交错群 An 散在群马蒂厄群 M11..12,M22..24康威群 Co1..3 扬科群 J1..4 费歇尔群 F22..24子怪兽群 B怪兽群 M 其他有限群 对称群, Sn 二面体群, Dn 无限群 整数, Z 模群, PSL(2,Z) 和 SL(2,Z) 连续群 李群一般线性群 GL(n)特殊线性群 SL(n)正交群 O(n)特殊正交群 SO(n)酉群 U(n)特殊酉群 SU(n)辛群 Sp(n) G2 F4 E6 E7 E8 劳仑兹群庞加莱群 无限维群 共形群微分同胚群 环路群 量子群 O(∞) SU(∞) Sp(∞) 代数群 椭圆曲线线性代数群(英语:Linear algebraic group)阿贝尔簇(英语:Abelian variety) 查论编

群论里,幂零群为一拥有几乎可换之特殊性质的,经由交换子([x,y] = x-1y-1xy)的重复应用。幂零群诞生于伽罗瓦理论和对群的分类之中。其对李群的分类亦具有很重要的功用。

定义

首先先定义群G降中央列,其为一系列的群G = A0A1A2、...、Ai,其中每个Ai+1 = [Ai, G]为所有由Ai中的xG中的y所算出的所有交换子[x,y]所产生出来的G子群。因此,A1=[G,G]=G1G导群,而A2 = [G1, G],以此类推。

G为可换的,则[G,G] = E,即为其平凡子群。将此一概念延伸,则可定义一个群G幂零的,若其存在一自然数n使得An为平凡的。若n为可使得An的最小自然数,则称此一群Gn级幂零。每一个阿贝尔群都是1级幂零,除了平凡群之外,其为0级幂零。若一个群为至少m级幂零,则有时称其为零m群。

做为证明此一名词幂零使用的正当性,先取一幂零群G及其内一元素g并定义一函数f: GGf(x) = [x,g]。则这一函数为幂零的,因为其存在一自然数n使得fn,即fn次递归,将每一个G内的元素x映射至单位元

另一个定义幂零群的等价方法为采取升中央列之方式,其为一系列的群E = Z0Z1Z2、...、Zi,其中每个接续的群之定义为:

在此定义下,Z1G中心,且对于其每个接续的群而言,其商群Zi+1/Zi皆为G/Zi的中心。对一阿贝尔群来说,Z1简单为G;而一个群被称为n级幂零,若有一最小的n使得Zn = G

上述两种定义为等价的:降中央列会到达其平凡子群E当且仅当其升中央列可以达到G;此外,其n最小值在两者中也会是一样的。

例子

如上面所述,每一个阿贝尔群均为幂零。

一个小的非阿贝尔群之例子为四元群Q8。其有两个元素{1, −1}所组成的中心,且其降中央列为{1}、{1, −1}、Q8;所以其为2级幂零。实际上,每个有限多个有限p-群的直积皆是幂零的。

海森堡群为非阿贝尔幂零群的另一个例子。

性质

当每个接续的商群Zi+1/Zi皆为可换的,其序列为有限个的,且每一个幂零群都为一具有较简单结构的可解群

每一个n级幂零群的子群均为至少n级幂零;另外,若fn级幂零群的同态f的值域则为至少n级幂零的。

下列的叙述在有限群中均为等价,表现出一个幂零性的有用性质:

最后一个叙述可以被延伸至无限群的状况下:若G为一幂零群,则G的每一个西洛子群Gp都是正规的,且其西洛子群的直积会是G内有限目的所有元素所组成之子群。(见挠子群)。

{{bottomLinkPreText}} {{bottomLinkText}}
幂零群
Listen to this article