단항 대칭 다항식 (monomial symmetric polynomial)
둘러보기로 이동
검색으로 이동
개요
- 대칭다항식의 예
정의
- 변수의 개수 <math>n</math>과 <math>d</math>의 (0을 허용하며, 크기가 <math>n</math>인) 분할(partition) <math>\lambda</math>가 주어지면 <math>d</math>차 다항식 <math> m_\lambda(x_1,\ldots,x_n)</math> 이 결정된다
- 분할 <math>\lambda</math>의 크기가 <math>n</math>보다 큰 경우, <math>m_{\lambda}=0</math>
- <math>d</math>의 (크기가 <math>n</math>인) 분할 :<math>\lambda: \lambda_1 \geq \lambda_2 \geq \cdots \geq \lambda_n\geq 0</math>
- 다음과 같이 <math>n\times n</math> 행렬의 행렬식으로 두 다항식을 정의하자
- 단항 대칭 다항식은 다음과 같이 정의된다
- <math>m_{\lambda} = \sum_{\alpha}\mathbb{x}^{\alpha}</math>
여기서 합은 <math>\lambda=(\lambda_1,\lambda_2,\cdots,\lambda_n)</math>의 서로 다른 순열 (permutation) <math>\alpha=(\alpha_1,\cdots, \alpha_n)</math>에 대하여 행하며, <math>\mathbb{x}^{\alpha}=x_1^{\lambda_1}x_2^{\lambda_2}\cdots x_n^{\lambda_n}</math>
예
변수의 개수가 3이고, 2의 분할인 경우
- <math>
\begin{array}{c|c} \lambda & m_{\lambda } \\ \hline \{2\} & x_1^2+x_2^2+x_3^2 \\ \{1,1\} & x_1 x_2+x_3 x_2+x_1 x_3 \\ \end{array} </math>
변수의 개수가 3이고, 4의 분할인 경우
- <math>
\begin{array}{c|c} \lambda & m_{\lambda } \\ \hline \{4\} & x_1^4+x_2^4+x_3^4 \\ \{3,1\} & x_2 x_1^3+x_3 x_1^3+x_2^3 x_1+x_3^3 x_1+x_2 x_3^3+x_2^3 x_3 \\ \{2,2\} & x_1^2 x_2^2+x_3^2 x_2^2+x_1^2 x_3^2 \\ \{2,1,1\} & x_2 x_3 x_1^2+x_2 x_3^2 x_1+x_2^2 x_3 x_1 \\ \{1,1,1,1\} & 0 \\ \end{array} </math>
관련된 항목들