数学建模社区-数学中国

标题: 有序环和交换序环 [打印本页]
作者: lilianjie    时间: 2012-1-9 14:27
标题: 有序环和交换序环
有序环和交换序环
; S# j6 _6 C8 ~! ^. d% y7 d
' C  f7 J4 e6 w% j) T交换序环里的加群总是交换序群0 q- @: D6 M$ b7 y4 |

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

12.JPG

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

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

21.JPG

作者: lilianjie1    时间: 2012-1-9 14:42
本帖最后由 lilianjie1 于 2012-1-9 14:46 编辑 5 c7 n6 L6 j- d( m
, W' d. J& L5 ]& I7 b
有序域：8 C$ R! I6 W0 @
. x# y2 ~! W. A
  q3 H, L8 d! Z
the rational numbers ( p0 F! x& P! f9 n( U
the real algebraic numbers ! N9 j% r2 Y/ {& d3 J$ Q% Q
the computable numbers + [0 c: b/ N  a/ G4 l/ m
the real numbers
, S/ q# q1 O9 c$ ythe field of real 3 D1 h) o' j! T* p6 n
real closed fields / U) [' h+ j+ h8 c3 o
superreal numbers
% f9 B2 U" F3 |hyperreal numbers " Q, O; U/ l- T6 F! d1 v

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

212.JPG

作者: lilianjie1    时间: 2012-1-9 14:52
有序域是一个偏序关系通过加法和乘法运算不被改变的域0 X2 v$ Q- w0 \; ^% v
所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性0 < 1+1+...+1。
  U& d2 {. F3 j0 r9 m  q; m5 w( V& G' d& Q0 q
每个有序域的部分域也是有序域。如同任何含特征数0的域其最小的域与有理数同等
  @1 Y( ^/ [" j) N
作者: lilianjie1    时间: 2012-1-9 15:29
体(K&ouml;rper, corps)，或者反称域(skew field)。: T% Z- j8 f( Y+ t0 T7 _. Y
& u% x, {+ W2 U% K3 L. o' n
现代的定义中，域中的元素关于乘法要是可交换的。简单来说，域是乘法可交换的除环。乘法非交换的除环则称为体(K&ouml;rper, corps)，或者反称域(skew field)。在比较旧的定义中，除环被称为“域”，而现代意义上的域被称为“交换域”。0 g5 R- T5 C6 ~* v
作者: 孤寂冷逍遥    时间: 2012-1-9 17:48
作者: 牛勇    时间: 2012-1-9 21:18
看不懂……无奈



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