logo

주 아이디얼 정역 📂추상대수

주 아이디얼 정역

정의 1

정역 DDp0p \ne 0단원이 아니라고 하자.

PID

DD 의 모든 아이디얼주 아이디얼이면 DD주 아이디얼 정역pID이라 한다.

따름정의

  1. 가환환 RR단위원 11 을 가진다고 하자. a,bRa,b \in R 에 대해 b=acb=ac 를 만족하는 cRc \in R 이 존재하면 aabb나눈다divide 혹은 aabb인수factor라 하고 aba \mid b 와 같이 나타낸다.
  2. aba \mid b 이고 bab \mid aa,ba,b연합associates이라 한다.
  3. a,bD\forall a,b \in Dp=abp=ab 에 대해 aabb 중 하나가 단원이면 pp기약원irreducible element이라 한다.
  4. a,bD\forall a,b \in D 에 대해 pabp \mid ab 이면 pap \mid a 혹은 pbp \mid bpp소원소prime element라 한다.

  • 단위원은 곱셈에 대한 항등원 11, 단원은 곱셈에 대한 역원을 가지는 원소다.

정리 2

DD 가 주아이디얼 정역이라고 하자.

  • [1]: DD뇌터 환이다.
  • [2]: 00 도 아니고 단원도 아닌 dDd \in DDD 의 기약원들의 곱으로 나타난다.
  • [3]: <p>\left< p \right>DD 의 극대 아이디얼     \iff ppDD 의 기약원
  • [4]: DD 의 기약원은 소원소다.

설명

‘주 아이디얼 정역’이라는 말은 너무 길어서 보통 PID라는 약어를 많이 사용한다.

연합associative은 결합법칙associative과 스펠링은 같지만 명사형이라는 것에 주의해야하며, 3,3Z-3,3 \in \mathbb{Z} 과 같이 서로 단원unit의 곱으로 나타낼 수 있는 관계다.

예시

정수환 Z\mathbb{Z}

정수환 Z\mathbb{Z} 는 모든 아이디얼nZ=<n>n \mathbb{Z} = \left< n \right> 과 같이 주 아이디얼로 나타난다.

모든 체 F\mathbb{F}

가우스 정수환 Z[i]\mathbb{Z} [i] 와 아이젠슈타인 정수환 Z[ω]\mathbb{Z} [\omega]

가우스 정수환아이젠슈타인 정수환는 각각 정수환 Z\mathbb{Z} 에 순허수 i:=1i := \sqrt{-1} 혹은 ω:=(1)1/3\omega := (-1)^{1/3} 을 추가한 환이다.

증명

[1]

뇌터 환의 정의: NN이라고 하자.

  1. NN 의 아이디얼들이 S1S2S_{1} \le S_{2} \le \cdots 을 만족할 때 이를 오름사슬ascending Chain이라 한다.
  2. 오름사슬 {Si}iN\left\{ S_{i} \right\}_{i \in \mathbb{N} } 에 대해 Sn=Sn+1=S_{n} = S_{n+1} = \cdots 을 만족하는 nnn \in \mathbf{n} 이 존재하면 정상적stationary이라 한다. 다시 말해 정상적 오름사슬에선 아이디얼이 어느 순간부터 더 이상 커지지 않는다.
  3. 모든 오름사슬이 정상적인 환을 뇌터 환이라 한다.

DD 의 아이디얼의 오름 사슬 N1N2N_{1} \le N_{2} \le \cdots 과 그 합집합 N:=k=1Nk\displaystyle N := \bigcup_{k=1}^{ \infty } N_{k} 를 생각해보자. 어떤 i,jNi, j \in \mathbb{N} 에 대해 aNibNjNiNj a \in N_{i} \\ b \in N_{j} \\ N_{i} \le N_{j} 라고 하면 (Nj,+,)( N_{j} , + , \cdot )아이디얼로 정의되었으므로 부분환이고, bb 의 덧셈에 대한 역원 (b)Nj(-b) \in N_{j} 가 존재한다. 또한 abNjab \in N_{j} 이므로, (ab),abN(a-b), ab \in N 이고 부분환 판정법에 의해 NNDD 의 부분환이 된다. 그뿐만이 아니라 NiN_{i} 가 아이디얼이므로 모든 dDd \in D 에 대해 da=add a = a d 고, daNda \in N 이므로 NNDD아이디얼이 된다.

