≅현대대수학
IV. 아이디얼과 몫환 · 10/16

소·극대 아이디얼

R/I가 정역/체가 되는 조건

읽음 0/0 갱신 2026-06-30

개요 — 동기·문제의식

몫환 $R/I$ 가 언제 정역이 되고 언제 체가 되는지는 아이디얼 $I$ 의 두 가지 특별한 성질이 결정한다. 소 아이디얼은 정수의 "소수" 개념을 임의의 환으로 일반화한 것으로 몫이 정역이 되게 하고, 극대 아이디얼은 "더 이상 키울 수 없는 진아이디얼"로 몫이 체가 되게 한다. 이 두 정리가 환·정역·체의 분류를 아이디얼의 언어로 완전히 재서술하며, $F[x]/(p(x))$ 가 체가 되는 조건(=$p$ 기약)이 정확히 "$(p)$ 가 극대"라는 사실로 통합된다.

직관

$\mathbb{Z}$ 에서 "소수 $p$ 로 나눠떨어진다"는 조건 $p\mid ab\Rightarrow p\mid a$ 또는 $p\mid b$ 를 아이디얼의 언어로 옮기면 $ab\in(p)\Rightarrow a\in(p)$ 또는 $b\in(p)$ — 이것이 소 아이디얼의 정의다. "소수"라는 단어 선택이 우연이 아닌 이유: $(p)$ 가 정확히 소 아이디얼인 것은 $p$ 가 소수일 때다(합성수 $(6)$ 은 $2\cdot3\in(6)$ 인데 $2,3\notin(6)$ — 흡수 실패). 극대 아이디얼은 "포함 관계로 더 위로 갈 곳이 없는 진아이디얼" — 마치 군론의 극대부분군과 같은 발상이다. 직관적으로 극대 아이디얼로 나누면 몫환에 "남는 구조"가 전혀 없어 체가 될 수밖에 없다 — 아이디얼이 하나만 더 늘어도 전체가 되어버리므로, 몫환에는 자명한 아이디얼($\{0\}$, 전체)밖에 남지 않고, 이는 정확히 체의 특징(체의 아이디얼은 자명한 것뿐)이다.

정의

가환환 $R$(단위원 $1\ne0$ 有)의 진아이디얼 $P\subsetneq R$:1

개념 정의
소 아이디얼(prime ideal) $ab\in P \Rightarrow a\in P$ 또는 $b\in P$ (임의 $a,b\in R$)
극대 아이디얼(maximal ideal) $P\subseteq J\subsetneq R$ 인 아이디얼 $J$ 는 $J=P$ 뿐 — 즉 $P$ 를 진짜로 포함하는 진아이디얼이 없음

동치 표현: $P$ 가 소 $\iff R\setminus P$ 가 곱셈에 대해 닫혀 있다(곱셈적으로 닫힌 여집합). $P$ 가 극대 $\iff$ $P$ 와 $R$ 사이에 아이디얼이 끼어들 여지가 없다(아이디얼의 포함관계 사슬에서 $R$ 바로 아래).

주요 정리

정리 (소 $\iff$ 몫이 정역). $P\subsetneq R$ 가 소 아이디얼 $\iff R/P$ 는 정역.2

증명 보기

증명. ($\Rightarrow$) $R/P$ 의 두 원소 $a+P,b+P$ 의 곱이 $0$, 즉 $ab+P=0+P$, 즉 $ab\in P$. 소 아이디얼 정의로 $a\in P$ 또는 $b\in P$, 즉 $a+P=0$ 또는 $b+P=0$ — 영인자 없음. ($\Leftarrow$) $ab\in P$ 라 하면 $(a+P)(b+P)=ab+P=0$; $R/P$ 가 정역이므로 $a+P=0$ 또는 $b+P=0$, 즉 $a\in P$ 또는 $b\in P$. ∎ (정의가 정확히 영인자 없음의 아이디얼 버전임을 주목.)

정리 (극대 $\iff$ 몫이 체). $M\subsetneq R$ 가 극대 아이디얼 $\iff R/M$ 는 체.2

증명 보기

증명. ($\Rightarrow$) 체의 아이디얼은 자명한 것뿐임을 이용. $R/M$ 의 아이디얼은 $M$ 을 포함하는 $R$ 의 아이디얼과 일대일 대응(대응 정리, correspondence theorem — $J\mapsto J/M$). $M$ 이 극대이므로 그런 아이디얼은 $M,R$ 뿐 → $R/M$ 의 아이디얼은 $\{0\}, R/M$ 뿐 → $R/M$ 은 체. ($\Leftarrow$) $R/M$ 이 체이면 그 아이디얼이 자명한 것뿐 → 대응 정리로 $M$ 을 포함하는 $R$ 의 아이디얼이 $M,R$ 뿐 → $M$ 극대. ∎

