대수학에서 다항식환(多項式環, 영어: polynomial ring)은 어떤 주어진 환을 계수로 하는 다항식들로 구성된 환이다.
환
에 대한 다항식환
는 집합으로서
![{\displaystyle \{p\in R^{\mathbb {N} }\colon |\{n\in \mathbb {N} \colon p_{n}\neq 0\}|<\aleph _{0}\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17c5c024d03d431304824674b84e5d4f1181e9fe)
이다. 이 집합의 원소를 다항식이라고 한다. 각 원소
를
![{\displaystyle p(x)=\sum _{n=0}^{\infty }p_{n}x^{n}=p_{0}+p_{1}x+p_{2}x^{2}+\cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc417d60b7979b5698ac1a9ebe4ce40c57706131)
으로 쓰자. 이 집합에서 덧셈
![{\displaystyle p(x)+q(x)=\sum _{n=0}^{\infty }(p_{n}+q_{n})x^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d81174e102bd49141e25df66c0cb65b7c7d0f6a6)
은 성분에 따른 합이며, 또한 자연스럽게 좌·우
-가군 구조가 존재한다.
![{\displaystyle rp(x)=\sum _{n=0}^{\infty }rp_{n}x^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8ff15b31fb84a79d3fcad34dc1d45b3e0055bc2)
![{\displaystyle p(x)r=\sum _{n=0}^{\infty }p_{n}rx^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1edb45b9a96d35e1070f580f192542f3d8f8f8ad)
또한,
에는 다음과 같은 환의 구조가 존재한다.
![{\displaystyle p(x)q(x)=\sum _{n=0}^{\infty }\sum _{k=0}^{n}p_{k}q_{n-k}x^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66bce0e1a1a4098f7600e385a95a25d583a9fab9)
다변수 다항식환(多變數多項式環, 영어: polynomial ring in several variables)
은
과 같다. 다변수 다항식환의 각 원소
는
![{\displaystyle p(x_{1},\dots ,x_{n})=\sum _{n_{1}=0}^{\infty }\cdots \sum _{n_{k}=0}^{\infty }p_{n_{1},\dots ,n_{k}}x_{1}^{n_{k}}\cdots x_{k}^{n_{k}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/087b1a44d25268a531c244e629ed062368a65144)
로 표기한다.
다항식
의 차수(次數, 영어: degree)는
![{\displaystyle \deg p=\max\{n\in \mathbb {N} \colon p_{n}\neq 0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d3a503f5df3f154d8e945c6d84de413ce13091b)
이다. 다항식 0의 차수는 정의되지 않는다 (일부 문헌은
또는
을 사용한다).
보다 일반적으로, 다변수 다항식
의 차수는
![{\displaystyle \deg p=\max\{n_{1}+\cdots +n_{k}\colon p_{n_{1},\dots ,n_{k}}\neq 0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1308aafe91b1d0a89762ab2b9c696b19f6d5dff9)
이다.
다항식
(또는 다변수 다항식
)가 주어졌고, 편의상
라고 하자. 그렇다면 다음 성질들이 성립한다.
![{\displaystyle \deg(p+q)\leq \max\{\deg p,\deg q\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7de0351f759e9925917a4cc8c1045bf58963b0ea)
- 만약
라면, ![{\displaystyle \deg(p+q)=\max\{\deg p,\deg q\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e7f13786ceea70997079c32fa390925d62c14a4a)
![{\displaystyle \deg(pq)\leq \deg p+\deg q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84d29a5dcaf7ed5b45f681c2e4a642eb558facda)
- 만약
가 영역이라면, ![{\displaystyle \deg(pq)=\deg p+\deg q}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1cfe9fa2c601a3763616a63f1be9867846a95550)
다항식
의 근(根, 영어: root)은
을 만족시키는 환의 원소
를 뜻한다. 이 경우
를 만족시키는 최대의 정수
을 근
의 중복도(重復度, 영어: multiplicity)라고 한다. 중복도가 1인 근을 단순근(單純根, 영어: simple root)이라고 하고, 중복도가 2 이상인 근을 다중근(多重根, 영어: multiple root)이라고 한다.
가환환
를 계수로 하는 다항식
및 환의 원소
가 주어졌다고 하자. 인수 정리에 따르면, 다음 두 조건이 서로 동치이다.
는
의 근이다.
![{\displaystyle x-r\mid p(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/758ebd1f953ffa9baae3805b19d393d89a3291eb)
가환환
를 계수로 하는 다항식
의 근
에 대하여, 다음 두 조건이 서로 동치이다.
는
의 단순근이다.
![{\displaystyle p'(r)\neq 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fba560a5650ac965786e639bc8a8a0a23df256f5)
표수
의 체
를 계수로 하는 다항식
의 근
의 중복도가
이라고 하자. 그렇다면, 다음이 성립한다.
- 만약
이라면,
에 대한
의 중복도는
이다.
- 만약
이라면,
에 대한
의 중복도는
이상이다.
특히, 만약
이거나
이라면,
에 대한
의 중복도는
![{\displaystyle m=\min\{k\in \mathbb {Z} ^{+}\colon p^{(k)}(a)\neq 0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b7445f40ef7a1569702d1a5071be6ab73537a49)
이다.
대수적으로 닫힌 체
를 계수로 하는 다항식
에 대하여, 다음 두 조건이 서로 동치이다.
는 다중근을 가진다.
![{\displaystyle \gcd\{p(x),p'(x)\}\neq 1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6fcf09716c8106d4f128da174b839bfa3440a556)
대수적으로 닫힌 체
를 계수로 하는 기약 다항식
에 대하여, 다음 두 조건이 서로 동치이다.
는 다중근을 가진다.
![{\displaystyle p'(x)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70a966b9386001ab95246a3d0ee28e227ff4e541)
체
를 계수로 하는 기약 다항식
가 주어졌고,
의 대수적 폐포가
라고 하자. 만약
의 표수가 0이거나,
가 유한체라면,
는
에서 다중근을 갖지 않는다 (즉,
는 분해 가능 다항식이다).
환론적 성질[편집]
환
에 대하여,
- 만약
가 가환환이라면,
역시 가환환이다.
- 만약
가 영역이라면,
역시 영역이다.
- 만약
가 정역이라면,
역시 정역이다.
- 만약
가 유일 인수 분해 정역이라면,
역시 유일 인수 분해 정역이다.
- (힐베르트 기저 정리) 만약
가 가환 뇌터 환이라면,
역시 가환 뇌터 환이다.
- 만약
가 체라면,
는 유클리드 정역이다.
영역
를 계수로 하는 다항식
에 대하여, 다음 두 조건이 서로 동치이다.
는
의 가역원이다.
이며,
는
의 가역원이다.
보편 성질[편집]
다항식환은 다음과 같은 보편 성질을 만족시킨다. 임의의 가환환
,
및 환 준동형
및 원소
에 대하여, 다음 두 조건을 만족시키는 유일한 환 준동형
가 존재한다.
![{\displaystyle {\widetilde {\phi }}|_{R}=\phi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/16f2d7e21f743fa16250a2a26b51ac5c5d697d88)
![{\displaystyle \phi (x)=s}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3513702c8509d114e19dc0eb429b607e69f058d)
특히, 다음 그림이 가환한다.
![{\displaystyle {\begin{matrix}R&\hookrightarrow &R[x]\\&{\scriptstyle \phi }\searrow &\downarrow {\scriptstyle {\widetilde {\phi }}}\\&&S\end{matrix}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a960f07af53988de8ea012268644b5b7a5cc33a8)
구체적으로,
![{\displaystyle {\widetilde {\phi }}\colon p(x)\mapsto \sum _{n=0}^{\infty }\phi (p_{n})s^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0542d3b3309c3dcf0cbbc8fed1aff44c9687588d)
이다.
같이 보기[편집]
참고 문헌[편집]
외부 링크[편집]