Next: About this document ...

��II�� No.3

��3��ܤμ�� : $\fbox{��}$

-�÷� �ˤ��ơ� �θ�� ؤκ��Ѥϥ٥��ȥ��֤Ǹ�� ֥��顼�ܡפ��ºݤˤϤ��ʤ괶�Ф��ۤʤ��礬��롣

�� 3.1 (��γ�ǧ) ��

��ñ�̸��

�Ƚ񤯤ΤǤ��ä��Ĥ��

��

,

��

��Ƚ񤯡�

��

�ˤ��ޥ��ʥ��

, ��Ĥ��

��

��Ƚ񤯡�

�� 3.2 ( �֥��顼��Ū�ʺ��ѡפ��)

${\mbox{${\mathbb{Z}}$}}$ -�÷� ��Ф��ơ�

$% latex2html id marker 839 $\displaystyle 2.m= m+m,\quad 3.m=(m+m)+m,\dots$$

$% latex2html id marker 840 $\displaystyle (-2).m= (-m)+(-m),\quad 3.m=((-m)+(-m))+(-m),\dots$$

��Ω�ġ�
��äȰ��̤˴� ��Ф��ơ� $% latex2html id marker 844 $ 2_R. m=m+m,\quad 3_R.m =(m+m)+m$$ �� Ω�ġ�
�� Υ٥��ȥ�� -�÷��Ȥߤ�Ȥ��ˤϡ� �֥��顼�ܡפ��Ѥȹͤ��ΤǤ��ä��

�� 3.3 ��

��ΰ�Ĥι�� $A\in M_n(k)$ ��ꤹ�롣��ΤȤ��ѿ� ¿�༰��

��

�ؤκ��Ѥ�

$% latex2html id marker 865 $\displaystyle p(X). v=p(A) v \qquad (p\in k[X], v \in k^n) $$

��ޤ롣

�� 3.1

��

�ؤκ��ѤǤ��äơ�

�κ��Ѥ�

�θ��Υ��顼�ܤ� ��פ��褦�ʤ�Τϡ��˵󤲤��Τ˸¤뤳�Ȥ򼨤��ʤ��

�� 3.4 ��

�ȷ�

��Ϳ��줿�Ȥ��

��

�� ��

�Ȥϡ� ��Ū��ͭ��¤ν��

$% latex2html id marker 895 $\displaystyle A[G]= \left\{ \sum_{g \in G} a_g g \ ; \qquad a_g=0 \quad \forall' g \in G \right\} $$

�˷��Ū��¡��Ѥ�Ƴ��ΤǤ��롣 (�� $\forall' \bullet$ �� ϡ�ͭ�¸Ĥ��㳰��Ƥ� $\bullet$ ��Ф��ơ� �Ȥ��̣�Ǥ��롣) ��Ū�ˤϡ��¡��Ѥϼ��Τ褦��Ϳ��롣

$\sum_g a_g g + \sum_g b_g g = \sum_g (a_g +b_g) g.$
$\sum_g a_g g \cdot \sum_g b_g g= \sum_g (\sum_h a_h b_{h^{-1}g} )g$

�� 3.5 ��

��Ϳ��Ƥ��Ȥ��롣��

��

��

-��ɽ�� $\Phi$ �Ȥϡ��Ʊ�� $\Phi: G\to {\operatorname{GL}}_n(k)$ �� ȤǤ��롣

̿�� 3.6 ��

��

��

-��ɽ�� $\Phi$ ��Ϳ��줿�Ȥ��

��

�ؤκ��Ѥ�

$% latex2html id marker 939 $\displaystyle (\sum_g a_g g). v = \sum_g a_g \Phi(g)v \qquad (v\in k^n) $$

��ޤ롣

�� 3.2 5�� $C_5=\langle a; a^5=e \rangle$ �ξ�� ${\mathbb{C}}$ ��η�� ${\mathbb{C}}[C_5]$ �μ��η׻��򤷤��衣(��ϤǤ��ñ�ˤ��뤳�ȡ�)

$\displaystyle (e+a+a^2+a^3+a^4)(e+a^3)$

Next: About this document ...

2010-04-20