数学建模社区-数学中国

标题: 有序环和交换序环 [打印本页]
作者: lilianjie    时间: 2012-1-9 14:27
标题: 有序环和交换序环
有序环和交换序环
5 L9 C: s9 y# ^1 D7 l1 H+ ~+ B* ~' z$ y
交换序环里的加群总是交换序群- y0 t* y4 T( a# u+ X' S( N+ e

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

12.JPG

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

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

21.JPG

作者: lilianjie1    时间: 2012-1-9 14:42
本帖最后由 lilianjie1 于 2012-1-9 14:46 编辑
, v5 |3 k* T7 Z/ ?. g8 K$ R: j; ?$ X0 t4 E1 K0 I
有序域：+ N5 a+ f0 x8 L

8 ?# A8 P. R( }3 I3 E) L) p$ k" O6 y9 t  f8 e* z4 w
the rational numbers 3 p5 A) B4 Y- ]2 z
the real algebraic numbers
8 T9 F$ j# U+ S5 [the computable numbers   q4 S1 s' V1 j  v
the real numbers ( [( y! _  F; ~+ M
the field of real # @; `8 k) x5 }3 Q& D0 f; q" t
real closed fields + e. ?+ S1 `; c& |  Z/ f# k% m% d) h0 B
superreal numbers
- m: t% |5 P& l% e2 r& xhyperreal numbers
; @  A+ G. X8 w

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

212.JPG

作者: lilianjie1    时间: 2012-1-9 14:52
有序域是一个偏序关系通过加法和乘法运算不被改变的域7 v6 s- b! i1 [. a2 ^
所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性0 < 1+1+...+1。$ ?$ N* x5 v. G1 }
4 f3 Z6 m8 P. y: C/ w/ g
每个有序域的部分域也是有序域。如同任何含特征数0的域其最小的域与有理数同等1 d: w- y3 \; ]" T/ o( m: b
作者: lilianjie1    时间: 2012-1-9 15:29
体(K&ouml;rper, corps)，或者反称域(skew field)。8 D) T' M1 w, ?% `' C% r
" ?" o8 }- f) i4 P" s
现代的定义中，域中的元素关于乘法要是可交换的。简单来说，域是乘法可交换的除环。乘法非交换的除环则称为体(K&ouml;rper, corps)，或者反称域(skew field)。在比较旧的定义中，除环被称为“域”，而现代意义上的域被称为“交换域”。
' ?8 x$ V+ Z/ D+ J( T  {
作者: 孤寂冷逍遥    时间: 2012-1-9 17:48
作者: 牛勇    时间: 2012-1-9 21:18
看不懂……无奈



欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5