Gauss’s Lemma
2020-2학기, 대학에서 ‘현대대수1’ 수업을 듣고 공부한 바를 정리한 글입니다. 지적은 언제나 환영입니다 :)
잠깐 맥락을 곁들이자면, “Gauss’s Lemma”는 아래의 명제를 증명하는 과정에서 만나는 중간단계이다.
아래에 이와 비슷한 느낌의 정리들을 좀 모아봤다.
- $R$ is a ring $\implies$ $R[x]$ is also a ring.
- $D$ is an integral domain $\implies$ $D[x]$ is also an integral domain.
- $F$ is a field $\iff$ $F[x]$ is a PID. (Thm 27.24)
- 이때 모든 Field는 PID이므로 위 명제에서 ‘field’를 ‘PID’로 바꿔도 성립한다.
- $D$ is an integral domain with an irreducible elt $\implies$ $D[x]$ is not a PID.
- $F$ is a field $\implies$ $F[x_1, \dots, x_n]$ is not a PID for $n \ge 2$.
우리는 지금까지 자연수에서의 GCD를 접했다. 하지만 앞에서 살펴본 ‘산술의 기본정리‘에 따르면 자연수 집합도 결국은 UFD의 한 예에 불과했다. 자연수 집합에서 정의한 GCD를 UFD로 확장하여 다시 정의해보자.
Definition. GCD in UFD
Let $D$ be a UFD, and $a_1$, $a_2$, …, $a_n$ be non-zero elts of $D$.
$d$ is a GCD of all of $a_i$,
if $d \mid a_i$ for $i=1, …, n$ and all $d’ \in D$ that divides all the $a_i$ also divides $d$.
자연수 집합에서는 GCD가 유일하게 존재했지만, 자연수 집합를 포괄하는 개념인 UFD에서 GCD는 더이상 유일하지 않다.
UFD에서 두 개의 GCD $d$, $d’$가 존재한다고 가정해보자. 그러면, GCD의 정의에 의해 $d \mid d’$, $d’ \mid d$가 성립한다.
즉, 서로 다른 두 GCD $d$, $d’$가 associate 하다.
Simple Example.
서로 다른 두 GCD에 대한 예는 생각보다 간단히 찾을 수 있다. 두 정수 $6$와 $-8$에 대한 GCD는 $2$와 $-2$이다.
즉, 정수 $\mathbb{Z}$는 UFD이면서 서로 다른 두 GCD를 찾을 수 있다. 반면에 자연수 $\mathbb{N}$는 UFD이지만, GCD가 유일하게 결정된다.
Primitive polynomial
Definition. content & primitive part
The content of (polynomial with integer coeffi-.) = $\gcd$ of it coeffi-.
The primitive part of polynomial = quotient of polynomial by its content.
따라서 (polynomial) = (cotent) x (primitive part)
Definition. Primitive Polynomial
A polynomial is primitive, if its content equals 1.
Gauss’s Lemma
Lemma 45.23
If $D$ is a UFD,
then for every non-constant $f(x) \in D[x]$, we have $f(x) = (c)g(x)$, where $c \in D$ and primitive $g(x) \in D[x]$.
(즉, UFD에서 모든 non-constant $f(x)$는 primitive의 상수곱이라는 말이다.)
proof.
Let $f(x) \in D[x]$ be a non-constant polynomial; $f(x) = a_0 + a_1 x + \cdots a_n x^n$
Let $c$ be a gcd of all $a_i$.
Then for each $i$, we have $a_i = c \cdot q_i$ for some $q_i \in D$.
By the distributive law, we have $f(x) = (c) g(x)$.
By definition of gcd $c$, the left polynomial $g(x)$ is a primitive polynomial. $\blacksquare$
Lemma 45.25 Gauss’s Lemma
If $D$ is a UFD, then a product of two primitive polynomials in $D[x]$ is again primitive.
proof.
Let $f(x) = a_0 + a_1 x + \cdots a_n x^n$ and $g(x) = b_0 + b_1 x + \cdots b_m x^m$ be primitive in $D[x]$,
and let $h(x) = f(x)g(x)$.
Let $p$ be an irreducible in $D$.
이미 $f(x)$, $g(x)$가 primitive이므로 $p$가 $a_i$ 전부를, 또 $b_j$ 전부를 나누지는 못 한다.
Let $a_r$ be the first coefficient of $f(x)$ not divisible by $p$;
that is $p \mid a_i$ for $i < r$, but $p \not\mid a_r$.
Similarly, let $b_s$ be the first coefficient of $g(x)$ not divisible by $p$.
The coefficient of $x^{r+s}$ in $h(x) = f(x)g(x)$ is
\[c_{r+s} = (a_0 b_{r+s} + \cdots + a_{r-1} b_{s+1}) + a_r b_s + (a_{r+1} b_{s-1} \cdots a_{r+s} b_0)\]$p \mid a_i$ for $i < r$이므로 $p \mid (a_0 b_{r+s} + \cdots + a_{r-1} b_{s+1})$
마찬가지로 $p \mid b_j$ for $j < s$이므로 $p \mid (a_{r+1} b_{s-1} \cdots a_{r+s} b_0)$
하지만, $p$가 $a_r$, $b_s$를 나누진 못 하므로 $p \not\mid a_r b_s$이다.
종합하면, 어떤 irreducible $p \in D$일지라도 $f(x)g(x)$의 계수를 나누지 못 하는 지점이 있기 때문에 $f(x)g(x)$의 계수는 어떤 irreducible $p$라도 common divisor로 가질 수 없다.
따라서 $f(x)g(X)$는 primitive다. $\blacksquare$
이제 이 Gauss’s Lemma를 활용해 본래의 목적인
를 증명해보자!
다음 포스트: Poylnomial over UFD