コロキウム室

二次方程式 x²+ax+b=0 に対して -k≦a≦k -k≦b≦k の範囲で 適当にa、bを選ぶとき、虚根を持つ確率を求めてください。
また、ｋ→∞としたときはどうなるでしょうか。
NO.441　ビュフォンの針の問題 のように図形の面積から確率を求める問題で面白いと思います。

（群の作用について）

今後のリングセオリーの準備として、群の作用について考えましょう。 まず、Gと書いたら群とします。（可換性は今は仮定しません）

（定義）
集合X≠φに群Gが作用するとは次の２つを満たす写像ｍ：G×X→Xが与えられていることを言う。

1. ｍ（a、ｍ（ｂ、ｘ））＝ｍ（aｂ、ｘ）
2. ｍ（e、ｘ）＝ｘ

この事をGのXに対する左作用といいます。 右作用もあるのですが、多くの場合、左作用を右作用に変換する事は容易ですから 今は左作用の事を単に作用といいます。もし集合XがGと等しければ、 作用というのは単にG上の演算です。 （演算とはそのようなものでした。 NO.717 リングセオリー（１） の環の定義を見てください）この事から演算の書き方を真似してみれば、（１）はa（ｂｘ）＝（aｂ）ｘを表していて、（２）はeｘ＝ｘを表しています。 またもちろん、aｂはG内での積です。 一般論ではよくわからないと思うので、例を紹介します。

（例１）
∀a∈G、∀ｘ∈Xに対してaｘ＝ｘと定めると群Gは集合Xへ作用します。 これはあたりまえですね。でも確かめてみましょう。
a（ｂｘ）＝a（ｘ）＝aｘ＝ｘ
（aｂ）ｘ＝ｘ
よって、a（ｂｘ）＝（aｂ）ｘなので定義の（１）はOK。
定義の（２）ももちろんOK。
この作用を自明な作用（Trivial-Action)といいます。この作用はXの元を不変にする作用ですね。
以下、GはXへ作用している、つまりこのような写像が少なくとも１つは与えられているとしましょう。

（例２）
a∈Gとし、写像La：X→XをLa（ｘ）＝axで定めます。
するとLaは全単射です。（Laというのはaを左から掛けるということです。LはLeftの頭文字です）
まず、aｘ＝aｙとしますと、両辺左からa^‐をかけることでｘ＝ｙだから、Laは単射です。
かつ、La（a^‐ｘ）＝a（a^‐ｘ）＝（aa^‐）ｘ＝eｘ＝ｘなのでLaは全射です。
従ってこのLaは全単射です。
NO.706 代数方程式の代数的解法（４） で対称群S（X)について考えてみました。 LaはXからX、つまり自分自身への全単射なのでLa∈S（X)がわかりました。

さて、この作用を用いて集合X上に同値関係を定める事ができます。
〜：＝｛（ｘ、ｙ）｜ｘ＝aｙとなるGの元aが存在する｝
このようにX上に関係を定めますとこれはX上の同値関係となるのです。
実際にやってみますと、まず、e∈Gでｘ＝eｘよりｘ〜ｘ。
また、x〜ｙならば、定義からあるGの元aが取れてｘ＝aｙ。
よって両辺左からa^‐を掛けてa^‐ｘ＝ｙ。
もちろんGは群だからa^‐∈Gであり、よってｙ〜ｘ。
最後に、ｘ〜ｙ、ｙ〜ｚとすると、ｘ＝aｙ、ｙ＝ｂｚと書ける。
（但しa、ｂ∈G）すると、ｘ＝a（ｂｚ）＝（aｂ）ｚ。よってｘ〜ｚ。

（定義）
この〜に関するｘ∈Xを含む同値類C（ｘ）は明らかに ｛aｘ｜a∈G｝で、これをｘのG-軌道（G-orbit of x）という。
また、ｘ∈Xについて、
N（ｘ）：＝｛a∈G｜ｘ＝aｘ、ｘ∈X｝をｘにおける等方群（isotropy group of x）という。

