next up previous
: 鐃緒申鐃緒申文鐃緒申砲弔鐃緒申鐃�...

    

鐃緒申鐃緒申鐃� I No.12鐃緒申鐃緒申

\fbox{今日のテーマ} 鐃峻環わ申直鐃緒申分鐃薯・ｏ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申

鐃緒申弔隆弔鐃縦わ申直鐃術わ申分鐃薯すわ申罰擇覆鐃緒申箸鐃緒申鐃緒申襦�

鐃縦わ申直鐃緒申分鐃薯すわ申箸鐃緒申砲蓮鐃緒申弍鐃緒申鐃緒申鐃粛影わ申鐃緒申鐃塾わ申鐃楯ワ申鐃緒申箸砲覆襦�

鐃緒申鐃� 12.1   $ R_1,R_2$ 鐃熟環でわ申鐃緒申箸鐃緒申襦ｏ申鐃緒申里箸鐃緒申鐃�$ R_1,R_2$ 鐃塾環とわ申鐃銃わ申直鐃緒申 鐃夙は￥申鐃叔ワ申鐃緒申鐃緒申兔鐃緒申鐃� $ R_1\times R_2$ 鐃塾常申法鐃� 鐃緒申鐃塾よう鐃淑演算鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃塾でわ申鐃暑。

% latex2html id marker 838 $\displaystyle (a,b) + (c,d)=(a+c,b+d), \quad (a,b)\times (c,d)= (ac,bd) $

$ R_1$ 鐃緒申 $ R_2$ 鐃塾環とわ申鐃銃わ申直鐃術わ申鐃緒申鐃緒申 $ R_1\times R_2$ 鐃夙書く￥申

鐃緒申鐃緒申 12.1   $ R_1,R_2$ 鐃熟環でわ申鐃緒申箸鐃緒申襦ｏ申鐃緒申里箸鐃緒申鐃�
  1. $ R_1\times R_2$ 鐃熟環になる。
  2. $ R_1,R_2$ 鐃緒申単鐃縮醐申 鐃緒申鐃緒申鐃曙ぞ鐃緒申 $ 1_{R_1},1_{R_2}$ 鐃夙わ申鐃緒申函鐃� $ R_1\times R_2$ 鐃緒申単鐃縮醐申鐃緒申 $ (1_{R_1},1_{R_2})$ 鐃叔わ申鐃暑。
  3. $ R_1,R_2$ 鐃緒申鐃夙わ申鵬調鐃緒申覆鐃出￥申 $ R_1\times R_2$ 鐃緒申調鐃緒申任鐃緒申襦�

鐃緒申 12.1 (鐃縦わ申直鐃緒申分鐃緒申龍鐃緒申鐃緒申鐃�)  
  1. $ {\mbox{${\mathbb{Z}}$}}/12{\mbox{${\mathbb{Z}}$}}$ 鐃緒申 $ {\mbox{${\mathbb{Z}}$}}/3{\mbox{${\mathbb{Z}}$}}\times {\mbox{${\mathbb{Z}}$}}/4{\mbox{${\mathbb{Z}}$}}$ 鐃緒申同鐃緒申鐃叔わ申鐃暑。
  2. $ {\mathbb{C}}[X]/(X^2-X)$ 鐃緒申 $ {\mathbb{C}}[X]/(X)\times {\mathbb{C}}[X]/(X-1)$ 鐃緒申同鐃緒申鐃叔わ申鐃暑。

鐃縦わ申直鐃緒申分鐃緒申砲鐃緒申鐃緒申討蓮鐃緒申鐃縦の器申鐃緒申的鐃淑醐申鐃緒申鐃緒申鐃竣わ申鐃緒申鐃緒申未鐃緒申鐃緒申鐃�

鐃緒申鐃緒申 12.2  
  1. $ R_1,R_2$ 鐃緒申単鐃縮醐申鐃緒申鐃縦可器申鐃縦でわ申鐃緒申箸鐃緒申襦ｏ申鐃緒申里箸鐃� $ R_1\times R_2$ 鐃塾醐申 $ e_1,e_2$ 鐃緒申 $ e_1=(1,0),e_2=(0,1)$ 鐃祝わ申辰鐃緒申鐃緒申鐃夙￥申鐃緒申鐃塾わ申鐃夙わ申 鐃緒申鐃緒申立鐃縦￥申

    $\displaystyle e_1^2=e_1, e_2^2=e_2, e_1+e_2=1, e_1e_2=0$ (鐃緒申)

  2. $ R$ 鐃緒申単鐃縮醐申鐃緒申鐃縦可器申鐃縦でわ申鐃緒申箸鐃緒申襦ｏ申發� $ R$ 鐃塾醐申 $ e_1,e_2$ 鐃叔￥申 $ ($鐃緒申$ )$鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申里鐃渋醐申澆鐃緒申鐃出￥申 $ R$ 鐃緒申 $ R/(e_1) \times R/( e_2)$ 鐃緒申 同鐃緒申鐃祝なる。

