1=9

����� IA No.9����

��������ʬ������;������Ʊ����

���� 9.1   $G$ �ò·²¡ï¿½$H$ �ò¤½¤ï¿½ï¿½ï¿½Ê¬ï¿½ï¿½ï¿½È¤ï¿½ï¿½ë¡£$G/H$ �˼��Τ褦�ʾ�ˡ�����Ʒ��ˤ��Ƥ�ꤿ�� ��

$$\overline{a} \overline{b} =\overline{ab}$$

���줬����ɽ���μ�꤫���ˤ�餺�����ޤ����äơ�$G/H$ ���ºݤ˷��ˤ� �뤿��ˤϡ�$H$ ��������ʬ���Ǥ������ɬ�׽�ʬ�Ǥ��롣

�ºݤˤϡ���ɬ�׽�ʬ�פΤ������ֽ�ʬ�פΤۤ����褯�Ѥ����롣���ʤ����

���� 9.2   $G$ �ò·²¡ï¿½$N$ �ò¤½¤ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½Ê¬ï¿½ï¿½ï¿½È¤ï¿½ï¿½ë¡£$G/N$ �Ͼ�������ξ�ˡ�ˤ�� ���ι�¤���ġ�

��� 9.3   ��������������뷲 $G/N$ ��$G$ �� $N$ �ˤ���;��(�⤷���Ͼ���) �Ȥ�֡�

��� 9.4   $G,H$ �ò·²¤È¤ï¿½ï¿½ë¡£$G$ ���� $H$ �ؤμ��� $f:G\to H$ ������Ʊ�� �Ǥ���Ȥϡ� Ǥ�դ� $g_1,g_2\in G$ ���Ф��ơ�

$$f(g_1 g_2)=f(g_1)f(g_2)$$

������Ω�ĤȤ��˸����� ��Ʊ�� $f$ ����ñ�ͤǤ⤢�����$f$ ��Ʊ���ȸ�����

�� 9.5   ��Ʊ������

1. Ǥ�դη� $G$ ���Ф��ơ�$G$ �ξ�ι������� ${\operatorname{id}}:G\to G$ �� $G$ ���� $G$ �ؤν�Ʊ���Ǥ��롣�������ñ�ͤǤ��뤫�顢Ʊ���Ǥ��롣
2. $n$ �����������Ȥ��롣 ${\mbox{${\mathbb{Z}}$}}$ ���� $n{\mbox{${\mathbb{Z}}$}}$ �ؤμ��� $f$ ��
   $$f(k)=nk$$
   �ˤ������ȡ�$f$ �Ͻ�Ʊ���Ǥ��롣�����Ʊ���Ǥ��롣
3. $n$ �����������Ȥ��롣 ${\mbox{${\mathbb{Z}}$}}$ ���� ${\mbox{${\mathbb{Z}}$}}$ �ؤμ��� $f$ ��
   $$f(k)=nk$$
   ������ȡ�$f$ �Ͻ�Ʊ���Ǥ��롣����� $n>1$ �ʤ�Ʊ���ǤϤʤ���
4. $n$ �����������Ȥ��롣 ${\mbox{${\mathbb{Z}}$}}$ ���� $C_n=\langle a; a^n=e \rangle$ ��
   $$f(k)=a^k$$
   ������ȡ�$f$ �Ͻ�Ʊ���Ǥ��롣�����Ʊ���ǤϤʤ���
5. $({\mbox{${\mathbb{Z}}$}},+)$ ���� $($$\mbox{${\mathbb{Q}}$}$$^\times,\times))$ �ؤμ��� $f$ ��
   $$f(k)=2^k \qquad(k\in {\mbox{${\mathbb{Z}}$}})$$
   ���������ȡ�$f$ �Ͻ�Ʊ���Ǥ��롣�����Ʊ���ǤϤʤ���

�� 9.6 (��Ʊ���Ǥʤ���)  

1. ${\mbox{${\mathbb{Z}}$}}$ ���� ${\mbox{${\mathbb{Z}}$}}$ �ؤμ��� $n\mapsto n^2$ �Ͻ�Ʊ���ǤϤʤ���
2. ${\mbox{${\mathbb{Z}}$}}$ ���� ${\mbox{${\mathbb{Z}}$}}$ �ؤμ��� $n\mapsto n+1$ ���Ʊ���ǤϤʤ���

����ޤǡ����ˤϱ黻���Ȥ����ǡ����Τۤ��ˡ�ñ�̸����ո���¸�ߤ�����Ū�Ǥ��� �ȸ��äƤ����������Ͻ�Ʊ���Ǽ�ưŪ����¸����롣���������Ǥ��Τ��Ȥ򼨤�����

���� 9.7   $G,H$ �ò·²¤È¤ï¿½ï¿½ë¡£$G$ ���� $H$ �ؤν�Ʊ������ $f:G\to H$ ���Ф��ơ����λ��� ����Ω�ġ�

1. $f$ ��ñ�̸���ñ�̸��ˤ��Ĥ������ʤ����
   $$f(e_G)=e_H. \quad ($$$e_G,e_H$ �Ϥ��줾�� $G.H$ ��ñ�̸�$$)$$

2. $f$ �ϵո���ո��ˤ��Ĥ������ʤ����Ǥ�դ� $G$ �θ� $g$ ���Ф��ơ�
   $$f(g^{-1})=f(g)^{-1}$$
   ������Ω�ġ�
3. Ǥ�դ����� $n$ ��Ǥ�դ� $G$ �θ� $g$ ���Ф��ơ�
   $$f(g^n)=f(g)^n$$
   ������Ω�ġ�

$\bullet$ ��Ʊ���γ�

��� 9.8   $f:G\to H$ ����Ĥη��δ֤ν�Ʊ���Ȥ��롣$f$ �γ� (kernel) �Ȥϡ�$H$ ��ñ�̸� $e_H$ �� $f$ �ε����λ��Ǥ��롣���ʤ����

$$\operatorname{Ker}(f)=f^{-1}(e_H)=\{g\in G; f(g)=e_H\}$$

��Ʊ����Ĵ�٤衢�ȸ���줿��Ȥꤢ�������γˤ�Ĵ�٤롣�ˤϼ��Τ褦����������� ���ġ�

���� 9.9   $f:G\to H$ ����Ĥη��δ֤ν�Ʊ���Ȥ��롣���ΤȤ��� $f$ �γ� $\operatorname{Ker}(f)$ �� $G$ ��������ʬ���Ǥ��롣