このN（ｘ）はGの部分群になっている事がわかります。
まず、eｘ＝ｘですからe∈N(ｘ）。よってN(x)≠φ。
また、∀a、ｂ∈N(x)を取ってくるとXの元を不変にするので、 ｘ＝aｘ、ｙ＝ｂｙ（ｘ、ｙ∈X）であって、ｙ＝ｂｙに注目すると、 両辺左からｂ^‐を掛けてｂ^‐ｙ＝ｙ。
ですから、ｂ^‐もXの元ｙを不変にしている事がわかり従って、 ｂ^‐∈N(x)である事がわかります。示したい事はaｂ^‐∈N(x)です。 （なぜなら、これが部分群の定義でしたから）
つまり、aｂ^‐をXの元に作用させたときXの元を不変にすることを言えばいいわけです。
ｘ∈N(x)にたいして、（aｂ^‐）ｘ＝a（ｂ^‐ｘ）＝aｘ＝ｘ。
よって、aｂ^‐もXの元を不変にしていることがわかり、aｂ^‐∈N(x)です。 よってN(x)はGの部分群です。
また、G-軌道についてですが、これは軌道というイメージがなかなか湧かないかもしれません。 G-軌道は同値類なので集合を分割します。 やはりこれが基本の考え方であると思います。次の例を考えてみましょう。 ただし、線形代数の基礎知識を仮定させていただきますので、 もしわからなければ、飛ばしてください。

（例３）
GL（ｎ、R）をｎ次で成分を実数とする正則行列の集合とします。 正則行列とはいわゆる逆行列を持つ行列です。
これは行列の掛け算で群を成します。 このGL（ｎ、R)はｎ次元の数ベクトル空間Rⁿにｍ（A、ｘ）＝Axで作用します。
（A∈GL(ｎ、R)、ｘ∈Rⁿ）この作用の軌道はＲⁿ−｛０｝と｛０｝の２つです。

（証明）
まず、GL(ｎ、R)が群をなすことは簡単ですので、皆さんに任せましょう。 （これは高校生諸君でもできると思いますので、トライしてみてください）
また、A０＝０ですから、０を含む軌道は｛０｝です。
またｘを０でないベクトルとしますと、ｘ＝ｘ₁として、 Rⁿの基底（これは座標を一般化した概念です） ｘ₁、ｘ₂、・・・・ｘ_nを作ることができますが、 これらを列ベクトルとして並べた行列はGL(ｎ、R）の元ですので、それを改めてAと書きます。
つまりA＝（ｘ₁、ｘ₂、・・・・ｘ_n）です。
さて、基本ベクトルα₁を第一成分が１であとは皆０のｎ次のベクトルとします。 （２次元の場合の基本ベクトルは（１、０）と（０、１）でこれは数学Bの教科書に 載っているかもしれません）
これは行列Aの第1列の成分をいっせいに取り出すベクトルで あることが計算からわかります。すなわち、Aα₁＝ｘ₁＝ｘです。
よって軌道の定義からα₁の軌道は０でないベクトルｘを全て含んでいますのでRⁿ−｛０｝です。　
（証明終わり）

この例でも分割の補題が正しい事がわかりますね。 もちろんRⁿー｛０｝と｛０｝の和集合はＲnそのものですからこの例の作用による同値関係は Ｒⁿを２つのＧ−軌道（すなわち同値類）に分割している事がわかりました。 このように軌道に分割することを軌道分解といいます。

（線形代数について）
いくつかの連立方程式というのはベクトルと行列を用いて表現する事ができます。例えば

３a＋８ｂ＝２３
９a＋２ｂ＝３３

（環の言葉）

可換環の定義を良く見てみますと、体の定義に似ている事がわかります。 NO.699 代数方程式の代数的解法（１） で体の定義を天下り的に書いておきましたが、 我々は環の概念を学んだので、環、特に可換環の定義を用いて、 もっと体に定義を簡単にする事ができそうです。 しかし今は我々は実数や有理数、複素数の全体くらいしか体の例を知りませんから、 慎重に事を進めなければなりません。 どういうことかといいますと、環とは写像として和と積が定まった空でない集合で、 いくつかの公理を満たすものでした。 可換環の定義に体の９番目の条件、つまり、 「０でない任意の元aはaｘ＝１を満たし、このｘも可換環の元でｘ＝a^‐とかく」 を付け加えたものを体の一般的な定義とします。 うっかりすると、どこがどう変化したのかわからないかもしれません。 最大の変化は２つの演算である和と積を写像を用いて一般化したところです。 今から可換環の言葉を用いて体を定義していきます。以下Rを可換環とします。

（定義１）

a∈RがNZD（Non-Zero-Divisor)であるとは、
Rの元ｘに対し、もしaｘ＝０となっていたら、ｘ＝０となるものをいう。
従ってa∈RがZD（Zero-Divisor)であるとはRの０でない元ｘに対しaｘ＝０となるものをいう。