鐃緒申鐃緒申鐃緒申鐃祝わ申蝓�鐃縦わ申直鐃緒申分鐃薯しわ申鐃緒申鐃夙わ申鐃祝は￥申 $ ($鐃緒申$ )$ 鐃緒申鐃緒申鐃緒申鐃緒申 鐃緒申 $ e_1,e_2$ 鐃緒申探鐃緒申鐃出わ申鐃緒申鐃緒申鐃夙わ申鐃緒か鐃暑。$ e_1,e_2$ 鐃塾わ申鐃夙わ申 (直鐃緒申分鐃緒申鐃緒申弍鐃緒申鐃緒申鐃�)鐃粛影と呼ぶ￥申

鐃緒申鐃緒申鐃縦の器申 $ R_1,R_2,R_3$ 鐃緒申直鐃術わ申鐃緒申弔両鐃緒申鐃銃縁申佑鐃緒申鐃緒申鐃緒申鐃緒申襦� 鐃緒申 $ (R_1\times R_2)\times R_3$ 鐃緒申 $ R_1\times R_2\times R_3$ 鐃緒申 同鐃緒申鐃叔わ申鐃暑。鐃緒申鐃縦以常申任鐃銃縁申諭鐃�

鐃緒申鐃緒申檗鐃緒申鐃緒申鐃緒申鐃�

鐃縦わ申鐃塾わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鬚靴堂鬚�なわ申鐃緒申鐃緒申 (鐃緒申鐃渋￥申鐃緒申鐃塾講居申鐃塾緒申了鐃緒申鐃殉で￥申)

(I).
$ 1000$ 鐃叔鰹申鐃緒申 $ 56$ 余鐃所、 $ 1001$ 鐃叔鰹申鐃緒申 $ 34$ 余鐃所、$ 1003$ 鐃叔鰹申鐃緒申 $ 12$ 余鐃緒申茲�鐃緒申鐃緒申鐃緒申 $ n$ 鐃緒申鐃緒申鐃緒申諜鐃緒申鐃�(鐃緒申鐃緒申侶彁鐃緒申呂鐃緒申鐃緒申鐃緒申拆鐃塾�鐃緒申鐃銃よい鐃緒申 鐃緒申鐃緒申鐃緒申鐃緒申法鐃熟書いてわ申鐃緒申鐃緒申鐃夙￥申) 鐃緒申鐃緒申團紂種申鐃緒申鐃緒申僂鐃緒申鐃緒申鐃緒申砲蓮鐃� 鐃宿のよう鐃淑醐申鐃緒申(鐃純え鐃緒申UBASIC,mupad 鐃淑わ申)鐃緒申鐃術わ申鐃緒申鐃塾わ申鐃緒申鐃緒申鐃緒申鐃緒申鐃暑こ鐃夙￥申 (鐃緒申能鐃淑わ申弌鐃緒申廛鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申里鐃緒申鐃緒申鐃祝つわ申鐃緒申箸鐃獣とよい鐃緒申)

(II).
$ X^3+1$ 鐃叔鰹申鐃緒申 $ X+1$ 余鐃所、$ X^2+2$ 鐃叔鰹申鐃緒申 $ X$ 余鐃緒申茲�鐃緒申 $ {\mathbb{C}}[X]$ 鐃緒申 鐃緒申 $ p(X)$ 鐃緒申鐃緒申鐃緒申諜鐃緒申茵�鐃緒申

(III).
$ a,b,c$ 鐃熟￥申鐃緒申鐃塾わ申鐃緒申鐃塾どわ申鐃緒申弔鐃緒申鐃循なわ申茲�鐃緒申複鐃叔随申鐃夙わ申鐃緒申 $ {\mathbb{C}}[X]$ 鐃塾醐申 $ p(X)$ 鐃緒申 $ X-a,X-b,X-c$ 鐃叔鰹申辰鐃緒申箸鐃緒申鐃� 余鐃所が鐃緒申鐃曙ぞ鐃緒申 $ e,f,g (\in {\mathbb{C}})$ 鐃叔わ申鐃獣わ申鐃夙わ申鐃暑。鐃緒申鐃塾とわ申鐃緒申$ p$ 鐃緒申 $ (X-a)(X-b)(X-c)$ 鐃叔鰹申辰鐃粛常申鐃緒申鐃緒申茵�(鐃緒申鐃緒申鐃熟わ申鐃緒申鐃緒申鐃駿わ申鐃曙い鐃淑件申鐃祝わ申鐃銃わ申鐃緒申鐃緒申 無鐃緒申鐃緒申展鐃緒申鐃緒申鐃淑わ申鐃銃わ申茲わ申鐃�)

平鐃緒申18年1鐃緒申18鐃緒申