分数環と分数体
📂抽象代数分数環と分数体
定義
リング (A,+,⋅) に対して、S:=A∗=A∖{0} が A での加算 + の単位元 0 を省いた部分集合 S⊂A とする。
分数体
A が 整域 である場合、
(a,s)≡(b,t)⟺at=bs
上記のようにA とS の 直積 A×S において 同値関係 ≡ を定義するとき、(a,s) の 同値類を a/s と表し、その同値類の集合を S−1A:=A×S/≡ のように表す。新しい二つの演算 ⊕、⊙ を
sa⊕tb:=sa⊙tb:=stat+bsstab
のように定義するとき、 体 (S−1A,⊕,⊙) を A の分数体と定義する。
分数環
A が 単位元 1 を持つ場合、かつ1∈S が(S,⋅) が マグマ であるとする。
(a,s)≡(b,t)⟺(at−bs)u=0
何かのu∈S に対して、A とS の 直積 A×S において、上記のように 同値関係 ≡ を定義するとき、(a,s) の 同値類を a/s と表し、その同値類の集合を S−1A:=A×S/≡ のように表す。新しい二つの演算 ⊕、⊙ を
sa⊕tb:=sa⊙tb:=stat+bsstab
のように定義するとき、リング (S−1A,⊕,⊙) を A の分数環と定義する。
説明
分数体の動機は自然に、集合論で普通に同値関係を初めて勉強する時に見る例をそのまま抽象化したものであり、整数環 Z から同じ方法で得られる有理数体 Q としている。
分数体において A が整域である前提は、≡ が消去法則を通じて同値関係であることを保証するため、つまり二項関係 ≡ が反射的で対称的で推移的であることの中で推移性を示すときに必要である。分数環は、分数体の一般化であり、A が単位元を持つリングに緩和され、同値関係が少し異なって定義される。
定義から自明なように、A が 整域 であれば、A の分数環は分数体である。それにより、A が 微分環 であれば自然に 微分体 にもなる。