阿贝尔群

✍ dations ◷ 2025-04-03 16:58:59 #阿贝尔群论,群的性质,尼尔斯·阿贝尔

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

G2 F4E6 E7E8
劳仑兹群
庞加莱群

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

阿贝尔群(Abelian group)也称为交换群(commutative group)或可交换群,它是满足其元素的运算不依赖于它们的次序(交换律公理)的群。阿贝尔群推广了整数集合的加法运算。阿贝尔群以挪威数学家尼尔斯·阿贝尔命名。

阿贝尔群的概念是抽象代数的基本概念之一。其基本研究对象是模和向量空间。阿贝尔群的理论比其他非阿贝尔群简单。有限阿贝尔群已经被较为彻底地研究了。无限阿贝尔群理论则是目前正在研究的领域。

阿贝尔群的群运算符合交换律,因此阿贝尔群也被称为交换群。它由自身的集合和二元运算* 构成。它除了满足一般的群公理,即运算的结合律、有单位元、所有的元素都有逆元之外,还满足交换律公理

因为阿贝尔群的群运算满足交换律和结合律,群元素乘积的值与乘法运算时的次序无关。

而群运算不满足交换律的群被称为“非阿贝尔群”,或“非交换群”。

阿贝尔群有两种主要运算符号—加法和乘法。

一般地说,乘法符号是群的常用符号,而加法符号是模的常用符号。当同时考虑阿贝尔群和非阿贝尔群时,加法符号还可以用来强调阿贝尔群是特定群。

验证有限群是阿贝尔群,可以构造类似乘法表的一种表格(矩阵),它称为凯莱表。如果群 = {1 = , 2, ..., }在运算⋅下,则这个表的第(, )个表项包含乘积。群是阿贝尔群当且仅当这个表是关于主对角线是对称的(就是说这个矩阵是对称矩阵)。

这是成立的因为如果它是于阿贝尔群,则 = 。这蕴含了第(, )个表项等于第(, )个表项,就是说这个表示关于主对角线对称的。

矩阵即使是可逆矩阵,一般不形成在乘法下的阿贝尔群,因为矩阵乘法一般是不可交换的。但是某些矩阵的群是在矩阵乘法下的阿贝尔群 - 一个例子是2x2 旋转矩阵的群。

阿贝尔群是Camille Jordan以挪威数学家尼尔斯·阿贝尔命名的,他首先察觉到了阿贝尔首先发表的这种群与根式可解性的联系的重要性。

如果是自然数而是使用加号的阿贝尔群的一个元素,则可以定义为 + + ... + (个数相加)并且(−) = −()。以这种方式,变成在整数的环Z上的模。事实上,在Z上的模都可以被识别为阿贝尔群。

关于阿贝尔群(比如在主理想整环Z上的模)的定理经常可以推广到在任意主理想整环上的模。典型的例子是有限生成阿贝尔群的分类是在主理想整环上的有限生成模的结构定理的特殊情况。在有限生成阿贝尔群的情况下,这个定理保证阿贝尔群可以分解为挠群和自由阿贝尔群的直和。前者可以被写为形如Z/kZ对于素数的有限多个群的直和,而后者是有限多个Z的复本的直和。

如果,  :  →  是在阿贝尔群之间的两个群同态,则它们的和 + ,定义为( + )() = () + (),也是阿贝尔同态。(如果是非阿贝尔群则这就不成立。)所有从到的群同态的集合Hom(, )因此是自身方式下的阿贝尔群。

某种程度上类似于向量空间的维度,所有阿贝尔群都有秩。它定义为群的线性无关元素的最大集合的势。整数集和有理数集和所有的有理数集的子群都有秩1。

整数模以的循环群Z/Z是最常见的群的例子。已证实了任意有限阿贝尔群都同构于素数阶的有限循环群的直和,并且这些阶数是唯一确定的,形成了一个不变量(invariant)的完备系统。有限阿贝尔群的自同构群可以依据这些不变量来直接描述。有关理论最初发展自费迪南德·格奥尔格·弗罗贝尼乌斯和Ludwig Stickelberger(英语:Ludwig Stickelberger)在1879年的论文,后来被简化和推广到在主理想整环上的有限生成模,形成了线性代数的一个重要组成部分。

有限阿贝尔群的基本定理声称所有有限阿贝尔群都可以表达为素幂(prime-power)阶的循环子群的直和。这是有限生成阿贝尔群的基本定理在有零秩时的特殊情况。

