next up previous
: この文書について...

    

代数学 I No.10要約

\fbox{今日のテーマ} 《単項イデアル整域は素元分解環である》

今回は、単項イデアル整域(単項イデアル環で、整域にもなっているもの、 略してPID)は、 「素因数分解」が出来ることをしめす。

まず、

$\displaystyle 12=(-3) \times (-4)=(-1)\times 3 \times (-4)=\dots
$

のような無用の分解を避けるために、$ \pm 1$ に類するものを特別扱いする ことにする。

定義 10.1   $ R$ は環であるとする。$ R$ の元のうち、 積に関して可逆なものの全体を $ R^\times$ であらわす。

$\displaystyle R^\times =\{ x\in R ; \exists y \in R$    に対して $\displaystyle xy=yx=1$   が成り立つ$\displaystyle \}
$

例 10.1   $ {\mbox{${\mathbb{Z}}$}}^\times=\{\pm 1\}$, $ {\mathbb{C}}^\times={\mathbb{C}}\setminus\{0\}$, $ {\mathbb{C}}[X]^\times={\mathbb{C}}^\times$.

補題 10.1   可換環 $ R$ の元 $ x$ について、次は同値である。
  1. $ x \in R^\times$
  2. $ (x)=R$

定義 10.2   可換環 $ R$ の元 $ x$ が素元であるとは、 $ (x)$$ R$ の素イデアルであるときにいう。

定義 10.3   整域 $ R$ が素元分解環であるとは、$ R$ の 任意の元 $ x$ について、次のいずれかが成り立つときに言う。
  1. $ x$=0
  2. $ x \in R^\times$
  3. $ x$$ R$ の素元の積に分解される。

例えば、 $ {\mbox{${\mathbb{Z}}$}}$ , $ {\mathbb{C}}[X]$ は素元分解環である。もっと一般に、 次のことが成り立つ。

定理 10.1   $ R$ が単項イデアル整域ならば、$ R$ は素元分解環である。

この定理の証明はいくつかの段階にわかれる。

まず、次の事実の拡張からはじめよう。

事実 10.1   整数 $ x,y,z$ があって、 $ yz$$ x$ で割り切れ、 かつ $ x,y$ が互いに素であるとする。このとき、$ z$$ x$ で割り切れる。

整数 $ x,y$ が互いに素なら、 $ (x,y)={\mbox{${\mathbb{Z}}$}}$ であったことを思い起こすと、 次の補題は上の事実の拡張であることが分かるだろう。

補題 10.2   可換環 $ R$ の元 $ x,y,z$ があって、 $ yz$$ x$ で割り切れ、かつ $ (x,y)=R$ であるとする。このとき、$ z$$ x$ で割り切れる。

定義 10.4   $ R$ は可換環であるとする。$ R$ の元 $ x$ が既約であるとは、

$\displaystyle \forall y \forall z
( y,z\in R, yz=x \ \implies \ (y\in R^\times$    または $\displaystyle z \in R^\times))
$

のときに言う。

補題 10.3   $ R$ は整域であるとする。このとき、
  1. $ R$ の素元は、必ず既約である。
  2. $ R$ の既約元は、必ずしも素元とは限らない。
  3. $ R$ がPID ならば$ R$ の既約元は必ず素元である。

上の補題により、単項イデアル整域 $ R$ の元 $ x$ を素因数分解する手順は 次のようになる。

  1. $ x=0 $ または $ x \in R^\times$ ならば、おしまい。
  2. $ x$ が素元ならば、やはりおしまい。
  3. それ以外なら、$ x=yz$ ( % latex2html id marker 1105
$ y,z\in R\setminus R^\times, y,z\neq 0$)と 分解できる。
  4. $ y,z$ について同様のことをする。 (例えば $ y,z$ が 素元でなければ、 $ y=y_1y_2$ となる。)
  5. 繰り返す。

あとの問題は、一つの元が無限に分解されていかないか、ということである。 これを解決するのには、前回の補題を用いればよい。

(参考) $ {\mathbb{C}}[X]$ の部分環 $ R={\mathbb{C}}[X^2,X^3]$ を考えると、

$\displaystyle R=\{f\in {\mathbb{C}}[X];$    $f$ の $X$ に関する一次の項の係数は $0$

であることが分かる。ここで、 $ a=X^2,b=X^4,c=X^3$ とおくと、$ ab=c^2$ であるが、
  1. $ a$$ R$ のなかで既約である
  2. $ a$$ R$ のなかで $ c$ の約数ではない。
ということが分かる。このように、単に「環」といってもこのような「特異な」環も 含まれるので、その元の取り扱いには通常の整数を取り扱う以上の注意が必要である。

※レポート問題

つぎのうち一問を選択して解きなさい。 (期限:次の講義の終了時まで。)

(I).
整域 $ R$ に対して、次のことを示しなさい。
  1. $ R^\times$ は乗法に関して群をなす。
  2. $ R$ に次のような同値関係をいれることが出来る。

    $\displaystyle x \sim y \ {\Leftrightarrow}\ (\exists u \in R^\times$    に対して $\displaystyle x=uy$   が成り立つ$\displaystyle )
$

    (この同値関係で同値な二つの元を、同伴な二つの元と呼ぶ。)
  3. $ x$$ y$ の倍元で、$ y$$ x$ の倍元でもあるなら、$ x$$ y$ とは 同伴である。

(II).
整域 $ R$ が与えられているとし、 $ p,p_1,p_2,p_3\dots p_k$ は全て $ R$ の素元であるとする。このとき、もし $ x=p_1 p_2 \dots p_k$$ p$ の倍元であれば、 $ p_1,p_2,\dots,p_k$ のうちどれか一つは必ず $ p$ と同伴であることを示しなさい。(同伴の定義は前問参照。但し、 前問に答えることは要求しない。(前問の結果は仮定してよい。))

(III).
% latex2html id marker 1169
$ {\mbox{${\mathbb{Z}}$}}[\sqrt{-1}]$ はユークリッド環、したがって素元分解環である。(証明不要) そこで、$ z=16+63i$ % latex2html id marker 1173
$ {\mbox{${\mathbb{Z}}$}}[\sqrt{-1}]$ において素元分解せよ。 (ヒント: まず $ z\bar{z}$ の素因数分解を試みよ。素因数分解の一意性を信じれば、 いろんな数の共通因数が求めたくなる筈である。 そういうときはユークリッドの互除法を用いよ。最後に、 数が本当に素元であるかどうか知りたいときには、

$\displaystyle x=yz$ $\displaystyle \ \implies \ x\bar{x}=y\bar{y}z\bar{z}$    
  $\displaystyle \ \implies \ $   $ \vert x\vert^2$$ \vert y\vert^2$$ \vert z\vert^2$ の積に分解される    

ということをうまく用いよ。 )


next up previous
: この文書について...
平成17年12月19日