Proposition 4
Tag 06WP, permanent. Cite it as [Bourbaki, Tag 06WP].
Algebra, chapter VI, § 1. Ordered groups. Divisibility
For an ordered group to be filtered it is necessary and sufficient that it be generated by its positive elements, that is that every element be the difference of two positive elements.
Indeed if is filtered, then for each there exists a positive element such that , and is the difference of the two positive elements and . Conversely, if and with positive, then the element is greater than and greater than .
1 The terminology used in loc. cit. is directed.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.