群同态

✍ dations ◷ 2025-04-03 09:49:06 #群论,态射

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

G2 F4E6 E7E8
劳仑兹群
庞加莱群

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

在数学中,给定两个群 ( G , ) {\displaystyle (G,*)} ,并且它还在 h ( u 1 ) = h ( u ) 1 {\displaystyle h(u^{-1})=h(u)^{-1}} 的意义上映射逆元到逆元。因此我们可以说 h {\displaystyle h} “兼容于群结构”。

过去同态 h ( x ) {\displaystyle h(x)} 常用 x h {\displaystyle x_{h}} x h {\displaystyle x^{h}} 来表示,它容易混淆于索引或一般下标。更新近的倾向是把群同态写在它们的自变量的右侧,省略括号,如此 h ( x ) {\displaystyle h(x)} 简化成了 x   h {\displaystyle x\ h} 。这种方法因为其更适应自动机从左至右读字的习惯从而在某些广泛应用自动机理论的群论中颇为流行。

在考虑有额外的结构的群的数学领域中,同态不仅要满足上述的群结构,还要满足额外的结构。比如拓扑群的同态经常要求是连续的。

我们定义 h {\displaystyle h} 的核被映射到 H {\displaystyle H} 中单位元 e h {\displaystyle e_{h}} 上的 G {\displaystyle G} 中元素的集合

定义 h {\displaystyle h} 的像为

核是 G {\displaystyle G} 的正规子群(事实上, h ( g 1 u g ) = h ( g ) 1 h ( u ) h ( g ) = h ( g ) 1 e H h ( g ) = e H {\displaystyle h\left(g^{-1}ug\right)=h(g)^{-1}h(u)h(g)=h(g)^{-1}e_{H}h(g)=e_{H}} ),而像则是 H {\displaystyle H} 的子群。同态 h {\displaystyle h} 是单射(并叫做单同态)当且仅当 k e r ( h ) = { e G } {\displaystyle \mathrm {ker} (h)=\{e_{G}\}}

同态的核和像可以被解释为对它接近于同构程度的程度。第一同构定理说明了群同态的像 i m ( h ) {\displaystyle \mathrm {im} (h)} 同构于商群 G / k e r ( h ) {\displaystyle G/\mathrm {ker} (h)}

如果 h : G H {\displaystyle h:G\to H} k : H K {\displaystyle k:H\to K} 是群同态,则 h k : G K {\displaystyle h\circ k:G\to K} 也是群同态。这证明所有群构成的类,和态射即群同态,一起构成一个范畴。

如果同态 h {\displaystyle h} 是双射,则你还可以证明它的逆映射仍是同态,这种 h {\displaystyle h} 叫做群同构;在这种情况下,群 G {\displaystyle G} H {\displaystyle H} 被称为是“同构的”:它们只在元素的符号上有差异而对于所有实践用途都是同一的。

如果 h : G G {\displaystyle h:G\to G} 是群同态,我们称之为 G {\displaystyle G} 的自同态。如果它进一步的是双射并且因此是同构,则称为自同构。群 G {\displaystyle G} 的所有自同构的集合,带有函数复合作为运算,自身形成一个群,叫做 G {\displaystyle G} 的自同构群,记为 A u t ( G ) {\displaystyle \mathrm {Aut} (G)} 。例如说, ( Z , + ) {\displaystyle (\mathbb {Z} ,+)} 的自同构群只有两个元素,恒等变换和乘以 1 {\displaystyle -1} ;它同构于 Z / 2 Z {\displaystyle \mathbb {Z} /2\mathbb {Z} }

满同态是满射的同态,单同态是单射的同态。

如果 G {\displaystyle G} H {\displaystyle H} 是阿贝尔群(就是交换群),则所有从 G {\displaystyle G} H {\displaystyle H} 的群同态的集合 H o m ( G , H ) {\displaystyle \mathrm {Hom} (G,H)} 自身是阿贝尔群:两个同态的和 h + k {\displaystyle h+k} 定义为

