Abelian group
임의의 아벨 군 formula_10는 자유 아벨 군 formula_93의 몫군 formula_94으로 나타낼 수 있다.