IV. 아이디얼과 몫환 · 9/16

몫환과 동형정리

R/I, 제1동형정리, F[x]/(p)로 체 만들기

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

개요 — 동기·문제의식

$\mathbb{Z}_n$ 은 "$\mathbb{Z}$ 를 $n$ 으로 나눈 나머지들의 환"이라고 직관적으로 알고 있었지만, 이를 엄밀하게 만드는 절차가 몫환 구성이다: 아이디얼 $I$ 로 환 $R$ 을 "나누면" 새로운 환 $R/I$ 가 생긴다. $\mathbb{Z}/(n)=\mathbb{Z}_n$ 이 가장 익숙한 예지만, 진짜 위력은 $F[x]/(p(x))$ 에서 드러난다 — 기약다항식으로 나누면 체가 만들어진다. 이것이 새로운 수 체계(복소수, 유한체)를 "이미 아는 재료로부터" 짓는 표준 기법이다: $\mathbb{C}$ 는 그냥 "$\mathbb{R}[x]/(x^2+1)$"이다. 이 구성의 이론적 정점이 제1동형정리로, 준동형·핵·몫환을 하나의 정리로 묶는다 — 군론의 평행 정리와 글자 그대로 같은 형태를 가진다.

직관

몫환을 만드는 것은 "$I$ 의 원소들을 모두 $0$ 으로 뭉개버리는" 작업이다. $a+I$ 라는 새로운 "원소"는 $a$ 를 대표로 하되 $I$ 만큼의 차이는 구별하지 않겠다는 뜻 — $\mathbb{Z}_n$ 에서 "법 $n$ 으로 같은 수는 같다고 보자"는 발상을 임의의 환·임의의 아이디얼로 일반화한 것이다. $F[x]/(p(x))$ 의 경우, $p(x)$ 의 모든 다항식배수를 $0$ 으로 뭉개면, 남는 정보는 $p$ 로 나눈 나머지뿐이다(나눗셈정리). 만약 $p$ 가 $x^2+1$ 이면, 몫환에서는 $x^2=-1$ 이 "참"이 된다 — 즉 $x$ 라는 새로운 원소가 자동으로 $i$ 처럼 행동하게 된다. 기약다항식으로 나누는 것이 왜 체를 만드는지는 직관적으로: 기약이면 "더 쪼갤 수 없으므로" 영인자가 생기지 않고, 유한 정역(또는 PID의 0 아닌 소 아이디얼)의 일반론에 의해 체가 된다.

정의

아이디얼 $I\subseteq R$ 에 대해, 잉여류(coset) $a+I=\{a+i:i\in I\}$ 들의 집합을 $R/I$ 라 쓰고, 연산을 $$(a+I)+(b+I)=(a+b)+I,\qquad (a+I)(b+I)=ab+I$$ 로 정의하면 $R/I$ 는 환이 된다 — 몫환(quotient ring).¹

