分数の体とは? わかりやすく解説

商体

(分数の体 から転送)

出典: フリー百科事典『ウィキペディア(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) のように表すこともある。

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

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

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

商体の構成

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

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

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

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

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

とする。この和と積に関して Quot(R) は環となる。R の元 n に対して (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: RFR から可換体 F への単射な環準同型ならば f の延長となる環準同型 g : Quot(R) → F が一意的に存在する

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

関連項目

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

参考文献

  • 服部昭『現代代数学』(復刻版)朝倉書店〈近代数学講座〉、2004年(原著1968年)。ISBN 978-4254116519 
  1. ^ Rings, Modules, and Linear Algebra: Hartley, B & Hawkes, T.O. 1970

外部リンク


分数の体

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/18 02:45 UTC 版)

整域」の記事における「分数の体」の解説

詳細は「商体」を参照 整域 R が与えられたとき、R を部分環として含む最小の体が同型を除いて一意定まり、R の分数体あるいは商体呼ばれる分数体は R の任意の元 a および b(≠ 0) に対する「分数」 a ⁄ b の全体(を適当な同値関係割ったもの)からなるものと考えることができる。例えば、整数全体の成す整域商体有理数全体の成す体である。また、体の商体同型を除いて自分自身一致する

※この「分数の体」の解説は、「整域」の解説の一部です。
「分数の体」を含む「整域」の記事については、「整域」の概要を参照ください。

ウィキペディア小見出し辞書の「分数の体」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「分数の体」の関連用語

1
6% |||||

2
4% |||||

3
4% |||||

分数の体のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



分数の体のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの商体 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの整域 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS