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日