QQ登录

只需要一步,快速开始

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

有序环和交换序环

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

43

主题

4

听众

204

积分

升级  52%

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

    [LV.4]偶尔看看III

    跳转到指定楼层
    #
    发表于 2012-1-9 14:27 |只看该作者 |正序浏览
    |招呼Ta 关注Ta
    有序环和交换序环
    # h# p% Z9 Y2 L5 h% s: ]
    + P5 {( V' x" o2 F; L交换序环里的加群总是交换序群
    * B, Y6 x. B  N* o: D

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

    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

    听众

    3300

    积分

    升级  43.33%

  • 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)。, t& [% {* x+ Q9 U; f' Z

    4 f' D  C: N' G& Q% T现代的定义中,域中的元素关于乘法要是可交换的。简单来说,域是乘法可交换的除环。乘法非交换的除环则称为体(Körper, corps),或者反称域(skew field)。在比较旧的定义中,除环被称为“域”,而现代意义上的域被称为“交换域”。
    3 D+ g2 l5 Z8 }( _  S* p- X
    回复

    使用道具 举报

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

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

    [LV.3]偶尔看看II

    有序域是一个偏序关系通过加法和乘法运算不被改变的域1 q, j* o6 \5 Q5 p: o
    所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性0 < 1+1+...+1。% P, t" u4 B6 H* S( Q0 N
    ' U" o9 ^) V* B5 ?
    每个有序域的部分域也是有序域。如同任何含特征数0的域其最小的域与有理数同等
    3 c' m9 L) Q7 Y3 v/ t
    回复

    使用道具 举报

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

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

    [LV.3]偶尔看看II

    本帖最后由 lilianjie1 于 2012-1-9 14:46 编辑 * d7 W+ ^% F% z5 k3 _
    3 |2 W/ Z/ c( @" D( m
    有序域:
    9 g( v3 L& p& H2 Q0 s# J4 `( F% ^6 ?5 P; E0 |

    & ^: T- J, J* ]  rthe rational numbers 9 |2 q& u' T1 z6 K0 i# r
    the real algebraic numbers
    7 O& B. T2 c& i) I& b" tthe computable numbers
    6 V" @: o0 i: C1 \the real numbers 7 u) r6 N( M! _6 H  i& |
    the field of real
    5 c% @6 C0 T: N# P* \4 P7 L# }real closed fields
    $ |. Z. `# b2 k# Psuperreal numbers
    8 _0 j" ~9 n& p; @: }: C' Thyperreal numbers
    / O8 q' W0 u# G7 v9 g9 Q$ C

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

    212.JPG

    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    Isabelle工具用于逻辑证明序环

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

    21.JPG

    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-4-20 09:46 , Processed in 0.488233 second(s), 86 queries .

    回顶部