정의
극대 아이디얼(maximal ideal)은 환 $R$의 아이디얼 $M$으로서,
$M
eq R$이며 $M$을 포함하는 다른 proper 아이디얼이 존재하지 않을 때를 말한다.
즉, $M \subseteq I \subseteq R$인 아이디얼 $I$에 대하여 $I = M$ 또는 $I = R$가 성립한다.
주요 성질
- 체와의 관계: 환 $R$의 극대 아이디얼 $M$에 대해 몫환 $R/M$은 항상 체가 된다.
- 존재: 모든 단위가 없는(즉, 1이 아닌) 환은 최소 하나 이상의 극대 아이디얼을 가진다(자명하지 않은 경우).
- 존재와 Zorn의 보조정리: 임의의 proper 아이디얼이 존재하는 경우, Zorn의 보조정리를 이용해 극대 아이디얼이 존재함을 보일 수 있다.
- 교환 환: 교환 환(commutative ring)에서는 모든 영 아이디얼이 극대 아이디얼이면 그 환은 체가 된다.
- 국소화: 환 $R$와 그 극대 아이디얼 $M$에 대하여 국소화 $R_M$은 국소 환(local ring)이며, 그 유일한 최대 아이디얼은 $M R_M$이다.
예시
- $\mathbb{Z}$에서 $(p)$ (소수 $p$로 생성된 아이디얼)은 극대 아이디얼이며, $\mathbb{Z}/(p) \cong \mathbb{F}_p$는 소체이다.
- 다항식 환 $k[x]$ (필드 $k$ 위)에서 $(x-a)$ ($a \in k$)는 극대 아이디얼이며, ${k[x]}/{(x-a)} \cong k$가 된다.
- 행렬 환 $M_n(k)$ (필드 $k$ 위)에서는 단순히 ${0}$만이 proper 아이디얼이며, 이 경우 ${0}$은 극대 아이디얼이 아니다; 실제로 $M_n(k)$는 단순 환이므로 극대 아이디얼이 존재하지 않는다.
관련 용어
- 소 아이디얼(prime ideal): 아이디얼 $P$가 소 아이디얼이면, $ab \in P$이면 $a \in P$ 혹은 $b \in P$가 된다.
- 체(field): 모든 비영 원소가 역원을 갖는 환. 극대 아이디얼의 몫환이 체라는 성질과 직접 연결된다.
- 국소 환(local ring): 유일한 최대 아이디얼을 가진 환. 극대 아이디얼을 국소화함으로써 얻어진다.
어원 및 사용 맥락
- “극대”(極大, geukdae)는 “가장 큰”이라는 뜻을 가진 한국어 형용사이며, 수학 용어에서 “maximal”을 번역할 때 사용된다.
- “아이디얼”(ideal)은 영문 “ideal”을 한글 표기법에 따라 음차한 것으로, 대수학에서 아이디얼 개념을 가리킨다.
- 따라서 “극대 아이디얼”은 대수학·환론 분야에서 “maximal ideal”을 한국어로 표현한 용어이며, 교과서, 학술 논문, 대학 강의 자료 등에서 널리 사용된다.
참고 문헌
- D. S. Dummit, R. M. Foote, Abstract Algebra, 3rd ed., Wiley, 2004.
- M. F. Atiyah, I. G. Macdonald, Introduction to Commutative Algebra, Addison‑Wesley, 1969.
(본 정보는 공신력 있는 수학 교과서와 학술 서적에 기반한 객관적 기술이며, 확인되지 않은 추측이 포함되지 않는다.)
