代数, VI, p. 35
Bourbaki marks this one as harder than the rest.
令 G 为有序群。对于 G 的每个子集 A,令 m(A)(或 M(A))表示 G 中 A 的下界(或上界)集合;然后m(A)=−M(−A)。 a) 关系 A⊂B 意味着 m(B)⊂m(A) 和 M(m(A))⊂M(m(B))。 b) 我们有 A⊂M(m(A)) 和 M(m(M(A)))=M(A)。 c) 如果(Ai)是G的子集的任意族,则m(⋃iAi)=⋂im(Ai)。 d) 每个集合 M(B),其中 B 是 G 中上界的非空子集,称为 G 中的大集合。对于 G 中下界的任意非空子集 A,集合 M(m(A)) 是最小的大调集合包含 A ;表示为 (A) ;如果A⊂B则(A)⊂(B);如果A在G中有一个下确界a,则(A)=M(a),我们也写成(a)。 e) 如果 A 和 B 是 G 中下界的两个非空子集,则(A+B)=((A)+B)。推出,在G大调集合的集合M(G)中,映射(A,B)↦(A+B)是结合律和交换律合成律,其中(0)=P是恒等式,序关系 A⊃B 与律兼容,并且如果 G 被过滤,M(G) 是在这个结构下的完全半格有序幺半群(例 29)。此外,从G到M(G)的映射x↦(x)是从有序群G到幺半群M(G)的子群的同构。 f) 如果 M(G) 的元素 A 在该幺半群的合成律下可逆,则其逆为 M(−A)=−m(A)(注意,如果 B 是 A 的逆,则关系 B⊂M(−A) 和 A+M(−A)⊂(0) 成立, 从而⟨A+B⟩=⟨A+M(−A)⟩)。 g) 为了使M(G)的元素A可逆,x+A⊂A蕴含x≥0是必要且充分的(写出0∈(A+M(−A))的表达式)。