6
大学数学基礎解説
文献あり

【商体への招待】整域から「分数」をつくる

2144
2

Introduction

本記事では、ある性質を持つ可換環から「分数」(正確には分数体や商体と呼ばれるもの)をつくっていきます。

具体例としては、整数から有理数をつくったり、複素数係数の多項式全体(C[X])から有理関数全体(C(X))をつくったりしていきます。

一つ一つやることは難しくないせいか、Web上に公開されているpdfやサイトを見ると、商体についての解説はさらっと流されているものが少なくないと感じました。

そこで、今回はお気持ち部分も含めて、がっつりめに書いてみようと思います。

もしよろしければ「さいごに」だけでも読んでいただけると、うれしいです。

また、本記事を書こうと思ったきっかけは以下です。

Twitterで「分数」が話題に

詳細には追っていないのですが、Twitterで「分数とはなにか?」「整数/整数の形のもの(有理数)だけでなく、π223も分数だろう」などといった話題が持ち上がっていました。

少し調べてみたところ、Web上の辞書には以下のように記載されていました。

整数aを零でない整数bで割った商を、横線を用いてa/bと表わしたもの。aを分子、bを分母と呼ぶ。有理数。
コトバンク「精選版 日本国語大辞典『分数』の解説」 (2023/1/6参照))

二つの整数a・bの比として表される数。零ではない整数aで整数bを割った結果をb/aと表したもの。あるいは、1をa等分したものをb個集めた大きさをb/aと表したもの。横線の下を分母、上を分子とよぶ。
コトバンク「デジタル大辞泉『分数』の解説」 (2023/1/6参照))

Oxford Learner's Dictionaryの「fraction」 においても「synonym rational number」と記載されていました(2023/1/6参照)。

国語辞書が、つねに数学用語を正しく解説しているかというと、そんなことはないとは思うのですが、私にとって意外な結果で驚きました。

素人意見ですが「日常的に使用する『分数』という言葉は有理数であるとしていいだろう」ということなんですかね…?

というわけで、「分数」についての記事を書きたくなりました。

寒の入りしたから

寒の入り(環の入り)したので、なにか環に関することをやりたいと思いました。

代数学のトピックを広めたい

代数学が好きなので。

おすすめ記事・前提知識

Mathlog(本ブログサービス)には、すでに「分数」について、具体例を挙げながら、とても丁寧に解説された良い記事が存在しています。ぜひ読んでみてください。

【おすすめ記事】: そもそも「分数」とは何か?

本記事では、上記の記事から一歩進め、「整域」と呼ばれる可換環から「分数」(正確には分数体や商体と呼ばれるもの)を構成していきます。

<前提知識>

  • 可換環や体の定義を知っている
  • 同値関係・同値類・商集合について知っている
  • 準同型や同型について知っている

※本記事では、環の定義として「乗法単位元の存在」を含むとします。

※参考になる記事

整域とその具体例

本記事では、以下のような性質を満たす可換環を扱っていきます。

整域

Rを可換環とする。a,bRに対し

ab=0  a=0 または b=0

が成り立つときRを整域という。

もしかしたら、上記は「いつでも成り立ちそう」と感じる人もいるかもしれません。

例えば、可換環の代表格であるZは整域ですし、Q,C,Rも整域です。

しかし、以下のような例は整域とはなりません。

整域でない例

C2の元(i,0),(0,i)は、いずれも加法単位元(0,0)ではないが

(i,0)(0,i)=(0,0)

が成り立つ。

整域でない例

Z/6ZZ6で割った余りで分類)の元2¯,3¯は、いずれも加法単位元0¯ではないが

2¯3¯=6¯=0¯

が成り立つ。

また、整域について、以下が成り立ちます。

体は整域である。

Fa,bについて

ab=0

が成り立つとする。

a0のとき、Fは体であることからa1が存在するので、上式の両辺にa1をかけると

a1(ab)=a10

より、b=0となる。

まずはお気持ちから

カッチリした数学の話は後回しにするとして、まずはお気持ちを書いていきます。

今回の目標は「整域Rから『分数』をつくること」です。

