Abelian group
즉, 모든 아벨 군 및 데데킨트 군은 멱영군이며, 모든 멱영군은 가해군이다.