（定義２）

a∈RがRのuniｔであるとは、
a≠０であって、aｘ＝１なるｘがR内に存在する事を言う。このｘをa^‐と書く。

少し横文字が出てきましたが、別に何でもありません。 Zeroは０ですし、Nonは否定を表す接頭語です。Divisorは割るものという意味です。 ですからNZDとは０を割っていないということです。 ZDとは０を割っているということです。
整数環を思い出してください。 ０にはどんな元をかけても０ですね。つまり、整数環Zでは０はZDとなっています。
一般の可換環でも０は定義からZDです。よってどんな環も０を持つ以上、 少なくとも１つはZDを持ちます。
また、unit（ユニットと読みます）はNZDである事がわかります。やっておきましょう。
a∈RをRのunitとして、これがZDであると仮定しましょう。
すると０≠ｘ∈Rがあって、aｘ＝０ですがaはunitだから、a^‐を両辺の左から掛けて 、ｘ＝０を得ますが、これはｘ≠０に矛盾します。よってunitはNZDです。

（補題）
a∈RをNZDとする。
このとき、aｘ＝aｙならばｘ＝ｙである。但しｘ、ｙ∈R

つまりaがNZDならば、あたかも数のようにaをキャンセルしてよいということです。
確かめてみますと、
aｘ＝aｙなのでa（ｘ−ｙ）＝０でaはNZDよりｘ−ｙ＝０。従ってｘ＝ｙ
さて整数環では０でない全ての元がNZDである事がわかると思います。これを一般化します。

(定義３）
ZDが０だけの可換環を整域（integral domain)という。
すなわち、Rが整域ならば、
aｂ＝０ならば、a＝０またはｂ＝０が成り立つ。（a、ｂ∈R)

従って、すでに考察したように整数環Zは整域です。またRのunitの集合をU（R)で表します。 つまり、
U(R)：＝｛a∈R｜aはRのunit｝ です。

（命題）
U(R)はRの積でアーベル群をなす。

これはいい演習になると思うので、丁寧に解いてみてください。

さて、体を定義し直しましょう。

（体の定義）
集合Fが体であるとは、Fは可換環であって、U(F)＝F−｛０｝が成り立つものをいう。

つまり、０でない全ての元がunitとなっている可換環を体というのです。 これはNO.699 代数方程式の代数的解法（１） で書いた体を一般化したものです。 もう忘れかかっていますが、たしかあの時は数の和と積で議論していたと思います。 でも今はそれよりも明らかに広い領域にいるわけですね。だって、和と積が写像ですものねえ。
注意してほしい事は、これは体の抽象的定義ではありません。 代数学ではこれが体の一般的な定義です。 体を議論していくとGalois　Theoryにたどり着く事があります。 代数方程式シリーズでも少し紹介しましたが、 分解体（拡大しきった体）の自己同型群の部分群と中間体の間に全単射な写像が存在するという 途方もなく綺麗な理論です。 その理論の中では「５次以上の代数方程式には根の公式が存在しない」という アーベルの定理も１つのコロラリーに集約され、 それは方程式の分解体の自己同型群を構造解析することで証明されます。

