整数模以n的循环群
Z
/
n
Z
是最常见的群的例子。已证实了任意有限阿贝尔群都同构于素数阶的有限循环群的直和,并且这些阶数是唯一确定的,形成了一个不变量(invariant)的完备系统。有限阿贝尔群的自同构群可以依据这些不变量来直接描述。有关理论最初发展自费迪南德·格奥尔格·弗罗贝尼乌斯和Ludwig Stickelberger在1879年的论文,后来被简化和推广到在
主理想整环
上的有限生成模,形成了
线性代数
的一个重要组成部分。
分类
有限阿贝尔群的基本定理
声称所有有限阿贝尔群
G
都可以表达为素幂(prime-power)阶的循环子群的直和。这是有限生成阿贝尔群的基本定理在
G
有零秩时的特殊情况。
mn
阶的循环群
的直和,当且仅当
m
与
n
是
互素
的。可推出任何有限阿贝尔群
G
同构于如下形式的直和
以任何下列规范方式:
-
数
k
1
,...,
k
u
是素数的幂
-
k
1
整除
k
2
,它又整除
k
3
,如此直到
k
u
。
例如,
可以被表达为3阶和5阶的两个循环群的直和:
。对于任何15阶的阿贝尔群这也成立,导致了所有15阶阿贝尔群都是
同构
的的显著结论。
另一个例子,所有8阶段阿贝尔群都同构于要么
(整数0到7在模8加法下),
(奇数1到15在模16乘法下),要么
。
小于等于16阶的有限阿贝尔群可参见小群列表。
Griffith, Phillip A. Infinite Abelian group theory. Chicago Lectures in Mathematics. University of Chicago Press. 1970.
Hillar, Christopher and Rhea, Darren (2007), Automorphisms of finite abelian groups. Amer. Math. Monthly 114, no. 10, 917-923
Szmielew, Wanda (1955) "Elementary properties of abelian groups," Fundamenta Mathematica 41: 203-71.