数学建模社区-数学中国

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

---

作者: lilianjie    时间: 2012-1-9 14:27
标题: 有序环和交换序环
有序环和交换序环
6 c5 U; I" m$ L4 G
交换序环里的加群总是交换序群

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

2012-1-9 14:26 上传

点击文件名下载附件

---

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

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

2012-1-9 14:31 上传

点击文件名下载附件

---

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

) F% m4 I! W$ k3 X8 |' N3 q4 x
0 a1 R1 s: A9 A- b有序域：

+ B8 t- a+ X7 M. V# f7 R7 X; i
the rational numbers
0 d4 O( g" ~: K) Q: q" Lthe real algebraic numbers
- I3 C  _8 _, o# \7 K5 M  S- Qthe computable numbers
& V) L7 }' U' d* Y8 tthe real numbers
the field of real
7 ]) n, S# P% p9 A* u; O( oreal closed fields
superreal numbers
1 `0 G+ K, }& K: B) H0 n5 P+ uhyperreal numbers

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

2012-1-9 14:42 上传

点击文件名下载附件

---

作者: lilianjie1    时间: 2012-1-9 14:52
有序域是一个偏序关系通过加法和乘法运算不被改变的域
+ _. S) R$ x- x2 M& M2 e所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性0 < 1+1+...+1。

9 q* ?& P5 i2 C+ a* ?- y+ K每个有序域的部分域也是有序域。如同任何含特征数0的域其最小的域与有理数同等
- J3 m* l1 e3 V1 t+ J" L* Y

---

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

现代的定义中，域中的元素关于乘法要是可交换的。简单来说，域是乘法可交换的除环。乘法非交换的除环则称为体(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