有限アーベル群
有限アーベル群はガロワ理論において特別な役割を持つ。アーベル–ルフィニの定理の帰結として、可換なガロワ群を持つ多項式は冪根によって解ける(逆はやや複雑で、ガロワ群が可解群となるのにアーベルであることは必要でない)。そのような多項式の分解体はアーベル拡大、つまり拡大のガロワ群がアーベルである。この結果は、アーベル拡大とそのガロワ群に注目するものである。これは19世紀の数学者たちがクロネッカー–ヴェーバーの定理の証明に熱心であった理由である。
ガロワやクロネッカーとヴェーバーの発見よりもずっと以前に、ガウスは特定の場合「正17角形の定木とコンパスを用いた作図を求めるための、指数17の円分方程式」を扱ったが、この多項式のガロワ群がアーベルであることはこの方法の本質的な要素であった。
任意の巡回群はアーベル群である。
有限アーベル群の任意の部分群はまた有限アーベル群である。
有限アーベル群の任意の剰余群はまた有限アーベル群である。
有限アーベル群からなる任意の有限族の直積群はまた有限アーベル群である。
整数 > 1 からなる数列 (a1, a2, ..., ak) が一意に存在して群同型 G ≅ (Z/a1Z) × (Z/a2Z) × ⋯ × (Z/akZ) かつ ai+1 | ai (1 ≤ ∀i < k) を満たす。
この列を G の不変系といい、その各元を単因子(不変因子)という。