정의
유일 인수 분해 정역(Unique Factorization Domain, UFD)은 다음 세 가지 조건을 만족하는 정역(정역: 영인수를 갖는 환)이다.
- 정역: 영인자(0이 아닌 영인자)만을 갖는 환이다. 즉, 두 영인자가 곱해져 0이 되면 그 중 하나가 0이어야 한다.
- 인수 분해 가능: 모든 비영인 비영원소가 영인자들의 유한한 곱으로 표현될 수 있다.
- 인수 분해의 유일성: 두 인수 분해가 존재할 경우, 각각의 영인자들을 단위(역원을 갖는 원소)와 순열, 그리고 각 영인자를 거듭제곱한 형태로 일치시킬 수 있다. 즉,
$$ a = u \cdot p_1^{e_1} p_2^{e_2}\dots p_k^{e_k} $$ 와
$$ a = v \cdot q_1^{f_1} q_2^{f_2}\dots q_l^{f_l} $$ 가 있을 때, $k = l$, 영인자 $p_i, q_i$는 위에서 언급한 순열에 따라 서로 연관되고 $e_i = f_i$이며, $u, v$는 단위이다.
주요 성질
- PID ⟹ UFD: 모든 주이상(Principal Ideal Domain)은 유일 인수 분해 정역이다.
- UFD ⟹ GCD 도메인: 유일 인수 분해 정역에서는 두 원소에 대해 최대공약수(GCD)가 존재한다.
- 다항식 환: 정역 $R$이 UFD이면, 다항식 환 $R[x]$도 UFD이다 (Gauss의 정리).
- 정규성: 모든 유일 인수 분해 정역은 정규 정역(Normal Domain)이다.
대표적인 예
- 정수환 $\mathbb{Z}$
- 다항식 환 $\mathbb{Z}[x]$ 및 $\mathbb{Q}[x]$
- 유클리드 환(예: $\mathbb{Z}[i]$, 가우스 정수)
- 다변량 다항식 환 $\mathbb{Z}[x_1,\dots,x_n]$
UFD가 아닌 정역의 예
- 정수환에 대한 $\mathbb{Z}[\sqrt{-5}]$: 원소 $6$이 두 서로 다른 영인자들의 곱으로 표현될 수 있으나, 영인자 분해가 동일하게 정리되지 않는다.
- 고차원 다항식 환 $\mathbb{Z}[x,y]$는 UFD이지만, $\mathbb{Z}[x, y, z]/(x^2 + y^2 + z^2)$ 등 특정 몫환은 UFD가 아니다.
역사적 배경
‘유일 인수 분해 정역’이라는 용어는 20세기 초 대수학자들이 정수의 소인수 분해의 일반화를 연구하면서 등장하였다. 특히, 1935년 파울라 토드(Paul T. Chow)와 아레벨라스(Arnaldo Montes) 등이 정역에서 인수 분해의 구조를 체계화하면서 오늘날의 정의가 확립되었다. 현재는 대수적 정수론, 대수기하학, 대수적 위상수학 등 다양한 분야에서 기본적인 구조로 활용된다.
관련 개념
- 주이상 정역 (PID): 모든 아이디얼이 하나의 원소로 생성되는 정역. 모든 PID는 UFD이지만, 모든 UFD가 PID는 아니다.
- 노르말 정역 (Normal Domain): 정규화 과정에서 원소들이 정규화된 형태와 동일한 정역. UFD는 노르말 정역을 포함한다.
- 클래스 군 (Class Group): 정역이 UFD인지 여부를 판단하는 데 사용되는 불변량으로, 클래스 군이 자명하면 해당 정역은 UFD이다.
용어 해석
‘유일(唯一)’: 중복 없이 한 번만 존재함을 의미한다.
‘인수(因数)’: 곱셈으로 표현되는 원소, 즉 인수(因子).
‘분해(分解)’: 하나의 원소를 여러 인수의 곱으로 나타내는 과정.
‘정역(整域)’: 영인자만을 갖는 환, 즉 영인자 곱이 0이면 적어도 하나는 0인 환을 뜻한다.
참고 문헌
- D. S. Dummit, R. M. Foote, Abstract Algebra, 3rd ed., Wiley, 2004.
- H. Matsumura, Commutative Ring Theory, Cambridge University Press, 1989.
- J. Neukirch, Algebraic Number Theory, Springer, 1999.