（再びガロアのこと）
ガロアについてはいろいろな本が出ているので、読んでみればいいと思います。
群を打ち立てたのはこのガロアですが、彼が考えたのは方程式の根の置換の集合でした。 代数方程式シリーズで集合X上の対称群S(X)について考えました。 特に例として３次の対称群をやったわけですが、 例えばある３次方程式の相異なる３つの根をα、β、γとします。 根の置換の集合というのはこの３つの根にそれぞれ１、２、３と番号をふって、 これを置き換えていく事です。つまり３次対称群そのものです。 実はｎ次の代数方程式の根の置換の集合をその方程式のガロア群といい、S(n)と同型です。 ｎ≦４ならばS(n)か可解群でｎ≧５ならばS(n)は可解群でないことがわかるのですが、 この話はまた後でやりましょう。
ガロアは１８１１年に生まれて、１８３０年頃に没しました。 わずか2０年足らずの人生でしたが、彼は写像を用いて見かけは異なる集合を 数学的に同一視するという同型の考え方を人類史上初めて行った人で、 これが現代代数学の曙です。つまり、かれは群論を創っただけでなく、 代数学の基本概念を創ったのです。 今は２０００年ですから、彼が没して２００年近くになりますが、 今でも（当時と比べて格段に進歩したとはいえ）ガロアの同型の考えは数学の根幹を成しています。
ここで、次の有名な命題を証明しておきましょう。

（命題）
有限整域は体である。

（証明）
有限整域というのは元の個数が有限個の整域のことです。 さて、有限整域をRとしましょう。条件から｜R｜＜∞です。
ここで写像ｆ：R→Rを、ｆ（ｘ）＝aｘで定めます。 ただし、a≠０とします。すると、Rは整域なので、aはNZDである事がわかります。
従ってキャンセルの補題からこの写像ｆは単射である事がわかります。
かつ全射である事はRが有限集合である事からわかります。 （ｆはRからRへの写像でRは有限集合ですから単射ならば全射でもあります）
従ってこのｆは全単射ですから、aｘ＝１と対応をつけられ、Rは体である事がわかります。　　　（証明終わり）

（定義４）
全てのイデアルが単項イデアルである整域を単項イデアル整域 （Ｐｒｉｎｃｉｐａｌ　Ideal　Ｄｏｍａｉｎ）という。

単項イデアル整域のことをＰＩＤという事にしましょう。（英訳の頭文字３つです）
０∈Ｒで｛０｝を作りますと、これはＲのイデアルですが、（０）に等しい事もわかります。 復習ですが、ａ∈Ｒについてａが生成するイデアルを（ａ）とかいたのでした。
ちなみに（ａ）＝｛ａｘ｜ｘ∈Ｒ｝です。
ところで整数環Ｚを考えますと、Ｚ＝（１）であることがわかります。
つまりＺは１で生成されるイデアルに等しいのです。なぜなら１∈（１）だからです。

（補題）
整数環ＺはＰＩＤである。
これを証明する前に、整数についての基本性質をおさらいしておきましょう。
任意の整数は０でない整数で割り算をすると、一般に余りが出ます。 （割り切れる事ももちろんありますが、その場合でも余りは０であるとします） 式で書けば次のように書けるでしょう。
∀a∈Z、０≠ｂ∈Zに対して a＝ｂｑ＋ｒ と書けて、０≦ｒ＜ｂと制限すればこのｒとｑは一意的に決まり、 ｑをaをｂで割ったときの商、ｒをその余りといいました。
ポイントはｒの範囲です。この制限がなければ商が一通りに決まりません。 例えば１７という整数を３で割った場合、１７＝３・５＋２となり、 余りｒの範囲が効いている以上、これ以外に１７を表現する手はありません。 恐らく以上の話は数学Aか数学�Tの教科書に出ているかもしれません。 この整数の基本性質を用いて補題を証明しましょう。

（補題の証明）
まず、ΩをZの任意のイデアルとしましょう。 Ω＝｛０｝の時はこれは（０）に等しいのですから問題なく単項イデアルです。
Ω≠｛０｝としますと、Ωの中には０でない整数ｂがあります。 このｂが負の整数である場合もありえますが、 Ωはイデアルですからｂ＜０の場合は−１をｂにかけることで−ｂ∈Ωですから、 Ωの中には正の整数が存在している事がわかります。
そこでΩに含まれる正の整数の中で最小のものを改めてｂと書きます。 するとΩ＝（ｂ）となっている事がわかるのです。 なぜならば、ｂ∈Ωなので（ｂ）⊆Ωは自明です。
一方∀a∈Ωを取ってきてｂ≠０ですからｂで割り算を実行します。 すると上に述べた整数の性質からa＝ｂｑ＋ｒ（但し０≦ｒ＜ｂ）です。
今ｒ≠０とすると（もしｒ＝０ならば証明は終わります）a−ｂｑ＝ｒで a、ｂ∈Ωですからイデアルの基本性質よりa−ｂｑ∈Ω、つまりｒ∈Ωとなりますが、 ｒ＜ｂですからｂの最小性に反します。 （Ωに含まれる最小の整数をｂとしているのでそれより小さいｒが含まれるのは矛盾です）
よってｒ＝０となり、a＝ｂｑ∈（ｂ）。従ってΩ⊆（ｂ）
∴Ω＝（ｂ）　　　　　　　　　　（証明終わり）

