机读格式显示(MARC)

• 000 01684nam 2200337 450

• 001 0000383474

• 005 20040415130500.0

• 010 __ |a 7-03-012089-2 |b 精装 |d CNY50.00

• 092 __ |b 02-655-008

• 099 __ |a CAL 012003190964

• 100 __ |a 20031229d2003 ekmy0chiy0121 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a k a 001yy

• 106 __ |a r

• 200 1_ |a 实域论 |A shi yu lun |f 曾广兴著

• 210 __ |a 北京 |c 科学出版社 |d 2003

• 215 __ |a xiii, 353页 |d 24cm

• 225 2_ |a 数学机械化丛书 |A shu xue ji xie hua cong shu

• 300 __ |a 《数学机械化丛书》获国家基础研究发展规划项目“数学机械化与自动推理平台”与“数学机械化应用推广专项经费”资助

• 320 __ |a 有书目 (第340-349页) 和索引

• 330 __ |a 本书旨在比较系统地介绍实域理论中的内容、方法和结论。全书共分9章。前两章围绕著名的Artin-Schreier 理论，介绍与实域、序域和实闭域相关的概念和结论。第三章讨论了域的实赋值和实位以及它们与序之间的相容性。第四章介绍E.Artin对Hilbert第十七问题的解答，同时研究了Hilbert 第十七问题的逆问题。第五章讨论了实域上的二次型及其密切相关的半序。在第六章中，几类特殊的实域和序域被研究，这些域包括SAP域、欧氏域、遗传欧氏域、Pythagoras域和遗传Pythagoras域等。第七章介绍了适合实闭域的Tarski-Seidenberg原理与转移原理，并应用于实零点定理的建立。第八章涉及域的高层序理论，Artin-Schreier理论在此获得推广。在第九章中，一些与实域理论有关的构造性结论被介绍。

• 333 __ |a 可作为代数专业的研究生教材，也可供专业研究人员参考。

• 410 _0 |1 2001 |a 数学机械化丛书

• 606 0_ |a 域 (数学) |A Yu ( Shu Xue ) |x 研究

• 610 0_ |a 实数域 |A shi shu yu

• 690 __ |a O156.2 |v 4

• 701 _0 |a 曾广兴 |A zeng guang xing |4 著

• 801 _0 |a CN |b NMU |c 20031229

• 801 _2 |a CN |b JHUL |c 20040415

• 905 __ |a JHUL |d O156.2/5