H {\displaystyle H} 的交换律对于证明 h + k {\displaystyle h+k} 也是群同态是必需的。同态的加法在如下意义上兼容于同态的复合:如果 f {\displaystyle f} H o m ( K , G ) {\displaystyle \mathrm {Hom} (K,G)} 中, h {\displaystyle h} , k {\displaystyle k} H o m ( G , H ) {\displaystyle \mathrm {Hom} (G,H)} 的元素,并且 g {\displaystyle g} H o m ( H , L ) {\displaystyle \mathrm {Hom} (H,L)} 中,则

这证明了一个阿贝尔群的所有自同态的集合 E n d ( G ) {\displaystyle \mathrm {End} (G)} 形成了一个环,即 G {\displaystyle G} 的自同态环。例如,由两个 Z / 2 Z {\displaystyle \mathbb {Z} /2\mathbb {Z} } 的直积构成的阿贝尔群(克莱因四元群)的自同态群同构于带有 Z / 2 Z {\displaystyle \mathbb {Z} /2\mathbb {Z} } 内元素的 2 × 2 {\displaystyle 2\times 2} 矩阵的环。上述兼容性还证明所有阿贝尔群带有群同态的范畴形成了预加法范畴;存在直积和良定义的核使这个范畴成为阿贝尔范畴的原型。


相关

  • 常染色体显性多囊肾常染色体显性多囊肾(Autosomal dominant polycystic kidney disease,ADPKD)又称为成人型多囊肾,是一种遗传性全身性疾病,主要影响肾脏,但也可能会影响其他器官,如肝脏、胰腺、脑动
  • 嗝气嗝气(又称作饱嗝,中医学上称为嗳气或噫气)指气体经由上消化道(经由食道和胃)往上并从口腔排出。通常伴随着特有的声音,偶尔带有气味。中文语词使用上,“嗝气”经常与“打嗝”混淆,后
  • 马克II型坦克Mark I 坦克由英国研制并在第一次世界大战于英国军队服役,是世界上第一种正式参与战争的坦克。 Mark I 坦克在1916年8月开始服役,并于1916年9月15日首次应用在索姆河战役上。
  • 藻类植物藻类,又称作悬浮植物,包括数种不同类以光合作用产生能量的生物,其中有属于真核细胞的藻类,也有属于原核细胞的藻类。它们一般被认为是简单的植物,并且一些藻类与比较高等的植物有
  • 金台石金台石(满语:ᡤᡳᠨᡨᠠᡳᠰᡳ,转写:Gintaisi;约16世纪-1619年),又译“锦台什”、“金台什”、“金台吉”等。叶赫那拉氏,杨吉砮子,纳林布禄之弟,末代叶赫东城贝勒。金台石于其兄纳林布
  • 中日韩相容字元中日韩兼容字符(3300–33FF)包含电报符号中的几个小时,该月的天,各种拉丁文单位的片假名等简称,还有日本年号㍻、㍼、㍽、㍾(可是“㋿”因本区码位已满,而放在上一区中日韩带圈字符
  • 麻逸坐标:13°12′N 120°54′E / 13.200°N 120.900°E / 13.200; 120.900民都洛(塔加洛语:Mindoro)故称麻逸,是菲律宾的第七大岛,面积约10,572平方公里,位于吕宋岛之西南,巴拉望岛之东
  • 二里头二里头遗址位于河南省洛阳市二里头村。1959年徐旭生带领团队以《左传》《汉书·地理志》等关于禹和鲧的记载为依据,考证“嵩”、“告”二字,在河南嵩山脚下告成镇进行考古挖掘
  • 锥笔帽螺锥笔帽螺(学名:是翼足目真有壳翼足目角驼蝶螺科(瑞典语:Cavoliniidae)角驼蝶螺属的一种海洋腹足纲软体动物。本物种见于韩国、中国大陆的黄海水域、台湾及北美洲的墨西哥湾。台湾
  • 大阪桐荫中学校及高等学校大阪桐荫中学校及高等学校(日语:大阪桐蔭中学校・高等学校/おおさかとういんちゅうがっこう・こうとうがっこう  */?)是位于日本大阪府大东市的私立完全中学,由大阪产业大学于1