next up previous
: ����ʸ��ˤĤ���...

    

�����II ���� No.12

�����Υơ���

\fbox{·²¤Î½¸¹ç¤Ø¤ÎºîÍѤÈɽ¸½}

��� 12.1   �� $ G$ ��� $ X$ �ؤκ��ѤȤϡ����Τ褦�ʾ�������������

$\displaystyle G\times X \ni (g,x)\to g.x \in X
$

�Τ��ȤǤ��롣
  1. $ (g_1 g_2). x = g_1.(g_2. x)$ ( $ \forall g_1,g_2\in G, \forall x \in X$).
  2. $ e.x=x$ ( $ \forall x \in X$).

�� 12.1   �� $ G$ �ȡ�������ʬ�� $ H$ ��Ϳ����줿�Ȥ���$ G$ �� $ G/H$ ��

$\displaystyle g. [ x ] =[ g x ]
$

�ˤ����Ѥ��롣($ [x] $ �� $ x\in G$ �� $ G/H$ �ǤΥ��饹).

�� 12.2   �� $ G$ �� $ G$ �ؤκ��Ѥò¼¡¤Î»ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ï¿½ë¤³ï¿½È¤ï¿½ï¿½Ç¤ï¿½ï¿½ë¡£
  1. $ g. x=g x$. (������)
  2. $ g . x = x (g^{-1})$. (������)
  3. $ g. x = g x g^{-1} $. (����ˤ�����).

�� 12.3   ͭ�·� $ G$ ��Ϳ�����Ƥ���Ȥ��� $ X=\{G$   ï¿½ï¿½ï¿½ï¿½Ê¬ï¿½ï¿½ $ \}$ �ؤ� $ G$ �κ��Ѥ�

$\displaystyle g. H= g H g^{-1}
$

�ˤ������롣$ X$ �Ȥ��ơ� $ G$ �� $ p$-�������������Τ�ȤäƤ� Ʊ�ͤ˺��Ѥ��������롣

���� 12.1   $ G$ ��ͭ�½��� $ X$ �˺��Ѥ��Ƥ���Ȥ��롣���ΤȤ� $ G$ ���� $ \mathfrak{S}_n$ ($ n=\char93  X$ )�ؤη���Ʊ������ޤ롣

���� 12.1   $ G$ ���̿� $ 80$ �η��Ǥ���Ȥ���$ G$�� $ 2$-����������� $ 1$ �� $ 5$ �Ǥ��뤳�Ȥò¼¨¤ï¿½ï¿½ï¿½$ G$ �ˤ�ɬ��������ʬ�������뤳�Ȥò¼¨¤ï¿½ï¿½Ê¤ï¿½ï¿½ï¿½ï¿½ï¿½



ʿ��16ǯ6��29��