# Invertible Elements in Finite Groups That Are Not Equal to T

Consider a finite group $(G, *)$. For each $x \in G$ let $-x \in G$ denote the inverse of $x$ under the operation $*$. Now consider the subset $S \subseteq G$ of invertible elements whose inverse is not equal to themselves, that is:

(1)We will now look at some interesting theorems regarding the number of elements in $S$.

Theorem 1: If $(G, *)$ is a finite group, $e \in G$ is the identity with respect to $*$, and $S \subseteq G$ where $S = \{ x \in G : x \neq - x \}$ then $\mid S \mid$ is even. |

**Proof:**The subset $S \subseteq$ is the set of all invertible elements whose inverse is not equal to themselves. Hence, for each $x \in S$ there exists a $-x \in S$ such that $x + (-x) = e$ and where $x \neq -x$. Conversely, for $-x \in S$ we have that $x \in S$ is such that $(-x) + x = e$. Therefore the elements in $S$ come pairs from the uniqueness of inverses under the operation $*$, so $\mid S \mid$ is even.

Corollary 1: Let $(G, *)$ be a finite group and let $e \in G$ be the identity with respect to $*$. If $\mid G \mid$ is odd then the number of elements in $G$ that are equal to their inverse with respect to $*$ is odd, and if $\mid G \mid$ is even then the number of elements in $G$ that are equal to their inverse with respect to $*$ is even. |

**Proof:**Let $S = \{ x \in G : x \neq -x \}$. From Theorem 1 we have that $\mid S \mid$ is even. Now, consider the set of elements in $G$ that are equal to their inverse with respect to $*$. This set can be written in the form:

- Clearly $G = S \cup (G \setminus S )$ and $S \cap (G \setminus S) = \emptyset$ and since $G$ is a finite set, we have that:

- Suppose that $\mid G \mid$ is odd. Then $\mid G \mid + \mid S \mid$ is odd, so $\mid G \setminus S \mid$ is odd, that is, the number of elements in $G$ that are equal to their inverse with respect to $*$ is odd. Similarly, suppose that $\mid G \mid$ is even. Then $\mid G \mid + \mid S \mid$ is even, so $\mid G \setminus S \mid$ is even and so the number of elements in $G$ that are equal to their inverse with respect to $*$ is even. $\blacksquare$

Corollary 2: Let $(G, *)$ be a finite group and let $e \in G$ be the identity with respect to $*$. If $\mid G \mid$ is even then there exists an element $x \in G$ such that $x = x^{-1}$ and $x \neq e$. |

**Proof:**Suppose that $\mid G \mid$ is even. By Corollary 2 above, this implies that $\mid G \setminus S \mid$ is even too, that is, the number of elements $x \in G$ that are equal to their inverse with respect to $*$ is even. We see that $e \in G \setminus S$ since $e * e = e$. Since $\mid G \setminus S \mid$ is even, there must then exist another element $x \in G \setminus S$ such that $x = x^{-1}$. $\blacksquare$

It is important to note that Corollary 2 need not hold if $\mid G \mid$ is odd. For example, consider the group $(\mathbb{Z}_3, *)$ of integers modulo $3$ where for $x, y \in \mathbb{Z}_3$ we define $x * y = (x + y) \mod 3$. We noted earlier that for each $x \in \mathbb{Z}_3$ that the inverse of $x$ will be $3 - x$ if $x \neq 0$ and $0$ if $x = 0$. We have that $e = 0$, so clearly $e * e = 0 = e$. Furthermore, $1 * 2 = 0 = e$. So as you can see, there does not exist an element $x \in \mathbb{Z}_3$ such that $x \neq e$ and for which $x = -x$.