logo

分数環と分数体 📂抽象代数

分数環と分数体

定義 1

リング (A,+,)\left( A , + , \cdot \right) に対して、S:=A=A{0}S := A^{\ast} = A \setminus \left\{ 0 \right\}AA での加算 ++単位元 00 を省いた部分集合 SAS \subset A とする。

分数体

AA整域 である場合、 (a,s)(b,t)    at=bs (a,s) \equiv (b,t) \iff at = bs 上記のようにAASS直積 A×SA \times S において 同値関係 \equiv を定義するとき、(a,s)(a,s)同値類a/sa/s と表し、その同値類の集合を S1A:=A×S/S^{-1} A := A \times S / \equiv のように表す。新しい二つの演算 \oplus\odotasbt:=at+bsstasbt:=abst \begin{align*} {{ a } \over { s }} \oplus {{ b } \over { t }} :=& {{ at + bs } \over { st }} \\ {{ a } \over { s }} \odot {{ b } \over { t }} :=& {{ ab } \over { st }} \end{align*} のように定義するとき、 (S1A,,)\left( S^{-1} A , \oplus , \odot \right)AA分数体と定義する。

分数環

AA単位元 11 を持つ場合、かつ1S1 \in S(S,)\left( S , \cdot \right)マグマ であるとする。 (a,s)(b,t)    (atbs)u=0 (a,s) \equiv (b,t) \iff \left( at - bs \right) u = 0 何かのuSu \in S に対して、AASS直積 A×SA \times S において、上記のように 同値関係 \equiv を定義するとき、(a,s)(a,s)同値類a/sa/s と表し、その同値類の集合を S1A:=A×S/S^{-1} A := A \times S / \equiv のように表す。新しい二つの演算 \oplus\odotasbt:=at+bsstasbt:=abst \begin{align*} {{ a } \over { s }} \oplus {{ b } \over { t }} :=& {{ at + bs } \over { st }} \\ {{ a } \over { s }} \odot {{ b } \over { t }} :=& {{ ab } \over { st }} \end{align*} のように定義するとき、リング (S1A,,)\left( S^{-1} A , \oplus , \odot \right)AA分数環と定義する。

説明

分数体の動機は自然に、集合論で普通に同値関係を初めて勉強する時に見る例をそのまま抽象化したものであり、整数環 Z\mathbb{Z} から同じ方法で得られる有理数体 Q\mathbb{Q} としている。

分数体において AA が整域である前提は、\equiv が消去法則を通じて同値関係であることを保証するため、つまり二項関係 \equiv が反射的で対称的で推移的であることの中で推移性を示すときに必要である。分数環は、分数体の一般化であり、AA が単位元を持つリングに緩和され、同値関係が少し異なって定義される。

定義から自明なように、AA整域 であれば、AA の分数環は分数体である。それにより、AA微分環 であれば自然に 微分体 にもなる。


  1. Atiyah. (1994). Introduction to Commutative Algebra: p36~37. ↩︎