鐃緒申鐃緒申鐃�II鐃緒申鐃緒申 No.9

鐃緒申鐃緒申鐃宿緒申鐃緒申鐃� ${\mathbb{C}}$ 鐃緒申里鐃塾わ申佑鐃緒申襪鰹申箸砲鐃緒申襦�

鐃緒申鐃緒申命鐃緒申蓮鐃緒申鐃緒申鐃宿緒申鐃緒申鐃緒申羶器申鐃緒申慮鐃粛㍼申鐃緒申屬鐃粛わ申鐃暑こ鐃夙にわ申辰鐃� 分鐃薯さわ申襪鰹申箸鮗┐鐃緒申討鐃緒申襦�

命鐃緒申 9.1

-鐃獣件申

鐃緒申与鐃緒申鐃緒申鐃銃わ申鐃緒申箸鐃緒申鐃� $r\in {\mathbb{C}}[G]$ 鐃緒申

鐃緒申鐃宿緒申鐃緒申鐃緒申鐃緒申 $\pi_V(r)$ 鐃夙書くわ申鐃夙にわ申鐃暑。 $z\in Z({\mathbb{C}}[G])$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申 $\pi_V(z)$ 鐃塾醐申有鐃粛の逸申鐃� $\lambda$ 鐃緒申箸鐃夙￥申 $\pi_V(z)-\lambda 1_V$ 鐃塾鰹申

鐃緒申

-鐃緒申分鐃獣件申鐃祝なる。鐃夙わ申鐃祝￥申

鐃緒申鐃緒申鐃緒申鐃�

-鐃獣件申鐃塾とわ申鐃祝は￥申 $\pi_V(z)$ 鐃緒申必鐃緒申鐃緒申鐃緒申鐃初ー鐃緒申鐃緒申鐃祝なる。

鐃緒申 $\mathfrak{S}_3$ 鐃塾件申鐃緒申 ${\mathbb{C}}[\mathfrak{S}_3]$ 鐃緒申鐃醇心 $Z({\mathbb{C}}[\mathfrak{S}_3])$ 鐃緒申 $1, S(1\ 2), S(1\ 2\ 3)$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃塾と逸申鐃竣わ申鐃暑。鐃緒申鐃塾環刻申造鐃緒申調鐃駿てみよう鐃緒申

$\displaystyle S(1\ 2)^2=3(1+S(1\ 2\ 3))$

$\displaystyle S(1\ 2)S(1\ 2\ 3)=2S(1\ 2)$

$z=S(1\ 2)$ 鐃夙わ申鐃緒申鐃夙￥申

$\displaystyle z^3-9z=0$

鐃緒申鐃緒申鐃緒申鐃獣て￥申 $\mathfrak{S}_3$ 鐃緒申表鐃緒申鐃熟￥申

鐃塾わ申鐃曙ぞ鐃緒申鐃緒申鐃淑�申鐃� 分鐃緒申任鐃緒申襦�

$\mathfrak{S}_3$ 鐃緒申鐃瞬器申表鐃緒申鐃熟種申鐃塾よう鐃緒申分鐃薯さわ申襦�

$\displaystyle {\mathbb{C}}^3={\mathbb{C}} \begin{pmatrix} 1 \\ 1 \\ 1 \end{pm... ...}\oplus \left\{ \begin{pmatrix} x \\ y \\ z \end{pmatrix}; x+y+z=0 \right \}$

同鐃粛に￥申 $\mathfrak{S}_3$ 鐃緒申鐃緒申則表鐃緒申鐃緒申3鐃縦わ申表鐃緒申(1鐃緒申鐃緒申鐃緒申2鐃縦わ申4鐃緒申鐃緒申鐃緒申1鐃緒申)鐃緒申直鐃渋わ申分鐃薯さわ申襦� 1鐃緒申鐃緒申鐃緒申表鐃緒申鐃熟￥申

鐃緒申鐃緒申 9.1 ${\mathbb{C}}[\mathfrak{S}_4]$ 鐃塾醐申 $z=S(1\ 2)$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申

鐃緒申 $1, S(1\ 2), S(1\ 2\ 3)$ , $S((1\ 2)(3\ 4))$ , $S(1\ 2\ 3\ 4)$ 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申表鐃緒申鐃緒申

鐃緒申鐃緒申 9.2 4鐃縦の醐申 $\{1,2,3,4\}$ 鐃塾駈申鐃瞬器申鐃緒申鐃緒申鐃塾のなわ申鐃緒申(4鐃緒申鐃緒申鐃遵群) $\mathfrak{A}_4$ 鐃緒申鐃縦わ申鐃銃￥申鐃緒申鐃塾件申鐃縦わ申鐃醇心 $Z({\mathbb{C}}[\mathfrak{A}_4])$ 鐃塾刻申造鐃緒申調鐃駿よ。