天下り的ではありますが、a,b,c,dRに対して、ab,cd (b0,d0)を定めることができたとしましょう。

もしも、この「分数」が、私たちが日ごろ扱っている「分数」と同じものであるのだとしたら、例えば以下のような性質が成り立っていてほしいです。

性質1:
ab=cdad=bc

性質2:
gagb=ab(g(0)R)

性質3:
ab+cd=ad+bcbd

性質4:
abcd=acbd

このような性質が成り立つ「分数」を定めていく上で、以下のポイントを考慮する必要があります。

Point1:除算は使えない

「分数」をつくりたいので、a,b(0)Rに対して

ab=ab1

とすればよい…としたくなります。

しかし、整域Rは可換環ではありますが、必ずしも体であるとは言えないので、乗法単位元b1の存在があやふやです。

そのため、除算を使わずに話を進めていくことになります。

Point2:1224は同じもの

例えば、R=Zのとき、(1,2)12を対応させて「分数」をつくればよい…としたくなります。

しかし

12,24,36,48,

といったものは、全て「同じ」と見なす必要があります。

(1,2)(2,4)ではありますが、12=24となるようにしなくてはならないのです。

R×R{0}に同値関係を入れよう

以下、可換環Rは整域であるとします。

先のPoint1とPoint2を意識しつつ、同値関係を入れてみましょう。

R×R{0}(a,b),(c,d)に対して

(a,b)(c,d)  ad=bc

とするとき、は同値関係となる。

反射律、対称律が成り立つことの証明は省略し、推移律のみ示す。

R×R{0}(a,b),(c,d),(e,f)について、(a,b)(c,d)かつ(c,d)(e,f)を満たすとする。

このとき

ad=bc (1)cf=de (2)

が成り立つ。

(1)の両辺にfをかけると

afd=bcf

となり、(2)の両辺にbをかけると

bcf=bde

となる。

よって

afd=bcf=bde

となるので

afd=bde

となり

d(afbe)=0

である。

d0であり、Rは整域であることから

afbe=0

であり

af=be

が成り立つ。

したがって、(a,b)(e,f)であることがわかる。

以下、(a,b)R×R{0}に対して

C(a,b)={(x,y)R×R{0} | (a,b)(x,y)}

とします。

(a,b)R×R{0}, gR{0}とすると

(a,b)(ga,gb)

が成り立つ。

つまり

C(a,b)=C(ga,gb)

である。

a(gb)=b(ga)

であるので

(a,b)(ga,gb)

が成り立つ。

後で改めて定義しますが

ab=C(a,b)

と表記するとしましょう。

命題2より、R×R{0}(a,b),(c,d)に対して

C(a,b)=C(c,d)  ad=bc

となるので

ab=cd  ad=bc

と表すことができます(性質1)。

また、命題2より、(a,b)R×R{0}, gR{0}に対して

C(ga,gb)=C(a,b)

となるので

gagb=ab

と表すことができます(性質2)。

(R×R{0})/は体である。

以下

Q(R)=(R×R{0})/

とします。

Q(R)に以下の演算+,を定める。

R×R{0}(a,b),(c,d)に対して

C(a,b)+C(c,d)=C(ad+bc,bd)C(a,b)C(c,d)=C(ac,bd)

このとき、これらの演算はwell-definedである。

つまり、R×R{0}(a,b),(a,b),(c,d),(c,d)

(a,b)(a,b), (c,d)(c,d)

を満たすとき

C(a,b)+C(c,d)=C(a,b)+C(c,d)C(a,b)C(c,d)=C(a,b)C(c,d)

が成り立つ。

※well-definedについての解説は後述する。

R×R{0}(a,b),(a,b),(c,d),(c,d)

(a,b)(a,b), (c,d)(c,d)

を満たすとする。

このとき

ab=ba, cd=dc (1)

が成り立つ。

(1)より

dd(abab)+bb(cdcd)=0

なので

abddabdd+bbcdbbcd=0abdd+bbcd=abdd+bbcd(ad+bc)bd=(ad+bc)bd

となり

(ad+bc,bd)(ad+bc,bd)

である。

したがって

C(a,b)+C(c,d)=C(ad+bc,bd)C(a,b)+C(c,d)=C(ad+bc,bd)

