数学建模社区-数学中国

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

---

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

交换序环里的加群总是交换序群

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

2012-1-9 14:26 上传

点击文件名下载附件

---

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

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

2012-1-9 14:31 上传

点击文件名下载附件

---

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

" {- Q, @5 l" F+ u) H: J
有序域：


the rational numbers
  }0 v" i' e  U/ i: vthe real algebraic numbers
/ @& O: {* ^, f9 gthe computable numbers
  y$ i! C) R9 z! q: W' v+ Gthe real numbers
6 C9 R5 ]0 c. R. x1 r- J4 tthe field of real
real closed fields
1 V; e& q2 W4 ]: C$ n- r; Nsuperreal numbers
4 a# O9 n, a" _7 k7 A7 \1 Uhyperreal numbers
3 Q3 i) i8 n* [( [. q- G3 t% `( S

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

2012-1-9 14:42 上传

点击文件名下载附件

---

作者: lilianjie1    时间: 2012-1-9 14:52
有序域是一个偏序关系通过加法和乘法运算不被改变的域
: y. `. s  {3 t7 G% i所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性0 < 1+1+...+1。

8 n  p6 ^( Z0 u& A5 f每个有序域的部分域也是有序域。如同任何含特征数0的域其最小的域与有理数同等

---

作者: lilianjie1    时间: 2012-1-9 15:29
体(K&ouml;rper, corps)，或者反称域(skew field)。
) a6 P' \# `/ X" F; R$ g
/ S4 Q6 M7 J. W; Q4 V# e1 Z现代的定义中，域中的元素关于乘法要是可交换的。简单来说，域是乘法可交换的除环。乘法非交换的除环则称为体(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