"대칭군의 지표(character)에 대한 프로베니우스 공식"의 두 판 사이의 차이

수학노트
둘러보기로 가기 검색하러 가기
20번째 줄: 20번째 줄:
 
* 대칭군 <math>S_3</math> 의 character table
 
* 대칭군 <math>S_3</math> 의 character table
  
 
+
\begin{array}{c|ccc}
 +
  & \{1^3,2^0,3^0\} & \{1^1,2^1,3^0\} & \{1^0,2^0,3^1\} \\
 +
\hline
 +
\{3\} & 1 & 1 & 1 \\
 +
\{2,1\} & 2 & 0 & -1 \\
 +
\{1,1,1\} & 1 & -1 & 1
 +
\end{array}
  
{| class="dataTable2" style=""
 
|-
 
|  
 
| (3)
 
| (2,1)
 
| (1,1,1)
 
|-
 
| <math>(1^3)</math>
 
| 1
 
| 2
 
| 1
 
|-
 
| <math>(1^1,2^1)</math>
 
| 1
 
| 0
 
| -1
 
|-
 
| <math>(3^1)</math>
 
| 1
 
| -1
 
| 1
 
|}
 
 
 
 
  
 
<math>S_{(3)}=x_1 x_2 x_3+\left(x_1+x_2+x_3\right){}^3-2 \left(x_1+x_2+x_3\right) \left(x_1 x_2+x_1 x_3+x_2 x_3\right)</math>
 
<math>S_{(3)}=x_1 x_2 x_3+\left(x_1+x_2+x_3\right){}^3-2 \left(x_1+x_2+x_3\right) \left(x_1 x_2+x_1 x_3+x_2 x_3\right)</math>

2012년 11월 30일 (금) 15:52 판

이 항목의 수학노트 원문주소

 

 

 

개요

  • \(C_{\mathbf{i}}=(1^{i_1},2^{i_2},\cdots,m^{i_m})\) conjugacy class in \(S_{m}\) where \(i_1+2i_2+\cdots mi_m=m\)
  • 프로베니우스 공식
    \(\left(\sum_{l=1}^{m} x_l\right)^{i_1}\left(\sum_{l=1}^{m} x_l^2\right)^{i_2}\cdots \left(\sum_{l=1}^{m} x_l^m\right)^{i_m}=\sum_{\lambda}\chi_{\lambda}(C_{\mathbf{i}})S_{\lambda}\)
    \(\lambda\) 는 크기가 m인 영 다이어그램(또는 m의 분할)
    여기서 \(\chi_{\lambda}\) 는 character, \(S_{\lambda}\) 는 슈르 다항식(Schur polynomial)

 

 

  • 대칭군 \(S_3\) 의 character table

\begin{array}{c|ccc} & \{1^3,2^0,3^0\} & \{1^1,2^1,3^0\} & \{1^0,2^0,3^1\} \\ \hline \{3\} & 1 & 1 & 1 \\ \{2,1\} & 2 & 0 & -1 \\ \{1,1,1\} & 1 & -1 & 1 \end{array}


\(S_{(3)}=x_1 x_2 x_3+\left(x_1+x_2+x_3\right){}^3-2 \left(x_1+x_2+x_3\right) \left(x_1 x_2+x_1 x_3+x_2 x_3\right)\)

\(S_{(2,1)}=\left(x_1+x_2\right) \left(x_1+x_3\right) \left(x_2+x_3\right)\)

\(S_{(1,1,1)}=x_1 x_2 x_3\)

 

\(S_{(3)}+2S_{(2,1)}+S_{(1,1,1)}=\left(x_1+x_2+x_3\right){}^3\)

\(S_{(3)}+0\cdot S_{(2,1)}-S_{(1,1,1)}=\left(x_1+x_2+x_3\right) \left(x_1^2+x_2^2+x_3^2\right)\)

\(S_{(3)}-1S_{(2,1)}+S_{(1,1,1)}=x_1^3+x_2^3+x_3^3\)

 

 

역사

 

 

 

메모

\(\prod_{j}P_{j}(x)^{i_j}=\sum_{\lambda}\chi_{\lambda}(C_{\mathbf{i}})S_{\lambda}\)

 

 

관련된 항목들

 

 

수학용어번역

  • 지표, character - 대한수학회 수학용어집



 

 

매스매티카 파일 및 계산 리소스

 

 

사전 형태의 자료

 

 

리뷰논문, 에세이, 강의노트