Bourbaki

Exercise 15, § 1

Algebra, VI, p. 32

Show that

∣x+−y+∣+∣x−−y−∣=∣x−y∣ |x^+ - y^+| + |x^- - y^-| = |x - y|

in a lattice ordered group (notice that x−y≤∣x−y∣x - y \leq |x - y| and ∣x∣−∣y∣≤∣x−y∣|x| - |y| \leq |x - y|).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.