この補題の証明は理論の良い練習になると思うので自分でも手を動かしてみてください。
次回は埋め込みの原理といわれる手法について紹介して、 多項式環（Ｔｈｅ　Ｐｏｌｙｎｏｍｉａｌ）に入りましょう。

（多項式環の原理）
Rを毎度のごとく可換環とします。 SがR上X（大文字です）を不定元とする1変数の多項式環であるとは、 RはSの部分環であってX∈Sであり、かつ∀ｈ∈Sを取ると、 ｈは、
ｈ＝ａ₀＋ａ₁Ｘ＋ａ₂Ｘ²＋ａ₃Ｘ³＋ ・・・・・＋ａ_nＸⁿという形に 一通りに書ける事をいいます。
但しａ_k∈R（０≦ｋ≦ｎ）で、ｎは正の整数としかつ有限であるとします。
つまり、Rの元を係数とする多項式ですが、Xのことを変数と読んでいないことに注意してください。 ここでは不定元という事にします。 しかし慣れてきたら変数といいましょう。 またSをR上の多項式環と見た場合、Rの元のことを定数といいます。 ここでSの和と積を観ておきましょう。
∀ｆ、ｇ∈Sに対して、
ｆ＝ａ₀＋ａ₁Ｘ＋・・・・＋ａ_nＸⁿ， ｇ＝ｂ₀＋ｂ₁Ｘ＋・・・・＋ｂ_kＸ^kとします。
このｆとｇに対して和は係数ごとに足せばいいのです。
問題は積でこれが多少ごちゃごちゃしています。
（積）　ｆ・ｇ：＝ΣＣ_wＸ^w　 （但しＣ_w＝Σａ_iｂ_j　でi＋ｊ＝ｗで０≦i≦ｎ、０≦ｊ≦ｋ、０≦ｗ≦ｎ＋ｋ）
シグマが２つもあってこの式のままだと良くわからないかもしれませんので、 自分で適当に３次か４次くらいの多項式を作って検証してみてください。 高校以来なじみの実数上の多項式の積に一致している事がわかると思います。
またＸ⁰＝１と定めこれがＳの単位元です。 （ＲはＳの部分環ですからもちろんこの１はＲの１でもあります）
この和と積でＳは環となり、Ｓの事をＲ［X］と書きます。
また表現の一意性からΣａ_kＸ^k＝０⇔ａ_k＝０（∀ｋについて） となり ０の表現はR［X］の中ではこれしかありません。
このことからｆ＝Σａ_kＸ^k≠０ならば、 ｆ＝ａ₀＋ａ₁Ｘ＋・・・・＋ａ_nＸⁿ≠０ですから 一番右側のａ_n≠０です。
このときｆを次数ｎの多項式といいその最高次係数ａ_nをその多項式の主係数といます。
またｎ＝deg（ｆ）と書きます。（degはdegreeの略で次数という意味です）
人それぞれの趣味にもよると思うのですが０の次数を−∞と定義する方もいらっしゃいます。
でもリングセオリーシリーズでは０の次数は定義しない事とします。
さて、次の重要な命題を考えてみましょう。

（命題１）
Rが整域ならばdeg（ｆｇ）＝deg（ｆ）＋deg（ｇ）

（証明）
経験から明らかかもしれません。でもキチンと一度くらいはやっておきましょう。
ｆ＝ａ₀＋ａ₁Ｘ＋・・・・＋ａ_nＸⁿ， ｇ＝ｂ₀＋ｂ₁Ｘ＋・・・・＋ｂ_kＸ^kとおきます。
最高次係数は共に０でないとし、従ってdeg（ｆ）＝ｎ、deg（ｇ）＝ｋとします。
示すべきはdeg（ｆｇ）＝ｎ＋ｋです。積の定義に従ってｆとｇを掛け合わせます。すると、
ｆｇ＝ａ₀ｂ₀＋（ａ₁ｂ₀＋ａ₀ｂ₁）Ｘ＋ （ａ₂ｂ₀＋ａ₁ｂ₁＋ａ₀ｂ₂）Ｘ2＋・・・・＋ａ_nｂ_kＸ^n+k
いまａ_n≠０、ｂ_k≠０でＲは整域ですから、ａ_nｂ_k≠０
よってｆｇはn＋ｋ次の多項式ということですから、題意は満たされました。　　　（証明終わり）