より

C(a,b)+C(c,d)=C(a,b)+C(c,d)

が成り立つ。

(1)より

(ab)(cd)=(ba)(cd)(ba)(cd)=(ba)(dc)

となる。

よって

(ab)(cd)=(ba)(dc)

であり

(ac)(bd)=(bd)(ac)

となるので

(ac,bd)(ac,bd)

である。

したがって

C(a,b)C(c,d)=C(ac,bd)C(a,b)C(c,d)=C(ac,bd)

より

C(a,b)C(c,d)=C(a,b)C(c,d)

が成り立つ。

well-definedについて

例えば、R=Zである場合

C(1,2)=C(2,4)=C(3,6)=C(1,2)=

C(3,5)=C(9,15)=C(6,10)=C(12,20)=

などが成り立ち、さまざまな代表元を取ることができます。

したがって、C(1,2)+C(3,5)C(2,4)+C(9,15)や、C(1,2)C(3,5)C(3,6)C(12,20)などが、異なった結果にならず一致しなければなりません。

つまり

(a,b)(a,b), (c,d)(c,d)

を満たすとき

C(a,b)+C(c,d)=C(a,b)+C(c,d)C(a,b)C(c,d)=C(a,b)C(c,d)

が成り立つことを示し、演算の結果が代表元の取り方に依らないことをいう必要があります。

Q(R)は演算+,について体をなす。

難しくない部分は省略する。

+についての結合律>
省略

+について可換>
省略

<加法単位元の存在>
R×R{0}(a,b)に対して

C(a,b)+C(0,1)=C(a1+b0,b1)=C(a,b)

が成り立つ。

※命題3より、C(0,p) (p(0)R)は加法単位元である。

<加法逆元の存在>
R×R{0}(a,b)に対して

C(a,b)+C(a,b)=C(abba,b2)=C(0,b2)=C(0,1)

が成り立つ。

についての結合律>
省略

<乗法単位元の存在>
R×R{0}(a,b)に対して

C(a,b)C(1,1)=C(a,b)

が成り立つ。

※命題3より、C(p,p) (p(0)R)は乗法単位元である。

<分配法則>
R×R{0}(a,b),(c,d),(e,f)に対して

C(a,b)(C(c,d)+C(e,f))=C(a,b)C(cf+de,df)=C(acf+ade,bdf)=C(b(acf)+b(ade)),b(bdf))=C((ac)(bf)+(bd)(ae),(bd)(bf))=C(ac,bd)+C(ae,bf)=C(a,b)C(c,d)+C(a,b)C(e,f)

(C(a,b)+C(c,d))C(e,f)=C(ad+bc,bd)C(e,f)=C(ade+bce,bdf)=C(f(ade)+f(bce),f(bdf))=C((ae)(df)+(bf)(ce),(bf)(df))=C(ae,bf)+C(ce,df)=C(a,b)C(e,f)+C(c,d)C(e,f)

が成り立つ。

について可換>
省略

<乗法逆元の存在>
R{0}×R{0}(a,b)に対して

C(a,b)C(b,a)=C(ab,ab)=C(1,1)

が成り立つ。

「分数」を使った表記へ

先にも少し述べたように、以下のように表記するとしましょう。

ab=C(a,b)

このとき、命題2と命題3より、R×R{0}(a,b),(c,d), R{0}gに対して

ab=cdad=bc

gagb=ab

と表記することができます(性質1と性質2)。

命題4より、R×R{0}(a,b),(c,d)に対して

ab+cd=ad+bcbd

abcd=acbd

と表記することができます(性質3と性質4)。

Q(R)における加法単位元を0Q(R)、乗法単位元を1Q(R)と書くとすると、命題5より、R{0}×R{0}(a,b), R{0}pに対して

0p=0Q(R)

pp=1Q(R)

(ab)1=ba

と表記することができます。

また、R×R{0}(a,b),(c,b)に対して

C(a,b)+C(c,b)=C(ab+bc,b2)=C(a+c,b)

が成り立つので

ab+cb=a+cb

と表記することができます。

そして、整域Rからつくられた体Q(R)

