QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 3617|回复: 6
打印 上一主题 下一主题

有序环和交换序环

[复制链接]
字体大小: 正常 放大
lilianjie        

43

主题

4

听众

204

积分

升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    跳转到指定楼层
    #
    发表于 2012-1-9 14:27 |只看该作者 |正序浏览
    |招呼Ta 关注Ta
    有序环和交换序环
    ( R" X- _; I4 Y6 l) y1 J6 i7 ~% `1 V+ N
    交换序环里的加群总是交换序群: b% }% f, ^$ r0 j' I& s

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

    12.JPG

    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    牛勇        

    0

    主题

    4

    听众

    270

    积分

    升级  85%

  • TA的每日心情
    开心
    2012-4-28 07:36
  • 签到天数: 64 天

    [LV.6]常住居民II

    自我介绍
    热爱数学建模

    群组数学建摸协会

    群组数学建模培训课堂2

    回复

    使用道具 举报

    74

    主题

    6

    听众

    3303

    积分

    升级  43.43%

  • TA的每日心情
    无聊
    2015-9-4 00:52
  • 签到天数: 374 天

    [LV.9]以坛为家II

    社区QQ达人 邮箱绑定达人 发帖功臣 最具活力勋章

    群组数学建摸协会

    群组Matlab讨论组

    群组小草的客厅

    群组数学建模

    群组LINGO

    回复

    使用道具 举报

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

  • TA的每日心情
    开心
    2012-1-13 11:49
  • 签到天数: 9 天

    [LV.3]偶尔看看II

    体(Körper, corps),或者反称域(skew field)。* J8 V4 C1 `1 n1 F+ _2 o2 P7 W

    2 X& _# D! x. p# }+ y6 G现代的定义中,域中的元素关于乘法要是可交换的。简单来说,域是乘法可交换的除环。乘法非交换的除环则称为体(Körper, corps),或者反称域(skew field)。在比较旧的定义中,除环被称为“域”,而现代意义上的域被称为“交换域”。
    4 r9 T# Z7 T+ w7 I
    回复

    使用道具 举报

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

  • TA的每日心情
    开心
    2012-1-13 11:49
  • 签到天数: 9 天

    [LV.3]偶尔看看II

    有序域是一个偏序关系通过加法和乘法运算不被改变的域$ M7 W4 T) d. S2 o: w; A/ @
    所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性0 < 1+1+...+1。
    6 p8 Q& f2 x" _1 P
    , z4 |9 x" t  j, X8 q8 F每个有序域的部分域也是有序域。如同任何含特征数0的域其最小的域与有理数同等
    $ L2 n( n+ W9 H$ n6 r( E
    回复

    使用道具 举报

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

  • TA的每日心情
    开心
    2012-1-13 11:49
  • 签到天数: 9 天

    [LV.3]偶尔看看II

    本帖最后由 lilianjie1 于 2012-1-9 14:46 编辑 - ?' P; |) T, ?. }8 J/ s0 Y
    + Y- Y. |  y$ Z' \  i" A! y
    有序域:$ \9 ?' ^, g: L. o) V
    $ |2 L$ i7 d1 c/ w4 A9 l9 g

    # u8 P6 E  H: u% K& V$ ^: uthe rational numbers : H  ]- _3 m& D9 y& c
    the real algebraic numbers
    + l  r( u$ A+ n0 D  H. ~the computable numbers
    ; A- n- n4 t2 {4 ?7 ]' j# t) d7 }the real numbers
    7 U$ X; t  _' a, ?/ qthe field of real
    - ?) S$ x3 e$ L) m: {real closed fields 1 N# i  {6 d7 _0 h5 y
    superreal numbers
    , `5 D7 n, A6 Y" P! T, J1 ]% mhyperreal numbers
    5 x& C% K# N6 ?) l1 }: R- W4 ~8 z

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

    212.JPG

    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    Isabelle工具用于逻辑证明序环

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

    21.JPG

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-8-15 11:36 , Processed in 0.632578 second(s), 87 queries .

    回顶部