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!