아벨 군
가 존재한다. 이는 아벨 군 formula_115를 모든 곱이 0인 유사환 formula_116, formula_117으로 대응시킨다.