가환대수학

추상대수학의 한 분야인 가환대수학(可換代數學, )은 가환환과 그 아이디얼 및 가환환상의 가군을 연구한다. 대수기하학과 대수적 수론은 둘 다 가환대수학을 기초로 한다. 가환환의 주요한 예로는 다항식환, 대수적 정수의 환(여기에는 정수의 환 Z가 포함된다) 및 p진 정수의 환이 있다. 또한, 가환대수학은 스킴의 국소적 연구에 있어 주요한 도구가 된다.

가환대수학에 반대되는 개념은 가환하지 못할 수 있는 환들을 연구하는 분야인 비가환대수학이다. 여기에는 환론, 표현론 및 바나흐 대수론이 포함된다.

전개 
가환대수학에서는 대수적 수론과 대수기하학에서 등장하는 환들을 공통적으로 다룬다. 대수적 수론에서 등장하는 환들은 대수적 수체의 대수적 정수환이며, (유리) 정수환  · 가우스 정수 환  · 아이젠슈타인 정수 환  등이 있다. 대수기하학에서 등장하는 환들은 대수다양체 위의 정칙함수들의 환이며, 이들은 의 꼴이다 (는 체, 는 아이디얼).

이 두 종류의 환의 경우, 소 아이디얼이라는 개념이 공통적으로 존재한다. 수론적 관점에서, 소 아이디얼은 소수를 일반화한 개념이며, 기하학적 관점에서 소 아이디얼은 (기약) 부분 대수다양체를 일반화한 개념이다.

소 아이디얼을 기하학적으로 부분다양체로 해석할 경우, 이 부분다양체 근처에서의 정보만을 추출하는 연산을 생각할 수 있다. 이 연산을 소 아이디얼에서의 국소화라고 하며, 분수체의 정의를 일반화한 연산이다. 예를 들어, 아핀 공간 을 원점 (극대 아이디얼 )에서 국소화하면 원점 근처에서의 유리 함수체

을 얻는다. 국소화하여 얻은 환을 다루기 위해서는, 보통 "형식적" 원소를 추가하는 것이 편하다. 이는 완비화라는 연산에 해당한다. 예를 들어, 원점에서의 다항식환 을 완비화하면 형식적 거듭제곱 급수 환

을 얻는다. 국소화와 완비화는 수론에서도 하세 원리()른 통해 널리 쓰인다. 예를 들어, 정수환 를 소수 로 생성되는 주 아이디얼에서 국소화한 뒤 완비화하면, p진 정수 를 얻는다.

가환대수학에서 쓰이는 또다른 주요 원리로는 가환환 위의 가군에 대해 중점을 두는 것이다. 고전적 환론에서 환에서만 정의되었던 많은 개념들은 환 위의 가군에 대하여 일반화할 수 있다. 모든 환은 스스로에 대한 가군으로 볼 수 있으며, 보통 어떤 성질 를 만족시키는 환은 스스로에 대한 가군으로서 를 만족시키는 환으로 여길 수 있다.

참고 문헌

외부 링크