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

    

����� A No.7����

\fbox{º£Æü¤Î¥Æ¡¼¥Þ} �ԴĤν�Ʊ������������ˡ��

�� 7.1 (��Ʊ�������δ�����1)   $ {\mbox{${\mathbb{Z}}$}}/100{\mbox{${\mathbb{Z}}$}}$ ���� $ {\mbox{${\mathbb{Z}}$}}/10{\mbox{${\mathbb{Z}}$}}$ �ؤμ��� $ f$ ��

% latex2html id marker 1002
$\displaystyle f([n]_{100})=[n]_{10} \quad \quad ($   $[?]_n$ �� $$ \mathbb{Z}$/n$ \mathbb{Z}$$ �ˤ����� $?$ ��Ʊ���� $\displaystyle )
$

������ȡ����Τ��Ȥ�ʬ���롣
  1. $ f$ �ϼ����Ȥ��Ƥ��ޤ��������Ƥ��롣 ���ʤ����$ f$ ���������ɽ���ΤȤ����ˤ��ʤ���
  2. $ f$ �ϴĤν�Ʊ���Ǥ��롣
  3. $ f$ ������ $ {\mbox{${\mathbb{Z}}$}}/10{\mbox{${\mathbb{Z}}$}}$ ���ΤǤ��롣
  4. $ f$ �γˤ� $ 10{\mbox{${\mathbb{Z}}$}}/100{\mbox{${\mathbb{Z}}$}}$ �Ǥ��롣
��äơ���Ʊ�������ˤ�ꡢ

$\displaystyle ({\mbox{${\mathbb{Z}}$}}/100{\mbox{${\mathbb{Z}}$}})/(10{\mbox{${...
...box{${\mathbb{Z}}$}}) \cong {\mbox{${\mathbb{Z}}$}}/10 {\mbox{${\mathbb{Z}}$}}
$

����������롣

�� 7.2 (��Ʊ�������α����㣱)   $ {\mbox{${\mathbb{Z}}$}}[X]$ ���� % latex2html id marker 1026
$ {\mbox{${\mathbb{Z}}$}}[\sqrt{14}]$ �ؤμ��� $ f$ ��

% latex2html id marker 1030
$\displaystyle f(p)=p(\sqrt{14})
$

������ȡ����Τ��Ȥ�ʬ���롣
  1. $ f$ �ϼ����Ȥ��Ƥ��ޤ��������Ƥ��롣 ���ʤ����$ f$ ������ % latex2html id marker 1036
$ {\mbox{${\mathbb{Z}}$}}[\sqrt{14}]$ ����Ϥ߽Ф��ʤ���
  2. $ f$ �ϴĤν�Ʊ���Ǥ��롣
  3. $ f$ ������ % latex2html id marker 1042
$ {\mbox{${\mathbb{Z}}$}}[\sqrt{14}]$ ���ΤǤ��롣
  4. $ f$ �γˤ� % latex2html id marker 1046
$ (X^2-14){\mbox{${\mathbb{Z}}$}}[\sqrt{14}]$ �Ǥ��롣
��äơ���Ʊ�������ˤ�ꡢ

% latex2html id marker 1048
$\displaystyle {\mbox{${\mathbb{Z}}$}}[X]/(X^2-14){\mbox{${\mathbb{Z}}$}}[\sqrt{14}] \cong {\mbox{${\mathbb{Z}}$}}[\sqrt{14}]
$

����������롣

�� 7.3 (��Ʊ�������α����㣲)   $ A\in M_2({\mathbb{C}})$ ��

$\displaystyle A=
\begin{pmatrix}
1 &3 \\
5 &7
\end{pmatrix}$

����ᡢ $ {\mathbb{C}}[X]$ ���� $ M_2({\mathbb{C}})$ �ؤμ��� $ f$ ��

$\displaystyle f(p)=p(A)
$

������ȡ����Τ��Ȥ�ʬ���롣
  1. $ f$ �ϴĤν�Ʊ���Ǥ��롣
  2. $ f$ ������

    $\displaystyle {\mathbb{C}}[A]=
{\mathbb{C}}A+{\mathbb{C}}E= \{k A+ lE ; k,l \in...
...in{pmatrix}
k+l &3k \\
5k &7k+l
\end{pmatrix}; k,l \in {\mathbb{C}}
\right \}
$

    �Ǥ��롣
  3. $ f$ �γˤ� $ (X^2-8 X-8){\mathbb{C}}[X]$ �Ǥ��롣
��äơ���Ʊ�������ˤ�ꡢ

$\displaystyle {\mathbb{C}}[X]/(X^2-8X-8){\mathbb{C}}[X] \cong {\mathbb{C}}[ A](={\mathbb{C}}A +{\mathbb{C}}E)
$

����������롣

����ݡ�������

�Ĥ��Τ�����������򤷤Ʋ򤭤ʤ����� (���¡����ιֵ��ν�λ���ޤǡ�)

(I).
�ĤȤ��Ƥ�Ʊ�� $ \mbox{${\mathbb{R}}$}$$ [X]/(X^2+1)$$ \mbox{${\mathbb{R}}$}$$ [X] \cong {\mathbb{C}}$ �� ¸�ߤ��뤳�Ȥ򼨤��ʤ�����

(II).

$\displaystyle A=
\begin{pmatrix}
7 & 4 \\
-5 & -2
\end{pmatrix}$

���֤��Ȥ���
  1. $ {\mathbb{C}}[A] \cong {\mathbb{C}}[X]/(X^2-5X+6){\mathbb{C}}[X]$ �Ǥ��뤳�Ȥ򼨤��ʤ�����
  2. $ {\mathbb{C}}[X]/(X^2-5X+6){\mathbb{C}}[X]$ �� 0 �Ǥʤ������Ҥ��Ĥ����ʤ�����
  3. $ {\mathbb{C}}[A]$ �� 0 �Ǥʤ������Ҥ��Ĥ����ʤ�����


ʿ��17ǯ11��24��