기약 다항식

수학에서 기약 다항식(旣約多項式, irreducible polynomial)은 더 낮은 차수의 다항식의 곱으로 나타낼 수 없는 다항식이다.

**정의**
기약 다항식은 다항식환의 기약원을 뜻한다. 구체적으로, 정역 를 계수로 하는 다항식 가 다음 세 조건을 모두 만족시키면, 기약 다항식이라고 한다.- 는 가역원이 아니다.- 임의의 에 대하여, 만약 라면, 가 가역원이거나 가 가역원이다.
가 체인 경우, 0이 아닌 상수 다항식은 가역원이므로, 다음 두 조건이 동치이다.- 는 기약 다항식이다.- 다음 두 조건을 만족시킨다.
*** 는 더 낮은 차수의 두 다항식의 곱으로 나타낼 수 없다. 즉, 만약 이며 라면, 이거나 이다.

**원시 다항식**
유일 인수 분해 정역 를 계수로 하는 다항식 의 내용(內容, content)은 다음과 같다.

즉, 내용은 다항식의 계수들의 최대 공약수이다.
원시 다항식(原始多項式, primitive polynomial)은 내용이 가역원인 다항식이다. 즉, 계수들이 자명하지 않은 공약수를 가지지 않는 다항식이다.

**성질**

**복소수 계수 기약 다항식**
대수학의 기본 정리에 따라, 복소수체에 대한 다항식환에서의 기약 다항식은 1차 다항식뿐이다.

**실수 계수 기약 다항식**
실수체 위의 모든 기약 다항식은 1차 다항식과 판별식이 0보다 작은 2차 다항식뿐이다.
1차 다항식의 기약성: 어떤 실수 계수 1차 다항식이 기약 다항식이 아니라고 가정하자. 그렇다면 이 다항식은 두 1차 이상의 다항식의 곱으로 분해되므로, 2차 이상이게 되며, 이는 모순이다.
판별식이 0보다 작은 2차 다항식의 기약성: 어떤 판별식이 0보다 작은 2차 다항식이 기약 다항식이 아니라고 하자. 그렇다면 이 다항식은 두 실수 계수 1차 다항식으로 분해되므로, 실수 영점을 가지며, 판별식은 0보다 작지 않게 되며, 이는 모순이다.
판별식이 0보다 작지 않은 2차 다항식의 비기약성: 판별식이 0보다 작지 않은 2차 다항식은 실수 영점을 가지며, 두 1차 다항식의 곱으로 분해되므로, 기약 다항식이 아니다.
3차 이상의 다항식의 비기약성: 가 3차 이상의 다항식이라고 하자. 그렇다면, 대수학의 기본 정리에 따라 복소수 영점 가 존재한다. 만약 라면, 이므로 는 기약 다항식이 아니다. 만약 이라면, 그 켤레 복소수  역시 영점인데, 이는 이기 때문이다. 따라서, 이므로, 는 기약 다항식이 아니다.

**정수 계수 기약 다항식**
정수 계수의 경우는 복소수나 실수 계수의 경우보다 복잡하다. 정수 계수 다항식의 경우, 에서의 기약성과 에서의 기약성이 서로 다른 개념임에 주의하자. 또한, 복소수·실수 계수와 달리 기약성을 판단하는 간단한 필요충분조건은 존재하지 않는다. 정수환은 유일 인수 분해 정역의 특수한 경우이며, 정수환에 대한 결과들은 유일 인수 분해 정역에서도 평행하게 존재한다. 
두 원시 다항식의 곱은 원시 다항식이다. 즉, 유일 인수 분해 정역 를 계수로 하는 다항식 에 대하여, 다음이 성립한다.

이를 가우스 보조정리(Gauß補助定理, Gauss's lemma)라고 한다.
두 원시다항식  의 곱

이 원시다항식이 아니라고 가정하자. 그러면 어떤 소수 가 의 공약수로 존재한다.

라고 하면,  이고, 임의의  에 대해 각각  이다. 의 전개에서,  외의 남은 항 는  또는 를 만족하므로(그렇지 않으면 이어서 모순이다), 모두 이다. 도 성립함에 따라 이다. 따라서  또는 이며, 이는 모순이다. 그러므로 가정은 참이 아니며, 는 원시다항식이다.
유일 인수 분해 정역 를 계수로 하는 다항식 에 대하여, 다음 두 조건이 서로 동치이다.- 는 의 기약원이다. (는 분수체)- 는 더 낮은 차수의 두  계수 다항식의 곱으로 나타낼 수 없다.
또한, 다음 두 조건이 서로 동치이다.- 는 의 기약원이다.- 다음 두 조건 가운데 하나가 성립한다.
** 는 의 기약원이다.
** 는 원시 다항식이며, 의 기약원이다.
유일 인수 분해 정역을 계수로 하는 다항식이 기약 다항식일 충분조건을 제시하는 정리들로는 다음이 있다.- 유리근 정리- 아이젠슈타인 판정법- 축소 판정법

**예**
체의 경우, 모든 1차 다항식은 기약 다항식이다. 체  계수 2차 및 3차 다항식이 기약 다항식일 필요충분조건은  속에서 근을 갖지 않는 것이다. 유리수 계수 4차 다항식

은 유리근을 갖지 않지만, 기약 다항식이 아니다.
체 계수 다항식환에서의 기약성과 그 확대체의 다항식환에서의 기약성은 일반적으로 다르다. 큰 다항식환의 기약 다항식은 (작은 다항식환에 속하는 경우) 작은 다항식환에서도 기약 다항식이지만, 작은 다항식환의 기약 다항식은 큰 다항식환에서 추가적으로 인수 분해될 수 있다.- 유리수 계수 다항식 은 의 기약 다항식이지만, 에서 기약 다항식이 아니다.- 실수 계수 다항식 는 의 기약 다항식이지만, 에서 기약 다항식이 아니다.
정수 계수 다항식

은 유리수 계수 기약 다항식이지만, 2와 이 의 기약원이므로, 이 다항식은 의 기약원이 아니다.
2는 의 기약원이지만, 에서는 가역원이므로 의 기약 다항식이 아니다.

**xn - a**
(임의의 표수의) 체  및 양의 정수  및 에 대하여, 다음 두 조건이 서로 동치이다.297, Theorem 9.1- 는 의 기약 다항식이다.- 다음 두 조건을 만족시킨다.
** 임의의 소수 에 대하여, 인 는 존재하지 않는다.
** 만약 이라면, 인 는 존재하지 않는다.

**같이 보기**
 유리근 정리- 아이젠슈타인 판정법- 콘의 기약성 기준

**참고 문헌**

**외부 링크**
 title=가우스의 보조정리(Gauss's lemma)
** title=아이젠슈타인 기약다항식 판정법- title=Irreducible polynomial
** title=Primitive polynomial- title=Irreducible polynomial
** title=Primitive polynomial
** title=Rational zero theorem
** title=Eisenstein's irreducibility criterion- title=Irreducible polynomial- title=Irreducible polynomial
** title=Irreducible polynomials over finite field
** title=Irreducible polynomials obtained from biquadratic fields
** title=Content of polynomial
** title=Rational root theorem
** title=Factorization of primitive polynomial
** title=Proof of rational root theorem
** title=Gauss' lemma
** title=Gauss’s lemma II
** title=Eisenstein criterion
** title=Proof of Eisenstein criterion
** title=Example of using Eisenstein criterion
분류:대수학
분류:다항식