One standard definition of a linearly ordered group is that the order $\leq$ obeys the law
(1) $a\leq b\implies ac\leq bc$.
Suppose (1) only holds for positive c. Must it also hold for negative c?
I've been able to show that (1) holds if
(2) $a\leq 1\implies a^{-1}\geq 1$
but I can't prove (2) knowing (1) only for positive c. However, I can't think of a counter-example, and it seems weird to have (2) not be true.
Consider the multiplication group $(\mathbb{R}-\{0\},\times)$, the order is the usual one. Then $a<b$ implies $ac<bc$ for $c>1$ but $ac>bc$ for $c<0$ (note the meaning of negative is now <1).