アーベル群がsubdirectly irreducibleであることと有限巡回群あるいはプリューファー群に同型であることは同値である。