Bourbaki

Proposition 4

Tag 06WP, permanent. Cite it as [Bourbaki, Tag 06WP].

Algebra, chapter VI, § 1. Ordered groups. Divisibility

For an ordered group GG 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 GG is filtered, then for each x∈Gx \in G there exists a positive element zz such that x≤zx \leq z, and xx is the difference of the two positive elements zz and z−xz - x. Conversely, if x=u−vx = u - v and y=w−ty = w - t with u,v,w,tu, v, w, t positive, then the element u+wu + w is greater than xx and greater than yy.

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.

Transcribed from the printed edition, 2003, Springer. Not translated.