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$.

Suppose on the other hand that $C \cap C^{-1} \subseteq \{e\}$.

Let $x,y \in G$.

Let $x \mathrel{\mathcal R} y$ and $y \mathrel{\mathcal R} x$.

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

But $x \circ y^{-1}$ is the inverse of $y \circ x^{-1}$, so $y \circ x^{-1} = e$.

Thus $y = x$.