동차다항식

틀:위키데이터 속성 추적 대수학에서 동차다항식(同次多項式, 틀:Lang)은 모든 계수가 영이 아닌 항의 차수가 같은 다변수 다항식이다. 예를 들어, $x,y$에 대한 다항식 $x^3+3x^{2}y+2x{y}^2-y^3$은 각 항의 차수가 지수의 합에서 3으로 같으므로 동차다항식이다.

동차다항식의 근의 집합은 사영 공간에서 사영 대수다양체를 이룬다.

정의

환(또는 체) $R$ 위의 $n$변수 다항식

$f(x_1,x_2,\dots ,x_n)=\sum _{i\in I\subset {\mathbb{N}}^n}{a}_i{x}_1^{i_1}\cdots x_n^{i_n}$

이 서로 동치인 두 성질

• $a_i\ne 0$이면 $\sum i=k$
• 임의의 $\lambda \in R$에 대해 $f(\lambda x_1,\lambda x_2,\dots ,\lambda x_n)={\lambda }^{k}f(x_1,x_2,\dots ,x_n)$

($k$는 음이 아닌 정수)중 하나를 만족한다면, $k$차 동차다항식라고 한다.

성질

• 임의의 다항식은 동차다항식의 합으로 표현된다. 영이 아닌 다항식의 표현은 $f=f_0+\cdots +f_{\mathrm{deg}f}$와 같다. $f_k$를 $f$의 $k$차 동차성분(同次成分, 틀:Lang)이라고 한다.
• 동차다항식의 비자명 인수는 모두 동차다항식이다.

준동차다항식

만약 음이 아닌 정수 $k,p_1,p_2,\dots ,p_n$가 존재하여, $f$가 모든 $\lambda \in R$에 대하여

${\lambda }^{k}f(x_1,x_2,\dots ,x_n)=f({\lambda }^{p_1}{x}_1,{\lambda }^{p_2}{x}_2,\dots ,{\lambda }^{p_n}{x}_n)$

의 꼴이라면, $f$를 준동차다항식(틀:Lang)이라 한다. 동차다항식은 준동차다항식이 $p_i=1$인 경우이다.

같이 보기

• 힐베르트 다항식
• 극성화와 반환
• 주표상