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

2012년 8월 26일 (일) 04:06 판

\(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)}=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}\)

@@ 8번째 줄: / 8번째 줄: @@
 * <math>C_\mathbf{i}}=(1^{i_1},2^{i_2},\cdots,m^{i_m})</math> conjugacy class in <math>S_{m}</math> where <math>i_1+2i_2+\cdots mi_m=m</math>
-* <math>\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}</math><br> 여기서 <math>\chi_{\lambda}</math> 는 character, <math>S_{\lambda}</math> 는 [[슈르 다항식(Schur polynomial)]]<br>
+*  프로베니우스 공식<br><math>\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}</math><br><math>\lambda</math> 는 크기가 m인 영 다이어그램(또는 m의 분할)<br> 여기서 <math>\chi_{\lambda}</math> 는 character, <math>S_{\lambda}</math> 는 [[슈르 다항식(Schur polynomial)]]<br>
@@ 16번째 줄: / 16번째 줄: @@
 <h5>예</h5>
-* 대칭군 <math>S_3</math> 의 chara
+* 대칭군 <math>S_3</math> 의 character table