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

1=3 1 by -1     

鐃緒申鐃緒申鐃� I No.3鐃緒申鐃緒申

\fbox{今日のテーマ} 鐃緒申鐃叔ワ申鐃緒申箸鐃緒申鐃祝わ申鐃緒申余鐃縦￥申鐃緒申 $ {\mbox{${\mathbb{Z}}$}}/n{\mbox{${\mathbb{Z}}$}}$

鐃縦をイデワ申鐃緒申燃鐃暑こ鐃夙にわ申蝓�鐃緒申鐃緒申鐃緒申鐃縦わ申鐃暑こ鐃夙わ申鐃緒申鐃緒申襦� 鐃緒申鐃緒申蓮鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃淑�鐃緒申鐃叔鰹申鐃緒申鐃緒申忙鐃緒申討鐃緒申襦�

鐃夙わ申鐃祝￥申 $ {\mbox{${\mathbb{Z}}$}}$ 鐃緒申 $ n{\mbox{${\mathbb{Z}}$}}$ 鐃叔鰹申辰鐃緒申弔禄鐃緒申廚任鐃緒申襦�

鐃緒申鐃� 3.1   $ R$ 鐃緒申単鐃縮醐申鐃緒申鐃縦環でわ申鐃緒申箸鐃緒申鐃�$ I$ 鐃熟わ申鐃緒申鐃緒申分鐃緒申鐃緒申任鐃緒申鐃夙わ申鐃暑。 $ I$ 鐃緒申 $ R$ 鐃塾ワ申鐃叔ワ申鐃緒申任鐃緒申鐃夙は￥申 鐃緒申鐃塾常申錣�鐃緒申鐃緒申立鐃緒申 鐃夙わ申鐃祝わ申鐃緒申鐃緒申
  1. $ I$ 鐃緒申 $ (R,+)$ 鐃緒申鐃緒申分鐃緒申鐃叔わ申鐃暑。 鐃緒申鐃淑わ申鐃緒申鐃�$ I$ 鐃緒申 $ R$ 鐃塾加￥申鐃緒申法鐃祝つわ申鐃緒申鐃縦わ申鐃銃わ申鐃暑。
  2. $ I$ 鐃塾醐申鐃緒申 $ R$ 鐃塾醐申鐃薯右わ申鐃緒申櫃鐃緒申討盧醐申鐃緒申鐃楯わ申鐃銃わ申鐃獣ぱわ申 $ I$ 鐃塾醐申鐃祝なる。 鐃緒申鐃淑わ申鐃緒申鐃� 任鐃春わ申 $ x \in I$ 鐃緒申任鐃春わ申 $ r\in R$ 鐃祝つわ申鐃銃￥申

    $\displaystyle rx\in I , xr \in I $

    鐃緒申鐃緒申鐃緒申立鐃縦￥申

鐃緒申 3.1 (鐃緒申鐃叔ワ申鐃緒申鐃緒申鐃�)  
  1. $ 10{\mbox{${\mathbb{Z}}$}}$ 鐃緒申 $ {\mbox{${\mathbb{Z}}$}}$ 鐃塾ワ申鐃叔ワ申鐃緒申任鐃緒申襦�
  2. 鐃緒申辰醗鐃緒申未法鐃�$ n>0$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申 $ n{\mbox{${\mathbb{Z}}$}}$ 鐃緒申 $ {\mbox{${\mathbb{Z}}$}}$ 鐃塾ワ申鐃叔ワ申鐃緒申任鐃緒申襦�
  3. 鐃緒申鐃祝逸申鐃縮に￥申任鐃春の可器申鐃緒申 $ R$ 鐃緒申 任鐃春わ申 $ a\in R$ 鐃祝わ申鐃緒申鐃緒申鐃銃￥申 $ a R$ 鐃緒申 $ R$ 鐃塾ワ申鐃叔ワ申鐃緒申任鐃緒申襦�
  4. 任鐃春の器申 $ R$ 鐃緒申鐃出わ申鐃銃￥申 $ \{0\}$ 鐃緒申 $ R$ 鐃塾ワ申鐃叔ワ申鐃緒申任鐃緒申襦�

