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

    

����� I No.7����

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

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

% latex2html id marker 1091
$\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{R}}$}$$ [X]/(X^2+1)$$ \mbox{${\mathbb{R}}$}$$ [X] \cong {\mathbb{C}}$ �� ¸�ߤ��롣 $ \mbox{${\mathbb{R}}$}$$ [X]$ ���� $ {\mathbb{C}}$ �ؤμ��� $ f$ ��

% latex2html id marker 1125
$\displaystyle f(p)=p(\sqrt{-1})
$

������ȡ����Τ��Ȥ�ʬ���롣
  1. $ f$ �ϼ����Ȥ��Ƥ��ޤ��������Ƥ��롣
  2. $ f$ �ϴĤν�Ʊ���Ǥ��롣
  3. $ f$ ������ $ {\mathbb{C}}$ ���ΤǤ��롣
  4. $ f$ �γˤ� $ (X^2+1)$$ \mbox{${\mathbb{R}}$}$$ [X]$ �Ǥ��롣
��äơ���Ʊ�������ˤ�ꡢ

   $\displaystyle \mbox{${\mathbb{R}}$}$$\displaystyle [X]/(X^2+1)$$\displaystyle \mbox{${\mathbb{R}}$}$$\displaystyle [X] \cong {\mathbb{C}}
$

����������롣

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

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

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

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

����������롣

�� 7.4 (��Ʊ�������α����㣲)   $ 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).
  1. $\displaystyle \phi:$$\displaystyle \mbox{${\mathbb{R}}$}$$\displaystyle [X]/(X^2+2 X+1)$$\displaystyle \mbox{${\mathbb{R}}$}$$\displaystyle [X] \to {\mathbb{C}}
$

    �� $ \phi(p(X))=p(-1)$ ���������ȡ� ����Ϥ��ޤ��������Ƥ��뤳�Ȥ򼨤��ʤ�����
  2. $\displaystyle \psi:$$\displaystyle \mbox{${\mathbb{R}}$}$$\displaystyle [X]/(X^2+2 X+1)$$\displaystyle \mbox{${\mathbb{R}}$}$$\displaystyle [X] \to {\mathbb{C}}
$

    �� $ \phi(p(X))=p(1)$ ��������褦�Ȥ���ȡ� ����Ϥ��ޤ��������Ƥ��ʤ����Ȥ򼨤��ʤ�����

(II).

   $\displaystyle \mbox{${\mathbb{R}}$}$$\displaystyle [X]/(X^2+2 X+2 )$$\displaystyle \mbox{${\mathbb{R}}$}$$\displaystyle [X] \cong {\mathbb{C}}
$

�򼨤��ʤ�����


next up previous
: ����ʸ��ˤĤ���...
ʿ��19ǯ11��29��