QQ登录

只需要一步,快速开始

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

有序环和交换序环

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

43

主题

4

听众

204

积分

升级  52%

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

    [LV.4]偶尔看看III

    跳转到指定楼层
    #
    发表于 2012-1-9 14:27 |只看该作者 |正序浏览
    |招呼Ta 关注Ta
    有序环和交换序环) f" B* q/ q3 j
    3 C4 p) ]% d, z4 t- o# M
    交换序环里的加群总是交换序群
    - A. z  f) l2 a

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

    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

    听众

    3302

    积分

    升级  43.4%

  • 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)。
    1 M) |& S/ B8 u3 D: {/ W/ G8 {7 v# |
    9 o4 ~* Z. ~0 ]$ N* d现代的定义中,域中的元素关于乘法要是可交换的。简单来说,域是乘法可交换的除环。乘法非交换的除环则称为体(Körper, corps),或者反称域(skew field)。在比较旧的定义中,除环被称为“域”,而现代意义上的域被称为“交换域”。( l- y- s) n1 }! G
    回复

    使用道具 举报

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

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

    [LV.3]偶尔看看II

    有序域是一个偏序关系通过加法和乘法运算不被改变的域
    ( v6 ^% n, l  F; e3 N所有有序域都具有特征数0。这个结论直接出于上述的最后一个特性0 < 1+1+...+1。' f9 q+ Y. \( `( {4 ?' S1 B7 ?
    1 `  q! c9 e& E+ ]0 t
    每个有序域的部分域也是有序域。如同任何含特征数0的域其最小的域与有理数同等
    % p6 R5 K8 X8 |9 W
    回复

    使用道具 举报

    15

    主题

    4

    听众

    113

    积分

    升级  6.5%

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

    [LV.3]偶尔看看II

    本帖最后由 lilianjie1 于 2012-1-9 14:46 编辑
    1 y; b4 l! u' h  b% S5 N5 q) E3 g0 C* O2 A& v8 O  S/ `
    有序域:& j* D$ B* g  K3 u3 p, Z

    & _* w' r* h9 b" k$ X
    * m7 c: ~4 Z3 d7 h2 g) Vthe rational numbers
    / j6 U& Q3 v0 [. Z% Ithe real algebraic numbers 0 Y- s& W5 l: D5 B# F
    the computable numbers 5 ?% X7 U% c. C. u0 m
    the real numbers 0 n  B& P/ l( J4 e5 u
    the field of real 4 r3 N# t1 t" y  |. x# N( d
    real closed fields ( C1 x4 E; c3 q7 X
    superreal numbers 7 Q( Z' i9 k( p/ P, o6 ^- ]; D
    hyperreal numbers
    / a: p2 s* Y' M& y7 J( C) E

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

    212.JPG

    回复

    使用道具 举报

    lilianjie        

    43

    主题

    4

    听众

    204

    积分

    升级  52%

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

    [LV.4]偶尔看看III

    Isabelle工具用于逻辑证明序环

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

    21.JPG

    回复

    使用道具 举报

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

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

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

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

    蒙公网安备 15010502000194号

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

    GMT+8, 2026-6-13 07:13 , Processed in 0.448498 second(s), 86 queries .

    回顶部