鐃緒申鐃緒申 3.1   $ R$ 鐃緒申単鐃縮醐申鐃緒申鐃縦環でわ申鐃緒申箸鐃緒申鐃�$ I$ 鐃薯そのワ申鐃叔ワ申鐃緒申箸鐃緒申襦� 鐃緒申鐃塾とわ申鐃緒申
  1. $ R$ 鐃緒申同鐃粛関件申 $ \sim$ 鐃緒申鐃緒申鐃緒申鐃塾よう鐃祝わ申鐃銃件申泙襦�

    $\displaystyle a\sim b {\Leftrightarrow} a-b \in I. $

  2. $ R/\sim$ 鐃祝￥申足鐃緒申鐃緒申鐃薯次のよう鐃祝わ申鐃緒申鐃緒申鐃緒申襦�

    % latex2html id marker 1261 $\displaystyle \bar{a}+\bar{b}=\overline{a+b} \quad ($$?$ 鐃緒申 $?$ 鐃緒申 $&sim#sim;$ 鐃祝関わ申鐃緒申 鐃緒申鐃初ス鐃緒申表鐃緒申鐃緒申$\displaystyle ) $

    鐃緒申鐃緒申足鐃緒申鐃緒申鐃熟わ申鐃殉わ申鐃緒申鐃緒申鐃緒申鐃銃わ申鐃銃￥申$ R/\sim$ 鐃熟わ申鐃緒申足鐃緒申鐃緒申鐃祝つわ申鐃銃可器申鐃緒申鐃祝なる。
  3. $ R/\sim$ 鐃祝￥申鐃緒申鐃緒申鐃緒申鐃薯次のよう鐃祝わ申鐃緒申鐃緒申鐃緒申襦�

    $\displaystyle \bar{a}\cdot \bar{b}=\overline{a \cdot b} $

    鐃緒申鐃塾わ申鐃緒申鐃緒申鐃熟わ申鐃殉わ申鐃緒申鐃緒申鐃緒申鐃銃わ申鐃銃￥申$ R/\sim$ 鐃熟わ申鐃塾わ申鐃緒申鐃緒申鐃祝つわ申鐃緒申半鐃緒申鐃祝なる。
  4. $ R/\sim$ 鐃熟常申鐃緒申鐃緒申鐃緒申鐃曙た足鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申亡悗鐃緒申弔鐃淑わ申鐃緒申 鐃緒申鐃緒申鐃盾、鐃緒申鐃塾環わ申単鐃縮醐申 $ \bar{1}$ 鐃緒申鐃緒申帖鐃�

鐃緒申鐃� 3.2   鐃緒申鐃緒申鐃緒申鐃塾駕申鐃緒申里鐃夙で￥申 $ R/\sim$ 鐃祝常申里茲�鐃緒申足鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃� 鐃縦にわ申鐃緒申鐃緒申里鐃� $ R/I$ 鐃夙書き￥申$ R$ 鐃緒申 $ I$ 鐃祝わ申鐃緒申余鐃縦と呼ぶ￥申

鐃緒申 3.1 (鐃緒申余鐃縦わ申鐃緒申)  
  1. 任鐃春の器申 $ R$ 鐃緒申鐃出わ申鐃銃￥申鐃緒申余鐃緒申 $ R/0$ 鐃緒申 $ R$ 鐃緒申同鐃緒申(鐃縦とわ申鐃緒申同鐃緒申鐃緒申鐃�) 鐃叔わ申鐃暑。
  2. $ {\mathbb{C}}[X]/X{\mathbb{C}}[X]$ 鐃緒申 $ {\mathbb{C}}$ 鐃緒申同鐃緒申鐃叔わ申鐃暑。

$ {\mbox{${\mathbb{Z}}$}}/n{\mbox{${\mathbb{Z}}$}}$ 鐃熟￥申 $ {\mbox{${\mathbb{Z}}$}},{\mathbb{C}}[X]$ 鐃塾種申鐃祝緒申鐃竣な環わ申鐃緒申任鐃緒申襦ｏ申弔砲弔鐃緒申討竜鐃緒申鐃緒申鐃� 鐃緒申鐃緒申鐃緒申鐃緒申鐃宿わ申鐃緒申鐃熟わ申鐃緒申鐃塾環につわ申鐃銃まわ申鐃緒申鐃緒申鐃獣ワ申鐃緒申鐃銃みわ申里鐃緒申茲わ申鐃�

鐃緒申鐃緒申 3.2   $ {\mbox{${\mathbb{Z}}$}}/10{\mbox{${\mathbb{Z}}$}}$ 鐃祝わ申鐃緒申鐃銃￥申
  1. % latex2html id marker 1303 $ 10=1+1+\dots+1\quad ($$10$鐃緒申 $1$ 鐃緒申足鐃緒申$ )=0$ 鐃叔わ申鐃暑。
  2. $ 2\times 5= 0 $ 鐃叔わ申鐃暑。$ ($鐃緒申鐃緒申鐃緒申鐃緒申$ 2$ 鐃緒申 $ 5$ 鐃緒申 0 鐃叔はなわ申鐃緒申$ )$

鐃緒申鐃緒申

$ {\mbox{${\mathbb{Z}}$}}/?{\mbox{${\mathbb{Z}}$}}$ 鐃祝わ申鐃緒申鐃銃は￥申単鐃緒申 $ 10,2,5$ 鐃夙緒申鐃緒申鐃緒申法鐃� $ \overline{10},\overline{2},\overline{5}$ 鐃緒申鐃暑い鐃緒申 $ [10],[2],[5]$ 鐃緒申鐃塾居申鐃緒申鐃夙っわ申鐃縮常申凌鐃緒申閥鐃緒申未鐃緒申襪鰹申箸鐃渋随申鐃緒申鐃� 鐃緒申鐃緒申鐃緒申鐃叔は￥申鐃縮常申隆鐃緒申个箸琉磴わ申鐃緒申發�鐃出わ申鐃緒申鐃暑た鐃緒申法鐃� 鐃緒ざ鐃緒申 $ 10,2,5$ 鐃緒申鐃夙書いわ申鐃緒申鐃緒申里茲�鐃緒申鐃純が鐃緒申鐃緒申里如鐃� 鐃緒申鐃縮の器申 $ R$ 鐃塾醐申鐃夙わ申鐃緒申鐃純え鐃緒申 $ 300_R$ (鐃殉わ申鐃緒申略鐃緒申鐃緒申 単鐃緒申 $ 300$ )鐃緒申佑鐃緒申鐃緒申鐃祝は￥申 鐃緒申鐃曙が 0 鐃緒申鐃緒申鐃塾わ申覆鐃� 鐃夙わ申鐃緒申鐃緒申鐃夙わ申鐃祝意種申鐃緒申鐃銃わ申鐃緒申必鐃竣わ申鐃緒申鐃暑。

$ {\mbox{${\mathbb{Z}}$}}/n{\mbox{${\mathbb{Z}}$}}$ 鐃緒申鐃緒申鐃緒申鐃緒申 $ n$ 鐃緒申鐃叔随申鐃緒申鐃宿わ申鐃緒申鐃祝わ申辰鴇鐃緒申鐃緒申鐃獣わ申鐃緒申襦� 鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申鐃緒申襪随申鐃祝￥申鐃殉わ申鐃緒申鐃春わ申鐃緒申鐃緒申儖佞鐃緒申襦�

鐃緒申鐃� 3.3   $ R$ 鐃緒申鐃縦でわ申鐃緒申箸鐃緒申襦�$ R$ 鐃塾醐申 $ x$ 鐃緒申 $ R$ 鐃緒申鐃緒申鐃緒申鐃述でわ申鐃緒申箸蓮鐃� 鐃緒申鐃緒申鐃緒申弔里鐃緒申鐃緒申匹鐃緒申蕕�鐃緒申鐃緒申鐃緒申立鐃縦誌申鐃祝醐申鐃緒申鐃緒申
  1. % latex2html id marker 1347 $ xy=0, y\neq 0$ 鐃緒申澆鐃緒申鐃� $ R$ 鐃塾醐申 $ y$ 鐃緒申存鐃淳わ申鐃暑。
  2. % latex2html id marker 1353 $ yx=0, y\neq 0$ 鐃緒申澆鐃緒申鐃� $ R$ 鐃塾醐申 $ y$ 鐃緒申存鐃淳わ申鐃暑。
(鐃緒申鐃緒申鐃緒申鐃�$ R$ 鐃緒申鐃縦器申鐃塾誌申鐃熟常申鐃緒申鐃縦の常申鐃緒申同鐃緒申鐃緒申鐃夙になる。) $ R$ 鐃緒申単鐃縮醐申鐃緒申鐃緒申腸調鐃緒申弔如鐃緒申鐃緒申鐃緒申鐃� 0 鐃淑鰹申鐃緒申鐃緒申鐃緒申鐃述わ申鐃緒申鐃緒申覆鐃緒申鐃緒申鐃�$ R$ 鐃緒申 鐃緒申鐃緒申噺鐃緒申鐃緒申鐃�

鐃緒申鐃緒申 3.3   鐃緒申鐃緒申鐃緒申鐃緒申 $ n$ 鐃緒申鐃縦とっわ申鐃緒申襦ｏ申鐃緒申里箸鐃緒申鐃�
  1. $ n$ 鐃緒申鐃叔随申鐃叔なわ申鐃緒申弌鐃� $ {\mbox{${\mathbb{Z}}$}}/n{\mbox{${\mathbb{Z}}$}}$ 鐃緒申 0 鐃淑鰹申鐃緒申鐃緒申鐃緒申鐃述わ申鐃緒申帖鐃�
  2. $ n$ 鐃緒申鐃叔随申鐃淑わ申弌鐃� $ {\mbox{${\mathbb{Z}}$}}/n{\mbox{${\mathbb{Z}}$}}$ 鐃緒申鐃緒申鐃緒申任鐃緒申襦�

鐃渋は￥申$ p$ 鐃緒申鐃叔随申鐃淑わ申弌鐃� $ {\mbox{${\mathbb{Z}}$}}/p{\mbox{${\mathbb{Z}}$}}$ 鐃緒申鐃塾でわ申鐃暑こ鐃夙わ申鐃緒か鐃暑。鐃緒申鐃緒申砲鐃� 鐃緒申鐃緒申鐃緒申鐃緒申鐃夙わ申鐃出よい鐃緒申

鐃緒申鐃緒申 3.4   $ R$ 鐃緒申鐃緒申鐃緒申如鐃緒申鐃緒申鐃� $ R$ 鐃塾醐申鐃塾随申 $ \char93 R$ 鐃緒申有鐃渋でわ申鐃緒申箸鐃緒申襦� 鐃緒申鐃塾とわ申鐃緒申$ R$ 鐃緒申鐃塾でわ申鐃暑。鐃夙わ申鐃祝￥申 $ {\mbox{${\mathbb{Z}}$}}/p{\mbox{${\mathbb{Z}}$}}$ 鐃緒申鐃塾でわ申鐃暑。

鐃緒申 3.1   鐃叔随申 $ p$ 鐃夙￥申$ p$ 鐃叔鰹申鐃緒申擇鐃淑わ申鐃緒申鐃緒申 $ a$ 鐃夙わ申鐃出わ申鐃緒申 % latex2html id marker 1400 $ ax+py=1$ 鐃夙なわ申鐃緒申鐃緒申 $ x,y$ 鐃緒申存鐃淳わ申鐃暑。

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

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

(I).
(i) $ {\mbox{${\mathbb{Z}}$}}$ 鐃塾醐申 $ x$ 鐃叔￥申 $ {\mbox{${\mathbb{Z}}$}}/100{\mbox{${\mathbb{Z}}$}}$ 鐃緒申鐃緒申嚢佑鐃緒申鐃緒申 $ \bar{x}=\bar{1}$ 鐃緒申鐃緒申鐃緒申立鐃緒申鐃緒申鐃� 5鐃縦わ申鐃緒申鐃淑わ申鐃緒申鐃緒申(鐃緒申鐃所ジ鐃淑ワ申任鐃緒申襪鰹申函鐃� 鐃緒申鐃熟わ申鐃緒申鐃緒申鐃藷あわ申鐃緒申鐃緒申鐃初ケ鐃緒申鐃緒申鐃緒申鐃緒申鐃淑わ申鐃緒申 鐃順き鐃淑随申鐃緒申鐃薯あわ申鐃緒申鐃渋常申凌佑判鼎覆鐃淑わ申鐃叔わ申鐃順う鐃緒申) (ii) $ {\mbox{${\mathbb{Z}}$}}/12{\mbox{${\mathbb{Z}}$}}$ 鐃緒申鐃緒申鐃緒申鐃述をすべてわ申鐃緒申鐃緒申鐃緒申鐃緒申蕕�鐃緒申鐃緒申鐃述でわ申鐃暑こ鐃夙わ申尊櫃鐃� 鐃緒申鐃緒申鐃淑わ申鐃緒申鐃緒申

(II).
$ R={\mbox{${\mathbb{Z}}$}}[X]/(2,X^2+X+1)$ 鐃塾醐申(4鐃縦わ申鐃緒申)鐃薯すべて書き￥申鐃渋際にわ申鐃緒申鐃緒申 $ R$ 鐃緒申 鐃緒申鐃緒申鐃縦わ申鐃銃わ申鐃暑こ鐃夙を示わ申鐃淑わ申鐃緒申鐃緒申

(III).
(II) 鐃塾器申 $ R$ 鐃緒申鐃塾でわ申鐃暑こ鐃夙を示わ申鐃淑わ申鐃緒申鐃緒申

next up previous
: 鐃緒申鐃緒申文鐃緒申砲弔鐃緒申鐃�...
平鐃緒申17年11鐃緒申17鐃緒申