分式环

✍ dations ◷ 2025-04-26 12:04:48 #抽象代数,环论,交换代数

在抽象代数中,分式环或分式域是包含一个整环的最小域,典型的例子是有理数域之于整数环。此外分式环也可以推广到一般的交换环,此时通常称作全分式环。

分式环有时也被称为商域,但此用语易与商环混淆。

分式环是局部化的一个简单特例。以下设 R {\displaystyle R} 为一个整环,而 S := R { 0 } {\displaystyle S:=R-\{0\}}

在集合 R × S {\displaystyle R\times S} 上定义下述等价关系 {\displaystyle \sim }

等价类 {\displaystyle } 可以想成“分式” r / s {\displaystyle r/s} ,上述等价关系无非是推广有理数的通分;借此类比,在商集 ( R × S ) / {\displaystyle (R\times S)/\sim } 上定义加法与乘法为:

可验证上述运算是明确定义的。此外还有环同态 R ( R × S ) / {\displaystyle R\rightarrow (R\times S)/\sim } ,定义为 r {\displaystyle r\mapsto } ;这是一个单射。于是可定义分式环 T ( R ) := ( R × S ) / {\displaystyle T(R):=(R\times S)/\sim } ,再配上上述的加法与乘法运算。在实践上,我们常迳将 T ( R ) {\displaystyle T(R)} 里的元素写作分式 r / s {\displaystyle r/s}

整环 R {\displaystyle R} 的分式环 K ( R ) {\displaystyle K(R)} 及其自然环同态 R K ( R ) {\displaystyle R\rightarrow K(R)} 满足以下的泛性质:

此性质不外是形式地表达了“K(R) 是包含 R 的最小的域”这个陈述。据此泛性质可形式地证明:任何一组资料 ( K , ϕ : R T ) {\displaystyle (K,\phi :R\rightarrow T)} 若使得 K { 0 } {\displaystyle K-\{0\}} 中的元素在 ϕ {\displaystyle \phi } 下的像皆可逆,且满足上述泛性质,则 K {\displaystyle K} 必与 T ( R ) {\displaystyle T(R)} 同构。

对于一般的交换环 R {\displaystyle R} (容许有零因子 ),分式环是一种退而求其次的建构:我们想找使 R S 1 R {\displaystyle R\rightarrow S^{-1}R} 为单射的“最大”局部化,详述如下:

S {\displaystyle S} R {\displaystyle R} 中的非零因子所成子集,它是个积性子集,因此可对之作局部化。令 T ( R ) := S 1 R {\displaystyle T(R):=S^{-1}R} ,此时 T ( R ) {\displaystyle T(R)} 常被称作 R {\displaystyle R} 的全分式环。

相关

  • 高村正彦高村正彦(1942年3月15日-),日本政治人物。自由民主党宪法改正推进本部最高顾问,元自由民主党副总裁,番町政策研究所(高村派)元会长。曾历任法务大臣与防卫大臣(3代)、防卫厅政务次官、
  • 戚林八音《戚林八音》(平话字:.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif}
  • 频率调制调频(英语:Frequency Modulation,缩写:FM)是一种以载波的瞬时频率变化来表示信息的调制方式。(与此相对应的调幅方式是透过载波幅度的变化来表示信息,而其频率却保持不变。)在模拟应
  • 2002年大西洋飓风季2002年大西洋飓风季是一次活跃程度在中等水平的大西洋飓风季,于2002年6月1日正式开始,同年11月30日结束,传统上这样的日期界定了一年中绝大多数热带气旋在大西洋盆地形成和发展
  • 夏尔·德·贝里奥夏尔-奥古斯特·德·贝里奥(法语:Charles Auguste de Bériot,1802年2月20日-1870年4月8日),比利时小提琴家,作曲家。贝里奥出身于比利时鲁汶一个贵族家庭,自少便跟著名小提琴兼作曲
  • 联合航空 (乌干达)联合航空是乌干达的一家私人航空公司。公司总部设在恩德培国际机场,运营航线包括乌干达境内多个航点,包括:
  • Issuuissuu (/ˈɪsjuː/) 是一个电子出版平台,主要提供一些杂志、产品目录、报纸、与其他的线上浏览。Issuu在2006年在丹麦哥本哈根创立。主要创办人有麦可·韩森(Michael Hansen)
  • 拜姆克罗伊茨山坐标:46°51′28″N 12°30′4″E / 46.85778°N 12.50111°E / 46.85778; 12.50111拜姆克罗伊茨山(德语:Beim Kreuz),是奥地利的山峰,位于该国西部,由蒂罗尔州负责管辖,属于维尔格
  • 瓦尔德湖 (伦茨堡-埃肯弗德县)坐标:54°12′35″N 9°53′06″E / 54.20986°N 9.884934°E / 54.20986; 9.884934瓦尔德湖(德语:Wardersee),是德国的湖泊,位于该国北部石勒苏益格-荷尔斯泰因州,由伦茨堡-埃肯弗
  • 游戏模组游戏模组,英文多简称为“MOD”、“Mod”(全称“Modification”),“修改”的名词含义。MOD通常对应可以修改的电子游戏,因此以电脑游戏为主。必须依赖与原作品方可执行游玩。游戏