Absolute value in a lattice-ordered group
= Absolute value in a lattice-ordered group
{title2=$|g|=g\vee g^{-1}$}
The displayed <join> is nonnegative in a <lattice-ordered group>. In an additive <Abelian group> it becomes $|g|=g\vee(-g)$. This order-theoretic absolute value need not be a real scalar.