User:Dfeuer/Cone Condition Equivalent to Antisymmetry

Theorem
Let $(G,\circ)$ be a group with identity $e$.

Let $C$ be a cone compatible with $\circ$.

Let $\mathcal R$ be the transitive, compatible relation induced by $C$.

Then $\mathcal R$ is antisymmetric iff $C \cap C^{-1} \subseteq \{e\}$, where $C^{-1} = \{ x^{-1}: x \in C \}$.

Proof
Suppose $\mathcal R$ is antisymmetric and suppose that $x \in C \cap C^{-1}$.

Then $x^{-1} \in C$.

Thus $e \mathrel{\mathcal R} x$ and $e \mathrel{\mathcal R} x^{-1}$

By CRG3, $x \mathrel {\mathcal R}e^{-1} = e$, so by antisymmetry $x=e$.