Relation Compatible with Group Operation is Strongly Compatible/Corollary

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

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

Let $x, y \in G$.

Then the following equivalences hold:


 * $x \mathrel R y \iff e \mathrel R y \circ x^{-1}$ (1)
 * $x \mathrel R y \iff e \mathrel R x^{-1} \circ y$ (2)


 * $x \mathrel R y \iff x \circ y^{-1} \mathrel R e$ (3)
 * $x \mathrel R y \iff y^{-1} \circ x \mathrel R e$ (4)

Proof
We can apply User:Dfeuer/CRG1 to $x$, $y$, and $x^{-1}$ to obtain the following equivalences:


 * $x \mathrel R y \iff x \circ x^{-1} \mathrel R y \circ x^{-1}$
 * $x \mathrel R y \iff x^{-1} \circ x \mathrel R x^{-1} \circ y$

Applying User:Dfeuer/CRG1 to $x$, $y$, and $y^{-1}$, on the other hand, yields


 * $x \mathrel R y \iff x \circ y^{-1} \mathrel R y \circ y^{-1}$
 * $x \mathrel R y \iff y^{-1} \circ x \mathrel R y^{-1} \circ y$

By the definition of group inverse,
 * $x \circ x^{-1} = x^{-1} \circ x = y \circ y^{-1} = y^{-1} \circ y = e$.

Making these substitutions proves the theorem.