環かんring・イデアルideal・商環しょうかんquotient ring 基本きほん演習えんしゅう

1対応たいおうする講義こうぎ

2取とり組くむ順序じゅんじょ

「環かんの基本きほん」の後あとは問題もんだい1・2に取とり組くめる。「イデアルと商環しょうかん」の後あとに問題もんだい3・4と証明演習しょうめいえんしゅうへ進すすむ。このページの prerequisites は全問題ぜんもんだいに取とり組くむための最終到達点さいしゅうとうたつてんを表あらわす。

3関連かんれん演習えんしゅう

4問題もんだい1：環かんringの例れいを挙あげる

$$\mathbb{Z}$$\mathbb Z は通常つうじょうの足たし算ざんと掛かけ算ざんで環かんringか。

4.1解答かいとう

環かんringである。加法かほうadditionについて可換群かかんぐんであり、乗法じょうほうmultiplicationは結合法則けつごうほうそくを満みたし、分配法則ぶんぱいほうそくdistributive lawも成立せいりつする。乗法じょうほうmultiplication単位元たんいげんidentity elementは 1 である。

4.2解説かいせつ

$$\mathbb{Z}$$\mathbb Z では一般いっぱんに割わり算ざんは閉とじないが、環かんringでは乗法逆元じょうほうぎゃくげんを全すべてに要求ようきゅうしない。

5問題もんだい2：環かんの基本恒等式きほんこうとうしき

環かん $$R$$R の任意にんいの $$a,b\in R$$a,b\in R について、$$a0=0a=0$$a0=0a=0 と $$(-a)b=-\left(ab\right)$$(-a)b=-(ab) を環かんの公理こうりから証明しょうめいせよ。

5.1解答かいとう

分配法則ぶんぱいほうそくより

である。加法かほうについて両辺りょうへんに $$-\left(a0\right)$$-(a0) を加くわえると $$a0=0$$a0=0 を得える。同様どうように $$0b=(0+0)b=0b+0b$$0b=(0+0)b=0b+0b から $$0b=0$$0b=0 を得える。また、

である。したがって $$(-a)b$$(-a)b は $$ab$$ab の加法逆元かほうぎゃくげんなので、$$(-a)b=-\left(ab\right)$$(-a)b=-(ab) である。

5.2解説かいせつ

$$a0=0$$a0=0 や負号ふごうの計算規則けいさんきそくは、整数せいすうだけの性質せいしつではない。環かんの分配法則ぶんぱいほうそくと加法群かほうぐんの性質せいしつから必然的ひつぜんてきに従したがう。

6問題もんだい3：イデアルidealを確認かくにんする

$$3\mathbb{Z}$$3\mathbb Z は $$\mathbb{Z}$$\mathbb Z のイデアルidealか。

6.1解答かいとう

イデアルidealである。まず $$0=3·0\in 3\mathbb{Z}$$0=3\cdot0\in3\mathbb Z なので、$$3\mathbb{Z}$$3\mathbb Z は空からではない。任意にんいの $$3a,3b\in 3\mathbb{Z}$$3a,3b\in3\mathbb Z について

である。また、任意にんいの $$r\in \mathbb{Z}$$r\in\mathbb Z について

である。さらに $$\mathbb{Z}$$\mathbb Z は可換環かかんかんなので、$$\left(3a\right)r=r\left(3a\right)\in 3\mathbb{Z}$$(3a)r=r(3a)\in3\mathbb Z でもある。したがって $$3\mathbb{Z}$$3\mathbb Z は左右さゆうどちらから掛かけても吸収きゅうしゅうし、$$\mathbb{Z}$$\mathbb Z のイデアルである。

6.2解説かいせつ

イデアルidealでは、引ひき算ざんで閉とじていることと、環かんringの任意にんいの元げんelementを掛かけても中なかに残のこることを確認かくにんする。

7問題もんだい4：商環しょうかんquotient ringを読よむ

$$\mathbb{Z}/3\mathbb{Z}$$\mathbb Z/3\mathbb Z では、$$\left[2\right]+\left[2\right]$$[2]+[2] と $$\left[2\right]\left[2\right]$$[2][2] は何なにか。

7.1解答かいとう

である。

7.2解説かいせつ

商環しょうかんquotient ringでは、計算けいさん結果けっかを同おなじ剰余類じょうよるいresidue classで代だい表ひょうし直なおす。代表元だいひょうげんは一ひとつに固定こていされていない。

8証明しょうめい演習えんしゅう：商環しょうかんquotient ringの演算えんざんが well-defined であること

8.1問題もんだい

$I$I を環かんring $R$R のイデアルidealとする。$a+I=a^{\prime }+I$a+I=a'+I、$b+I=b^{\prime }+I$b+I=b'+I なら、$(a+b)+I=(a^{\prime }+b^{\prime })+I$(a+b)+I=(a'+b')+I、$ab+I=a^{\prime }{b}^{\prime }+I$ab+I=a'b'+I であることを証明しょうめいせよ。

8.2解答かいとう

$a^{\prime }-a\in I$a'-a\in I、$b^{\prime }-b\in I$b'-b\in I である。和わについては

である。よって $(a+b)+I=(a^{\prime }+b^{\prime })+I$(a+b)+I=(a'+b')+I である。

積せきについては

である。$I$I はイデアルidealなので $a^{\prime }(b^{\prime }-b)\in I$a'(b'-b)\in I、$(a^{\prime }-a)b\in I$(a'-a)b\in I である。したがって $a^{\prime }{b}^{\prime }-ab\in I$a'b'-ab\in I であり、$$ab+I=a^{\prime }{b}^{\prime }+I$$ab+I=a'b'+I である。

8.3解説かいせつ

イデアルidealの吸収性きゅうしゅうせいは、代表元だいひょうげんを変かえても積せきの類るいが変かわらないことを保証ほしょうする。