Gauss’s Lemma

2020-2학기, 대학에서 ‘현대대수1’ 수업을 듣고 공부한 바를 정리한 글입니다. 지적은 언제나 환영입니다 :)

---

잠깐 맥락을 곁들이자면, “Gauss’s Lemma”는 아래의 명제를 증명하는 과정에서 만나는 중간단계이다.

"If $D$ is a UFD, then $D[x]$ is a UFD."

아래에 이와 비슷한 느낌의 정리들을 좀 모아봤다.

• $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.

• Wikipedia - Primitive polynomial(ring theory)

---

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를 활용해 본래의 목적인

"If $D$ is a UFD, then $D[x]$ is a UFD."

를 증명해보자!

다음 포스트: Poylnomial over UFD