阶的循环群 Z m n {\displaystyle \mathbb {Z} _{mn}} 与是互素的。可推出任何有限阿贝尔群同构于如下形式的直和

以任何下列规范方式:

例如, Z / 15 Z Z 15 {\displaystyle \mathbb {Z} /15\mathbb {Z} \cong \mathbb {Z} _{15}} 的自同构。要这么做,可利用如果分解为互素阶的子群的直和 {\displaystyle \oplus } ,则Aut( {\displaystyle \oplus } ) {\displaystyle \cong } ) {\displaystyle \oplus } )的事实(这里就不证明了)。

基本定理证明了要计算的自同构群,分别计算西罗子群的自同构群就足够了(也就是所有的循环子群的直和,每个都有的幂的阶)。固定一个素数并假设西罗子群的循环因子的指数是按递增次序安排的:

对于某个 > 0。需要找到

的自同构。一个特殊情况是在 = 1的时候,此时在西罗-子群中只有唯一一个循环素数幂因子。在这个情况下可以使用有限循环群的自同构的理论。另一个特殊情况是在为任意的但 = 1对于1 ≤ ≤ 的时候。这里考虑为有着形式

所以这个子群的元素可以被看作构成了在元素的有限域 F p {\displaystyle \mathbb {F} _{p}} 维向量空间。这个子群的自同构因此给出为可逆线性变换,因此

它早先证明了有阶

在最一般情况下,这里的和是任意的,自同构群更难于确定。但是已经知道了如果定义

并且

则有着特别的 ≥ , ≤ ,并且

可以检查这会生成作为特殊情况的前面例子的阶(参见)。


相关

  • 西澳大利亚州西澳大利亚州(英语:Western Australia,缩写:WA),简称西澳,是澳大利亚联邦的一个州,位于澳大利亚西部,今划分为142个地方政府区域,幅员广达2,525,500平方公里,占全国总面积1/3,是面积最广
  • 朱拜勒朱拜勒(阿拉伯语:محافظة‎)是沙特阿拉伯的城镇,位于达曼以北约100公里,由东部省负责管辖,镇上建于4世纪的教堂是全世界现存最古老的教堂之一,2004年人口222,544。坐标:27°00
  • 东吴大学商学院东吴大学商学院,是东吴大学位于台湾台北市城中校区的学院之一,最早可追溯于东吴大学 (苏州)于1937年设立的东吴大学法学院会计系,而后1954年在台复校“东吴大学法学院”,设立经
  • 价格在经济学及营商的过程中,价格是一项以货币为表现形式,为商品、服务及资产所订立的价值数字。在微观经济学之中,资源在需求和供应者之间重新分配的过程中,价格是重要的变数之一。
  • 伊塔洛·德赞伊塔洛·德赞(意大利语:Italo De Zan,1925年7月1日-2020年3月9日)是一位意大利自行车手。他曾获得1948年环意大利自行车赛(英语:1948 Giro d'Italia)第十阶段比赛的冠军。2020年3月9
  • 梅特·加佐兹梅特·加佐兹(英语:Mete Gazoz,1999年6月8日-)土耳其男子反曲弓射箭运动员,代表土耳其参加2016年夏季奥林匹克运动会。梅特·加佐兹于1999年6月8日出生。他曾就读位于Bahçelievle
  • 林俊廷林俊廷(1876年-1933年)字莆田,广西防城扶隆乡人。旧桂系将领。林俊廷出身盐贩,曾充当土匪头目。1902年,接受清军陆荣廷招安。1911年,升任巡防队统领。1912年3月,任广西第二军统领,驻
  • 党毅飞党毅飞(1994年6月17日-),中国职业围棋棋手,山西太原人。2012年进入首届百灵杯世界围棋公开赛和第17届LG杯世界棋王战32强。同年连胜李世石、檀啸、朴永训和朴文垚,获得第四届BC信
  • 奥托·海因里希 (普法尔茨选侯)奥托·海因里希(德语:,1502年4月10日-1559年2月12日),普法尔茨选侯,1556年至1559年在位。1529年,奥托·海因里希与巴伐利亚公爵威廉四世的妹妹苏珊娜(英语:Susanna of Bavaria)结婚,两人
  • 非交换几何非交换几何(英语:Noncommutative geometry,简称NCG)为数学的分支领域,内容为非交换代数(英语:noncommutative algebra)的几何方法。“空间”的架构在局域上是由函数的非交换代数所代