阿贝尔群

title: 定义.
content: 阿贝尔群的群运算符合交换律,因此阿贝尔群也被称为交换群。它由自身的集合"G"和二元运算* 构成。它除了满足一般的群公理,即运算的结合律、"G"有单位元、所有"G"的元素都有逆元之外,还满足交换律公理  因为阿贝尔群的群运算满足交换律和结合律,群元素乘积的值与乘法运算时的次序无关。  而群运算不满足交换律的群被称为“非阿贝尔群”,或“非交换群”。
title: 符号.
content: 阿贝尔群有两种主要运算符号—加法和乘法。  一般地说,乘法符号是群的常用符号,而加法符号是模的常用符号。当同时考虑阿贝尔群和非阿贝尔群时,加法符号还可以用来强调阿贝尔群是特定群。
title: 乘法表.
content: 验证有限群是阿贝尔群,可以构造类似乘法表的一种表格(矩阵),它称为凯莱表。如果群"G" = {"g" = "e", "g",..., "g"}在运算⋅下,则这个表的第("i", "j")个表项包含乘积"g" ⋅ "g"。群是阿贝尔群当且仅当这个表是关于主对角线是对称的(就是说这个矩阵是对称矩阵)。  这是成立的因为如果它是于阿贝尔群,则"g" ⋅ "g" = "g" ⋅ "g"。这蕴含了第("i", "j")个表项等于第("j", "i")个表项,就是说这个表示关于主对角线对称的。
title: 例子.
content: 矩阵即使是可逆矩阵,一般不形成在乘法下的阿贝尔群,因为矩阵乘法一般是不可交换的。但是某些矩阵的群是在矩阵乘法下的阿贝尔群 - 一个例子是2x2 旋转矩阵的群。
title: 历史注记.
content: 阿贝尔群是Camille Jordan以挪威数学家尼尔斯·阿贝尔命名的,他首先察觉到了阿贝尔首先发表的这种群与根式可解性的联系的重要性。
title: 性质.
content: 如果"n"是自然数而"x"是使用加号的阿贝尔群"G"的一个元素,则"nx"可以定义为"x" + "x" +... + "x"("n"个数相加)并且(−"n")"x" = −("nx")。以这种方式,"G"变成在整数的环Z上的模。事实上,在Z上的模都可以被识别为阿贝尔群。  关于阿贝尔群(比如在主理想整环Z上的模)的定理经常可以推广到在任意主理想整环上的模。典型的例子是有限生成阿贝尔群的分类是在主理想整环上的有限生成模的结构定理的特殊情况。在有限生成阿贝尔群的情况下,这个定理保证阿贝尔群可以分解为挠群和自由阿贝尔群的直和。前者可以被写为形如Z/"p"Z对于素数"p"的有限多个群的直和,而后者是有限多个Z的复本的直和。  如果"f", "g" : "G" → "H"是在阿贝尔群之间的两个群同态,则它们的和"f" + "g",定义为("f" + "g")("x") = "f"("x") + "g"("x"),也是阿贝尔同态。(如果"H"是非阿贝尔群则这就不成立。)所有从"G"到"H"的群同态的集合Hom("G", "H")因此是自身方式下的阿贝尔群。  某种程度上类似于向量空间的维度,所有阿贝尔群都有秩。它定义为群的线性无关元素的最大集合的势。整数集和有理数集和所有的有理数集的子群都有秩1。
title: 有限阿贝尔群.
content: 整数模以"n"的循环群Z/"n"Z是最常见的群的例子。已证实了任意有限阿贝尔群都同构于素数阶的有限循环群的直和,并且这些阶数是唯一确定的,形成了一个不变量(invariant)的完备系统。有限阿贝尔群的自同构群可以依据这些不变量来直接描述。有关理论最初发展自费迪南德·格奥尔格·弗罗贝尼乌斯和Ludwig Stickelberger在1879年的论文,后来被简化和推广到在主理想整环上的有限生成模,形成了线性代数的一个重要组成部分。
title: 分类.
content: 有限阿贝尔群的基本定理声称所有有限阿贝尔群"G"都可以表达为素幂(prime-power)阶的循环子群的直和。这是有限生成阿贝尔群的基本定理在"G"有零秩时的特殊情况。  "mn"阶的循环群formula_2同构于formula_3与formula_4的直和,当且仅当"m"与"n"是互素的。可推出任何有限阿贝尔群"G"同构于如下形式的直和  以任何下列规范方式:  例如,formula_6可以被表达为3阶和5阶的两个循环群的直和:formula_7。对于任何15阶的阿贝尔群这也成立,导致了所有15阶阿贝尔群都是同构的的显著结论。  另一个例子,所有8阶段阿贝尔群都同构于要么formula_8(整数0到7在模8加法下),formula_9(奇数1到15在模16乘法下),要么formula_10。  小于等于16阶的有限阿贝尔群可参见小群列表。
title: 自同构.
content: 可以应用基本定理去计数(有时确定)给定有限阿贝尔群"G"的自同构。要这么做,可利用如果"G"分解为互素阶的子群的直和"H" formula_11 "K",则Aut("H" formula_11 "K") formula_13 Aut("H") formula_11 Aut("K")的事实(这里就不证明了)。  基本定理证明了要计算"G"的自同构群,分别计算西罗"p"子群的自同构群就足够了(也就是所有的循环子群的直和,每个都有"p"的幂的阶)。固定一个素数"p"并假设西罗"p"子群的循环因子的指数"e"是按递增次序安排的:  对于某个"n" > 0。需要找到  的自同构。一个特殊情况是在"n" = 1的时候,此时在西罗"p"-子群"P"中只有唯一一个循环素数幂因子。在这个情况下可以使用有限循环群的自同构的理论。另一个特殊情况是在"n"为任意的但"e" = 1对于1 ≤ "i" ≤ "n"的时候。这里考虑"P"为有着形式  所以这个子群的元素可以被看作构成了在"p"元素的有限域formula_18上的"n"维向量空间。这个子群的自同构因此给出为可逆线性变换,因此  它早先证明了有阶  在最一般情况下,这里的"e"和"n"是任意的,自同构群更难于确定。但是已经知道了如果定义  并且  则有着特别的"d" ≥ "k", "c" ≤ "k",并且  可以检查这会生成作为特殊情况的前面例子的阶(参见[Hillar,Rhea])。

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

Abelian group: In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.