"대칭군 S3"의 두 판 사이의 차이
Pythagoras0 (토론 | 기여) (새 문서: ==개요== * 원소의 개수가 3인 집합의 전단사함수들로 이루어진 크기가 6인 군 * 원소는 다음과 같다 $$ \begin{array}{c} \left( \begin{array}{ccc} 1 &...) |
Pythagoras0 (토론 | 기여) |
||
| (같은 사용자의 중간 판 3개는 보이지 않습니다) | |||
| 3번째 줄: | 3번째 줄: | ||
* 원소의 개수가 3인 집합의 전단사함수들로 이루어진 크기가 6인 군 | * 원소의 개수가 3인 집합의 전단사함수들로 이루어진 크기가 6인 군 | ||
* 원소는 다음과 같다 | * 원소는 다음과 같다 | ||
| − | + | :<math> | |
\begin{array}{c} | \begin{array}{c} | ||
\left( | \left( | ||
| 42번째 줄: | 42번째 줄: | ||
\right) \\ | \right) \\ | ||
\end{array} | \end{array} | ||
| − | + | </math> | |
| 51번째 줄: | 51번째 줄: | ||
** <math>\sigma_1\sigma_{2}\sigma_1 = \sigma_{2}\sigma_1\sigma_{2}</math> 이 조건은 <math>(\sigma_1\sigma_{2})^3=1</math> 로 쓸 수 있다 | ** <math>\sigma_1\sigma_{2}\sigma_1 = \sigma_{2}\sigma_1\sigma_{2}</math> 이 조건은 <math>(\sigma_1\sigma_{2})^3=1</math> 로 쓸 수 있다 | ||
* 아래에서는 다음의 생성원을 사용 | * 아래에서는 다음의 생성원을 사용 | ||
| − | ** | + | ** <math>\sigma=\sigma_1=(1\,2),\quad \tau=\sigma_1\sigma_2=(1\,2\,3)</math> |
| − | ** | + | ** <math>\sigma^2=\tau^3=1,\quad \sigma \tau \sigma=\tau^2</math> |
| 67번째 줄: | 67번째 줄: | ||
==표준 표현(standard representation)== | ==표준 표현(standard representation)== | ||
| − | * | + | * <math>S_3</math>의 2차원 기약 표현 <math>\rho : S_3\to \rm{GL}(V)</math> |
| − | + | :<math> | |
\rho(\sigma)=\left( | \rho(\sigma)=\left( | ||
\begin{array}{cc} | \begin{array}{cc} | ||
| 81번째 줄: | 81번째 줄: | ||
\end{array} | \end{array} | ||
\right) | \right) | ||
| − | + | </math> | |
| − | 여기서 | + | 여기서 <math>\omega=e^{2\pi i/3}</math> |
===대칭곱으로 얻어지는 표현=== | ===대칭곱으로 얻어지는 표현=== | ||
| − | * [[대칭곱 (symmetric power)과 대칭텐서|대칭곱]] | + | * [[대칭곱 (symmetric power)과 대칭텐서|대칭곱]] <math>\operatorname{Sym}^k V</math>의 지표 <math>\chi_{\operatorname{Sym}^k}</math> |
| − | * 2변수의 | + | * 2변수의 <math>k</math>차 [[완전 동차 대칭 다항식 (complete homogeneous symmetric polynomial)]] <math>h_k(x_1,x_2)</math>을 이용하여 지표를 계산할 수 있다 |
| − | + | :<math> | |
\begin{array}{c|c} | \begin{array}{c|c} | ||
h_0\left(x_1,x_2\right) & 1 \\ | h_0\left(x_1,x_2\right) & 1 \\ | ||
| 95번째 줄: | 95번째 줄: | ||
h_5\left(x_1,x_2\right) & x_1^5+x_2 x_1^4+x_2^2 x_1^3+x_2^3 x_1^2+x_2^4 x_1+x_2^5 | h_5\left(x_1,x_2\right) & x_1^5+x_2 x_1^4+x_2^2 x_1^3+x_2^3 x_1^2+x_2^4 x_1+x_2^5 | ||
\end{array} | \end{array} | ||
| − | + | </math> | |
| − | * | + | * <math>g\in S_3</math>의 표준 표현 <math>V</math>에서의 고유값이 <math>\lambda_1,\lambda_2</math>로 주어지면, <math>\chi_{\operatorname{Sym}^k}(g)=h_k(\lambda_1,\lambda_2)</math>가 된다 |
* 테이블 | * 테이블 | ||
| − | + | :<math> | |
\begin{array}{c|c|c|c} | \begin{array}{c|c|c|c} | ||
| − | k & (1) & (12) & (123) \\ | + | k & \chi_{\operatorname{Sym}^k}((1)) & \chi_{\operatorname{Sym}^k}((12)) & \chi_{\operatorname{Sym}^k}((123)) \\ |
\hline | \hline | ||
0 & 1 & 1 & 1 \\ | 0 & 1 & 1 & 1 \\ | ||
| 113번째 줄: | 113번째 줄: | ||
9 & 10 & 0 & 1 | 9 & 10 & 0 & 1 | ||
\end{array} | \end{array} | ||
| − | + | </math> | |
| − | * | + | * <math>\operatorname{Sym}^{k+6} V\cong \operatorname{Sym}^k V\oplus \mathbb{C}S_3</math>이 성립한다 |
| + | |||
| + | |||
| + | ==관련된 항목들== | ||
| + | * [[대칭곱 (symmetric power)과 대칭텐서]] | ||
==매스매티카 파일 및 계산 리소스== | ==매스매티카 파일 및 계산 리소스== | ||
* https://docs.google.com/file/d/0B8XXo8Tve1cxb1dYSXJ5N1gtLVE/edit | * https://docs.google.com/file/d/0B8XXo8Tve1cxb1dYSXJ5N1gtLVE/edit | ||
2020년 11월 12일 (목) 20:14 기준 최신판
개요
- 원소의 개수가 3인 집합의 전단사함수들로 이루어진 크기가 6인 군
- 원소는 다음과 같다
\[ \begin{array}{c} \left( \begin{array}{ccc} 1 & 2 & 3 \\ 1 & 2 & 3 \\ \end{array} \right) \\ \left( \begin{array}{ccc} 1 & 2 & 3 \\ 1 & 3 & 2 \\ \end{array} \right) \\ \left( \begin{array}{ccc} 1 & 2 & 3 \\ 2 & 1 & 3 \\ \end{array} \right) \\ \left( \begin{array}{ccc} 1 & 2 & 3 \\ 2 & 3 & 1 \\ \end{array} \right) \\ \left( \begin{array}{ccc} 1 & 2 & 3 \\ 3 & 1 & 2 \\ \end{array} \right) \\ \left( \begin{array}{ccc} 1 & 2 & 3 \\ 3 & 2 & 1 \\ \end{array} \right) \\ \end{array} \]
presentation
- 생성원 \(\sigma_1=(1\,2),\quad \sigma_{2}=(2\,3)\)
- 관계식
- \({\sigma_i}^2 = 1\)
- \(\sigma_1\sigma_{2}\sigma_1 = \sigma_{2}\sigma_1\sigma_{2}\) 이 조건은 \((\sigma_1\sigma_{2})^3=1\) 로 쓸 수 있다
- 아래에서는 다음의 생성원을 사용
- \(\sigma=\sigma_1=(1\,2),\quad \tau=\sigma_1\sigma_2=(1\,2\,3)\)
- \(\sigma^2=\tau^3=1,\quad \sigma \tau \sigma=\tau^2\)
지표 테이블
- 대칭군 \(S_3\) 의 지표 테이블
\begin{array}{c|ccc} & (1) & (12) & (123) \\ \hline \{3\} & 1 & 1 & 1 \\ \{2,1\} & 2 & 0 & -1 \\ \{1,1,1\} & 1 & -1 & 1 \end{array}
표준 표현(standard representation)
- \(S_3\)의 2차원 기약 표현 \(\rho : S_3\to \rm{GL}(V)\)
\[ \rho(\sigma)=\left( \begin{array}{cc} 0 & 1 \\ 1 & 0 \\ \end{array} \right), \quad \rho(\tau)=\left( \begin{array}{cc} \omega & 0 \\ 0 & \omega ^2 \\ \end{array} \right) \] 여기서 \(\omega=e^{2\pi i/3}\)
대칭곱으로 얻어지는 표현
- 대칭곱 \(\operatorname{Sym}^k V\)의 지표 \(\chi_{\operatorname{Sym}^k}\)
- 2변수의 \(k\)차 완전 동차 대칭 다항식 (complete homogeneous symmetric polynomial) \(h_k(x_1,x_2)\)을 이용하여 지표를 계산할 수 있다
\[ \begin{array}{c|c} h_0\left(x_1,x_2\right) & 1 \\ h_1\left(x_1,x_2\right) & x_1+x_2 \\ h_2\left(x_1,x_2\right) & x_1^2+x_2 x_1+x_2^2 \\ h_3\left(x_1,x_2\right) & x_1^3+x_2 x_1^2+x_2^2 x_1+x_2^3 \\ h_4\left(x_1,x_2\right) & x_1^4+x_2 x_1^3+x_2^2 x_1^2+x_2^3 x_1+x_2^4 \\ h_5\left(x_1,x_2\right) & x_1^5+x_2 x_1^4+x_2^2 x_1^3+x_2^3 x_1^2+x_2^4 x_1+x_2^5 \end{array} \]
- \(g\in S_3\)의 표준 표현 \(V\)에서의 고유값이 \(\lambda_1,\lambda_2\)로 주어지면, \(\chi_{\operatorname{Sym}^k}(g)=h_k(\lambda_1,\lambda_2)\)가 된다
- 테이블
\[ \begin{array}{c|c|c|c} k & \chi_{\operatorname{Sym}^k}((1)) & \chi_{\operatorname{Sym}^k}((12)) & \chi_{\operatorname{Sym}^k}((123)) \\ \hline 0 & 1 & 1 & 1 \\ 1 & 2 & 0 & -1 \\ 2 & 3 & 1 & 0 \\ 3 & 4 & 0 & 1 \\ 4 & 5 & 1 & -1 \\ 5 & 6 & 0 & 0 \\ 6 & 7 & 1 & 1 \\ 7 & 8 & 0 & -1 \\ 8 & 9 & 1 & 0 \\ 9 & 10 & 0 & 1 \end{array} \]
- \(\operatorname{Sym}^{k+6} V\cong \operatorname{Sym}^k V\oplus \mathbb{C}S_3\)이 성립한다
관련된 항목들