Abelian group
整数環 上の加群はアーベル群である。有限生成アーベル群が直既約であることとそれが か素数 と正整数 について の形の商群と同型であることは同値である。すべての有限生成アーベル群は（有限個の）直既約アーベル群の直和である。