과잉 분할의 대수학적 구조

과잉 분할은 분할 곱셈 아래에서 아벨 그룹을 형성하며, 양의 유리수와 동형이다.