정리 (극대 ⇒ 소). 모든 극대 아이디얼은 소 아이디얼이다. (역은 거짓.)

증명 보기

증명. $M$ 극대 ⇒ $R/M$ 체 (위 정리) ⇒ $R/M$ 정역(체는 정역, 환과 체) ⇒ $M$ 소 (위 정리). ∎ 반례로 역이 거짓임을 확인: $\mathbb{Z}[x]$ 에서 $(x)$ 는 소($\mathbb{Z}[x]/(x)\cong\mathbb{Z}$ 정역)이지만 극대가 아니다($\mathbb{Z}$ 는 체가 아니므로) — $(x)\subsetneq(x,2)\subsetneq\mathbb{Z}[x]$ 처럼 더 큰 진아이디얼이 존재.

정리 ($\mathbb{Z}$ 에서 소·극대의 완전한 분류). $\mathbb{Z}$ 에서: $(n)$ 이 소 $\iff n$ 이 소수이거나 $n=0$; $(n)$ 이 극대 $\iff n$ 이 소수.3

증명 보기

증명. $(0)$ 은 소(∵$\mathbb{Z}$ 가 정역 — $\mathbb{Z}/(0)\cong\mathbb{Z}$ 정역). $(0)$ 은 극대가 아니다($\mathbb{Z}$ 는 체가 아니므로, 또는 직접 $(0)\subsetneq(2)\subsetneq\mathbb{Z}$). $n>1$ 합성수($n=ab$, $1<a,b<n$)면 $ab\in(n)$ 이나 $a,b\notin(n)$(각각 $n$ 보다 작은 양수라서) → 소 아님. $n=p$ 소수면 $\mathbb{Z}/(p)=\mathbb{Z}_p$ 가 체(ℤₙ의 구조) → $(p)$ 극대(따라서 소). ∎ 요약: $\mathbb{Z}$ 에서는 $(0)$ 만 "소지만 극대 아닌" 유일한 예외 — $0$ 아닌 소 아이디얼은 모두 극대다(이는 PID의 일반적 성질, euclidean pid ufd).

정리 (PID에서 0 아닌 소 아이디얼은 극대). $R$ 이 PID이면, $0$ 이 아닌 모든 소 아이디얼은 극대다.4

증명 보기

증명 스케치. $(p)\ne(0)$ 소 아이디얼, $(p)\subseteq(a)\subsetneq R$ 라 하자. $p\in(a)$ 이므로 $p=ab$. $(p)$ 소 → $a$ 또는 $b\in(p)$. $b\in(p)$ 라면 $b=pc$, $p=ab=apc$, $p(1-ac)=0$, 정역이고 $p\ne0$ 이므로 $ac=1$ → $a$ 단원 → $(a)=R$, 가정($\subsetneq R$)에 모순. 따라서 $a\in(p)$, 즉 $(a)\subseteq(p)$, $(p)\subseteq(a)$ 와 합쳐 $(a)=(p)$. ∎ 이는 $\mathbb{Z}$ 와 $F[x]$ 양쪽에서 "소 = 극대(0 제외)"라는 동일 현상을 설명한다.

예제

예제 1 ($\mathbb{Z}$ 의 분류). $(5)$: 소이자 극대(∵$\mathbb{Z}/(5)=\mathbb{Z}_5$ 체). $(6)$: 소도 극대도 아님(∵$\mathbb{Z}_6$ 정역 아님 — $2\cdot3\in(6)$ 이나 $2,3\notin(6)$). $(0)$: 소이지만 극대 아님(∵$\mathbb{Z}$ 정역이지만 체 아님).

예제 2 ($\mathbb{Z}[x]$, 소이지만 극대 아닌 경우와 극대인 경우). $(x)$: 소($\mathbb{Z}[x]/(x)\cong\mathbb{Z}$ 정역)지만 극대 아님($\mathbb{Z}$ 가 체가 아니므로). $(x,2)$: 극대 — $\mathbb{Z}[x]/(x,2)\cong\mathbb{Z}_2$(먼저 $x$ 로 나눠 $\mathbb{Z}$, 다시 $2$ 로 나눠 $\mathbb{Z}_2$; 직관적으로 "정수 계수 다항식을 $x=0$ 대입 후 법 2로" 보는 것), $\mathbb{Z}_2$ 는 체.

