logo

주 아이디얼 📂추상대수

주 아이디얼

정의 1

단위원을 가지는 가환환 RR 의 원소 aa 로 생성되는 <a>\left< a \right>aa 에 의해 생성되는 주 아이디얼principal Ideal이라고 한다.


  • 곱셈에 대한 항등원 11단위원이라 한다.

설명

<a>:={rar R}\left< a \right> := \left\{ r a \mid r\ \in R \right\} 의 표기는 순환군과 같지만 실제 순환군보다는 조금 더 큰 구조를 이룬다.

예로써 Z\mathbb{Z} 의 모든 아이디얼 nZ=<n>={,2n,n,0,n,2n,}n \mathbb{Z} = \left< n \right> = \left\{ \cdots , -2n , -n , 0 , n , 2n , \cdots \right\} 은 주 아이디얼이다.

처음 주 아이디얼을 접할 땐 뜬구름 잡는 느낌이 들 수밖에 없다. 당장은 쓸모가 없고, 이후 여러가지 좋은 성질을 갖는 정역을 논의할 때 유용하다. 다음의 정리 중 특히 [2]와 [3]은 각각 PID와 UFD로 가는 교두보가 되므로, 적어도 한 번은 직접 손으로 증명해보는 것을 추천한다.

정리

FF 에 대해 p(x),r(x),s(x)F[x]p(x), r(x), s(x) \in F [ x ] 라고 하자.

  1. F[x]F [ x ] 의 모든 아이디얼은 주 아이디얼이다.
  2. <p(x)>{0}\left< p(x) \right> \ne \left\{ 0 \right\} 가 극대 아이디얼     \iff p(x)p(x)FF 상에서의 기약원
  3. FF 상에서의 기약원 p(x)p(x)r(x)s(x)r(x) s(x) 를 나누면 p(x)p(x)r(x)r(x) 혹은 s(x)s(x) 을 나눈다.

증명

[1]

F[x]F [ x ]아이디얼 N{0}N \ne \left\{ 0 \right\} 에서 가장 차수가 낮은 다항함수 g(x)g(x) 를 생각해보자.


Case 1. degg=0\deg g = 0

g(x)g(x) 는 상수함수이므로 g(x)Fg(x) \in F 이고, FF 를 체로 가정했으므로 g(x)g(x)FF 의 단원인 동시에 F[x]F [ x ] 의 단원이다. g(x)g(x)F[x]F [ x ] 의 단원이므로 N=F[x]=<1>N = F [ x ] = \left< 1 \right> 이고, 따라서 NN 은 주 아이디얼이다.


Case 2. degg1\deg g \ge 1

임의의 f(x)Nf(x) \in N나눗셈 정리에 따라 f(x)=g(x)q(x)+r(x)f(x) = g(x) q(x) + r(x) 으로 나타난다. NN 은 아이디얼이므로 f(x)g(x)q(x)=r(x)N f(x) - g(x) q(x) = r(x) \in N 인데, 가장 차수가 낮은 다항함수는 g(x)g(x) 이므로 r(x)=0r(x)=0 이어야한다.


다시 말해 임의의 f(x)Nf(x) \in N 는 항상 f(x)=g(x)q(x)f(x) = g(x) q(x) 로 나타낼 수 있어 N=<g(x)>N = \left< g(x) \right> 이고, 따라서 NN 은 주 아이디얼이다.

[2]

(    )( \implies )

p(x)p(x) 가 기약원이 아니라서 p(x)=f(x)g(x)p(x) = f(x) g(x) 와 같이 인수분해된다고 가정하자.

<p(x)>\left< p(x) \right>F[x]F [ x ] 의 극대 아이디얼이므로 <p(x)>F[x]\left< p(x) \right> \ne F [ x ] 이고 p(x)Fp(x) \notin F 이다. 극대 아이디얼은 소 아이디얼이므로 (f(x)g(x))<p(x)>\left( f(x) g(x) \right) \in \left< p(x) \right>f(x)<p(x)>f(x) \in \left< p(x) \right> 또는 g(x)<p(x)>g(x) \in \left< p(x) \right> 이어야한다. 그런데 f(x)f(x)g(x)g(x) 의 차수는 p(x)p(x) 의 차수보다 작을 수 없어서 가정에 모순이고, p(x)p(x)FF 상에서의 기약원이 된다.

(    )( \impliedby )

<p(x)>\left< p(x) \right> 가 극대 아이디얼이 아니라서 <p(x)>NF[x]\left< p(x) \right> \subsetneq N \subsetneq F [ x ] 를 만족하는 아이디얼 NN 이 존재한다고 가정하자.

정리 [1]에 의해 NNF[x]F [ x ] 의 주 아이디얼이므로 어떤 g(x)F[x]g(x) \in F [ x ] 에 대해 N:=<g(x)>N := \left< g(x) \right> 라고 둘 수 있다. 가정에서 <p(x)>N\left< p(x) \right> \subset N 이므로 어떤 q(x)F[x]q(x) \in F [ x ] 에 대해 p(x)=g(x)q(x) p(x) = g(x) q(x) 와 같이 나타난다. 그런데 p(x)p(x)FF 상에서의 기약원이므로 g(x)g(x)q(x)q(x) 중 하나는 상수여야한다.

  • 만약 g(x)g(x) 가 상수면 g(x)g(x)F[x]F [ x ] 의 단원이므로 N=F[x] N = F [ x ]
  • 만약 q(x)q(x) 가 상수면 어떤 cF[x]c \in F [ x ] 에 대해 g(x)=1cp(x)\displaystyle g(x) = {{1} \over {c}} p(x) 이므로 N=<g(x)>=<p(x)> N = \left< g(x) \right> = \left< p(x) \right>

g(x)g(x) 가 상수든 q(x)q(x) 가 상수든 가정에 모순이므로 <p(x)>\left< p(x) \right>F[x]F [ x ] 의 극대 아이디얼이 된다.

[3]

p(x)p(x)r(x)s(x)r(x) s(x) 를 나눈다고 하면 r(x)s(x)<p(x)>r(x) s(x) \in \left< p(x) \right>이다. 그런데 p(x)p(x)FF 상에서의 기약원이므로 정리 [2]에 의해 <p(x)>\left< p(x) \right> 는 극대 아이디얼이고 따라서 소 아이디얼이다. 즉 r(x)s(x)<p(x)>r(x) s(x) \in \left< p(x) \right>r(x)<p(x)>r(x) \in \left< p(x) \right> 또는 s(x)<p(x)>s(x) \in \left< p(x) \right> 인데, 이는 p(x)p(x)r(x)r(x) 혹은 s(x)s(x) 을 나눈다는 뜻이다.


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