数学建模社区-数学中国

标题: 有序环和交换序环 [打印本页]

---

作者: lilianjie    时间: 2012-1-9 14:27
标题: 有序环和交换序环
有序环和交换序环

: ~7 }+ |) G# U交换序环里的加群总是交换序群
$ d4 k* L5 w: w8 _4 v

12.JPG (113.22 KB, 下载次数: 543)

2012-1-9 14:26 上传

点击文件名下载附件

---

作者: lilianjie    时间: 2012-1-9 14:31
Isabelle工具用于逻辑证明序环

21.JPG (100.23 KB, 下载次数: 615)

2012-1-9 14:31 上传

点击文件名下载附件

---

作者: lilianjie1    时间: 2012-1-9 14:42

* j% q+ P& W+ P$ T, G5 r
8 ?* }( e* C2 i有序域：
, J  V' `6 ~/ ]8 Q
- C$ n* ^4 k6 D
4 V' ]% g. ]/ f8 R* g! _/ P7 ?the rational numbers
& E9 C- y! P' U2 ?/ `" X1 O& M& w. ^the real algebraic numbers
4 e( O) c7 D1 q1 ~the computable numbers
the real numbers
the field of real
' K1 J' K  y9 C2 x8 H& ?6 \real closed fields
superreal numbers
hyperreal numbers

212.JPG (91.29 KB, 下载次数: 413)

2012-1-9 14:42 上传

点击文件名下载附件

---

作者: lilianjie1    时间: 2012-1-9 14:52
有序域是一个偏序关系通过加法和乘法运算不被改变的域
6 R6 D: t" r$ {' S8 B+ P+ o所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性0 < 1+1+...+1。

每个有序域的部分域也是有序域。如同任何含特征数0的域其最小的域与有理数同等

---

作者: lilianjie1    时间: 2012-1-9 15:29
体(K&ouml;rper, corps)，或者反称域(skew field)。

/ R1 s+ _( l  W2 J, x- Y现代的定义中，域中的元素关于乘法要是可交换的。简单来说，域是乘法可交换的除环。乘法非交换的除环则称为体(K&ouml;rper, corps)，或者反称域(skew field)。在比较旧的定义中，除环被称为“域”，而现代意义上的域被称为“交换域”。

---

作者: 孤寂冷逍遥    时间: 2012-1-9 17:48

---

作者: 牛勇    时间: 2012-1-9 21:18
看不懂……无奈

---

欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)

Powered by Discuz! X2.5