1=4     

����� �齬IA���� No.4

��ñ��������ˡ��ִ�������ޤ������֤������פ�ȸ�����̣�����Τˤ��뤿��ˡ�������ǧ���Ƥ����ޤ��礦�����Ȥ��С���

$$a= \begin{pmatrix} 1&2&3&4 \\ 3&1&2&4 \end{pmatrix}$$

�ϡ�$1,2,3,4$ ��ʤ�Ӥ����� $3,1,2,4$ �ˤ���ȸ�����̣�Ǥ����������Ф��Ƥ����ȸ�Ǻ��𤹤뤳�Ȥ�����Τǡ�$1,2,3,4$ �����줾����ѿȡդ��� $3,1,2,4$ �ˤʤ�ȳФ��Ƥ����Τ��ɤ��Ȼפ��ޤ���$a$ �ϡ��ѿȡդȸ������Ǥ��äơ������

$$a(1)=3, a(2)=1,a(3)=2,a(4)=4$$

�Ȥ����褦�ˤ�񤭤ޤ��� ���������㤦��Τ�Ʊ����Τ��ѿȤ��Ƥ��ޤä��ꡢ�����Τ��ѿȤ����Τ��ʤ��ä��ꤹ��ȡ����֤������դˤʤ�ޤ��󤫤顢����Ͻ����ʤ���Фʤ�ޤ���

���� 4.1   ̵�¸Ĥθ�����Ľ��� $S$ ���餽�켫�� $S$ �ؤμ����Ǥϡ����̤�ñ�ͤ����ͤ� Ʊ�ͤǤϤ���ޤ��󡣤������������Τν��� $S={\mbox{${\mathbb{Z}}$}}$ ���餽�켫�Ȥؤμ��� $f:S\to S$ ���Ф��ơ����ͤǤ��뤬��ñ�ͤǤϤʤ������ȡ�ñ�ͤǤ��뤬�����ͤǤʤ���Τ����󤲤ʤ�����

���ơ���Ĥ��ִ��η��(�黻)���̾�Ը�������ɡդߤޤ������Ȥ��С�

$$a= \begin{pmatrix} 1&2&3&4 \\ 2&3&4&1 \end{pmatrix}, \quad b= \begin{pmatrix} 1&2&3&4 \\ 3&1&2&4 \end{pmatrix}$$

�γݤ��� $ab$ �ϡ�

$$ab= \begin{pmatrix} 1&2&3&4 \\ 2&3&4&1 \end{pmatrix}\begin{pmatr... ...&4 \\ 3&1&2&4 \end{pmatrix}= \begin{pmatrix} 1&2&3&4 \\ 4&2&3&1 \end{pmatrix}$$

�Ĥޤꡢ�㤨�� $1$ �� $b$ �� $3$ �˲����ơ����� $a$ �� $3$ �� $4$ �˲�����Τǡ���̤Ȥ��� $1$ �� $ab$ �ˤ�ä� $4$ �˲����뤳�Ȥˤʤ�ޤ���

���� 4.2   ��� �����Τ�Ȥǡ�$ba$ ����ʤ�����

���� 4.3  

$$a(b(1))=(ab)(1), a(b(2))=(ab)(2) , a(b(3))=(ab)(3) , a(b(4))=(ab)(4)$$

��ľ�ܷ׻����Ƽ����ʤ����� $a(b(x))=(ab)(x)$ ���ִ����̤ˤĤ�������Ω���ޤ���

���� 4.4   ���Ĥθ� $1,2,3$ ���ִ��ò¤¹¤Ù¤Æµï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½(������ $6$ �Ĥ���Ϥ��Ǥ���)

Ǥ�դ��ִ��ϸߤ���Ʊ��ʸ����ޤޤʤ�����ִ����ѤȤ���ɽ�����Ȥ��Ǥ��ޤ����㤨�� ���ִ�

$$\sigma= \begin{pmatrix} 1&2&3&4&5&6&7&8&9\\ 4&5&7&6&2&1&8&9&3 \end{pmatrix}$$

��褯�ߤƤߤ�ȡ����Τ褦���ѿȤ��ͻҤ�ʬ����ޤ���

$$3\overset{\sigma}{\mapsto} 7\overset... ...igma}{\mapsto} 1 \qquad 2\overset{\sigma}{\mapsto} 5\overset{\sigma}{\mapsto} 2$$

�������äơ�

$$\sigma= (3 7 6 8) (1 4 6 )(2 5)$$

�Ǥ��뤳�Ȥ�ʬ����ޤ���

���� 4.5 (��1)   ���γ��ִ���ߤ���Ʊ��ʸ����ޤޤʤ�����ִ����ѤȤ���ɽ���ʤ�����

1. $(1\ 2\ 3)(4\ 5)(1\ 2\ 3\ 6\ 7)$
2. $(1\ 2)(1\ 2\ 3\ 4)(1\ 2)(2\ 3\ 5\ 6)$
3. $(1\ 2\ 3)(1\ 2\ 4)(1\ 3\ 2)$

���� 4.6   ���γơ��ξ��� $\rho \sigma \rho^{-1}$ ����ʤ�����

1. $\sigma=(1\ 4)(2\ 5\ 6),\quad \rho=(3\ 4\ 5)$
2. $\sigma=(3\ 4\ 9)(2\ 1\ 6\ 8),\quad \rho=(5\ 7)(2\ 3\ 9)$

   �ʤ��������ϸߤ���Ʊ��ʸ����ޤޤʤ�����ִ����ѤȤ��ƽ񤤤Ƥߤʤ�����

   (���̤ˡ� $\rho \sigma \rho^{-1}$ �� $\sigma$ �� $\rho$ �ˤ�붦�򸵤ȸƤФ�ޤ� ��)

���� 4.7   �ִ��ζ��ò¸µ¤Î´ï¿½Ã±ï¿½Ê·×»ï¿½Ë¡ï¿½ï¿½Í¤ï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½

���� 4.8   $\sigma=(1 2 3)(4 5)$ �Ȥ��ޤ��� $\rho\sigma\rho^{-1}=(3 4 5)(1 2)$ �Ȥʤ� �褦�� $\rho$ ���ĵ��ʤ�����

��� 4.1   ���̤ˡ��� $G$ �θ� $g$ �ΰ̿��Ȥϡ�$g^n=e$ (ñ�̸�)�Ȥʤ�Ǿ������������Τ��Ȥ� �����ޤ����ޤ����� $G$ �ΰ̿��ȸ����Τϡ�$G$ �θ��ο��Τ��ȤǤ���

���� 4.9   Ǥ�դη� $G$ ��Ǥ�դθ� $g$ �ˤĤ��ơ����ΰ̿��� $n$ �Ȥ���Ȥ���

1. $G$ ����ʬ�� $H$ �� $g$ ��ޤ�ʤ�С�$G$ �Ͼ��ʤ��Ȥ� $n$ �Ĥ� ����ޤळ�Ȥ򼨤��ʤ�����
2. $G$ ����ʬ���ǡ�$g$ ��ޤ�褦�ʤ�ΤΤ��������θĿ��� $n$ �ĤΤ�Τ� ¸�ߤ��뤳�Ȥ򼨤��ʤ�����

���� 4.10   ����ִ� $\sigma=(a_1,\dots,a_r)$ �ΰ̿�����ʤ�����

���� 4.11 (��1)  

1. $(1 2 3)(4 5)$ ����� $(1 2 3)(4 5 6)$ �ΰ̿�����衣
2. $(1 2 3 4)(5 6 7 8 9 10 )$ ����� $(1 2 3 4 5 6 )(7 8 9 10 11 12 13 14 )$ �ΰ̿�����衣

���� 4.12   ��Ĥν���ִ� $\sigma=(a_1,\dots,a_r),\tau=(b_1,\dots,b_k)$ �ˤĤ��ơ� $a_i,b_j$ ��Ʊ��ʸ�����ʤ��Ȥ����� $\sigma\tau$ �ΰ̿�����ʤ�����

��� 4.2   $n$ -�Ĥθ�����ʤ뽸�� $\{1,2,3,\dots,n\}$ �ξ���ִ������ΤΤʤ����� $n$ -���о� ���ȸƤӡ�$\frak S_n$ �Ƚñ¤­¤Þ¤ï¿½ï¿½ï¿½

���� 4.13 (��ʬ����ĤˤĤ�1��)   3���оη� $\frak S_3$ ����ʬ���ò¤¹¤Ù¤Æ½ñ¤­¤Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½(������ϻ�Ĥ���Ȧ�Ǥ���)

���� 4.14   $\frak S_3$ ����ʬ�� $H$ ����$(1 2)$ �� $(1 2 3)$ ��ޤ�Ȥ���ȡ� $H=\frak S_3$ �Ǥ��뤳�Ȥò¼¨¤ï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½

���� 4.15   4���оη��θ��Τ��줾��ò¡¢¸ß¤ï¿½ï¿½ï¿½Æ±ï¿½ï¿½Ê¸ï¿½ï¿½ï¿½ï¿½Þ¤Þ¤Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½Ö´ï¿½ï¿½ï¿½ï¿½Ñ¤È¤ï¿½ï¿½ï¿½É½ï¿½ï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ ��($4!=24$ �Ĥ���ޤ���)

���� 4.16   $\frak S_n$ ����ʬ�� $H$ ���� �ߴ� $(1 2)$ �Ƚ���ִ� $(1 2 3 \dots n-1 n)$ ��ޤ�Ȥ���ȡ� $H=\frak S_n$ �Ǥ��뤳�Ȥ�������ʤ�����

���� 4.17   5�Ĥθ� $1,2,3,4,5$ ���ִ��Ϥ����Ĥ��뤫�����ʤ��������̤� $n$ -�Ĥθ����ִ��θĿ��Ϥ����Ĥ���ޤ�����

���� 4.18   ���Ĥθ����ִ��Τʤ��� $\frak S_3$ �������ѷ��ι�Ʊ�Ѵ��� $\Bbb D_3$ �� Ʊ���Ǥ��뤳��(���Ȥ���Ʊ���Ǥ��뤳��)�ò¼¨¤ï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½

���� 4.19   4�Ĥθ����ִ��Τʤ��� $\frak S_4$ ���������ι�Ʊ�Ѵ��� $\Bbb D_4$ �Ȥ� Ʊ���Ǥʤ����Ȥò¼¨¤ï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½

���� 4.20   $\mathfrak{S}_5$ �ˤϰ̿� $10$ �θ���¸�ߤ��ʤ����Ȥò¼¨¤ï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½