예제 3 ($F[x]$ 의 극대 ↔ 기약, $F$ 가 체일 때). $\mathbb{Q}[x]$ 에서 $(x^2+1)$: 극대(∵$x^2+1$ 이 $\mathbb{Q}$ 에서 기약 → $\mathbb{Q}[x]/(x^2+1)\cong\mathbb{Q}(i)$ 체). 대조적으로 $\mathbb{Z}[x]$ 에서 $(x^2+1)$ 은 극대가 아니다 — $\mathbb{Z}[x]/(x^2+1)\cong\mathbb{Z}[i]$(가우스 정수)인데 이는 정역이지만 체가 아니다($2$ 가 $\mathbb{Z}[i]$ 에서 비가역, $N(2)=4\ne1$). 실제로 $(x^2+1,2)\supsetneq(x^2+1)$ 이 더 큰 진아이디얼 — $\mathbb{Z}[x]/(x^2+1,2)\cong\mathbb{F}_2[x]/(x^2+1)=\mathbb{F}_2[x]/((x+1)^2)$, 이마저도 $(x+1)^2$ 가약이라 체가 아니지만, $(x^2+1,2,x+1)=(2,x+1)$ 로 더 키우면 $\mathbb{Z}[x]/(2,x+1)\cong\mathbb{Z}_2$ 가 체 — 이것이 실제 극대 아이디얼이다. 교훈: "$F$ 가 체"라는 가정이 빠지면 "기약 ⇒ 극대" 정리가 깨진다(polynomial-irreducibility).

예제 4 (극대 아이디얼의 사슬 비교). $\mathbb{Z}[x]$ 에서 $(2)$: 소($\mathbb{Z}[x]/(2)\cong\mathbb{Z}_2[x]$, 정역 — 체 $\mathbb{Z}_2$ 위 다항식환은 정역)이지만 극대 아님($\mathbb{Z}_2[x]$ 는 체가 아니므로, $(x)$ 로 더 키울 수 있음: $(2)\subsetneq(2,x)\subsetneq\mathbb{Z}[x]$). 반면 $(2,x)$ 는 극대($\mathbb{Z}[x]/(2,x)\cong\mathbb{Z}_2$ 체).

예제 5 ($\mathbb{Z}_6$ 의 소 아이디얼, 직접 점검). $\mathbb{Z}_6\cong\mathbb{Z}_2\times\mathbb{Z}_3$(CRT). 아이디얼은 $\{0\},\{0,2,4\},\{0,3\},\mathbb{Z}_6$ 네 개뿐(부분군이 아이디얼과 같음, $\mathbb{Z}_6$ 가 순환환이므로). $\{0,3\}=(3)$: $\mathbb{Z}_6/(3)$ 의 원소는 $\{0,3\}+\{0,3\}$ 류 3개 — 직접 계산하면 $\mathbb{Z}_6/(3)\cong\mathbb{Z}_3$(체) → $(3)$ 은 극대(따라서 소). $\{0,2,4\}=(2)$: $\mathbb{Z}_6/(2)$ 의 원소 2개, $\cong\mathbb{Z}_2$(체) → $(2)$ 도 극대(따라서 소). $\mathbb{Z}_6$ 의 소 아이디얼은 $(2),(3)$ 둘뿐 — 둘 다 극대이기도 하다(유한환에서는 소=극대인 경우가 흔하다, 연습문제 8 참고).

흔한 오해와 함정

큰 그림 / 연결

소·극대 아이디얼은 아이디얼 이론과 몫환 이론을 잇는 핵심 다리다 — "어떤 아이디얼로 나눠야 정역/체를 얻는가"라는 구성적 질문에 정확한 답을 준다. $F[x]/(p(x))$ 가 체가 되는 조건이 "$p$ 기약 $\iff (p)$ 극대"로 정리되며, 이는 기약다항식 이론 전체를 아이디얼의 언어로 재서술한다. PID에서 "$0$ 아닌 소 = 극대"라는 사실은 ED⊂PID⊂UFD 위계에서 소원과 기약원이 일치하는 현상의 아이디얼 버전이다. 정수론(numbertheory 위키)에서는 대수적 정수론의 "소 아이디얼로의 분해"가 유일인수분해가 깨지는 환에서 그 빈자리를 메우는 핵심 도구다(예: $\mathbb{Z}[\sqrt{-5}]$ 에서 원소로는 유일분해가 안 되지만 아이디얼로는 항상 유일분해가 성립 — Dedekind 정역 이론, 이 위키 범위 밖). 군론에서는 극대부분군이 유사한 "포함관계로 더 못 키우는" 발상을 공유하지만, 몫군이 항상 어떤 표준적 성질(체에 대응하는)을 갖는 것은 아니라는 점에서 환의 극대 아이디얼만큼 깔끔한 평행은 아니다.

