소수 아이디얼의 적분 확장: 상승과 수축