Abelian group
마찬가지로, 임의의 아벨 군 formula_10은 어떤 나눗셈군 formula_102의 부분군으로 나타낼 수 있다.