유클리드 정역

유클리드 정역

ED Euclidean Domain

정의 1

정역 $D$ 에서 다음의 두 조건을 만족하는 유클리드 놈Euclidean Norm $\nu : D \setminus \left\{ 0 \right\} \to \mathbb{N}_{0}$ 이 존재하면 $D$ 를 유클리드 정역이라 한다.

  • (i): 모든 $a,b \in D (b \ne 0 )$ 에 대해 $$ a = bq + r $$ 을 만족하는 $q$ 와 $r$ 이 존재한다. 이 때 $r = 0$ 이거나 $\nu (r) < \nu (b)$ 둘 중 하나여야한다.
  • (ii): 모든 $a,b \in D (b \ne 0 )$ 에 대해 $\nu ( a ) \le \nu ( ab )$

  • $\mathbb{N}_{0}$ 은 자연수의 집합에 $0$ 을 포함한 집합을 의미한다.

정리

유클리드 정역 $D$ 의 항등원을 $0$, 단위원을 $1$, 유클리드 놈을 $\nu$ 라고 하자.

  • [1]: 모든 ED는 PID다.
  • [2]: 모든 ED는 UFD다.
  • [3]: $0$ 가 아닌 모든 $d \in D$ 에 대해 $\nu (1) \le \nu (d)$
  • [4]: $u \in D$ 가 단원 $\iff$ $\nu ( u ) = \nu (1)$

설명

‘유클리드 정역’이라는 말은 별로 길지는 않지만 보통 ED라는 약어를 많이 사용한다.

조건 (i), (ii)는 정수환 $\mathbb{Z}$ 에서는 자연스럽게 만족되는 조건들로써, 유클리드 놈 $\nu ( n ) := | n |$ 이 존재해서 $\mathbb{Z}$ 는 유클리드 정역이 된다. 애초에 유클리드 놈이라는 말 자체가 정수론의 유클리드 호제법에서 따온 것이다.

한편 $F$ 에 대해 $F [ x ]$ 를 생각해보면 유클리드 놈 $\nu ( f(x) ) : = \deg ( f(x) )$ 을 정의함으로써 유클리드 놈이 된다. 애초에 나눗셈 정리가 이 조건에 해당한다.

20190107\_023727.png 여러 정역들을 도식화하면 위와 같은데, ED가 얼마나 좋은 성질을 많이 가지고 있는지 쉽게 알 수 있다.

증명

[1]

$D$ 의 아이디얼을 $N$ 이라고 두자.

$N = \left\{ 0 \right\} = \left< 0 \right>$ 은 당연히 주 아이디얼이므로, $N \ne \left\{ 0 \right\}$ 에 대해서 생각해보자.

그러면 $0$ 이 아닌 모든 $n \in N$ 에 대해 $$ \nu (b) \le \nu (n) $$ 를 만족하는 $b \ne 0$ 을 하나 잡을 수 있다. $a \in N$ 이라고 하면 조건 (i)에 의해 $$ a = b q + r $$ 를 만족하는 $q,r \in D$ 가 존재해야한다. $N = Nq$ 는 아이디얼이므로 $r = a - bq$ 역시 $N$ 에 존재하는 원소임을 알 수 있다. $b$ 는 $\nu (b)$ 가 가장 작아지도록 하는 원소였으므로, 조건 (ii)에 의해 $r=0$ 이어야한다. 모든 원소 $a \in N$ 이 $a = bq$ 와 같이 나타난다는 것은 곧 $N = \left< b \right>$ 라는 것이므로, 모든 아이디얼 $N$ 은 주 아이디얼이다.

[2]

ED는 PID이고, PID는 UFD이므로 ED는 UFD다.

[3]

조건 (ii)에 의해 $$ \nu (1) \le \nu ( 1 d) = \nu (d) $$

[4]

$( \Rightarrow )$

$u$ 가 단원이므로 그 역원 $u^{-1}$ 이 존재해서 $$ \nu ( u ) \le \nu ( u u^{-1} ) = \nu (1) $$ 이고, 정리 [3]에 의해 $\nu (1) \le \nu (1)$ 이므로 $$ \nu ( u ) = \nu (1) $$

$( \Leftarrow )$

$1 = uq + r$ 이라고 두면 정리 [2]에 의해 $\nu ( u) = \nu (1)$ 는 $\nu (0)$ 을 제외하면 가장 작다. 정리 [3]에 의해 $\nu ( r) < \nu (u)$ 를 만족하는 경우는 $r=0$ 밖에 없어서 $1 = uq$ 이고, $u$ 는 단원이 된다.

같이보기


  1. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p401. ↩︎

댓글