有序环整数和有理数.doc

§5.3 有序环 整数和有理数 考虑同时有代数结构和关系的一种数学结构，有序环。 5.3.1 定义 有序环 六元组R, (, (, 0, 1, (称为一个有序环，如果R满足以下条件： (1) R, (, (, 0, 1, (是交换环。 (2) R, (, (, 0, 1, (是全序结构。（记a(b且a(b为a(b）。 (3) 任给a, b, c(R，如果b(c，则a(b(a(c。 (4) 任给a, b, c(R，如果b(c且0(a，则ab(ac。 5.3.2 例 Z, (, (, 0, 1, (、Q, (, (, 0, 1, (、R, (, (, 0, 1, (都是有序环。 5.3.3 定理 R, (, (, 0, 1, (是有序环，则R, (, (, 0, 1是整环。 证 证明消去律成立，即证明任给a, b, c(R，如果ab = ac，则b = c。 反证法。如果b ( c，则b(c或c(b，有定义条件(4)得ab(ac或ac(ab，和ab = ac矛盾。■ 5.3.4 定理 R, (, (, 0, 1, (是有序环。 (1) 任给a, b(R，a(b 当且仅当 a(b(0。 (2) 任给a, b (R，如果a(b，则(b((a。 (3) 任给a, b, c(R，如果b(c且a(0，则ac(ab。 (3) 0(1。 证 (1) 如果a(b，则a(b = a(((b)(b(((b) = 0。 如果a(b(0，则a = a(b(b(0(b = b。 (2) 如果a(b，则a(b(0，所以(b(((a)(0，因此(b((a。 (3) 如果b(c且a(0，则 b(c且0((a， 由有序环的定义(4)得((a)b(((a)c，所以 ((ab)(((ac)， 由(2)得((((ab))(((((ac))，因此ac(ab。 (4) 反证法。 如果0(1不成立，则1(0，由1(0, 0(1和(3)得1(0(1(1，所以0(1，矛盾。■ 5.3.5 定理 R, (, (, 0, 1, (是有序环。 (1) 任给n, m(N，如果n(m，则n1(m1。 (2) 任给n, m(N，如果n(m，则(m1((n1。 (3) 任给n, m(Z，如果n(m，则n1(m1。 证 (1) 先用归纳法证明n(n(1，再对m用归纳法证明n(m。详细证明留给读者。 (2) 由(1)和定理5.3.4(2)。 (3) 由(1)和(2)。■ 5.3.6 定理 R, (, (, 0, 1, (是有序环。如果S, (, (, 0, 1是R, (, (, 0, 1的子环，则S, (, (, 0, 1, (|S 是R, (, (, 0, 1, (的子环。■ 5.3.7 定理 R, (, (, 0, 1, (是有序环。令Rm = {n1 | n(Z}，则 (1) Rm, (, (, 0, 1, (m是子环。其中(m = (|Rm (2) 任给R, (, (, 0, 1, (的子环S, (, (, 0, 1, (|S ，都有 Rm ( S。 (3) Rm, (, (, 0, 1, (m ≌Z, (, (, 0, 1, (。■ 5.3.8 定理 R, (, (, 0, 1, (是有序环。令R( = {x | x(R且0(x}，则 (1) 0(R(，1(R(。 (2) 如果a, b(R(，则a(b(R(。 (3) 如果a, b(R(，则ab(R(。 (4) 如果a(0，则a(R(或(a(R(。 证 (1) 没有0(0，有0(1。 (2) 如果a, b(R(，则0(a, 0(b，所以0 = 0(0(0(b(a(b，因此a(b(R(。 (3) 如果a, b(R(，则0(a, 0(b，所以a0(ab，因此ab(R(。 (4) 如果a(0，设a(R(，则a(0，所以0((a，因此a(R(。■ 5.3.9 定义 R, (, (, 0, 1是环。S ( R。S称为R的正集合，如果S满足以下条件： (1) 0(S，1(S。 (2) 如果a, b(S，则a(b(S。 (3) 如果a, b(S，则ab(S。 (4) 如果a(S且a(0，则(a(S。 5.3.10 定理 R, (, (, 0, 1是环，如果R存在正集合S，则存在R上的全序关系(，使得R, (, (, 0, 1, (是有序环，并且R( = S。 证 定义R上的二元关系(如下： a(b 当且仅当 存在x(S({0}，使得b = a(x。 证明(是全序关系。 (1) 自返性 任给a, b(R，都有a = a(0，所以a(a。 (2) 反对称性 任给a, b(R，如果a(b且b(a，则 存在x, y(S({0}，使得b = a(x且a = b(y， 所以b = a(x = b(y(x，由消去律得0 = y