さて、次の命題も大事です。

（命題２）
U（R)＝U（R［X］）が正しい。（但しRは整域とする）

（証明）
RはR［X］の部分環ですからU（R)⊆U（R［X］）は成り立つと思います。
問題は逆の包含関係です。 ∀ｆ∈U（R［X］）としますとunitの定義からあるｇがR［X］の中に存在してｆｇ＝１です。
この両辺にdegreeを取りますと、
deg（ｆ）＋deg（ｇ）＝０です（定数のdegreeは０ですから１のdegreeは０）
さてdeg（ｆ）とdeg（ｇ）は共に正の整数ですからこの等式を満たすには deg（ｆ）＝deg（ｇ）＝０です。
よってｆとｇは次数が０ですから定数で従ってRの元です。
そしてｆｇ＝１を満たすというのですから、ｆ∈U(R)です。　　　　（証明終わり）

上に述べた２つの命題はRが整域でないと成り立たない事に注意してください。 （その理由を考えてみてください）

（埋め込みの原理）
RとSを可換環として、環写像ｍ：R→Sを考えます。 もしｍが単射であるならば次が成り立つ事が知られています。

（定理・・・埋め込み）
単射な環写像ｍ：R→Sが与えられた場合、Sからある環Cへ向かって環同型ｇが ｇｍ＝εなるように与えられる。
但しεは内部写像（inclusion map)であって、これによってRをCの部分環とみなすことができる。
まずは用語の解説です。
内部写像というのは集合Aとその部分集合Bがあって、ε：B→Aでε（a）＝aなる写像のことです。
つまりBの元としてのaをAの元としてのaに移す写像です。
よくよく考えてみますと内部写像を１つ考える事と集合の部分集合を考える事は同値です。
また上の定理の文章のなかにｇｍ＝εと書いてありますが、 ｇｍというのは写像の合成で、これはRからCへの写像ですね。
この定理を埋め込みの原理というのですが、 驚くべき事を言っていると思いませんか？ といいますのも環写像ｍが単射というだけでRがSへ埋め込まれる（つまりRがSの部分環と見なされる） といっているのですから。
注意してほしい事はこの原理はSと環Cが環同型ｇで結ばれているので S〜CでSが可換な環ですからCも可換環であることがわかります。
またRがCの部分環と見なされているのですから、 当然そのCと同型なSの部分環とも見なされているということです。
この埋め込みの原理は認めて使う事にします。
次回は多項式環の言葉を考えます。

（多項式環の言葉）

Rを可換環とし、R［X]を考えます。 その元はRの元を係数とする多項式でした。 ここで注意ですが、Rの元も多項式です。
∀a∈Rに対して、a＝a＋０X＋・・・＋０Xⁿと書けるからです。 つまり０を補うことでRの元も多項式と見なします。
また、R［X]の元を普通の多項式のようにｆ（X）とかきます。 ｆ［X]のXにはRの元を代入できます。
これはあたりまえであると思うかもしれませんが、実は代入するという行為は あたりまえの事ではなく、極めて高度なことです。まずはその事から始めましょう。

（代入原理）
Rを可換環、R［X]をR上の多項式環とする。 Tを任意の可換環とし、α：R→Tを環写像とする。
このとき、環写像φｔ：Ｒ［Ｘ]→Ｔ（但し∀ｔ∈Ｔ）が次の２つの性質を満たすように 一意的に決まる。

1. φｔ（Ｘ）＝ｔ
2. φｔ（ａ）＝α（ａ）　（∀ａ∈Ｒ）

（ユークリッドの補題）
∀ｆ、ｇ∈ｋ［X]とする。ただしｇ≠０とする。
このときｆ＝ｇｑ＋ｒとなるｑ、ｒがｒ＝０か、 そうでなければdeg（ｇ）＞deg（ｒ）が成り立つような範囲でｋ［X］内に一意的に決まる。

