환(대수학)
1. 정의
1.1. 나누어짐(divisibility)과 원소의 분류
2. 종류
2.1. 가환환과 비가환환
2.3. 나눗셈의 성질에 따른 분류
2.4. 국소화(localization)
2.6. 기타 분류
2.7. 포함 관계
3. 곱환(product ring)
4. 부분환과 확장환
4.1. 부분환의 생성원
6. 몫환(factor ring / quotient ring)
6.1. 중국인의 나머지 정리(Chinese remainder theorem; CRT)
環[6] (Ring)
대수학에서 말하는 구조.
1. 정의
정수 집합을 추상화한 것으로, 어떤 집합에 두 가지 연산을 아래와 같이 부여한 것이다.
어떤 집합 $$R$$이 있을 때, $$R$$ 위에 '''결합법칙이 성립하는'''[7] 두 개의 이항 연산 $$+$$와 $$\cdot$$가 잘 정의돼 있고, 다음 세 조건을 만족한다면 $$\left(R,+,\cdot\right)$$는 환(ring)이라고 한다.
- $$\left(R,+\right)$$ (R에 덧셈을 부여했을때 나오는 구조; 덧셈군)는 아벨군. 풀어 쓰면 다음 세 가지를 말한다.
- (항등원) $$0\in R$$이 존재하여,$$R$$의 임의의 원소 $$a$$에 대해,$$a+0 = 0+a =a $$이다. 항등원은 존재하면 유일하므로[8] 이 원소를 정수에서의 예에 따라 0으로 적고, 혼동의 여지가 있을 때는 $$0_{R}$$로 적기도 한다.
- (역원) 임의의 $$a\in R$$에 대해 $$x\in R$$가 존재하여, $$a+x=0=x+a$$을 만족한다. 역원은 존재하면 유일하므로[9] 이 원소를 정수에서의 예에 따라 $$-a$$로 적는다.
- (교환법칙) 임의의 두 원소 $$a, b\in R $$에 대해,$$a+b = b+a $$을 만족한다.
- (항등원 $$1\in R$$이 존재하여,$$R$$의 임의의 원소 $$a$$에 대해 $$a\cdot 1 = 1\cdot a =a $$을 만족한다.)[13]
3. 분배법칙이 성립한다.
- 임의의 $$a, b, c\in R $$에 대해, $$\left(a+b\right)\cdot c=a\cdot c+b\cdot c$$ 와 $$c\cdot \left(a+b\right)=c\cdot a+c\cdot b$$ 이 성립한다.
환의 예로는 다음과 같은 것이 있다.
- 정수 전체의 집합 $$ \mathbb{Z} $$.
- 유리수 전체의 집합 $$ \mathbb{Q} $$, 실수 전체의 집합 $$ \mathbb{R} $$, 복소수 전체의 집합 $$ \mathbb{C} $$. 이들은 후술하듯 특수한 환인 체에 해당한다.
- 사원수 전체의 집합 $$\mathbb{H}$$ .
- $$n\in \mathbb{Z}$$에 대해, $$\mathbb{Z}$$를 $$n$$으로 나눈 나머지 $$ \mathbb{Z}/n\mathbb{Z} $$ . 이를 잉여환(quotient ring)이라 한다.
- $$R$$ 이 환일 때 $$R$$ 위의 polynomial 전체의 집합 $$ R\left[t\right] $$, $$R$$ 위의 $$ n \times n $$ 정사각행렬 전체의 집합 $$ M_{n}\left(R\right)$$.
모든 환 $$R$$은 자명한 $$R$$-가군(module) 구조를 가진다. 또, 모든 환은 $$ \mathbb{Z} $$ -대수(algebra)로 볼 수 있다.
1.1. 나누어짐(divisibility)과 원소의 분류
이하에서는, $$1$$을 갖는 가환환에 대해 한해, 이야기한다.
1.1.1. 나누어짐(divisibility)
$$a,b\in R$$에 대해, 나누어짐을 다음과 같이 표기하고 정의한다.
$$b\mid a$$
$$\exists c\in R \qquad bc=a$$
1.1.2. 단원(unit)
단원들의 모임을 다음과 같이 정의한다.[15]
즉, 곱셈에 대한 역원이 존재하는 원소들을 말한다. 예를 들어, 정수 집합에서 unit은 1과 -1뿐이다.$$R^{\times} :=\left\{ a\in R:\exists x\in R\quad ax=1\right\} $$
1.1.3. 기약원(irreducible element)
$$0\neq i\in R$$가 기약원이라 함은 다음을 만족하는 것이다.
쉽게 풀어쓰자면, unit을 제외한 약수가 없는 윈소를 말한다.$$\forall x\mid i \left[x\in R^{\times} \text{or} \left[\exists u\in R^{\times} xu=i\right]\right] $$
1.1.4. 소원(prime element)
$$0\neq p\in R$$가 소원이라 함은 다음을 만족하는 것이다.
prime이면 irreducible이다. 역은 일반적으로 성립하지 않지만, 유일인수분해환에서는 성립한다.$$\forall a,b\in R\left[p\mid ab\rightarrow \left[\left[p\mid a\right]\text{or}\left[p\mid b\right]\right]\right] $$
1.1.5. 인수분해(factorization)
$$x\neq0$$를 $$x=u\prod {i_{k}}^{e_{k}}$$($$i_{k}$$는 서로 다른 기약원, $$e_{k}>0$$, $$u$$는 단원)꼴로 나타내는 일을 말한다.
2. 종류
‘곱셈’에 관해서는(ring이라는 이름에서 느껴지는 것과는 달리) 결합법칙 외에 아무 조건이 없는 점에 유의하여야 한다. 여기에 이런저런 조건이 붙을 때마다 다음과 같은 여러 가지 이름으로 불린다.
2.1. 가환환과 비가환환
- 곱셈에 관해 교환법칙(commutativity)이 성립하는 것을 가환환(commutative ring)[17]이라 하고, 그렇지 않은 것을 비가환환(non-commutative ring)이라 한다.
- 가환환의 예: $$\mathbb{Z}$$, $$\mathbb{Q}$$, $$\mathbb{R}$$, $$\mathbb{C}$$
- 비가환환의 예:$$\mathbb{H}$$, $$M_{n}\left( R \right)$$[16]
2.2. 단위원을 갖는 환(ring with unity)[18], 유사환(pseudo-ring)
- 만약 환의 정의에서 '곱셈에 대한 항등원(1)이 존재한다'는 조건을 뺄 경우, 특별히 곱셈에 관해 0이 아닌[19] 항등원(identity element)을 갖는 것을 단위원을 갖는 환(ring with unity), 1을 갖는 환(ring with 1) 또는 unital ring이라 한다. 1을 갖는 가환환(Commutative ring with 1) 위의 선형대수는 그 내용이 매우 풍부하다. 항등원은 존재하면 유일하므로[20] 이 원소를 정수에서의 예에 따라 1로 적고, 혼동의 여지가 있을 때는 $$1_{R}$$로 적기도 한다. 심지어 $$2=1_{R}+1_{R}$$ 등의 표기도 사용한다.
- 반대로 환의 정의에서 '곱셈에 대한 항등원이 존재한다'는 조건을 넣을 경우, 곱셈에 대한 항등원을 갖지 않는 환을 유사환(pseudo-ring 또는 rng[21])이라고 부른다.
- 유사환의 예: $$2\mathbb{Z}$$
2.3. 나눗셈의 성질에 따른 분류
2.3.1. 나눗셈 환(division ring)
1을 갖는 환 $$R$$이 나눗셈환이라 함은 다음이 성립하는 것이다.[22]
* 1을 갖는 환에서 [math(0)] 외의 모든 원소가 곱셈에 관한 역원(inverse element)을 가지면 나눗셈이 가능하므로 '''나눗셈환(division ring)'''이라 한다. 나눗셈환이 가환이면 '''체(field)'''라고 하고, 비가환이면 '''비가환체(skew-field)'''라 한다.$$R^{\times}=R-\left\{ 0\right\} $$
2.3.1.1. 체(field)
가환나눗셈환(commutative division ring)을 일컫는다.
- 예: 유리수체 $$ \mathbb{Q}$$, 실수체 $$\mathbb{R}$$, 복소수체 $$\mathbb{C}$$ 등
2.3.1.2. 꼬인 체(skew field)
비가환 나눗셈환을 일컫는다. 즉, 체가 아닌 모든 나눗셈환을 일컫는다.
- 예: $$\mathbb{H}$$
2.3.2. 정역((integral) domain)
정수에서는 $$ab=0$$이면 $$a=0$$ 또는 $$b=0$$임이 당연했지만, 예를 들어 행렬환에서는 그렇지 않음을(그것이 행렬문제를 더럽게 만드는 주범임을) 우리는 잘 알고 있다.
$$a\in R$$에 대해[23], $$ax=0$$을 만족하는 0 아닌 $$x\in R$$이 있으면 $$a$$를 '''좌영인자(left zero divisor)'''라 하고, $$ya=0$$을 만족하는 0 아닌 $$y\in R$$이 있으면 $$a$$를 '''우영인자(right zero divisor)'''라 하며, 그냥 '''영인자(zero divisor)'''라 하면 좌영인자이거나 우영인자인 원소를 가리킨다. 다행히(?) 가환환에서는 이들을 구분할 필요가 없다. 한편 좌영인자이면서 우영인자인 원소는 양쪽 영인자(two-sided zero divisor)라고 한다.[24]
영인자는 소거법칙(cancellation law)와 연관된다. $$R$$이 좌영인자를 갖지 않는다는 것은 우소거(right cancellation)가 가능하다는 것과 동치이다. 즉 $$R$$이 좌영인자를 갖지 않으면, $$R$$ 위에서 $$ac=bc$$일 때 $$c\neq 0$$이면 $$c$$를 소거하여 $$a=b$$를 얻을 수 있고, 역도 성립한다. 반대로 $$R$$이 우영인자를 갖지 않는다는 것은 좌소거가 가능하다는 것과 동치이다.
- 1을 갖는 가환환이 [math(0)] 외의 영인자가 없다면 정역(integral domain) 혹은 (줄여서) 그냥 domain이라 한다. 정역의 대표 주자는 정수이다. 애초에 정수를 추상화 시킨게 정역이니까. 명칭인 정역(integral domain) 자체에 정수(integer)가 들어있다.
모든 체가 정역인 것은 자명한데, 전술했듯 영인자가 없는 것과 소거가 가능한 것은 동치인데 나눗셈은 소거를 함의하기 때문이다. 이는 역으로 나눗셈이 불가능한 정역에서도 소거법칙을 활용해서 상당히 많은 이야기를 할 수 있다는 뜻이 된다. 한편 1을 갖는 가환환일 것을 요구하지 않고 소거법칙이 성립하는 환을 소거환?(cancellation ring?)이라고 부를 수도 있겠으나, 많이 쓰이는 용어는 아니다.
- 정역의 예: 모든 체, 정수환 $$Z$$, $$n>1$$에서 $$\text{det} M_{n}\neq 0$$인 $$M_{n}\left(\mathbb{R}\right)$$.[25]
- 정역이 아닌 예: $$n>1$$에서 $$M_{n}\left(\mathbb{R}\right)$$[26]
2.4. 국소화(localization)
환 $$R$$를 "체처럼" 작동하도록 만드는 일이다.
$$D$$가 곱셈적(multiplicative)[27]이라 하자. 그리고 $$D^{-1}R=\left\{r/d: r\in R, d\in D\right\}$$라 정의하면, $$D^{-1}R$$는 환이 된다. $$r/d$$는 흔히 생각하는 유리수와 같이 작동한다. 이 정의를 언급하지 않고 얼버무렸지만, 동치류를 이용하여 명확히 정의할 수 있다. $$0\in D$$이면, $$D^{-1}R=0$$이 되어버려 재미가 없다. 따라서, 정역 조건에서 다루는 것이 일반적이다. 정역 조건에서 다음과 같은 줄임표현들이 있다.
- $$0\neq d$$에 대해, $$D:=\left\{d^{i}:i\geq 0\right\}$$[28]이라 할 때, $$R_{d}:=D^{-1}R$$
- (정역이 아니더라도) 소이데알 $$P$$에 대해, $$D:=R-P$$[29]이라 할 때, $$R_{P}:=D^{-1}R$$
- 정역이므로, $$\left(0\right)$$도 소이데알이다. 따라서,$$R_{\left(0\right)}$$라 쓸 수 있다. 이는 체로서, 또한 $$R$$이 묻히는(Embedded) 최소한의 체이다.[30]
2.5. 이데알[31]의 성질에 따른 분류
이하에서, 환 $$R$$에 대해, $$\text{ideal}\left(R \right)$$은 이데알들의 모임을 뜻한다.
2.5.1. 주이데알환(principal ideal ring)[32]
- 공학의 PID 제어는 해당 문서로.
예: 정수환 $$\mathbb{Z}$$, 가우스 정수환 $$\mathbb{Z}\left[i\right]$$$$\forall I\in\text{ideal}\left(R\right)\exists a\in R \left(a\right)=I$$
2.5.2. 뇌터환(Noetherian ring)
환 $$R$$이 뇌터환이라 함은 다음이 성립하는 것이다.[33]
즉, 임의의 이데알이 유한 개의 원소로 생성되는 환을 뜻한다.$$\forall I\in\text{ideal}\left(R\right)\exists a_{1}, ..., a_{n}\in R \left(a_{1}, ..., a_{n}\right)=I$$
예: 정수환 $$\mathbb{Z}$$, 정수환의 다항식환$$\mathbb{Z}\left[x\right]$$
2.5.2.1. 관련된 정리
- 오름사슬조건(ascending chain condition; ACC)
환 $$R$$에 대해, 다음은 모두 동치이다.
* $$R$$가 뇌터환이다.
* $$\forall I_{i}\in\text{ideal}\left(R\right)\left[\left[\forall i\in \mathbb{N} \qquad I_{i}\subset I_{i+1}\right]\rightarrow\exists n\in N\forall n<mI_{n}=I_{m}\right]$$
- Hilbert's basis theorem
$$R$$이 뇌터환이면, $$R\left[x\right]$$도 뇌터환이다. 이로부터 $$R\left[x_1 , x_2 , ... , x_n \right]$$가 뇌터환임을 귀납적으로 보일 수 있다.
2.5.3. 국소환(local ring)
환 $$R$$이 국소환이라 함은 $$R$$의 극대 이데알이 유일한 것이다.
예: 모든 체, 더 일반적으로 모든 나눗셈환은 국소환이다. 소이데알의 여집합으로 국소화하면 국소환이 된다.
2.6. 기타 분류
2.6.1. 유클리드 환(Euclidean ring)[34]
환 $$R$$이 유클리드환이라 함은 다음이 성립하는 것이다.[35]
간단히 말해서 정수에서의 나눗셈 정리를 실수범위로 확장한 것이다. 대부분의 경우 정역에서 다루기 때문에 (Euclidean domail; ED)이라고도 한다.$$\left|\cdot\right|:R-\left\{ 0\right\} \rightarrow \mathbb{Z}_{\geq 0}$$
$$\forall a,\, b\in R-\left\{ 0\right\} \exists q,\, r\in R$$
$$a=bq+r\&\left[r=0\vee\left|r\right|<\left|a\right|\right]$$
2.6.2. 유일인수분해환(unique factorization ring)
보통은 정역(domain) 조건과 함께 다루는데, 이 경우 유일인수분해정역(unique factorization; UFD)라 불린다.
환 $$R$$이 유클리드환이라 함은 다음이 성립하는 것이다.
모든 $$0\neq a\in R$$은 단원(unit) 및 인수의 순서를 제외하면 유일한 인수분해를 갖는다.
2.6.2.1. 관련된 정리들
$$R$$와 $$R\left[x\right]$$가 UFD임은 동치이다.
2.7. 포함 관계
여기서, $$\mathbb{Z}\left[\frac{1+\sqrt{-19}}{2}\right]\in\text{PID}-\text{ED}$$, $$\mathbb{Z}\left[x,y\right]\in\text{UFD}-\text{PID}$$[36], $$\mathbb{Z}\left[\sqrt {-5}\right]\in\text{domain}-\text{UFD}$$[37], $$\mathbb{Z}\left[x,y\right]\in\text{Notherian domain}-\text{PID}$$[38]$$\text{ED}\varsubsetneq\text{PID}\varsubsetneq\text{UFD}\varsubsetneq\text{domain}$$
$$\text{PID}\varsubsetneq\text{Notherian domain}$$
3. 곱환(product ring)
$$R$$, $$S$$가 환일 때 $$R\times S$$에 연산을 좌표별(componentwise)로 정의하면 $$R\times S$$ 역시 환이 되는데, 이런 식의 대수적 구조를 direct product라고 하므로 이런 환을 곱환이라 할 수 있다.
4. 부분환과 확장환
$$R$$이 환일 때, $$R$$의 부분집합 $$S$$가 $$R$$로부터 물려받은 연산에 관해 그 자신이 환이 되면 $$S$$를 $$R$$의 '''부분환(subring)'''이라 하고, 반대의 관계를 '''확장환(extension ring)'''이라 한다. $$S \leq R$$, $$R/S$$ 로 적는다.[39][주로]
이렇게만 정의해도 군의 성질에 의해 $$0_{S}=0_{R}$$을 쉽게 보일 수 있는데(사실 $$\mathbb{Z}$$ -가군으로 보면 더 쉽다), 문제는 곱셈의 항등원 $$1$$이다. 벡터공간이나 군에서는 없던 다음과 같은 극악한 문제가 있다.
$$\mathbb{Z} \times 0\mathbb{Z} \leq \mathbb{Z} \times 2\mathbb{Z} \leq \mathbb{Z} \times \mathbb{Z} $$
$$\mathbb{Z} \times 0\mathbb{Z}$$ 은 $$\left(1,0\right)$$ 곱셈의 항등원으로 갖고, $$\mathbb{Z}\times 2\mathbb{Z}$$ 은 $$1$$이 없고, $$\mathbb{Z}\times \mathbb{Z}$$은 $$\left(1,1\right)$$을 곱셈의 항등원으로 갖는다. 즉, $$1$$을 갖는 환의 부분환이 $$1$$이 없을 수도 있고, $$1$$이 없는 환의 부분환이 $$1$$을 가질 수도 있고, $$1$$을 갖는 환의 부분환이 $$1$$을 갖는데 그게 원래 환의 $$1$$과 다를 수도 있다!
환론에서는 $$1$$을 갖는 환만을 주된 연구의 대상으로 삼기도 하는데, 그 경우 이러한 복잡한 상황을 피하기 위해 $$S$$가 곱셈 항등원으로 $$1_{R}$$을 갖도록 제한해 버리기도 한다. 다만 이렇게 하면 이데알(ideal)은 부분환의 일종이 아니고 전혀 별개의 개념이 된다.[40] [41]한편, 이 문제는 $$R$$이 $$1$$을 갖는 환일 경우 $$R$$-가군 $$M$$을 정의할 때 왜 $$1\cdot x=x$$라는 조건이 필수적인지 설명해 준다($$R$$-가군 $$M$$의 $$R$$-스칼라배 구조와 아벨군 $$M$$의 $$\mathbb{Z}$$ -스칼라배 구조가 충돌하지 않기 위해서이다).
그나마 다행인 점은 $$R$$이 정역이면 $$1_{S}=1_{R}$$이 성립한다는 것이다. 이 또한 궁극적으로 소거법칙의 결과이다.[42]
부분환의 예로는 다음과 같은 것이 있다.
- $$ 0<2\mathbb{Z}<\mathbb{Z}<\mathbb{Q}<\mathbb{R}<\mathbb{C}<\mathbb{H} $$ 가 있다.
- 한편 잉여환 $$\mathbb{Z}/n\mathbb{Z}$$는 $$\mathbb{Z}$$ 의 준동형상(homomorphic image)이지, 부분환이 아니다.
- 환 $$R$$, $$S$$, $$T$$에 대해, $$S
부분환의 정의는 다음과 동치이다.임의의 $$\alpha\in I$$에 대해, $$S_{\alpha}<R$$이라 하자.[43]
$${\displaystyle \bigcap_{\alpha}}S_{\alpha}<R$$이다.
와 동치이다.1. $$\left( S,+\right)$$는 $$\left(R,+\right)$$의 부분군(subgroup)
2. $$\left(S,\cdot\right)$$는 $$\left(R,\cdot\right)$$의 부분반군(subsemigroup)
4.1. 부분환의 생성원
$$X\subset R$$에 대해, $$X$$를 포함하는 $$R$$의 가장 작은(smallest) 부분환을 $$X$$가 생성하는 부분환(subring generated by $$X$$)이라 하고, $$ \langle X \rangle $$ 로 적는다. 이 때, $$X$$는 $$\langle X \rangle$$의 생성원이라 한다.smallest가 아니고 minimal로 정의하기도 하는데, smallest로 정의하면 존재성이, minimal로 정의하면 유일성이 문제되나……
이러한 부분환 $$ \langle X \rangle $$의 존재성과 유일성은 $$\langle X \rangle = \bigcap_{X \subseteq S \leq R} S $$를 증명하면 보일 수 있다. 증명은 부분환의 교집합이 다시 부분환인 것만 보이면 충분한데, 앞에서 이미 보였다.
실제로 $$\langle X \rangle$$ 를 계산하려면 \langle X \rangle = $ {''X''의 모든 원소의 비가환다항식(non-commutative polynomial)}임을 증명하여야 한다. 이는 $$ X \subset S \leq R$$일 때마다 $$S$$에는 $$X$$의 모든 원소의 비가환다항식이 다 포함되어야 함을 증명하면 충분한데, 앞서의 부분환 정의의 동치 정리를 생각하면 거의 자명하다.
부분환 $$S\leq R$$이 $$1_{R}$$을 포함하도록 정의하는 경우에는, 위 동치 정리의 (ii)를 $$\left(S,\cdot,1_{R}\right)$$는 $$\left(R,\cdot,1_{R}\right)$$의 부분모노이드(submonoid)인 것”으로 바꾸고, $$X$$가 생성하는 부분환에서는 증명의 모든 $$X$$ 대신 $$X\cup\left\{1_{R}\right\}$$을 생각하면 되고, 나머지는 똑같다.
5. 이데알(ideal)[44]
이데알은 부분환의 일종이지만, 부분환에 한 가지 조건이 더 추가된다. 부분환과 이데알의 이런 관계는, 군론에서의 부분군과 정규부분군의 관계와도 닮았다. 실제로, 군을 정규부분군으로 잘라 군을 만들 듯이, 환을 이데알로 잘라 환을 얻는다. 하지만, 부분군과 부분환으로는 그것이 불가능하다.
5.1. 정의
부분환 $$I\subset R$$이 이데알이라 함은,
좌 이데알인 동시에, 우 이데알이면 양쪽 이데알(two side ideal)이라 부른다.[46]모든$$a\in R$$에 대해[45]
,* (좌 이데알(left ideal)) $$aI\subset I$$
* (우 이데알(right ideal)) $$Ia\subset I$$
다음이 성립한다.[47]
- 임의의 $$\alpha\in A$$에 대해, $$I_{\alpha}$$가 $$R$$의 이데알이라 하자.[48] $${\displaystyle \bigcap_{\alpha}}I_{\alpha}$$도 $$R$$의 이데알이다.
5.2. 이데알의 생성원
$$X\subset R$$에 대해, $$X$$를 포함하는 $$R$$의 가장 작은(smallest) 이데알을 $$X$$가 생성하는 이데알(ideal generated by $$X$$)이라 하고, $$ \left( X \right) $$ 로 적는다. $$X$$는 $$ \left( X \right) $$의 생성원이라 한다. smallest가 아니고 minimal로 정의하기도 하는데, smallest로 정의하면 존재성이, minimal로 정의하면 유일성이 문제되나……
이러한 부분환 $$ \left( X \right) $$의 존재성과 유일성은 $$\left( X \right) = \bigcap_{X \subset I \leq R} I $$를 증명하면 보일 수 있다. 증명은 부분환의 교집합이 다시 부분환인 것만 보이면 충분한데, 앞에서 이미 보였다. 이하 과정은 부분환의 그것과 동문이다.
5.3. 특별한 이데알들
이하에서, 환 $$R$$은 가환이고, 단위원 $$1$$을 갖는다고 가정한다.
5.3.1. 소 이데알(prime ideal)
5.3.1.1. 정의
$$R$$의 이데알 $$P \subsetneq R$$가 $$R$$의 소 이데알이라 함은 다음이 성립하는 것이다.
임의의 $$a,b\in R$$에 대해, $$ab\in P$$이면, $$a\in P$$ 또는 $$b\in P$$이다.[49]
5.3.1.2. 관련된 정리들
- Eisenstein's criterion
$$R$$이 정역, $$P$$가 $$R$$의 소 이데알이라 하자. $$f=\sum a_{i}x^{i}$$에 대해,
* $$\forall i<n a_{i}\in P$$
* $$a_{n}\notin P$$
* $$a_{0}\notin P^{2}$$
이면, $$f$$는 irreducible이다.
- 소원의 이데알은 소 이데알이다.
5.3.2. 으뜸 이데알(primary ideal)
으뜸 이데알은 소이데알의 조건을 약화시킨 것이다.
5.3.2.1. 정의
$$R$$의 이데알 $$Q$$가 $$R$$의 으뜸 이데알이라 함은 다음이 성립하는 것이다.
임의의 $$a,b\in R$$에 대해, $$ab\in P$$이면, $$a\in P$$ 또는 $$\exists n\geq 1,\,b^{n}\in P$$이다.
5.3.3. 극대 이데알(maximal ideal)
$$R$$의 이데알 $$M \subsetneq R$$이 $$R$$의 극대 이데알이라 함은 다음이 성립하는 것이다.
일반적으로 Maximal은 더 이상 큰 것이 없다는 뜻이지만, 이데알에서 이런 식으로 정의하면 그냥 원래 환 $$R$$이 되어버려 아무 의미가 없어지기 때문에 $$R$$은 빼놓고 생각하는 것이다. 1을 소수가 아니라고 하는 것과 같은 이치이다.임의의 이데알 $$M \subset I \subset R$$에 대해, $$I=R$$또는, $$I=M$$이다.[50]
5.3.4. 관련된 정리들
- 극대 이데알의 몫환은 체이다
- (비가환 환에서도) 모든 이데알은 극대 이데알의 부분집합이다.[51]
- (비가환 환에서도) 극대 이데알을 갖는다.
- PID 위에서, 기약원의 이데알은 극대 이데알이다.
6. 몫환(factor ring / quotient ring)
환 $$R$$과 그것의 이데알 $$I$$를 생각하자. $$R/I:=\left\{a+I:a\in R\right\}$$에 대해 연산을 다음과 같이 정의할 때, $$R/I$$는 다시 환을 이룬다.[52]
여기서 합동식 $$\text{mod} I$$를 $$a\equiv b \left(\text{mod} I\right)$$(간단히 쓰자면, $$a\equiv b \left(I\right)$$)를 $$a+I=b+I$$로 정의할 수 있다. [53](덧셈)$$\left(a+I\right)+\left(b+I\right)=\left(a+b\right)+I$$
(곱셈)$$\left(a+I\right)\cdot\left(b+I\right)=\left(a\cdot b\right)+I$$
6.1. 중국인의 나머지 정리('''C'''hinese '''r'''emainder '''t'''heorem; CRT)
이를 와닿게 표현하자면, 임의의 $$a_{i}\in R$$에 대해 합동 연립방정식 $$x\equiv a_{i}\left(I_{i}\right)$$의 해가 존재함을 의미한다. 이는 정수환 $$\mathbb{Z}$$에 대해, $$\left\{ \begin{array}{c}x\equiv2\left(6\right)\\x\equiv1\left(4\right)\end{array}\right.$$의 해가 없는 것과 대조적이다.[55]단위원을 갖는 가환환 $$R$$과 그것의 이데알 $$I_{1},\ldots,\, I_{n}$$을 생각하자. $$\left\{I_{i}:i=1,\ldots,\,n\right\}$$이 comaximal[54]
하다고 하자. 그러면, $$R/\left({\displaystyle \bigcap_{i}}I_{i}\right)\cong{\displaystyle \prod_{i}}\left(R/I_{i}\right)$$이다.
[1] 1을 갖는 환(ring with 1), unital ring 등 다양한 이름으로 불린다.[2] 이데알 참조[3] 보통은 정역(domain) 조건과 함께 다루는데, 이 경우 주이데알 정역(principal dieal domain; PID)라 불린다.[4] 보통은 정역(domain) 조건과 함께 다루는데, 이 경우 유클리드정역(Euclidean domain; ED)라 불린다.[5] ideal을 독일식으로 읽은게 이데알, 영어식으로 읽은게 아이디얼이다.[6] 사실 ring을 이렇게 번역하는 것도 어폐가 있는데, ring의 어원이 '반지'가 아닌 'ring of thieves'에서와 같이 '무리'를 뜻하기 때문이다. 그러나 똑같이 '무리'를 뜻하는 수학용어로 군(群; group)도 있다는 게 함정이다.[7] 대수학에서는 어떤 대수적 구조를 다루든 해당 연산에서 결합법칙이 성립해야 함은 기본 중의 기본으로 여긴다.[8] $$0'$$도 덧셈의 항등원이면 $$0 = 0+0' = 0'$$이므로 유일하다.[9] $$y $$도 $$a $$의 역원이면 $$x = x+0 = x+\left(a+y\right) = \left(x+a\right)+y = 0+y =y $$이므로 유일하다.[10] 이 연산에 대해서는 '교환법칙'을 만족할 필요가 없다. 교환법칙까지 만족할 경우 '가환환'이 된다. 실제로 사원수는 '환'이지만 곱셈의 교환법칙은 성립하지 않기에 '비가환환'이다.[11] $$\cdot$$에 대하여 $$R$$이 모노이드가 아니라 반군(semigroup)을 이룬다면 $$\left(R, +, \cdot\right)$$을 유사환(rng 또는 pseudo ring)이라 한다.[12] $$\cdot$$에 대하여 $$R$$이 반군(semigroup)을 이루는 것을 환이라고 정의하는 학자들도 있다. 그 이유는, 그렇게 하지 않으면 환론에서 중요한 아이디얼이 환이 아니게 되기 때문이다.[13] 책에 따라서 이 조건이 없는 경우도 있다. 이 경우 위 조건의 '모노이드'는 '반군(semigroup)'이 된다.[14] 덧셈에 대한 역원이 존재하지 않는다.[15] 자명하게, 이는 곱셈군을 이룬다.[16] 환 $$R$$ 위의 $$n$$차 정사각행렬들의 모임.$$n\geq 2$$면 대개 비가환이다.[17] 덧셈에 관해서는 이미 가환이다.[18] 1을 갖는 환(ring with 1), unital ring 등 다양한 이름으로 불린다.[19] 만일 [math(0)]이 곱셈의 항등원이라면 환의 임의의 원소 $$a$$에 대해 $$a = a\cdot 1 = a\cdot 0 = 0$$이므로 그러한 환은 자명환(trivial ring) [math(0)]밖에 없다. 이런 환을 연구할 가치는 없고, 이런 환의 존재를 염두하고 매번 $$1\ne 0$$이라고 적는 것도 시간·공간 낭비이므로 차라리 처음부터 [math(0)]은 곱셈의 항등원이 될 수 없다고 하는 편이 경제적이다.[20] $$1$$과 $$1'$$이 모두 곱셈의 항등원이면, $$1 = 1\cdot 1' = 1'$$이므로 유일하다.[21] ring에서 항등원(identity)의 i가 빠졌다고 붙은 이름이다.[22] 곱셈의 역원을 취할 수 있어, 나눗셈이 가능하므로 [23] 0을 영인자로 인정하는 책도 있고, 아닌 책도 있다.[24] 이데알(Ideal)과 양쪽 이데알(two-sided ideal)은 같은 의미로 쓰이지만, 영인자는 그렇지 않음에 주의할 것.[25] 행렬식이 0이 아니라면 영원이 존재하지 않는다.[26] 이미 알고 있고, 언급한 것과 같이 행렬에는 영원이 존재한다. [27] 모든 $$a,b\in D$$에 대해, $$ab\in D$$ [28] 정역이고, $$0\neq d$$이므로 $$0\notin D$$[29] 소이데알의 정의에서, $$D$$는 곱셈적이다. 그리고 $$0\in P$$에서, $$0\notin D$$[30] 정수에서 유리수를 이 방법으로 얻는다. [31] 이데알 참조[32] 보통은 정역(domain) 조건과 함께 다루는데, 이 경우 주이데알 정역(principal dieal domain; PID)라 불린다.[33] 정의에서 자명하게, 주이데알환은 뇌터환이다. [34] 보통은 정역(domain) 조건과 함께 다루는데, 이 경우 유클리드정역(Euclidean domain; ED)라 불린다.[35] 여기서, $$\left|\cdot\right|$$는 norm이라 불리고, 이 성질은 유클리드 알고리듬(Euclidean algorithm)이라 한다. 정수의 최대공약수를 구하는 그 알고리듬 맞다. [36] $$\left(x,y\right)\neq\left(f\right)$$ [37] $$6=\left(1+\sqrt {-5}\right)\left(1-\sqrt {-5}\right)=2\cdot 3$$지만, $$1+\sqrt {-5}$$, $$1-\sqrt {-5}$$, $$2$$, $$3$$은 모두 기약원이다. [38] Hilbert의 basis theorem에 의해 [39] 두 표현법을 굳이 구분하자면, $$\leq$$는 부분환을, $$/$$는 확장환을 강조하는 뉘앙스다.[주로] 체의 확장을 다룬다.[40] 이 경우 이데알이면서 부분환인 것은 $$R$$ 자기자신밖에 없다는 명제가 성립하다.[41] 때문에, 이때에는 R을 자기자신 위의 가군으로 보았을때 부분가군을 이데알이라 정의한다.[42] $$S$$에서의 등식 $$1_{S}\cdot 1_{S}=1_{S}$$와 $$R$$에서의 등식 $$1_{S}\cdot 1_{R}=1_{S}$$를 이어붙인 뒤 양변에서 $$1_{S}$$를 소거하면 된다. 이는 부분군에서의 증명과 같다.[43] 즉, $$\left\{S_{\alpha}\right\}$$은 $$R$$의 부분환들 중 일부를 모은 것이다. [44] ideal을 독일식으로 읽은게 이데알, 영어식으로 읽은게 아이디얼이다.[45] $$xS:=\left\{xs:s\in S\right\}$$라 정의한다. $$Sx$$는 반대방향으로 마찬가지이다.[46] 가환환이면, 좌 이데알과 우 이데알의 구분이 없다. [47] 좌-, 우-, 양쪽- 이데알에 대해 [48] 즉, $$\left\{I_{\alpha}\right\}$$은 $$R$$의 이데알들 중 일부를 모은 것이다. [49] 이는 정수환에서, 소수 $$p$$에 대해, $$p\mid ab$$이면 $$p\mid a$$ 또는 $$p\mid b$$인 것과 연관지어 생각해 볼 수 있다. 실제로 정수환 $$\mathbb Z$$의 소 이데알은 $$p$$가 소수일 때,$$p\mathbb Z$$들 뿐이다.[50] 이는 정수환에서, 소수 $$p$$에 대해, $$\left( p\right)\subset I \subset \mathbb{Z}$$이면 $$I=\left( p\right)$$또는 $$I=\left(1\right)=\mathbb{Z}$$인 것과 연관지어 생각해 볼 수 있다. [51] 선택공리와 동치이다.[52] 언뜻 보면, 자연스러운 정의이다. 그러나 잘 정의됨(well-defineness)을 확인해야 한다. 예컨대, 부분환 조건만으로는, $$\left(a+I\right)=\left(a'+I\right)$$, $$\left(b+I\right)=\left(b'+I\right)$$이지만, $$\left(a\times b\right)+I\neq\left(a'\times b'\right)+I$$일 수도 있다. 이데알을 정의한 것이, 잘 정의됨을 위한 것이라 생각하면 편하다.[53] 이것이 정수환의 합동식 개념을 확장시킨 것임을 굳이 언급하지 않겠다. [54] 임의의 $$i\ne j$$에 대해, $$I_{i}+I_{j}=R$$[55] $$\left(4\right)+\left(6\right)=\left(2\right)\ne \mathbb{Z}$$로 comaximality를 갖지 않기 때문에 벌어지는 현상이다.