정의
가환환(可換環)은 대수학에서 곱셈이 교환법칙을 만족하는 환(Ring)을 의미한다. 즉, 집합 $R$와 두 연산 $+$ (덧셈)·$·$ (곱셈)이 다음 조건을 만족할 때 $ (R,+,·) $를 가환환이라 한다.
- $(R,+)$는 아벨 군이다.
- $(R,·)$는 결합법칙을 만족한다.
- 곱은 덧셈에 대해 양쪽 모두에 대해 분배법칙을 만족한다.
- 모든 $a,b \in R$에 대하여 $a·b = b·a$ (교환법칙).
위 1‑3은 일반적인 환의 정의와 동일하고, 4번이 추가된 것이 가환환을 일반 환과 구분짓는 핵심적인 성질이다.
개요
가환환은 대수학, 정수론, 대수기하학 등 다양한 분야에서 기본적인 구조로 활용된다. 가장 대표적인 예는 정수환 $\mathbb{Z}$와 다항식환 $k[x]$ (여기서 $k$는 체)이며, 이러한 구조 위에 정의되는 이론들은 가환대수(Commutative Algebra) 라는 학문의 중심을 이룬다.
가환환 위에서는 이데알(Ideal), 프라임 이데알(Prime Ideal), 맥스 이데알(Maximal Ideal) 등과 같은 개념이 자연스럽게 정의되고, 이들을 이용해 스펙트럼(Spec)이라는 위상공간을 구성함으로써 대수기하학적 해석이 가능하다. 또한 가환환은 노턴(Nötherian), 정규화(Normal), 유일인수분해 도메인(UFD) 등 다양한 추가적인 성질을 만족할 수 있으며, 이러한 성질들은 구조 이론과 계산적 방법론을 구분짓는 중요한 기준이 된다.
어원·유래
‘가환(可換)’은 한자어 가(可) ‘가능하다’와 환(換) ‘바꾸다’를 결합한 말로, ‘바꾸어도 같은 결과가 나온다’, 즉 교환한다는 의미를 갖는다. ‘환(環)’은 고대 한자어로 고리·순환을 뜻하는 문자이며, 수학에서는 Ring을 뜻한다. 따라서 ‘가환환’은 ‘교환이 가능한 고리(=환)’라는 뜻으로, 영어 ‘commutative ring’을 직역·음역한 용어이다.
특징
| 구분 | 내용 |
|---|---|
| 교환법칙 | 모든 원소 $a,b$에 대해 $ab = ba$. |
| 대표적 예 | $\mathbb{Z}$ (정수환), $k[x]$ (다항식환), $\mathbb{Z}[i]$ (가우시안 정수), $\mathbb{F}_p[x]/(f(x))$ (유한체 위의 다항식환) 등. |
| 이데알 구조 | 가환환에서는 주이데알(Principal Ideal), 프라임 이데알, 맥스 이데알 등 이데알 이론이 풍부하게 전개된다. |
| 스펙트럼 | $\operatorname{Spec} R$는 가환환 $R$의 프라임 이데알들의 집합에 제프레디 대상 위상을 부여한 것으로, 대수기하학에서 기본적인 공간을 형성한다. |
| 추가적 성질 | 노턴성(Nötherian): 모든 이데알이 유한 생성. 유일인수분해 도메인(UFD): 원소가 유일하게 인수분해. 정규화(Normal), 정칙(Integrally closed) 등 다양한 조건이 정의된다. |
| 대수학적 응용 | 가환대수, 대수기하학, 정수론(예: 대수적 정수), 대수적 토포로지 등에서 핵심적인 모델로 사용된다. |
관련 항목
- 환 (Ring) – 곱셈이 교환법칙을 만족하지 않을 수도 있는 일반적인 구조.
- 비가환환 (Non‑commutative Ring) – 가환법칙을 만족하지 않는 환.
- 가환대수 (Commutative Algebra) – 가환환을 대상으로 한 대수학 분야.
- 스펙트럼 (Spec R) – 가환환 $R$의 프라임 이데알들의 위상공간.
- 다항식환 (Polynomial Ring) – $k[x_1,\dots,x_n]$ 형태의 가환환.
- 정수환 $\mathbb{Z}$ – 가장 기본적인 가환환 중 하나.
- 필드 (Field) – 모든 비영 원소가 역원을 가지는 가환환.
- 모듈 (Module) – 가환환 위에서 정의되는 일반화된 벡터공간.
※ 본 문서는 객관적인 정보를 토대로 작성되었으며, 내용 중 일부는 학술적 맥락에 따라 다르게 해석될 수 있다.