���� 10.1
![$ C_n=\langle a; a^n=e\rangle$](img2.png)
�򡢰̿�
![$ n$](img3.png)
��Í�½��
�Ȥ��ޤ���
![$ f:{\mbox{${\mathbb{Z}}$}}\to C_n$](img4.png)
��
�Ȥ����Ȥ��������䤤�������ʤ�����
�ˤ��
��˴ط�
��
������ȡ������Ʊ�ʹط��ˤʤ�ޤ���
����Ʊ�ʹط��ˤ�ä�
��Ʊ�ͤʤ�Τ����Ƶ󤲤ʤ�����
(�����������פ���ɬ�פ�̵����)
- ���Ʊ�ʹط��ˤ�ä� 0
��Ʊ�ͤʤ�Τ����Ƶ󤲤ʤ�����
- 1. �˵󤲤���Τ� 2. �˵󤲤���ΤȤδ֤δط���Ҥ٤ʤ�����
-
�θ��θĿ�����ʤ�����
���� 10.3
![$ C_{10}=\langle g; g^{10}=e \rangle ,C_4=\langle h; h^4=e \rangle $](img18.png)
�Ȥ�����
![$ f:C_{10}\to C_4$](img19.png)
��
![$ f(g^k)=h^{2k} (k\in {\mbox{${\mathbb{Z}}$}})$](img20.png)
��������ޤ���
���ʤ����
(
![$ f$](img6.png)
�Ϥ��ޤ��������Ƥ��ޤ���
���ʤ������
![$ g^k=g^l$](img22.png)
�ʤ�
![$ h^{2k}=h^{2l}$](img23.png)
��
������Ω���ޤ���
�ʤ��Ǥ�����)
����ˡ�
![$ C_{10}$](img24.png)
�˴ط�
![% latex2html id marker 933
$ \equiv$](img25.png)
��
![% latex2html id marker 935
$ a\equiv b \ {\Leftrightarrow}\ f(a)=f(b)$](img26.png)
��������ޤ�(�����Ʊ�ʹط��ˤʤ�ޤ�)��
���ΤȤ�
![$ C_{10}$](img24.png)
��
![% latex2html id marker 939
$ \equiv$](img27.png)
�ˤ��
�ɤΤ褦�˥��饹ʬ������뤫�򥯥饹ʬ����ɽ��Ĥ��äƼ�����
![% latex2html id marker 941
$ C_{10}/\equiv$](img28.png)
�θ��θĿ�����ʤ���������ˡ�
![$ f$](img6.png)
��������ʤ�����