Conditions for Ordering in Ordered Group to be Directed

Theorem
Let $\struct {G, \odot, \preccurlyeq}$ be an ordered group whose identity element is $e$.

Then:
 * $\preccurlyeq$ is a directed ordering


 * for every $x \in G$ there exist $y, z \in G$ such that $e \preccurlyeq y$, $e \preccurlyeq z$ and $x = y \odot z^{-1}$.

Sufficient Condition
Let $\preccurlyeq$ be a directed ordering.

By definition of directed ordering:
 * $\forall x, y \in G: \exists z \in G: x \preccurlyeq z$ and $y \preccurlyeq z$

Let $x \in G$ be arbitrary.

Let $e = \paren {z \odot x^{-1} }^{-1} \odot y$.

Then:
 * $y = z \odot x^{-1}$

Necessary Condition
Let $\preccurlyeq$ be such that:
 * for every $x \in G$ there exist $y, z \in G$ such that $e \preccurlyeq y$, $e \preccurlyeq z$ and $x = y \odot z^{-1}$.