DD 는 PID이므로 모든 아이디얼주 아이디얼이고, 어떤 cNc \in N 에 대해 N=<c>N = \left< c \right> 와 같이 나타낼 수 있다. 여기서 N=k=1Nk\displaystyle N = \bigcup_{k=1}^{ \infty } N_{k} 이므로, cNc \in N 라면 cNrc \in N_{r} 을 만족하는 자연수 rNr \in \mathbb{N} 이 존재해야한다. cNrc \in N_{r} 이라는 것은 NrN_{r} 보다 작은 아이디얼 중엔 cc 를 생성원으로 갖는 주 아이디얼이 존재한다는 의미다. 수식으로 쓰면 <c>NrNr+1N=<c> \left< c \right> \le N_{r} \le N_{r+1} \le \cdots \le N = \left< c \right> 이므로, Nr=Nr+1=N_{r} = N_{r+1} = \cdots이다. 따라서 DD뇌터 환이다.

[2]

dd 가 기약원이면 증명할 게 없으므로, 단원이 아닌 d1,c1Dd_{1}, c_{1} \in D 에 대해 d=d1c1d = d_{1} c_{1} 과 같이 나타난다고 해보자.

그러면 <d><d1>\left< d \right> \le \left< d_{1} \right> 이고, di:=di+1ci+1d_{i} := d_{i+1} c_{i+1} 을 계속 정의하면 오름사슬 <d><d1><d2> \left< d \right> \le \left< d_{1} \right> \le \left< d_{2} \right> \le \cdots 을 얻는다. 그런데 정리 [1]에 의하면 이 사슬이 끝나는 ara_{r} 이 존재해야하며, ara_{r} 는 동시에 aa 의 인수가 되는 기약원이 된다. 이렇듯 dd 를 나누는 기약원을 p1p_{1} 이라고 두고 단원이 아닌 f1f_{1} 에 대해 d=p1f1d = p_{1} f_{1} 라고 하자. 그러면 <d><f1>\left< d \right> \le \left< f_{1} \right> 이고, fi:=pi+1fi+1f_{i} := p_{i+1} f_{i+1} 을 계속 정의하면 오름사슬 <d><f1><f2> \left< d \right> \le \left< f_{1} \right> \le \left< f_{2} \right> \le \cdots 을 얻는다. 이 역시 정리 [1]에 의하면 이 사슬이 끝나는 fsf_{s} 가 존재해야하며, fsf_{s} 는 동시에 fif_{i} 의 인수가 되는 기약원이 된다.

이 과정을 유한번 반복함으로써 dd 는 기약원들의 곱으로 나타남을 확인할 수 있다.

[3]

(    )( \implies )

DD 의 극대 아이디얼 <p>\left< p \right>ppDD 의 단원이 아닌 a,ba,b 에 대해 p=abp=ab 와 같이 나타난다고 가정해보자.

그러면 <p><a>\left< p \right> \le \left< a \right> 인데, <p>=<a>\left< p \right> = \left< a \right>bb 가 단원이어야 하므로 사실 <p><a>\left< p \right> \lneq \left< a \right> 을 얻는다. 그런데 <p>\left< p \right>극대 아이디얼이므로 <a>=D=<1>\left< a \right> = D = \left< 1 \right> 이어야하고, aa11 은 연합이 된다. 정리하면

  • <p><a>\left< p \right> \ne \left< a \right> 일 땐 aa 가 단원이고
  • <p>=<a>\left< p \right> = \left< a \right> 일 땐 bb 가 단원이므로

pp 는 기약원이 될 수밖에 없다.


(    )( \impliedby )

기약원 p=abp=ab 에 대해 <p><a>\left< p \right> \le \left< a \right> 이라고 가정해보자.

aa 가 단원이면 <a>=D\left< a \right> = D 이므로 문제가 없지만, aa 가 단원이 아니면 bb 는 반드시 단원이어야한다.

bb 가 단원이라는 말은 어떤 uDu \in D 에 대해 bu=1bu =1 이라는 뜻인데, pu=abu=a pu = abu = a 이므로 <p><a>\left< p \right> \ge \left< a \right>, 즉 <p>=<a>\left< p \right> = \left< a \right> 이어야한다. 정리하면

  • <a>=D\left< a \right> = D 이거나
  • <a>=<p>\left< a \right> = \left< p \right> 이어야하므로

<p>\left< p \right> 는 극대 아이디얼이 된다.

[4]

pp 가 기약원이라고 하면 <p>\left< p \right> 는 정리 [3]에 의해 극대 아이디얼이고, 1D1 \in D 이므로 소 아이디얼이다.

ppabab 를 나눈다고 하면 (ab)<p>(ab) \in \left< p \right> 이고, <p>\left< p \right> 는 소 아이디얼이므로 a<p>a \in \left< p \right> 혹은 b<p>b \in \left< p \right> 이다. 이것을 다르게 적어보면 pabp \mid ab 일 때 pap \mid a 혹은 pbp \mid b 이므로, pp 는 소원소가 된다.

같이보기


  1. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p389~391, 394. ↩︎

  2. Fraleigh. (2003). A first course in abstract algebra(7th Edition): p392~393. ↩︎