User:Dfeuer/Transitive Relation Compatible with Group Operation Induced by Unique Cone

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

Let $\mathrel{\mathcal R}$ be a relation compatible with $\circ$.

Let $C = \{x \in G: e \mathrel{\mathcal R} x \}$.

Then $C$ induces $\mathcal R$ and is the only compatible cone to do so.

induces
Suppose $a \mathrel{\mathcal R} b$.

Then $a \circ a^{-1} \mathrel{\mathcal R} b \circ a^{-1}$, so
 * $e \mathrel{\mathcal R} b \circ a^{-1}$

so $b \circ a^{-1} \in C$.

If $b \circ a^{-1} \in C$, then
 * $e \mathrel{\mathcal R} b \circ a^{-1}$

So $a \mathrel{\mathcal R} b$.

Thus $C$ induces $\mathcal R$.