연습문제

  1. $\mathbb{Z}$ 의 극대 아이디얼을 모두 기술하라.
  2. $(0)$ 이 소 아이디얼일 필요충분조건은 $R$ 이 정역임을 보여라.
  3. $\mathbb{Q}[x]$ 에서 $(x^2+1)$ 은 극대인가? (몫이 무엇인지 확인하라.)
  4. 극대 아이디얼은 소 아이디얼임을 (몫 정리로) 보여라.
  5. $\mathbb{Z}_6$ 의 소 아이디얼을 모두 찾고, 각각 극대인지 판정하라.
  6. $\mathbb{Z}[x]$ 에서 $(x)$ 가 소지만 극대가 아님을 보여라.
  7. $R$ 이 PID일 때 $0$ 이 아닌 소 아이디얼이 극대임을 증명하라.
  8. 유한 가환환(단위원 有, 영인자 없음을 가정하지 않음)에서 모든 소 아이디얼이 극대임을 보여라. (힌트: 유한 정역은 체.)
정답·힌트
  1. $(p)$, $p$ 소수. ($\mathbb{Z}/(p)=\mathbb{Z}_p$ 체이고, 역으로 합성수·$0$ 에 대해서는 극대 아님이 위 정리로 확인됨.)
  2. $(0)$ 소 $\iff$ ($ab\in(0)\Rightarrow a\in(0)$ 또는 $b\in(0)$) $\iff$ ($ab=0\Rightarrow a=0$ 또는 $b=0$) — 정확히 영인자 없음, 즉 정역의 정의.
  3. 극대. $x^2+1$ 이 $\mathbb{Q}$ 에서 기약(유리근 없음, 2차 — 저차판정) → $\mathbb{Q}[x]/(x^2+1)\cong\mathbb{Q}(i)$, 체이므로 극대.
  4. $M$ 극대 → $R/M$ 체(정리) → 체는 정역(rings-and-fields) → $M$ 소(정리).
  5. $\mathbb{Z}_6$ 의 (비자명) 아이디얼은 $(2)=\{0,2,4\}$, $(3)=\{0,3\}$. $\mathbb{Z}_6/(2)\cong\mathbb{Z}_2$(체) → $(2)$ 극대(따라서 소). $\mathbb{Z}_6/(3)\cong\mathbb{Z}_3$(체) → $(3)$ 극대(따라서 소). 둘 다 소이자 극대 — $\{0\}$ 은 소가 아님($\mathbb{Z}_6$ 정역 아니므로, $2\cdot3=0$).
  6. $\mathbb{Z}[x]/(x)\cong\mathbb{Z}$(평가사상 핵), $\mathbb{Z}$ 는 정역이므로 $(x)$ 소. $\mathbb{Z}$ 는 체가 아니므로($2$ 비가역) $(x)$ 는 극대가 아니다 — 실제로 $(x)\subsetneq(x,2)\subsetneq\mathbb{Z}[x]$.
  7. (본문 증명 참고) $(p)\subseteq(a)\subsetneq R$ 가정, $p=ab$, $(p)$ 소이므로 $a\in(p)$ 또는 $b\in(p)$; $b\in(p)$ 이면 정역의 소거법칙으로 $a$ 가 단원이 되어 $(a)=R$ 모순 → $a\in(p)$ → $(a)=(p)$.
  8. $P$ 소 아이디얼이면 $R/P$ 는 (유한환의 몫이므로) 유한 정역 → 유한 정역은 체(환과 체) → $R/P$ 체 → $P$ 극대.

관련 개념

  1. 원전 소개 — Hungerford §6.3 [synthesis] — 소·극대 아이디얼 정의. ↩

  2. 원전 소개 — Hungerford §6.3 [synthesis] — $P$ 소 $\iff R/P$ 정역; $M$ 극대 $\iff R/M$ 체; 대응 정리(correspondence theorem)를 이용한 증명. ↩↩

  3. 원전 소개 — Hungerford §6.3 [synthesis] — $\mathbb{Z}$ 에서 소·극대 아이디얼의 완전한 분류. ↩

  4. 원전 소개 — Hungerford §10.2 [synthesis] — PID에서 0 아닌 소 아이디얼은 극대; ED⊂PID⊂UFD 위계와 연결. ↩