整数環はPIDである事を証明したときにこれとよく似た性質を使いました。 そのときは整数の基本定理とか書きましたが、実はあれもユークリッドの補題というのです。
ユークリッドとは人の名前で平面幾何学を創始した人です。 高校で多項式の割り算を学んだ方も多いと思いますが 、まさにこのようになっていましたね。 でもその証明は教科書に載っているか僕は忘れてしまったので、考えてみましょう。

（証明）
ｆ＝ａ₀＋ａ₁Ｘ＋・・・・＋ａ_nＸⁿ
ｇ＝ｂ₀＋ｂ₁Ｘ＋・・・・＋ｂ_wＸ^w
とし、共に０のならば面白くないのでａ_n≠０、ｂ_w≠０とします。
従ってdeg（ｆ）＝ｎ、deg（ｇ）＝ｗです。
ｎ＜ｗとなっている場合はｑ＝０、ｒ＝ｆと取ればいいことがわかります。 すなわち自明なケースですね。
またdeg（ｆ）＝deg（ｇ）＝０ならばｆ、ｇは定数多項式ですから、 ｒ＝０、ｑ＝ａ₀・ｂ₀^‐と取ればいいことがわかります。
以下deg（ｆ）≠０かつdeg（ｇ）≠０としさらにdeg（ｆ）≧deg（ｇ）を仮定して議論を進めます。
ｎについての帰納法で示してみましょう。
ｎ＝０のときは仮定から問題ありません。
次数ｎ−１以下の全ての多項式についてユークリッドの補題が正しいと仮定してみます。 方針としては次数ｎ−１の多項式をｆ、ｇを用いて構成して、 帰納法の仮定を使えばできそうな気がします。
そこでｈ＝ｆ−ａ_n・ｂ_w^‐・ｇ・Ｘ^n-w　　 （ｂ_w^‐は見ずらくて恐縮ですが、ｂ_wの逆元です）
なる多項式ｈを創ってやればdeg（ｈ）＝ｎ−１である事がわかります。 （実際にｆとｇを代入してみてください。）
よって帰納法の仮定がこのhに使えて、 ｈ＝ｇｑ＋ｒ　なるｑ、ｒが一意的に取れます。（但しｒ＝０　or deg（ｒ）＜deg（ｇ））
この式に上のhを代入しますと、 ｆ−ａ_n・ｂ_w^‐・ｇ・Ｘ^n-w＝ｇｑ＋ｒ
よって、ｆ＝ｇ（ａ_n／ｂ_w・Ｘ^n-w＋ｑ）＋ｒ　となり、 次数ｎのｆについても正しいことがわかり、 よってユークリッドの補題が成り立つ事がわかります。 （証明終わり）

このユークリッドの補題からすぐに次のコロラリーが導かれます。

（コロラリー）
ｆ（X）∈k［X］、α∈ｋとする。 もしもｆ（α）＝０ならば（X−α）はｆ（X）を割り切る。

これは剰余の定理とか言われています。（この名前についてはあんまり自信がありません）
さて、既約多項式の定義をしましょう。

(定義）
ｆ（X）∈ｋ［X］が既約（irreducible)であるとは

1. ｆ（X）は定数でなく、（つまりｋの元でなく、従って０でない）
2. ｆ（X）＝ｇ（X）ｈ（ｘ）と分解できたら、ｇ（X）∈ｋか、 またはｈ（X）∈ｋ（但しｇ（X）、ｈ（X）∈ｋ［X］）

（例）
Rを実数の集合とし、R［X]を考えます。
すると、Ｘ²＋Ｘ＋１は既約です。
またＸ²＋１も既約です。
しかし複素数Ｃ上の多項式環Ｃ［Ｘ]では （Ｘ＋i)（Ｘ−i）と分解できて、既約ではありません。
この例からもわかると思いますが、規約性はその環によるのです。

既約な多項式は整数では素数と同じ概念です。 このことからも、任意の多項式は既約な多項式の積として、 順序とunit倍を無視すれば一意的に書けるのです。 これを因数分解の原理といいます。

次回はまた別の話をしましょう。

E-mail 戻る