中心化子和正规化子

✍ dations ◷ 2025-07-30 01:03:29 #群论

其他有限群
对称群,
二面体群,
无限群
整数, Z
模群, PSL(2,Z) 和 SL(2,Z)

G2 F4E6 E7E8
劳仑兹群
庞加莱群

环路群
量子群
O(∞) SU(∞) Sp(∞)

群论中,一个群的子集的中心化子和正规化子是的子群。它们分别在的元素和作为一个整体有受限制的作用。这些子群给出了关于的结构的有用信息。

群的一个元素的中心化子(记作())是的和可交换的元素的集合;换句话说,C() = { 属于  : = }。若为的子群,则C() = C() ∩ 。如果没有歧义,则可以将C()记作C()。

更一般地,令为的任意子集(不必是子群)。则在中的中心化子定义为C() = {属于:对于所有属于, = }。若 = {},则C() = C()。

C()是的子群;因为若 、 属于 C() ,则对每个属于 ,  −1 =  −1 =  −1。于是  −1 属于 C()。

群的中心是C(),通常记作Z()。一个群的中心既是正规子群也是交换群,而且有很多其它重要属性。我们可以将的中心化子视作最大的(用包含关系为序)的子群,满足属于其中心Z()的条件。

一个相关的概念是,在中的正规化子,记作N()或者N()。正规化子定义为N() = {属于 : = }。同样的是,N()可以视作的子群。正规化子的名字来源于如果我们令<>为一个由生成的子群,则N()是最大的满足包含<>为其正规子群的的子群。<>在其中为正规子群的最小的的子群称为共轭闭包。

的子群称为的自正规化子群,如果N() = .

若是交换群,则任何的子集的中心化子和正规化子就是的全部;特别是,一个群可交换,当且仅当Z() = 。

若和是的任意元素,则在C()中,当且仅当在C()中,这有当且仅当和可交换。若 = {}则N() = C() = C()。

C()总是N()的正规子群:若属于C()而属于N(),我们要证明 −1属于C()。为此,取属于并令 =  −1。则属于,所以 = 。注意到 = ;以及 −1 =  −1。我们有

这也就是要证明的命题。

若是的子群,则表明因子群N()/C()同构于Aut()(的自同构群)的子群。

因为N() = ,N/C定理也意味着/Z()同构于Inn()(由所有的内自同构组成的Aut()的子群)。

如果我们通过()() = () =  −1定义群同态  : → Inn(),则我们可以用Inn("G")在上的群作用来表述N()和C():在Inn()中的定点子群就是(N()),而Inn()中固定的子群就是(C())。

若为有限群,考虑G共轭到自身的群作用,并应用轨道-稳定点定理,

G的核为 | ker ρ | = | Z ( G ) | {\displaystyle |\ker \rho |=|Z(G)|}

G的轨道为 | G x i | = | G : C G ( x i ) | {\displaystyle |G\cdot x_{i}|=|G:C_{G}(x_{i})|}

类方程:

相关

  • 氯化银氯化银是银的氯化物,化学式AgCl。其天然矿物称为角银矿,亦可由可溶的银化合物如硝酸银与氯离子反应获得。氯化银是一种白色的、微晶体的、对光敏感的物质,照光会分解成Ag以及Cl
  • 邮差邮递员(英语:Mail carrier),又称为邮差,是种职业,负责邮递及邮务的工作。
  • 溶胶凝胶技术溶胶凝胶技术是指金属有机或无机化合物经过溶胶-凝胶化和热处理形成氧化物或其它固体化合物的方法。溶胶是一种胶状悬浮液,可借由胶化作用得到固体,而凝胶则是介于固体与液体
  • 象山县吴语太湖片甬江小片象山县是中国浙江省宁波市下辖的一个县,位于浙江省东部,东海之滨。面积1382.18平方千米,人口54.17万。邮政编码315700。县人民政府驻丹东街道后堂街21号。象
  • ATC代码 (A11)A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码A11(维生素)是解剖学治疗学及化学分类系统的一个药物分组,这是由世界卫生组织药物统计方法整合中心(The WHO Collaboratin
  • 2016年加蓬总统选举阿里·邦戈·翁丁巴 加蓬民主党阿里·邦戈·翁丁巴 加蓬民主党2016年加蓬总统选举于2016年8月27日举行。加蓬总统每届任期为7年。总统选举只有一轮投票,由得票最多的参选人当
  • 尼古拉一世 (俄国)尼古拉一世·巴甫洛维奇(Николай I Павлович,1)(1796年7月6日-1855年3月2日),是俄罗斯帝国皇帝,1825年至1855年在位。保罗一世第三子。其兄亚历山大一世死后无男嗣,次
  • 三相 (佛教)南传上座部佛教中,诸行有三相(巴利语:ti-lakkhaṇa,梵语:tri-lakṣaṇa),又称三辨识,即无常、苦、非我这三相,是一切存在的三个共同特征(共相)。这个术语主要出现在南传经论注疏中,在巴
  • 儒莲奖儒莲奖(法语:Prix Stanislas Julien)是由法兰西文学院颁发的汉学奖项。该奖以法国汉学家儒莲的名字命名,于1872年创立,1875年起每年颁发一次。.
  • 胡寄窗胡寄窗(1903年10月9日-1993年8月4日),原名钟睿,四川省天全县人。中国经济学家。1903年10月生于四川省天全县始阳镇。幼年在家乡念私塾,15岁始到成都的一所教会中学学习。1926年毕