ordered ring
名词 n.
英文释义
名词 n.
-
A ring, R, equipped with a partial order, ≤, such that for arbitrary a, b, c ∈ R, if a ≤ b then a + c ≤ b + c, and if, additionally, 0 ≤ c, then both ca ≤ cb and ac ≤ bc.
— 1965, Seth Warner, Modern Algebra, Dover, 1990, Single-volume republication, page 217, If < is an ordering on A compatible with its ring structure, we shall say that (A,+,·,<) is an ordered ring. An element x of an ordered ring A is positive if x>0, and x is strictly positive if x>0. The set of all positive elements of an ordered ring A is denoted by A_+, and the set of all strictly positive elements of A is denoted by A^*₊. If (A,+,·,<) is an ordered ring and if < is a total ordering, we shall, of course, call (A,+,·,<) a totally ordered ring; if (A,+,·) is a field, we shall call (A,+,·,<) an ordered field, and if, moreover, < is a total ordering, we shal call (A,+·,<) a totally ordered field.
-
A ring, R, equipped with a total order, ≤, such that for arbitrary a, b, c ∈ R, if a ≤ b then a + c ≤ b + c, and if, additionally, 0 ≤ c, then both ca ≤ cb and ac ≤ bc.
— The positive elements in an ordered ring allow us to compare elements to 0, but we know in the integers that we can compare any two elements to each other. For example, we know that 4gt;2 because 4-2gt;0. We can extend this idea to any ordered ring. If R is an ordered ring and a,b#92;inR, then we know by trichotomy that exactly one of the following must be true: a-bgt;0, a-b#61;0, or -(a-b)gt;0.
词形变化
词汇关系
0 次浏览
数据来源: Wiktionary