Positive and negative parts in a lattice-ordered group
ID: positive-and-negative-parts-in-a-lattice-ordered-group
The two positive parts satisfy , commute with one another, and have meet one. They isolate positive and negative displacement in the pointwise model of a lattice-ordered permutation group. These are group elements, unlike the scalar positive part of a real number.
New to topics? Read the docs here!