Q(R)={ab | aR,bR{0}}

と表記することができます。

Q(R)の性質

Q(R)の性質についてもう少し詳しく見ていきましょう。

以下

R={a1 | aR}

とします。

RR

写像ϕ:RRを以下のように定める。

ϕ(a)=a1(aR)

ϕは準同型写像>
a,bRに対して

ϕ(a+b)=a+b1=a1+b1=ϕ(a)+ϕ(b)

ϕ(ab)=ab1=a1b1=ϕ(a)ϕ(b)

が成り立つ。

また

ϕ(1)=11

であり、これはRの乗法単位元である。

ϕは全射>
自明

ϕは単射>
Kerϕ={0}を示せばよい(※理由は後述)。

ϕ(0)=01

なので、{0}Kerϕである。

Kerϕaとすると

ϕ(a)=a1=01

より、(a,1)(0,1)なので

a1=10a=0

であり、{0}Kerϕである。

よって、Kerϕ={0}が成り立つ。

単射の証明について

一般に、以下が成り立ちます。

S,Sを環とし、f:SSを環準同型写像とする。このとき、Kerf={0}ならば、fは単射である。

(証明)
f(a)=f(b) (a,bS)であるとする。

fが環準同型写像であることと、f(a)f(b)=0であることから、f(ab)=0が成り立つ。

Kerf={0}より、ab=0なので、a=bとなる。

RRは同型なので、これらは環として「同じもの」と見なしてよいということになります。

例えば、R=Zとしたとき

R={a1 | aZ}

です。

日ごろ私たちは、21=2などとしていることを思い返せば、「同じもの」とするのは自然なことであるように感じられると思います。

そのような見方をしつつ、以下の命題について考えていきます。

FQ(R)の部分体であり、部分環Rを含むとする。

このとき、F=Q(R)が成り立つ。

仮定より

Q(R)FR

であり、FQ(R)と同じ演算+,について体をなす。

FRなので、任意のa,b(0)Rに対して

a1, b1F

が成り立つ。

Fは体なので

(b1)1=1bF

である。

Fは、演算で閉じているので

a11b=abF

となる。

したがって、FQ(R)となるので、F=Q(R)である。

このことから、Q(R)Rを部分環として含む最小の体であるといえます。

また、先述のように、RRを「同じもの」と見なすと、「Q(R)Rを部分環として含む最小の体である」と表現することができます。

特に、整域Rが体である場合には、以下が成り立ちます。

Kを体とすると

Q(K)K

が成り立つ。

命題1より、Kは整域なので、Q(K)を構成することができる。

K={a1 | aK}

とする。

Kは体なので、任意のa(0)Kに対して、a1Kが存在して

a1a11=aa11=11

が成り立ち、Kも体であることがわかる。

KQ(K)の部分体なので、命題7より

Q(K)=K

である。

また、命題6より、KKなので

Q(K)K

が成り立つ。

商体の正体

ここまでの話で、以下がわかりました。

整域Rに対して、体Q(R)を構成することができ、以下を満たす写像ϕ:RQ(R)が存在する。

(1)ϕは単射環準同型である。

(2)Q(R)の任意の元はϕ(a)ϕ(b)1 (a,b(0)R)の形で表せる。

(1)については、命題6の証明と同様

ϕ(a)=a1

として定めればよいでしょう。

また、(2)については、Q(R)abに対して

ab=a11b=a1(b1)1=ϕ(a)ϕ(b)1

と表すことができます。

このようなQ(R)は、Rの商体や分数体と呼ばれています。

また、(1)のような「単射環準同型」を「埋め込み」といいます。

そして、Imϕ=Rであり、命題6でも示した通り、RRでした。

先にも言及したように、RRは環として「同じもの」と見なすことができます。

そのような見方をした上で、R=Rとすることを許せば、RQ(R)であるといえます。

スタート地点では、Point2に書いた通り、Rは整域であり、体であるかどうかは不明なので、乗法逆元の存在はあやふやな状態でした。しかし、Q(R)を構成できたことと、RQ(R)であることから、a(0)Rの乗法逆元はRには存在しないかもしれないが、Q(R)には存在するということがわかりました。

