Field of fractions

ウィキペディア

商体

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/09/30 06:56 UTC 版)

数学における整域の分数体（ぶんすうたい、英: field of fractions）あるいは商体（しょうたい、field of quotients）とは、与えられた整域に対してそれを部分環として含む最小の体である。整域 R の商体の元は a ≠ 0 および b なる整域 R の元によって分数 b/a の形に表される。環 R の商体が K であることを K = Quot(R) や K = Frac(R) のように表すこともある。

${\text{Frac}}(R):=\left\{{\frac {n}{d}}\mid n,d\in R,d\neq 0\right\}.$

この構成物はしばしば「商の体」"field of quotients" とか「商体」"quotient field" あるいは「分数の体」"field of fractions" とか「分数体」"fraction field" などと様々に呼ばれるが、それらは個人の感覚や趣向によるものである。また「商体」と表現すると環のイデアルによる商（商環、剰余環）と紛らわしいが、それとはまったく異なる概念である。

ここで整域は環として単位的である（乗法単位元を持つ）ことは仮定しない。商体の構成は、零因子を持たない任意の非自明な可換擬環という意味での整域に対して有効である。

例

• 有理整数環 Z に対する商体 Frac(Z) は有理数体 Q である。
• ガウス整数環 R := {a + bi | a,b ∈ Z} に対する商体 Quot(R) はガウス有理数の全体 {c + di | c,d ∈ Q} である。
• 体（それ自身を整域と見るとき）の商体は、同型の違いを除いてもとの体自身である。
• 与えられた体 K 上の一変数多項式環 K[X] は整域であり、その商体は一変数有理函数体と呼ばれ K(X) で表される。
• 一般に、与えられた体 K 上の多変数多項式環 K[X₁, ..., X_n] は整域であり、その商体は多変数有理函数体 K(X₁, ..., X_n) である。
• 同様に、与えられた体 K 上の一変数形式冪級数環 K[[X]] もまた整域であり、その商体は一変数形式ローラン級数体あるいは形式冪級数体と呼ばれ K((X)) で表される。

商体の構成

R を、零因子を持たず、少なくとも一つの非零元 e を持つ可換環という意味での整域とする。R に対する分数全体の成す体 Quot(R) は、以下のようにして得られる。

Quot(R) （の台集合）は、 R の元 n と R の非零元 d ≠ 0 からなる対 (n, d) の全体に

対 (n, d) が対 (m, b) と同値となるのは R の元として nb = md が成立するときであり、かつそのときに限る

と定義される同値関係を入れたとき、その同値類全体の成す集合である。ここで (n, d) の属する同値類を n/d と記す（n/d が所期の分数であると考えることができる）。ふたつの同値類 (n, d), (m, b) の和は (nb + md, bd) の属する同値類

${\frac {n}{d}}+{\frac {m}{b}}={\frac {nb+md}{bd}}$

とし、積は (mn, db) の属する同値類

${\frac {n}{d}}\cdot {\frac {m}{b}}={\frac {mn}{bd}}$

とする。この和と積に関して Quot(R) は環となる。R の元 n に対して (ne, e) を対応させる写像

$R\to {\text{Quot}}(R);\ n\mapsto (ne,e)$

は環 R から環 Quot(R) への環としての埋め込みを与える（この埋め込みは非零元 e の取り方に依らずに定まることに注意）。もし R が乗法単位元 1 を持つならば (en, e) は (n, 1) と同値である。このとき、(e, e) の属する同値類 1 = e/e が環 Quot(R) における乗法単位元を与えることや、m, d がともに 0 でないとき (d, m) の属する同値類 d/m が同値類 m/d の逆元を与えることを確認することは容易い。したがって、Quot(R) は可換体である。

整域 R の商体は、

f: R → F が R から可換体 F への単射な環準同型ならば f の延長となる環準同型 g : Quot(R) → F が一意的に存在する

という普遍性によって特徴付けられる。この商体の構成は圏論的に解釈することができる。C を整域と単射環準同型の成す圏とすれば、整域にその商体を対応させ、環準同型をそれが誘導する（普遍性によって存在の示される）可換体上の準同型に対応させる C から可換体の圏への函手は、可換体の圏から C への忘却函手の左随伴である。

関連項目

• 全商環: 商体の構成を零因子を持つ環に対して一般化したもの。
• 環の局所化: これもしばしば商環と呼ばれる。積閉集合として非零因子全体をとれば全商環を与える。
• 剰余環: 可換環をその極大イデアルで割った剰余環も体になるけれども、それは商体とはまったく異なる。

参考文献

• 服部昭『現代代数学』（復刻版）朝倉書店〈近代数学講座〉、2004年（原著1968年）。ISBN 978-4254116519。 

外部リンク

• Margherita Barile. "Field of Fractions". MathWorld (英語).
• fraction field - PlanetMath.（英語）

Weblio日本語例文用例辞書

「field of fractions」の例文・使い方・用例・文例

• 初めて読んだ英文小説は“The Vicar of Wakefield”
• Microsoftがβ版をランチするのは「NetShow streaming server」で動画や音声をオンデマンドで提供する。
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 an admiral of the fleet 海軍元帥.
• 篏入的 r 音 《英音の India office /ndiərfɪs/の /r/の音》.
• ＝《口語》 These kind of stamps are rare. この種の[こういう]切手は珍しい.
• (英国の)運輸省. the Ministry of Education(, Science and Culture) (日本の)文部省.
• は of の誤植です.
• を off と誤植する.
• あいまい母音 《about, sofa などの /ə/》.
• 副詞的小詞 《on, in, out, over, off など》.
• 迂言的属格 《語尾変化によらず前置詞によって示す属格; たとえば Caesar's の代わりの of Caesar など》.
• çon of garlic [humor]. それにはガーリック[ユーモア]がちょっぴり必要だ.
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 the Speaker of the House of Commons 下院議長.
• 《主に米国で用いられる》 ＝ 《主に英国で用いられる》 the Committee of Ways and Means 歳入委員会.
• （違法罪―a sin of commission―に対する）怠惰罪
• 『each』、『every』、『either』、『neither』、『none』が分配的、つまり集団の中の1つのものを指すのに対し、『which of the men』の『which』は分離的である
• 『hot off the press（最新情報）』は『hot（最新の）』の拡張感覚を示している
• 『Each made a list of the books that had influenced him』における制限節は、リストに載った本を制限節で定義された特定の本だけに制限する
• 臨床的鬱病を治療するのに用いられる三環系抗鬱薬（商品名ImavateとTofranil）