万维百科

换位子群本文重定向自 交换子群

抽象代数中,一个换位子群导群,是指由这个群的所有交换子所生成的子群,记作[G,G]、G′G(1) 。每个群都对应着一个确定的交换子群。在一个群G的所有正规子群中,交换子群G′是使得G对它的商群交换群的最小子群。在某种意义上,交换子群提供了群G的可交换程度。因为从交换子的定义: ,如果x与y交换,那么[x,y]=e。一个群内可交换的元素越多,交换子就越少,交换子群也就越小。可交换群的交换子群为平凡群{e}。

定义

给定一个群GG的交换子群或导群: [G,G]、G′G(1)G的所有交换子所生成的子群:


类似地可以定义高阶的导群。

可以证明,如果存在自然数 n 使得 ,那么G可解群

商群是一个阿贝尔群,叫做G阿贝尔化子群,通常记作GabG的阿贝尔化子群就是G的一阶同调群。

的群叫做完美群,这是与阿贝尔群相对的概念。完美群的阿贝尔化子群是单位群{e}。

性质

  1. 正规子群
  2. G对于自同构稳定:
  3. 如果H是G的子群,那么
  4. 是一个满同态,那么
  5. 如果H是G的正规子群,那么交换群,当且仅当
    证明:是一个满同态,
    所以,是交换群
  6. ,所以 可交换。

交换子群的例子

参见



本页面最后更新于2021-06-19 22:13,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器