a,b(0)Rに対して

a=a1

b1=(b1)1

と書くことを許せば、Q(R)の任意の元はab1の形で表すことができます。

商体の具体例

Q(Z)

R=Zとすると

Q(Z)={ab | aZ,bZ{0}}

となる。

Q(Z)が、私たちのよく知る有理数体Qです。これが、整数からの「有理数の構成」としてよく知られています。

Q(C[X])

複素数係数の多項式全体C[X]は整域である(証明略)。

R=C[X]とすると

Q(C[X])={f(X)g(X) | f(X)C[X],g(X)C[X]{0}}

となる。

※整域Rを係数とする多項式環R[X]は整域となるので(証明略)、R[X]などでも同様のことができます。

Q(Z[i])

iを虚数単位とする。

Z[i]={a+bi | a,bZ}

とすると、Z[i]Cの部分環なので、整域となる。

R=Z[i]とすると

Q(Z[i])={a+bic+di | a+biZ[i],c+diZ[i]{0}}

となる。

a+biZ[i],c+diZ[i]{0}のとき

a+bic+di=(a+bi)(cdi)(c+di)(cdi)=(ac+bd)+(bcad)ic2+d2=ac+bdc2+d2+bcadc2+d2i

となり、ac+bdc2+d2,bcadc2+d2Qであることから

Q(Z[i])={r+si | r,sQ}

を示すことができる(Q(Z[i]){r+si | r,sQ}の証明は省略)。

Z[i]はガウスの整数環と呼ばれています。また、Q(Z[i])Q(i)と表記され、ガウスの数体と呼ばれています。

補足

松坂和夫「代数系入門」では、以下のように「分数」を定義して商体について説明しています。本質的には本記事と同じことをしているのだと思いますが、「分数」の表記の導入の仕方が異なるため紹介しておきます。

Step1

Fの部分環Rに対して

ab=ab1(a,b(0)R)

として「分数」を定義する。

※体Fの存在を仮定しているため、b1の存在を使ってよい。

Step2

a,b(0),c,d(0)Rに対して

ab+cd=ad+bcbdabcd=acbd

が成り立ち

L={ab | aR,bR/{0}}

とすると、Lは体であることを示すことができる。また、LRを含むFの最小の部分体となる。

このLRの(Fにおける)商体と呼ぶ。

Step3

今度は、体Fの存在を仮定せずに、整域Rに対し、本記事でいうところのQ(R)を構成する。

Q(R)={C(a,b) |  aR,bR/{0}}

Step4

写像ϕ:RQ(R)を、ϕ(a)=C(a,1)で定めると、ϕは単射環準同型となり、a,b(0)Rについて

C(a,b)=C(a,1)(C(b,1))1=ϕ(a)ϕ(b)

と表せる。

このようなQ(R)を(埋め込みϕ:RQ(R)と合わせて)Rの商体と呼ぶ。

さいごに

私の「数学の好きなところ」の一つに、「当たり前な存在を改めてとらえ直す」というところがあります。

今回の内容も結果や具体例を見てしまうと、「要は分数にすればいいってことでしょう」と、何てことないように感じる人もいると思います。

しかも「分数」は小学校のころから慣れ親しんでいて、日常生活にも溶け込んでいる存在です。私自身もお料理をするときに、レシピを見ながら「12カップ」を計量することがあります。

そのくらい「分数」は当たり前な存在ですが、商体のことを知ってみると、「分数」の見え方に奥行きが出るような気がします。

商体を 学ぶ時間は Show Time!

参考文献

投稿日:2023115
更新日:20231216
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

Thank you!
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

みぽ
みぽ
161
32123
今日もねこがかわいい。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. Introduction
  2. おすすめ記事・前提知識
  3. 整域とその具体例
  4. まずはお気持ちから
  5. $R\times R \backslash \{0\}$に同値関係を入れよう
  6. $(R\times R \backslash\{0\}) /\sim$は体である。
  7. 「分数」を使った表記へ
  8. $Q(R)$の性質
  9. 商体の正体
  10. 商体の具体例
  11. 補足
  12. さいごに
  13. 参考文献