대수학의 교환론 이론 (이상론, 국소화, 차원)