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

�����II���� No.10

�����Υơ���: \fbox{
·²´Ä ${\mathbb {C}}[G]$ ¤ò¤½¤ÎÃæ¿´¸µ¤Ç¸Çͭʬ²ò¤¹¤ë¡£
}

���� 10.1   $ Z({\mathbb{C}}[G])$ �ˤ�������(0 �ʳ���)��������¸�ߤ��ʤ��� �Ȥ��ˡ� $ Z({\mathbb{C}}[G])$ ��Ǥ�դθ� $ z$ ���Ф��ơ�$ z$ �������� $ {\mathbb{C}}$ ��� ¿�༰�Ǽ������Ǿ��Τ��(�Ǿ�¿�༰) �Ͻź���⤿�ʤ���

��� 10.1   �� $ R$ ����ʬ���� $ J$ �� $ R$ �κ����ǥ���Ǥ���Ȥϡ� $ J$ �����ξ�����­����Ȥ��ˤ�����
  1. $ 0 \in J$
  2. $ x,y\in J  \implies  x+ y, x-y \in J$
  3. $ r\in R$, $ x\in J$ $ \implies $ $ rx\in J$
�����ܤξ��򡢼��ξ����֤������Ʊ����ǥ����������뤳�Ȥ��Ǥ��롣

$ (3')$ $ r\in R$, $ x\in J$ $ \implies $ $ xr\in J$

$ R$ ��(ξ¦)���ǥ���Ȥϡ�$ R$ �κ����ǥ��뤫�ı����ǥ���ˤʤäƤ���褦�� ��Ρ�����������о��(1),(2),(3)��$ (3')$��Ʊ���ˤߤ����褦�ʤ�ΤΤ��ȤǤ��롣

���� 10.2   $ Z({\mathbb{C}}[G])$ �θ� $ z$ �ˤ������� $ {\mathbb{C}}[G]$ �� $ z$ �θ�ͭ���֤�ľ�¤�(�÷��Ȥ���) ʬ�ò¤·¡ï¿½ï¿½ï¿½ï¿½ï¿½Ë¤ï¿½ï¿½ì¤¾ï¿½ï¿½Î¸ï¿½Í­ï¿½ï¿½ï¿½Ö¤ï¿½ $ {\mathbb{C}}[G]$ ��(ξ¦)���ǥ���ˤʤ롣 ��äȰ��̤ˡ� $ Z({\mathbb{C}}[G])$ ��ͭ�¸Ĥθ� $ z_1,z_2,\dots,z_l$ �ˤ������� $ {\mathbb{C}}[G]$ �� $ z_1,z_2,\dots,z_l$ ��Ʊ����ͭ����(���줾��θ�ͭ���֤ζ�����ʬ) ��ľ�¤�(�÷��Ȥ���)Ʊ���ˤʤꡢ���줾���Ʊ����ͭ���֤� $ {\mathbb{C}}[G]$ �� ���ǥ���ˤʤ롣

̿�� 10.1   $ Z({\mathbb{C}}[G])$ �ϼ��Τ褦�ʴ� $ R_i$ ��ͭ�¸Ĥ�(�ĤȤ��Ƥ�)ľ�Ѥ�ʬ�ò¤¹¤ë¡£
  1. $ Z(R_i)={\mathbb{C}}$
  2. $ R_i$-�÷��ǡ� $ {\mathbb{C}}$ ��ͭ�¼����Τ�Τ�ɬ����������Ǥ��롣

�Ĥ��Ǥˡ�����ʹߤ˽��פˤʤ� $ M_n({\mathbb{C}})$ �κ����ǥ�������󤲤Ƥ�������

��   ���̤ˡ��� $ R$ �θ� $ x$ �ˤ������ơ� $ Rx$ �� $ R$ �κ����ǥ���ˤʤ롣 �Ȥ��ˡ� $ M_n({\mathbb{C}})$ �θ� $ x_l=E_{11}+E_{22}+\dots+ E_{ll}$ ($ E_{ij}$ �� ���ܹ���) �ˤ������ơ� $ J_l=M_n({\mathbb{C}}) x_l$ �� $ M_n({\mathbb{C}})$ �Υ��ǥ���Ǥ��롣

$\displaystyle J_1 \subset J_2 \subset J_3\subset J_4\subset \dots \subset J_n=M_n({\mathbb{C}}).
$

���� 10.1   �̿� $ 8$ �������η� $ \mathbb{D}_8$ ��� $ {\mathbb{C}}[\mathbb{D}_8]$ �� ��İʾ�δĤ�ľ�Ѥ�ʬ�ò¤»¤è¡£

���� 10.2   $ {\mathbb{C}}[\mathfrak{S}_4]$ �θ� $ z=S(1 2)$ �ˤ������ơ�$ z$ �� �Ǿ�¿�༰����衣



2003/7/2