Abelian group
有限生成アーベル群のすべての部分群と商群は再び有限生成アーベル群である。群準同型とともに有限生成アーベル群は、アーベル群の圏のセール部分圏であるアーベル圏をなす。