Well-definedness가 핵심: $a+I=a'+I$ 이고 $b+I=b'+I$ (즉 $a-a',b-b'\in I$) 일 때 $(a+b)+I=(a'+b')+I$, $ab+I=a'b'+I$ 임을 확인해야 위 연산이 대표원 선택에 무관하게 의미를 갖는다. 곱셈 쪽이 바로 아이디얼의 흡수 성질을 필요로 하는 지점이다($ab-a'b'=a(b-b')+(a-a')b'\in I$).

대상	의미
$a+I$	$a$ 의 잉여류; $a+I=b+I\iff a-b\in I$
$0_{R/I}$	$0+I=I$
$1_{R/I}$ (단위원 있을 때)	$1+I$
$\pi:R\to R/I$	자연사상(canonical projection), $\pi(a)=a+I$; 전사 준동형, $\ker\pi=I$

주요 정리

정리 (몫환의 well-definedness). $I$ 가 아이디얼이면 위 연산은 잘 정의되고 $R/I$ 는 환이다.¹

증명 보기

증명 스케치. 덧셈의 well-definedness는 $I$ 가 덧셈 부분군이라는 사실만으로(군론의 잉여류 연산과 동일). 곱셈: $a=a'+i_1$, $b=b'+i_2$ ($i_1,i_2\in I$) 라 하면 $ab=a'b'+a'i_2+i_1b'+i_1i_2$; 흡수 성질로 $a'i_2,i_1b',i_1i_2\in I$ → $ab+I=a'b'+I$. 환 공리(결합·분배 등)는 $R$ 에서 성립하던 것이 대표원을 통해 그대로 상속된다. ∎

정리 (제1동형정리, First Isomorphism Theorem). 환 준동형 $f:R\to S$ 에 대해² $$R/\ker f \;\cong\; \operatorname{im}f.$$

증명 보기

증명. $K=\ker f$ 라 하자. $\bar f:R/K\to\operatorname{im}f$, $\bar f(a+K)=f(a)$ 로 정의.

잘 정의됨: $a+K=a'+K\Rightarrow a-a'\in K\Rightarrow f(a-a')=0\Rightarrow f(a)=f(a')$.
준동형: $\bar f((a+K)+(b+K))=\bar f((a+b)+K)=f(a+b)=f(a)+f(b)=\bar f(a+K)+\bar f(b+K)$, 곱셈도 동일.
단사: $\bar f(a+K)=0\Rightarrow f(a)=0\Rightarrow a\in K\Rightarrow a+K=0+K$ — 핵이 자명, 단사 판정으로 단사.
전사: 임의 $f(a)\in\operatorname{im}f$ 는 정의상 $\bar f(a+K)$.

따라서 $\bar f$ 는 동형. ∎ 이 정리는 "준동형 하나는 본질적으로 자연사상 $R\to R/\ker f$ 와 매장 $\operatorname{im}f\hookrightarrow S$ 의 합성"이라는 구조 정리로 읽을 수 있다.

정리 ($R/I$ 가 정역·체일 조건). $I$ 가 진아이디얼이면: $R/I$ 가 정역 $\iff I$ 가 소 아이디얼; $R/I$ 가 체 $\iff I$ 가 극대 아이디얼.³ → 소·극대 아이디얼에서 증명.

정리 (체의 구성, 기약다항식의 역할). $p(x)\in F[x]$ 가 기약 $\iff (p(x))$ 가 극대 아이디얼 $\iff F[x]/(p(x))$ 는 체.⁴

증명 보기

증명 스케치. $F[x]$ 는 PID(polynomial-rings)이므로, $(p)\subseteq J=(q)$ 이면 $q\mid p$; $p$ 기약이면 $q$ 는 단원 또는 $p$ 의 결합원뿐 → $(q)=F[x]$ 또는 $(q)=(p)$ — 극대성. 역은 대우로. 마지막 동치는 위 정리(소·극대)의 특수경우. ∎ 이렇게 만들어진 체는 자연스럽게 $F$ 를 포함하며($a\mapsto a+(p)$, 단사), $x+(p)$ 가 $p$ 의 근 역할을 한다 — $p(x+(p))=p(x)+(p)=0+(p)$(∵$p(x)\in(p)$) → 체확장의 출발점.

예제

예제 1 ($\mathbb{Z}_n$ 의 재구성). $\mathbb{Z}/(n)=\mathbb{Z}_n$. 자연사상 $\mathbb{Z}\to\mathbb{Z}_n$ ($a\mapsto[a]$)의 핵이 $(n)$ → 제1동형정리로 $\mathbb{Z}/(n)\cong\mathbb{Z}_n$.

예제 2 (복소수의 탄생). $\mathbb{R}[x]/(x^2+1)\cong\mathbb{C}$. $x^2+1$ 은 $\mathbb{R}$ 에서 기약(근이 없음, 2차) → 체. 평가사상 $\operatorname{ev}_i:\mathbb{R}[x]\to\mathbb{C}$, $f(x)\mapsto f(i)$ 는 전사이고 핵이 정확히 $(x^2+1)$(인수정리: $f(i)=0\iff(x-i)\mid f$ in $\mathbb{C}[x]$, 실계수 조건과 합쳐 $(x^2+1)\mid f$) → 제1동형정리로 $\mathbb{R}[x]/(x^2+1)\cong\mathbb{C}$. 몫환 안에서 $x$ 의 류가 $i$ 역할을 한다($x^2\equiv-1$).

예제 3 (유한체의 직접 구성). $\mathbb{Z}_2[x]/(x^2+x+1)$ 은 원소 4개($0,1,x,x+1$)인 체 $\mathbb{F}_4$. $x^2+x+1$ 이 $\mathbb{Z}_2$ 에서 기약(근 $0,1$ 평가 시 $1,1$, 둘 다 0 아님). 곱셈은 $x^2=x+1$ (∵$x^2+x+1=0$)로 환원: 예를 들어 $x\cdot(x+1)=x^2+x=(x+1)+x=1$ — $x$ 와 $x+1$ 이 서로 역원.

예제 4 (평가사상으로 만든 몫환). $\mathbb{Z}[x]/(x)\cong\mathbb{Z}$. 상수항 평가 사상 $\operatorname{ev}_0:f(x)\mapsto f(0)$ 의 핵이 $\{f: f(0)=0\}=(x)$(상수항이 0인 다항식 = $x$ 의 배수) → 제1동형정리.

예제 5 (가약 다항식으로 나누면 체가 아님). $\mathbb{R}[x]/(x^2-1)$. $x^2-1=(x-1)(x+1)$ 가약이므로 몫환은 체가 아니라 영인자를 가진다: $(x-1)+(x^2-1)$ 와 $(x+1)+(x^2-1)$ 의 곱이 $(x^2-1)+(x^2-1)=0$. 실제로 중국인의 나머지 정리(서로소인 $(x-1),(x+1)$)로 $\mathbb{R}[x]/(x^2-1)\cong\mathbb{R}\times\mathbb{R}$(두 평가사상 $f\mapsto(f(1),f(-1))$).

예제 6 (큰 유한체). $\mathbb{Z}_5[x]/(x^2+2)$: $x^2+2$ 가 $\mathbb{Z}_5$ 에서 기약인지 확인 — 근 후보 $0,1,2,3,4$ 를 평가하면 $2,3,6\equiv1,11\equiv1,18\equiv3$, 모두 0 아님 → 기약 → 체, 원소 $5^2=25$ 개($\mathbb{F}_{25}$). 일반적으로 $\mathbb{F}_p[x]/(\text{기약 } n\text{차})\cong\mathbb{F}_{p^n}$ — 모든 유한체는 이 방식으로 구성된다(splitting and finite fields).

흔한 오해와 함정

"몫환은 항상 더 작다/단순하다"는 착각 — $R/I$ 는 원소의 개수는 줄어들 수 있지만 구조적으로는 새로운(때로 더 흥미로운) 환이 된다. $\mathbb{R}[x]/(x^2+1)$ 은 $\mathbb{R}[x]$ 보다 단순해 보이지만 사실상 $\mathbb{C}$ — 전혀 다른 종류의 정보를 담은 환이다.
가약다항식으로 나누고도 체를 기대 — 예제 5처럼, $p$ 가 가약이면 $F[x]/(p)$ 는 영인자를 가진다(체는커녕 정역도 아님). 기약성이 필수 가정이다.
잘 정의됨(well-defined) 확인을 생략 — 몫환의 곱셈이 대표원에 무관함은 증명이 필요한 사실이며, 정확히 이 지점에서 "부분환"이 아니라 "아이디얼"이 필요한 이유가 드러난다(흡수 성질 없이는 곱셈이 깨진다).
제1동형정리를 "$R\cong\operatorname{im}f$"로 잘못 기억 — 정확히는 $R/\ker f\cong\operatorname{im}f$. $\ker f\ne\{0\}$ 이면 $R$ 자체와 $\operatorname{im}f$ 는 동형이 아니다(예: $\mathbb{Z}\to\mathbb{Z}_n$, $\mathbb{Z}\not\cong\mathbb{Z}_n$).
$F[x]/(p(x))$ 의 "차수"를 $\deg p$ 와 혼동 — 몫환의 원소들은 $\deg p$ 보다 작은 차수의 다항식들로 유일하게 대표되며($F$-벡터공간으로서 차원이 $\deg p$), 몫환 자체의 "차수"라는 개념은 없다.

큰 그림 / 연결

몫환 구성은 아이디얼을 "쓸모 있게" 만드는 단계다 — 아이디얼이 왜 중요한지는 결국 몫환을 만들 수 있다는 데서 정당화된다. 제1동형정리는 환 준동형 전체 이론을 요약하는 정점이며, 소·극대 아이디얼이 몫환의 대수적 성질(정역·체)을 정확히 통제한다는 사실이 이 페이지와 그 페이지를 잇는 핵심 다리다. $F[x]/(p(x))$ 로 체를 만드는 기법은 체확장 이론 전체의 구성적 토대이며, 이것이 결국 Galois 이론에서 다항식의 근의 구조를 체의 자기동형군으로 분석하는 길을 연다. 군론에서는 몫군과 군의 제1동형정리 $G/\ker f\cong\operatorname{im}f$ 가 글자 그대로 평행한 이야기 — 환과 군 양쪽에서 "구조를 보존하는 사상의 핵으로 나누면 상과 동형"이라는 동일한 원리가 작동한다.

연습문제

$\mathbb{R}[x]/(x^2-1)$ 은 체인가? 영인자가 있는가?
$\mathbb{Z}_3[x]/(x^2+1)$ 의 원소 수와 체 여부를 판정하라.
$\mathbb{Q}[x]/(x^2-2)\cong\mathbb{Q}(\sqrt2)$ 임을 보여라.
제1동형정리로 $\mathbb{Z}/(6)\cong\mathbb{Z}_2\times\mathbb{Z}_3$ 를 유도하라.
$R/I$ 의 곱셈이 잘 정의됨에 아이디얼 조건(흡수 성질)이 필요한 이유를 설명하라.
$\mathbb{Z}_2[x]/(x^2+x+1)$ 에서 $x$ 의 곱셈 역원을 구하라.
$R/\{0\}\cong R$, $R/R\cong\{0\}$ 임을 보여라(자명한 아이디얼의 극단적 경우).
$\mathbb{Z}[i]/(2-i)$ 가 체임을 보이고 그 원소 개수를 구하라(힌트: $N(2-i)=5$, 소수).

정답·힌트

$x^2-1=(x-1)(x+1)$ 가약 → 체 아님. $(x-1)+(x^2-1)$ 와 $(x+1)+(x^2-1)$ 가 영인자(곱이 $(x^2-1)+(x^2-1)=0$). ($\cong\mathbb{R}\times\mathbb{R}$, CRT.)
$x^2+1$ 이 $\mathbb{Z}_3$ 에서 기약(근 후보 $0,1,2$ 평가 $1,2,2$, 모두 0 아님) → 체, 원소 $3^2=9$ 개 ($\mathbb{F}_9$).
$x^2-2$ 기약(in $\mathbb{Q}$, 유리근 정리로 $\pm1,\pm2$ 모두 근 아님) → 체; 평가사상 $\operatorname{ev}_{\sqrt2}:\mathbb{Q}[x]\to\mathbb{Q}(\sqrt2)$, $f\mapsto f(\sqrt2)$ 전사(상이 $\mathbb{Q}(\sqrt2)=\{a+b\sqrt2\}$ 전체를 만듦), 핵이 $(x^2-2)$(인수정리) → 제1동형정리.
$f:\mathbb{Z}\to\mathbb{Z}_2\times\mathbb{Z}_3$, $a\mapsto([a]_2,[a]_3)$ 은 준동형, 전사(CRT, $\gcd(2,3)=1$), 핵 $=\{a: 2\mid a, 3\mid a\}=6\mathbb{Z}$(서로소이므로 $\operatorname{lcm}(2,3)=6$) → 제1동형정리로 $\mathbb{Z}/6\mathbb{Z}\cong\mathbb{Z}_2\times\mathbb{Z}_3$.
$a\equiv a', b\equiv b' \pmod I$ 일 때 $ab\equiv a'b'$ 이려면 $ab-a'b'=a(b-b')+(a-a')b'\in I$ 이어야 하는데, $b-b',a-a'\in I$ 이고 $a,b'\in R$ 이 임의이므로 이 식이 $I$ 안에 있으려면 $I$ 가 $R$ 의 임의 원소를 곱해도 흡수해야 한다 — 정확히 아이디얼의 조건.
$x(x+1)=x^2+x=(x+1)+x=1$(∵$x^2=x+1$ in 이 몫환) → $x^{-1}=x+1$.
$R/\{0\}$: 잉여류 $a+\{0\}=\{a\}$ 가 $a$ 와 일대일 대응, 연산도 그대로 → $R/\{0\}\cong R$ (자연사상이 항등사상에 가까움). $R/R$: 모든 $a$ 에 대해 $a+R=R$(유일한 잉여류) → 한 원소짜리 환 $\{0\}$.
$N(2-i)=2^2+1^2=5$ 소수이므로 $(2-i)$ 는 $\mathbb{Z}[i]$(가우스 정수, ED → PID, euclidean-pid-ufd)에서 극대 아이디얼(노름이 소수인 원소는 기약, 기약=극대생성). $\mathbb{Z}[i]/(2-i)$ 의 원소 개수는 $N(2-i)=5$ — 체 $\mathbb{F}_5$ 와 동형(실제로 $i\equiv2\pmod{2-i}$ 를 이용하면 직접 확인 가능).

개요 — 동기·문제의식

직관

정의

주요 정리

예제

흔한 오해와 함정

큰 그림 / 연결

연습문제

관련 개념